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
make isl/point.h self-contained
2010-12-27
Sve
n
Verdoolaege
m
ak
e
isl/point
.
h self-c
o
ntained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven
V
er
d
oolaege
isl
0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven
Verd
o
olaege
isl_printer_pr
i
n
t
_basic_map: plug memory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sv
e
n
Verdoolaege
isl_dim_set_name: plug
m
e
m
o
ry leak when overwri
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sve
n
Verdoolaege
isl_tab_basic_map_par
t
ial_lexopt
:
detect
and
exploit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoo
l
a
eg
e
isl
_
tab_pip
.
c: fix
t
ypo
s
in
c
omment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven
Verdoo
l
ae
g
e
isl_pip: limit the t
o
tal numb
e
r of parameter values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdo
o
laege
a
dd is
l
_basic_set_cou
n
t_upto
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven
Ve
r
d
oolaege
isl_scan
.
c: fix
typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-17
To
b
i
a
s Grosser
D
o
not
hash the memory address of an isl_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n
V
er
d
o
olae
g
e
isl_fl
o
w
.
c:
fix typ
o
s
in comme
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaeg
e
isl
_
union_map
_
compute_flow: ex
p
lo
i
t
f
ixe
d
dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
Verdoolaege
isl_union_map_compute
_
flow: avo
i
d d
e
pendence on
p
ointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven
Verdoo
l
a
e
ge
dataflow analysis: allow abse
n
ce
of
"text
u
al" ord
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
Verdoolaege
add i
s
l_map_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Ve
r
d
oo
l
aege
basic_map_
r
ead
_
polyli
b
:
a
dd more
sanity checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolaege
isl_pip: preserve names of pa
r
amet
e
rs in
i
n
p
ut conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
Sve
n
Verdoolaege
i
s
l
_
t
a
b
_basic_map_par
t
ial_
l
exo
p
t: avoid me
m
ory leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-11
Sve
n
Verdoolaege
isl_pw_qpolynomial_fold_
b
ound: avoid a
c
cess to freed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
S
v
en
V
erdoolaeg
e
isl_ba
s
i
c_set
_
li
f
t: p
r
operl
y
update the n
u
mber of ext
r
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sve
n
Verdoola
e
ge
doc: emphasize the n
e
ed for isl_int_get_gmp
a
nd isl_int_se
t
_gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolae
g
e
isl_qpolynomial_
d
iv: further
normalize divs by r
e
ducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaeg
e
i
s
l_stream_re
a
d
_
pw_qpolynomial:
a
c
cept
p
o
wers
o
n co
m
pound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
a
dd isl_
q
polynomial_pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_q
p
ol
y
nomial:
prope
r
ly
m
erge identical nested d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoola
e
ge
add isl_ma
t
_col_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven
V
erdoolaege
avoid us
i
n
g
isl
_
bas
i
c
_set an
d
is
l
_basic_m
a
p
internals
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sv
e
n Verdoolaege
hide isl_map
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven
Verdoolaeg
e
hide isl_set in
t
e
r
nals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven
V
erdoolaege
hide i
s
l_basic_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hid
e
isl_basi
c
_set in
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-27
Sven
Verdool
a
ege
add isl
_
basi
c
_
s
et_{in,}equalities_matr
i
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en
V
e
r
d
oolaege
i
s
l_arg_parse: supp
o
rt fo
o
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Ver
d
o
o
laege
isl_
a
r
g_par
s
e: avoid du
p
licate
n
e
wline
i
n h
e
lp output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en
V
erdoolaege
i
sl_arg_pa
r
se: support grouping of
o
p
tions withi
n
t
he
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven V
e
rdoolaege
isl_arg_parse: support
i
nt options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Ver
d
o
olaege
isl_
a
rg_parse: support
IS
L
_ARG_HIDDE
N
f
lag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Ve
r
doolaege
i
sl_a
r
g
_parse: support ISL_ARG_B
O
OL_ARG flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_a
r
g_parse: s
u
p
p
ort ISL_ARG_SINGL
E
_DAS
H
flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
ven V
e
rdoolaeg
e
is
l
_arg_par
s
e
:
su
p
p
o
r
t
alia
s
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
Verdo
o
laege
isl_arg_pa
r
se
:
a
l
w
ays p
r
int
help opti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdoolaege
isl_arg_parse: suppor
t
phan
t
om boolean options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Ve
r
doolaege
isl_arg_par
s
e: free string
a
rguments before overwriting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
i
s
l_arg_parse: allow options after
a
rgu
m
ent
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoola
e
ge
isl
_
arg_parse
:
o
nly print --version option on
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdoolaeg
e
isl_arg_pa
r
se: print string o
p
tio
n
default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-24
S
ven Ver
d
oolaege
isl_
a
r
g_parse
:
delimit s
t
ring option argum
e
nt by angle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-24
Sven Ver
d
oolaege
isl_arg_parse: allow opti
o
n
s
witho
u
t
long nam
e
commit
|
commitdiff
|
tree
2010-11-24
S
ven Verdoolaege
isl_v
e
c_re
a
d_p
o
ly
l
i
b
: u
s
e isl_str
e
am
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoo
l
aege
Rename h
e
aders
from isl_header
.
h to i
s
l/header
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-18
Sven Verdoolaege
isl_tab_basic_m
a
p
_
partial_lexop
t
:
fix memory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sv
e
n
V
e
r
doolaege
add isl_un
i
on_
s
et_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven
V
e
rdoolaeg
e
add isl_union_map_read_from_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sve
n
Verdool
a
ege
isl_t
a
b_basic
_
map_partial_lexo
p
t: add all eq
u
alities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
S
v
en Verdoolaege
i
s
l_pip: a
v
oid empty dom
a
in d
u
ring verification
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdo
o
laege
add isl_basic_set_box_
f
r
o
m
_point
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-15
Sven Verdoolaege
isl_basic_m
a
p_el
i
minate_vars:
d
on
'
t
detect divs wh
i
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-14
Sve
n
Verdool
a
ege
isl_dim
.
c
:
set_name: only print single erro
r
m
e
ssage
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-14
S
v
en
Verdoolaege
isl_pw_qpolynomi
a
l_f
o
ld_bound: fix handli
n
g or zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-14
Sven Ver
d
o
olaeg
e
isl_printer_print_pw_qpolynomial{
,
_fold}:
a
lways p
r
i
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Ver
d
oolae
g
e
isl_qpolynomial_bou
n
d_on_domain_
b
erns
t
e
in: optional
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_options_p
a
r
se: print defa
u
lt on bo
o
lean options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verd
o
olaege
isl_op
t
ions_parse: acce
p
t p
r
e
f
i
x
b
e
fore or after "no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
add isl_ce
l
l_foreach_
s
imple
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
isl_basi
c
_se
t
_compute_v
e
rti
c
es
:
store input bas
i
c set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
Verdoolaege
i
s
l_vertic
e
s_foreach_ce
l
l: st
o
r
e individua
l
vertex
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
add
i
s
l_union_pw_qpo
l
ynom
i
al_
t
o_p
o
lynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
d
o
c: upd
a
te i
s
l_
p
w
_
qpolynomial_
g
ist d
e
sc
r
ipt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
add isl_set_fo
r
each_orthant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
V
erdoo
l
aege
isl_range
.
c:
p
r
iv
a
tel
y
export isl_qpolynomial_terms
_
of
_
sig
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
e
g
e
isl_
r
a
n
ge
.
c:
c
o
llect_fixed_si
g
n_
t
erms: drop dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_set_split_d
i
ms: extract out half-s
p
ace creatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolaeg
e
isl_printer_prin
t
_pw_qpolynomial
_
fold: use consiste
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_
d
im_total: handle NULL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
Verdoolaege
add isl_vec_clr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
isl_qpolynomial_div_pow: normalize given div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdoolaege
isl_b
o
un
d
: accept folds as input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
Sven
V
e
r
doolae
g
e
isl_bound: us
e
isl_pw_
q
polyn
o
m
i
al_folds
i
nternally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdoo
l
aege
export isl_pw_qpolynomial_fold
_
fix_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ver
d
oolaege
add isl_union_se
t
_
poly
h
edral_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-05
Sven
Ve
r
doolaege
isl_pw_qpolyno
m
ial_gist: also try
to
e
lim
i
nate integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-05
Sven V
e
rdoolaeg
e
h
i
de so
m
e
functions
that
w
ere
ex
p
osed by mistake
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sv
e
n Verdoolaege
isl_qpoly
n
omial_substitute_
e
q
u
al
i
tie
s
: eliminate
int
e
ger
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
S
v
en Verdoolaege
isl_stream_r
e
ad_pw_qpolynomial: read nested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sv
e
n
V
erdoolaege
isl_
q
polynomial_div_pow: allow nested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
isl_printer_pr
i
nt_
q
polynomial: properly print
n
este
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdool
a
eg
e
isl_q
p
oly
n
o
m
ial_substitute
_
equalit
i
es:
ign
o
r
e con
s
tant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sven
V
erdoolaege
isl_
q
poly
n
o
m
i
a
l_sub
s
titute_eq
u
alities: don't u
s
e equal
i
tie
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Ve
r
doolaege
isl_basic_map_
u
nderly
i
n
g
_
s
e
t: remove any str
u
ct
u
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdo
o
laege
export isl_set_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-30
Sven
Ver
d
oolaege
i
s
l
_
qpo
l
ynomial_m
o
rph: pr
o
perly handle
c
hange in nu
m
ber
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-28
S
v
en
Ve
r
doo
l
aege
i
s
l_s
t
ream_read_map: read
_
var_def: read var definit
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sv
e
n Ver
d
oola
e
ge
add isl_set_r
e
move_
d
ivs_inv
o
lving_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
Sv
e
n V
e
rdoolae
g
e
add isl_div_div
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdoolaege
add
i
s
l
_di
v
_
c
opy
commit
|
commitdiff
|
tree
2010-10-26
Sven
V
erdoolaege
export isl_pw_qpolynomial_
f
old_set_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
Sve
n
Verdool
a
e
g
e
d
o
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdoolaege
export isl_pw_qpolynomial_fold_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
Sve
n
Verdoolaege
ad
d
isl_set_flatten_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
Sv
e
n V
e
rd
o
olaege
isl_pw_qpolyn
o
mial_gist: substitute
e
q
ual
i
ties in polynomials
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next