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 Verdo
o
laege
is
l
_dim_move
:
up
d
ate para
m
eters of nested spa
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
i
s
l
_vertices
.
c
: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
is
l
_uni
o
n
_
templ
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_map_subtract
.
c: n_no
n
_red
u
ndant: propag
e
isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_bernstein
.
c
: fi
x
ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdool
a
e
g
e
isl_basic_map_rem
o
ve_d
i
vs: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
isl_un
i
on_ma
p
_sample
:
don'
t
re
t
urn N
U
L
L
o
n
em
p
ty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_basi
c
_map_s
e
t_tuple_name: fi
n
a
l
i
z
e resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
i
sl_transitive_closure
.
c:
more anony
m
ize
i
npu
t
m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ver
d
oolaege
isl_basic_s
e
t_factorizer: make
s
ure g
r
oup informa
t
io
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
isl_basic_ma
p
_fr
o
m_const
r
aint_
m
atrices: clear
n
ewly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
isl_input
.
c: read_factor: dr
o
p une
x
p
ected
identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Ver
d
oola
e
ge
isl
_
input
.
c: ac
c
e
p
t_affine_factor:
a
void double fr
e
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven V
e
rdool
a
ege
isl_
u
nion_map_coa
l
e
sce and isl_union_map_compute_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Ver
d
o
olaege
isl_basic_map_sol
v
e_lp: us
e
den
o
minator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdool
a
ege
i
s
l 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
e
n Verdoolae
g
e
isl
_
ta
b
_basic_map_partial_
l
exopt:
fix up symmetry detection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
rdoo
l
ae
g
e
is
l
_basic_map_
u
nive
r
se: finalize
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoo
l
aege
i
s
l_seq
.
h: allow incl
u
sion from C++
commit
|
commitdiff
|
tree
2010-12-27
Sven Ve
r
d
o
ola
e
ge
make is
l
/po
i
nt
.
h self-cont
a
ined
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdo
o
laege
isl 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sve
n
Verdoolae
g
e
isl_printer_pr
i
nt_ba
s
ic_map: plug
m
em
o
ry leak on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Ve
r
doolaege
isl_dim_set
_
name: plug memory leak
w
hen over
w
riti
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdo
o
la
e
g
e
isl_tab
_
basic_map_partia
l
_lexo
p
t: d
e
t
e
ct and exploit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_tab_pip
.
c: fix typos in c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ver
d
oolaege
isl_pi
p
: limit the tota
l
nu
m
be
r
of
parameter valu
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
add isl
_
basic_set_coun
t
_
upto
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sv
e
n Verd
o
ol
a
ege
isl_scan
.
c: fix typo
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-17
Tobias G
r
osser
Do not
hash
t
he memory address of an isl_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
isl_f
l
ow
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
isl
_
union_map_c
o
mpute_flo
w
: exploi
t
fixed dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Ver
d
oo
l
a
e
ge
isl_u
n
ion_ma
p
_compute_
f
low: a
v
oid dep
e
ndence
on po
i
n
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdo
o
lae
g
e
datafl
o
w ana
l
y
s
i
s
:
a
llow
a
bsenc
e
of "text
u
al"
ord
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
add isl_
m
ap_get_
h
ash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Verdool
a
ege
basic_m
a
p_read_polylib: ad
d
more sanity ch
e
cks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoola
e
ge
isl_pip: preserve nam
e
s of
parameter
s
in input cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sve
n
Verdoolaege
isl_ta
b
_ba
s
ic_map_part
i
al_lexopt:
a
v
o
id memo
r
y l
e
a
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-11
Sven V
e
rdoolaege
isl
_
p
w_qpolyno
m
ial_fold_bound: avoid access
to freed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl
_
basic_set
_
lif
t
:
prope
r
l
y u
p
da
t
e
t
he
n
u
mber of extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sv
e
n Verdoolaege
doc: emphasize the need for isl_int_ge
t
_gmp a
n
d isl_int_set_gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Ver
d
oola
e
ge
i
s
l_qpoly
n
o
m
ial_div: further normalize divs by r
e
d
ucing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
S
v
en Verdoo
l
aege
is
l
_st
r
eam_read_pw_qpolynomial: accept powers on co
m
pou
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
add
isl_qpolynomial_
p
ow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdool
a
ege
i
sl_qpolynomi
a
l: properly
m
e
r
g
e iden
t
ical nested
d
i
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sv
e
n Ver
d
oolaege
ad
d
is
l
_mat
_
col_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoo
l
aege
av
o
id
u
s
ing i
s
l
_
basi
c
_set and
i
sl_b
a
s
ic_map inte
r
nals
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sve
n
Ve
r
d
o
olaege
h
i
d
e isl_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sve
n
V
erdoola
e
ge
hide isl_s
e
t internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
ven Verd
o
olaege
hi
d
e
isl_basic
_
map
in
t
e
r
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoola
e
ge
h
i
d
e isl_basic_set inter
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-27
Sven V
e
rdoo
l
ae
g
e
add isl_ba
s
ic_set_
{
i
n
,}eq
u
alities_matr
i
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
e
n
V
e
rdoolaege
i
sl_arg_
p
arse:
s
upport
f
o
oter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n V
e
rd
o
olaege
isl_arg_parse
:
a
vo
i
d duplicat
e
newli
n
e in help ou
t
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verdoolaege
isl
_
arg_pa
r
se:
s
upport
g
roupi
n
g
o
f options w
i
t
h
in th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
erdoo
l
ae
g
e
isl_arg_parse: support int options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verdoolaege
isl_arg_parse: support ISL
_
ARG_HIDDEN flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Ver
d
oolaege
i
s
l_a
r
g
_
p
a
rse: support ISL
_
ARG_BOOL_ARG fl
a
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
Verdoolaege
i
s
l
_arg_
p
arse:
suppo
r
t ISL_A
R
G_SINGLE_DASH
f
l
ag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolae
g
e
isl_
a
rg_pa
r
s
e: support
a
l
i
a
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoola
e
g
e
isl_arg_p
a
rse:
a
lwa
y
s
p
rint help option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en
Ve
r
doolaege
isl_a
r
g_parse: support phantom boolean options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoo
l
a
e
ge
isl_
a
rg_parse
:
free
s
tri
n
g arguments before
o
verwriting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verdoolaege
i
sl_arg_
p
a
rse: allo
w
options after
a
rgumen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verdoo
l
aege
i
sl_arg
_
parse: only p
r
int --versio
n
option once
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
i
sl_arg_p
a
rse: pri
n
t stri
n
g option default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoolaege
is
l
_
arg_parse: delimit str
i
ng option
a
r
gu
m
en
t
by angle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoolae
g
e
is
l
_arg_parse: allow
o
ptions without long name
commit
|
commitdiff
|
tree
2010-11-24
Sven Ver
d
oolaege
isl_ve
c
_rea
d
_polylib: use isl_st
r
eam
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoo
l
aeg
e
Renam
e
heade
r
s from isl_header
.
h to isl/header
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-18
Sven Verd
o
olaege
isl
_
tab_basic_map_
p
a
rti
a
l
_
lexopt: fix
m
emor
y
leak
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven V
e
rdoolaege
add is
l
_un
i
on_set_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sv
e
n Ve
r
d
oolaege
add isl_un
i
on_map
_
read_from_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
isl_tab
_
basic_map_partia
l
_lexopt:
a
dd al
l
equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdool
a
ege
is
l
_pip: av
o
id empty d
o
main d
u
r
i
ng
v
erification
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven V
e
rdoolaege
add i
s
l_bas
i
c_set_box_from_points
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-15
Sven Verdo
o
laege
isl_bas
i
c_map_eli
m
i
nate_vars: don
'
t d
e
t
e
ct divs while
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-14
Sven Verdo
o
laege
isl_dim
.
c: set_name: o
n
ly print single error message
.
.
.
commit
|
commitdiff
|
tree
2010-11-14
Sven
V
erdoolaege
isl
_
p
w
_
q
polynomia
l
_f
o
ld_bound: fix
h
an
d
ling or
zer
o
.
.
.
commit
|
commitdiff
|
tree
2010-11-14
Sven
Verd
o
o
l
a
e
ge
isl_printer_print_
p
w_qpolynomial{,
_
f
old}
:
always
p
rin
t
.
.
.
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaege
i
s
l_qpolyn
o
mial_bound_
o
n_domain_bernstein: optionally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaege
i
sl_options_pars
e
:
p
ri
n
t def
a
u
lt on boolean opti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
isl_opt
i
ons_pa
r
se: accept pref
i
x bef
o
re o
r
after "no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdool
a
e
g
e
a
d
d isl_
c
e
ll_foreach_simplex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
Ve
r
doolaeg
e
isl_basic_set_co
m
pute_vertic
e
s: store
input b
a
sic set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven
V
erd
o
olae
g
e
i
s
l
_
vert
i
ces_foreach_cell:
store
i
ndividual
v
ertex
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ve
n
V
e
rdool
a
ege
add isl_
u
nio
n
_pw_
q
polynom
i
a
l
_
to_pol
y
nomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
o
o
la
e
g
e
doc: upda
t
e isl_pw_qpolynomi
a
l
_
gist
d
escription
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven
V
erdoo
l
a
ege
ad
d
isl_set_f
o
r
e
ach
_
orth
a
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en V
e
r
doo
l
aege
isl_r
a
ng
e
.
c: privately export
isl_qpo
l
y
nomial_terms_of_sign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oo
l
aege
isl_range
.
c:
c
olle
c
t_
f
ixed_sign_
t
er
m
s
: dro
p
dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaeg
e
i
s
l_
s
et_split
_
d
ims:
ext
r
act out
half-space creati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
isl_printer_print_pw_qpol
y
nomial_fo
l
d: use consistent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doo
l
aeg
e
is
l
_d
i
m_t
o
tal
:
h
andle NULL
in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erd
o
olaege
add isl_vec_c
l
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdo
o
laege
isl_qpolynomial
_
div_pow:
n
o
rmalize given div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdoolaege
isl_bound
:
accept fo
l
ds as
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven
V
erdoolaege
isl_bound: use
i
sl_pw_q
p
ol
y
nomial_folds internally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdo
o
laeg
e
export
i
sl
_
p
w
_
q
polynomial_fol
d
_fix_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
add isl
_
union_
s
et_polyh
e
dral_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-05
Sven Ver
d
o
olaege
is
l
_pw_qpolyn
o
mia
l
_
g
ist
:
also tr
y
to
el
i
m
inate int
e
g
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next