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_union_map.c: inplace: pass data pointer to isl_hash_table_foreach
2011-02-05
Sven Verd
o
olaege
isl_union_map
.
c: inplace: pa
s
s
data pointer to
isl_hash
_
tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdo
o
laege
isl_dim_move: update
p
aram
e
te
r
s of n
e
sted s
p
aces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
e
rdoolaege
isl_vert
i
ces
.
c: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
isl_union_templ
.
c:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_map_s
u
btract
.
c: n_n
o
n
_
r
e
dunda
n
t:
p
ropage
i
s
l_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
i
s
l_bernstein
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
i
s
l
_basic_map_remov
e
_
d
i
vs
:
finaliz
e
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoola
e
ge
isl_union_map
_
sample
:
don't return NULL on e
m
pty in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdool
a
ege
isl_basic_map
_
se
t
_tuple_name
:
fin
a
lize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n
V
e
rdoolae
g
e
isl
_
t
ransitive_closure
.
c: more anonymize input map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_basic_set_
f
a
c
toriz
e
r:
m
a
ke sure
g
r
o
up informatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
Verdoo
l
aege
i
sl_basic_map_
f
rom_co
n
straint
_
matric
e
s: clear newly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_input
.
c: r
e
ad_factor: drop
u
nexpect
e
d identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolae
g
e
i
sl_input
.
c: accept
_
af
f
ine_factor: avoid doubl
e
f
r
ee
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sve
n
Ver
d
o
o
laege
i
sl_union_ma
p
_
c
oalesce a
n
d
i
sl_u
n
ion_map_compute_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl
_
bas
i
c_map_solve_lp: use d
e
nominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
v
e
n Verd
o
ola
e
g
e
isl 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdo
o
laege
isl_tab
_
basic_ma
p
_p
a
rtial_l
e
xopt:
f
ix up s
y
m
met
r
y d
e
t
e
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_b
a
sic_ma
p
_uni
v
erse:
f
inalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdo
o
laege
isl_seq
.
h: allow incl
u
sion from C++
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoolaege
m
ake isl/point
.
h
se
l
f-con
t
ained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Ve
r
doolaege
isl 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
S
v
en Verd
o
olaege
is
l
_prin
t
er_print_ba
s
ic_map: p
l
ug mem
o
ry
leak on
er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
S
ven Verdoolaege
is
l
_
d
im
_
set_nam
e
: plu
g
memory
leak w
h
en o
v
er
w
riting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ve
r
d
oolaege
isl_t
a
b
_
basic_map_partial_le
x
o
p
t: d
e
t
ect
a
nd exploit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sv
e
n Verdoolaege
isl_tab_pip
.
c:
f
ix typos in co
m
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ve
r
do
o
laege
isl_pip: limit t
h
e
total number of parame
t
er values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
S
v
en
Verdoola
e
ge
add isl_basic_set_count_upto
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sv
e
n Verd
o
o
laege
isl_sc
a
n
.
c: fix ty
p
o i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-17
Tob
i
as Grosser
Do not
hash the memor
y
address of
a
n isl_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdo
o
laeg
e
isl_flow
.
c: fix
t
ypos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
S
ven Ve
r
doolaeg
e
isl_unio
n
_map
_
compute_flow: exploit fixed dime
n
s
i
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verd
o
olaeg
e
isl_un
i
on_map_co
m
p
ut
e
_flow:
a
v
o
id de
p
endence on poin
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoola
e
ge
dataflow analys
i
s: a
l
low absence of "textu
a
l" order
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Verdool
a
ege
add isl
_
map_get_
h
ash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
basic_map_read_polylib: add more sanity chec
k
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolae
g
e
isl_pip: preserve names of param
e
ters in input context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolaeg
e
isl_tab
_
basic_map_par
t
i
al_lexopt: avoi
d
mem
o
ry leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-11
Sven V
e
rdo
o
l
aeg
e
i
s
l_p
w
_qpoly
n
omial_f
o
ld_bound: avoid access
t
o freed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven
Verdoolaege
isl_basi
c
_
set_lift:
prop
e
rly upd
a
te the
n
umbe
r
of
e
x
t
r
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven
V
e
rdoolaege
doc:
e
mp
h
asize the need for isl_
i
nt_get_gmp and i
s
l
_int_s
e
t_gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
i
sl_
q
p
olynomial
_
di
v
:
furth
e
r
normalize divs
by r
e
ducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sve
n
Verdo
o
l
aege
isl_str
e
am_re
a
d_pw_qp
o
lynomial: acc
e
pt po
w
ers on compound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven V
e
rdoola
e
ge
add isl_qpo
l
ynomial
_
pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven
V
erdoolaege
isl_qpo
l
yno
m
ial: p
r
operly merg
e
identical n
e
s
t
ed divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sve
n
Verdoolaege
add isl
_
mat_col_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
avoid using isl_basic
_
set and
isl_
b
asic_map internals
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hide isl_map i
n
t
e
rnals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hide isl_set i
n
ter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ve
r
d
o
olaege
hide
is
l
_basic_
m
ap intern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ver
d
o
olaege
hide isl_basic_se
t
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-27
S
ven Verdoo
l
aege
add isl_basic
_
set_{in,}eq
u
alitie
s
_matr
i
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
erdoo
l
aege
i
s
l
_
arg_parse:
s
upport footer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_pa
r
s
e
: avoid
d
u
p
lic
a
te newline in help outpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verdo
o
laege
isl_arg
_
parse: sup
p
or
t
grouping of
options within the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven
Verd
o
olaege
isl_arg_parse:
supp
o
rt i
n
t optio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
erdoolaeg
e
isl
_
arg_parse: support ISL_ARG_HIDDEN flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en V
e
rdoolaege
isl_arg
_
parse: s
u
pport ISL_ARG_BOOL_ARG f
l
ag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
i
s
l_
a
r
g
_
parse: support ISL_AR
G
_SINGLE_D
A
SH fl
a
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verd
o
olaege
isl_arg_parse: su
p
port
a
liases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaeg
e
isl_ar
g
_p
a
rse: alwa
y
s print help option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
Verdoola
e
g
e
isl_
a
rg_p
a
r
s
e: support phanto
m
boole
a
n options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven
Verdoo
l
aege
isl_
a
rg_parse: free
string arguments befor
e
ove
r
writing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verd
o
o
l
aege
isl_arg_parse: allo
w
options after argum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdo
o
lae
g
e
i
s
l_arg_parse: only print --versio
n
option once
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Ver
d
oolaege
isl_a
r
g_parse:
print
s
t
ring option default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoolae
g
e
isl_arg
_
parse: deli
m
it strin
g
opti
o
n argumen
t
b
y
angle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-24
Sve
n
Ve
r
doolaege
isl_arg_parse
:
allow opti
o
ns
wi
t
hout
lo
n
g name
commit
|
commitdiff
|
tree
2010-11-24
S
v
en Ve
r
d
oo
l
aege
isl_ve
c
_read_polylib: use is
l
_stream
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolaege
Rename headers
f
rom isl_h
e
ader
.
h to i
s
l/h
e
ader
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-18
Sv
e
n Ve
r
doolaege
isl_tab_basic_map_partia
l
_lexopt:
fi
x
me
m
o
r
y leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdo
o
laege
add is
l
_union_set_is_
e
qual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
a
d
d
i
s
l_union_map
_
read_from_
s
tr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verd
o
olae
g
e
isl_t
a
b_basic_map_partial
_
lexopt: a
d
d
all equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
isl_pip: av
o
id em
p
ty domain duri
n
g verification
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven
V
erdoolaeg
e
add isl_ba
s
ic_set_bo
x
_from_poin
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-15
Sven
Verdool
a
ege
isl_basi
c
_map
_
eliminat
e
_
v
ars
:
don't
detect divs wh
i
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-14
Sven Ver
d
ool
a
eg
e
is
l
_dim
.
c: set_name:
o
nly print single error mes
s
age
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-14
S
v
en Verdoolaege
i
s
l
_pw_qpolynomi
a
l_fold_b
o
und
:
fix handling or zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-14
S
v
en
V
erdoolaeg
e
i
s
l_pri
n
ter_p
r
int_pw_qpolyn
o
mial{
,
_f
o
ld}: always print
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoola
e
ge
isl_qpolyn
o
mial_boun
d
_on_doma
i
n_bernste
i
n: optionally
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_options_
p
arse: print
d
e
fa
u
lt on boo
l
ean
options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
r
doolaege
isl_options_pars
e
: accep
t
pre
f
ix before or after "no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
add isl_cell_foreach_s
i
mplex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
isl_bas
i
c_set_comput
e
_vertices: store input basic set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaege
i
s
l_vertices_foreach_cell: store ind
i
vidual verte
x
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdo
o
l
a
ege
ad
d
isl_union_
p
w_qpolyn
o
mial_to_pol
y
nomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Ve
r
do
o
laege
doc: update isl_pw_qpo
l
ynomial_gist d
e
s
c
r
i
pti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven V
e
rdoolaege
add isl_set_fo
r
each_orthant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
i
sl_range
.
c: p
r
ivately export isl_qpo
l
ynomial
_
te
r
ms
_
of_s
i
gn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_range
.
c: c
o
llect_f
i
xed_sign_terms: dr
o
p dead
c
ode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
i
s
l_set_spli
t
_
dims: e
x
tr
a
ct out hal
f
-space creati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolaege
isl_prin
t
e
r
_print_pw_qpolynomial_fold: u
s
e co
n
s
i
stent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
isl_dim_total: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erdoolaege
ad
d
isl_vec_clr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven V
e
rdoolaege
isl_q
p
olynom
i
al_div_pow
:
normalize given div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
Sv
e
n V
e
rdoolaege
isl_bound: accept fold
s
as
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
S
v
en Verdoolae
g
e
isl_bound: use isl_pw_
q
polyn
o
mia
l
_folds internally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
Sven
Verdoolaege
export isl_pw_qpolynomial_fold_fix
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
S
ven Verdoolaege
add
isl_u
n
i
o
n
_
set_polyhedral_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next