repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_dim_move: update parameters of nested spaces
2011-01-27
Sven Verdool
a
ege
is
l
_dim_move: upd
a
te
paramete
r
s of nes
t
ed spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
r
doolaege
isl_ve
r
t
i
c
e
s
.
c
:
fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
i
sl_
u
nio
n
_te
m
pl
.
c: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_
m
a
p
_subt
r
ac
t
.
c:
n
_no
n
_re
d
undant:
p
rop
a
ge
i
sl
_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en
V
e
r
d
oolaege
isl_bern
s
tein
.
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
e
n
Verdool
a
e
ge
is
l
_basi
c
_map_remo
v
e_di
v
s:
f
inaliz
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoolaege
isl_un
i
o
n_map_sample: don't ret
u
rn NULL on
emp
t
y input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
ven Verdoolaege
isl_basic_map
_
s
e
t_
t
up
l
e_name:
f
i
nalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdoolaege
isl
_
transitive_
c
losure
.
c:
mo
r
e
a
n
on
y
miz
e
input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdo
o
laege
isl
_
b
a
sic_
s
et_factorizer: make sure group inform
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
is
l
_
b
asic_
m
a
p_f
r
om_constraint_matr
i
ce
s
:
clear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
is
l
_inp
u
t
.
c
: read_fact
o
r: drop une
x
pected identi
f
ier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoolaege
isl_input
.
c: a
c
c
ept_affine_
f
actor
:
avoid doub
l
e f
r
ee
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sve
n
Verdoola
e
ge
isl_union_map_coalesce and isl_unio
n
_map_
c
ompute_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n
Verdoo
l
aege
isl
_
basic_map_solve_lp
:
u
s
e
denominat
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Ve
r
doolaege
isl
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Verdoolae
g
e
isl_tab_basic_map_partial
_
lexopt: fi
x
up
s
ymmet
r
y det
e
cti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n Verdo
o
laege
is
l
_ba
s
ic_
m
a
p_
u
ni
v
ers
e
: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
ege
isl_s
e
q
.
h:
allow in
c
l
u
sion from
C
++
commit
|
commitdiff
|
tree
2010-12-27
Sve
n
V
erdo
o
laege
make i
s
l
/po
i
n
t
.
h
self
-
c
o
ntained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
i
s
l
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sve
n
Verdo
o
laege
isl
_
p
r
inter_print_basic_map: plu
g
memory le
a
k on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven
Verdoolaege
isl_dim_set_nam
e
: plug
m
emory l
e
a
k when
o
ver
w
riting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_t
a
b_basic_map_pa
r
tial
_
lexopt:
d
e
t
e
c
t
a
n
d
exploit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdo
o
laege
isl_tab_pip
.
c: f
i
x typos in com
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sv
e
n Verd
o
o
l
a
e
g
e
isl_pip: li
m
it
t
h
e
total number of pa
r
amet
e
r v
a
lues
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sv
e
n Verdoolaege
a
dd
i
sl_
b
as
i
c_set_
c
o
u
n
t_upto
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdo
o
laege
isl_
s
can
.
c: f
i
x typo
i
n comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
S
v
en V
e
rdoo
l
aege
isl_flow
.
c
:
f
i
x typos
in c
o
m
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
isl_uni
o
n_ma
p
_compu
t
e_flow:
exp
l
oit fixe
d
d
imen
s
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven
V
e
rdool
a
eg
e
i
s
l_u
n
ion_map
_
comp
u
te_f
l
ow: avoid
d
epend
e
nce
on poi
n
t
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven V
e
rdoolaege
dataflow analysis:
a
llow absence
o
f "textual" order
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
S
ve
n
Verdoolaege
a
dd isl_map
_
get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Ver
d
oolaege
basi
c
_map
_
r
e
ad_polylib:
a
dd more sanity ch
e
cks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sven V
e
rdoolaege
isl
_
p
i
p: preserve
names of parameters in inpu
t
c
ont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolaege
isl_t
a
b
_
ba
s
ic_map_partial_lex
o
p
t
: avoid memory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-11
Sven Verdoolaege
isl_pw_
q
poly
n
omial_fold
_
bound
:
avoi
d
ac
c
ess to fr
e
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdool
a
ege
isl_basic_
s
et_
l
ift: properly update the numb
e
r of extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
doc: emphasize the need
for isl_i
n
t
_
ge
t
_
g
mp
and isl_int
_
set_
g
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_qpo
l
ynomial_di
v
: f
u
rt
h
er norma
l
ize divs by
r
educing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
S
ven
V
erdoolaege
isl_s
t
ream_read_pw_
q
p
o
l
y
nomial: ac
c
ept powers on compound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven
Verdoolaege
add isl_qpolyno
m
ial_pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_qpolynomial: properly merge identical
nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven
Verd
o
olaege
a
d
d
i
sl
_
mat_
c
o
l
_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sv
e
n
V
erdoolaege
avoid
u
s
i
ng
isl_
b
asi
c
_set and
isl
_
basic_map internal
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolae
g
e
h
i
d
e isl_ma
p
inter
n
a
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolae
g
e
hide isl_se
t
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hid
e
i
sl_bas
i
c
_map
i
nterna
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
v
en Verdoolaege
hide isl_bas
i
c
_set inter
n
al
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-27
Sven V
e
rdoola
e
ge
add
i
sl_basic_set_{in,}equali
t
ies
_
matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdoolaege
isl_arg_parse: supp
o
rt foo
t
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
Ve
r
doolaege
isl_arg_pa
r
se:
avo
i
d duplicate n
e
wline in hel
p
ou
t
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verd
o
ol
a
ege
isl_
a
rg_parse:
support grou
p
ing of options with
i
n
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdo
o
laeg
e
isl_ar
g
_
p
a
rse: support int op
t
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en
Verdoolaege
isl_arg_parse: supp
o
r
t
I
SL_AR
G
_HIDDEN
f
lag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verdoolaege
i
s
l_arg_parse: support
ISL_ARG_BOOL_ARG flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Ver
d
o
o
la
e
ge
isl_arg_parse: support ISL_ARG_SINGLE_DASH flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdo
o
laege
i
sl_
a
rg_parse: support
aliases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
Verdoolaege
isl_arg_pa
r
se: alw
a
ys print help optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: support
p
hantom boolean options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
e
rdoola
e
ge
is
l
_
arg_parse: fre
e
st
r
ing argument
s
before
o
verwri
t
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
Verdoolaege
isl
_
arg_parse: allow options
a
ft
e
r argum
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoo
l
aeg
e
isl_arg_
p
ar
s
e: only
p
rint --ver
s
i
o
n o
p
tion once
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
erdoo
l
aege
is
l
_ar
g
_pa
r
se:
pr
i
nt str
i
n
g option
d
efault
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
Sven
V
e
rdoolae
g
e
isl_a
r
g_pa
r
se:
d
e
limit strin
g
option arg
u
ment by
a
ngle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoolaege
isl_arg_pars
e
:
allow options
w
itho
u
t
l
ong
name
commit
|
commitdiff
|
tree
2010-11-24
S
ven V
e
r
d
ool
a
ege
isl_v
e
c_read_polylib: use isl_stream
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
S
ven Verd
o
ola
e
ge
Re
n
ame hea
d
ers f
r
om isl_hea
d
er
.
h to isl/h
e
ader
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-18
Sven
V
e
r
doolaege
i
sl_
t
ab_basic_m
a
p_partial_lex
o
pt
:
fix me
m
ory l
e
ak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
a
dd isl_uni
o
n_set_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdo
o
la
e
ge
a
dd isl_union_map_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven
V
erdoolaege
isl_tab_basic_map_pa
r
tial_lexopt: add all e
q
uali
t
i
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
is
l
_
pi
p
: avoid e
m
pty d
o
main
d
uring verification
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
add
i
sl_basic_set_b
o
x_from_p
o
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-15
Sv
e
n Verdo
o
laege
isl_basic
_
map_el
i
minate_vars
:
don'
t
d
e
tect divs
w
hile
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verd
o
o
laege
isl_qpolynomial_bound_on_
d
omain_bernst
e
in
:
optionally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
laege
isl_opt
i
o
n
s
_parse:
p
rint default on bo
o
lean
o
p
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Ve
r
doola
e
ge
isl_options_pa
r
s
e: accept
prefix before or after
"
no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
ad
d
isl_cell_foreach
_
s
imp
l
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
isl_basic_set_co
m
pute_vertices: st
o
re
i
nput basi
c
set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolaege
i
sl_vertices_foreach_cell
:
sto
r
e individual vertex
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolae
g
e
add isl
_
union_pw_
q
polyno
m
ial_to_polynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
d
oolaege
doc: u
p
dat
e
isl_pw_qpolynomial_gist de
s
cri
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
add isl_set_for
e
ach_orthant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
isl_rang
e
.
c: pr
i
va
t
e
l
y export isl_qpolynomi
a
l
_terms_of_sign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
is
l
_range
.
c: collect_fixed_s
i
gn
_
terms: drop dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_s
e
t_split_di
m
s:
e
x
tract out half
-
space creation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
ol
a
ege
isl_pr
i
n
t
er_print_pw_q
p
oly
n
om
i
al
_
fold: use consistent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n Verdoolaege
isl_dim_total: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaege
a
d
d i
s
l_vec_clr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolae
g
e
isl_qp
o
lynomial_div_pow:
n
ormalize given
div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdoolaege
i
sl_bo
u
nd: accept folds as inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdo
o
laege
i
s
l
_
bou
n
d: use isl_pw_qp
o
lynomial_fo
l
ds intern
a
lly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdoolaege
e
x
po
r
t isl_pw_qpolynomial_fold_fix_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
ven V
e
rdoo
l
aege
add isl_union_set_p
o
lyhedral_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-05
Sven Verdoolaege
isl_pw_qpolyn
o
mia
l
_gist
:
also tr
y
to eliminate int
e
ger
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-05
Sven Verdoolaege
hide some functions th
a
t were exposed by mistake
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolae
g
e
isl
_
qpolynomial_su
b
s
t
itute_eq
u
alities: elimina
t
e integer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoola
e
ge
isl_stream_read_pw_q
p
olynomial:
r
ead n
e
sted divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdo
o
laege
isl_qpolynomial
_
div_p
o
w: allow nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next