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_stream_read_map: allow extra ';' at end of map description
2010-12-29
Sven Ve
r
d
o
olae
g
e
add isl_ba
s
ic_{se
t
,map}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verdoolae
g
e
is
l
_printer_
p
rint_
b
asic_{set,map
}
: don
'
t print n
e
wlin
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
olaege
re
n
a
me isl_*_
d
um
p
to isl_*_pri
n
t_inte
r
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoo
l
aege
make isl/point
.
h s
e
lf
-
contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven
Verdoolaege
isl
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_pri
n
ter_print_basic_m
a
p:
plug memory
l
eak
on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven
Verdoolaege
isl_dim_set_na
m
e: plug memory leak when overwritin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaeg
e
isl_tab_ba
s
ic_map_pa
r
tial_lexopt: detect and e
x
ploit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven
V
e
r
dool
a
ege
isl_t
a
b_
p
ip
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ve
r
doola
e
ge
isl_pip: li
m
it the to
t
al nu
m
b
er of par
a
meter value
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verd
o
o
lae
g
e
add isl_basic_set_count_upto
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
v
e
n Verdool
a
ege
isl_scan
.
c: fi
x
typo
i
n
com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven V
e
rdoo
l
aege
isl_flow
.
c: fix typos in com
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
S
v
en Verdoolaege
isl_un
i
on_map_compute_flow: exploit fi
x
e
d
d
im
e
nsions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
S
ven
V
erdoolaege
i
sl_union_map_compute_flow: avoid
dependence on
pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
S
ven V
e
rdoolaege
d
a
taflow ana
l
y
sis: allow absence
of
"
te
x
t
ual" order
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
ad
d
isl_m
a
p
_
g
e
t_ha
s
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven V
e
rdoolaege
basic_map_re
a
d_polylib
:
ad
d
more sa
n
ity
c
h
ecks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sve
n
Verdoola
e
ge
isl
_
pip: preserve n
a
me
s
o
f
parameters in input con
t
ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
S
ven Verdoolaeg
e
is
l
_
tab_
b
asic_m
a
p_pa
r
tia
l
_lexopt
:
avo
i
d memor
y
le
a
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-11
Sven
Ver
d
oolaege
isl_pw
_
q
polyno
m
ial_
f
ol
d
_b
o
und
:
avoid access to fre
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_basic_set_li
f
t:
p
ro
p
erly
update
the
n
umbe
r
of
e
x
tr
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
S
ven
V
erdoo
l
aeg
e
doc: emphasize the
n
eed
for isl_int_get_gmp a
n
d isl_int_set_gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Ve
r
doolaege
isl_qp
o
lynomial_div: further normalize div
s
by red
u
cing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven
V
erdoolaege
isl_stream_read_pw
_
q
p
olynomial: acc
e
pt po
w
ers
o
n compound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
ad
d
isl_qpolyn
o
mi
a
l_pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
S
v
en V
e
rdoolaege
isl_qpolynomial: properly merge i
d
enti
c
al nested div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verd
o
olaege
a
d
d is
l
_mat_col_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Ver
d
oolaege
a
v
o
i
d using isl_basic_set and i
s
l_basic_map interna
l
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdool
a
ege
hid
e
i
s
l_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoola
e
g
e
hide isl_
s
et internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolae
g
e
hide
i
sl_b
a
s
ic_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
ven Ver
d
oolae
g
e
hide isl_basic_set internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-27
Sven Verdoolaeg
e
add
isl_basic_s
e
t
_{in,}equalities_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_ar
g
_parse: s
u
pport
footer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
Verdoolaege
is
l
_arg_parse: avoid dup
l
icate
newline in help out
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: support groupin
g
o
f
options withi
n
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Ve
r
d
o
olaege
isl
_
arg_parse
:
supp
o
rt int options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verdool
a
ege
isl_
a
r
g
_
p
arse: supp
o
rt
ISL_A
R
G_HIDD
E
N f
l
ag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verd
o
olaege
isl
_
a
r
g
_
parse: suppo
r
t ISL_ARG_BOOL_ARG flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
is
l
_arg
_
parse: support ISL_
A
RG
_
SINGLE_DA
S
H
fla
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
ven
Ver
d
oolaege
is
l
_arg
_
p
a
rse
:
support aliases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_p
a
rse: a
l
w
a
ys print h
e
lp option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdool
a
ege
isl_arg_pa
r
se
:
su
p
port phantom bo
o
l
e
an
o
ptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_
p
ars
e
: fre
e
s
tring
argu
m
e
n
ts befo
r
e over
w
riting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoo
l
a
ege
isl_arg_parse:
a
l
l
ow op
t
ions after
a
rgu
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Ver
d
oolaege
isl_arg_
p
a
rse:
o
nly print --version
o
pt
i
on o
n
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Ve
r
doo
l
a
e
ge
isl_arg_parse: pri
n
t strin
g
op
t
ion default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoo
l
aege
i
s
l_
a
r
g
_parse: de
l
imit s
t
ring option argument by an
g
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
S
v
e
n Ver
d
oolaeg
e
is
l
_
a
rg_parse: allow option
s
without long name
commit
|
commitdiff
|
tree
2010-11-24
Sv
e
n Verdoolae
g
e
isl_vec_read
_
pol
y
lib: use isl_stream
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolaege
Rename header
s
from isl_
h
eader
.
h to
isl/head
e
r
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-18
Sven Verdool
a
ege
isl
_
tab_bas
i
c_map_
p
ar
t
i
al_lexopt: fix
m
emory leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
S
v
e
n
Ve
r
d
oolaege
add i
s
l
_
unio
n
_
set_is
_
e
q
ual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
add isl
_
uni
o
n_map_
r
ead_from_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sv
e
n
V
e
rdo
o
la
e
ge
isl_tab_ba
s
ic
_
map_pa
r
tial_le
x
o
p
t: add
a
ll equ
a
lities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
S
ven Verdoolaege
isl_pip:
a
void empty domai
n
dur
i
n
g verifi
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven
V
erd
o
olae
g
e
add i
s
l_ba
s
ic_
s
et_
b
ox_fr
o
m_poi
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-15
Sven Verdoolaege
isl_basic_map_eliminate_vars: don
'
t dete
c
t divs while
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoolae
g
e
isl_qpo
l
y
n
omial_b
o
u
nd_o
n
_domain_
b
ernstein:
o
ptionall
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
isl_opt
i
ons_par
s
e: print
def
a
ul
t
o
n boolean options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven
V
erd
o
ola
e
ge
i
s
l_options_pa
r
se: acce
p
t pre
f
ix before or af
t
er "no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoo
l
aege
add isl_cell_foreach_simplex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
V
erdoo
l
aege
i
sl_basic_set_compu
t
e_vertice
s
: store input
b
a
s
ic set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
i
sl_vertices_fore
a
ch_cell:
s
t
o
r
e
individual
vert
e
x
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en V
e
rdoolaeg
e
a
d
d isl
_
union_pw_q
p
olynomial_to_p
o
lynomi
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdo
o
l
aege
do
c
: upd
a
t
e
i
s
l_p
w
_qpolynomia
l
_gist descri
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verd
o
ol
a
ege
add isl_set_foreach_ortha
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdool
a
ege
isl
_
ra
n
ge
.
c: private
l
y exp
o
rt isl_qpolynomial_terms_of
_
sig
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoola
e
ge
isl_
r
a
nge
.
c:
c
ollect_fixed_sign_terms: drop dead
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolaeg
e
i
sl_set_s
p
lit_dims: extract o
u
t half-space creatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_printer_print_pw_qpolyn
o
mi
a
l_fold:
u
se consistent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaege
is
l
_dim_to
t
al: handle
N
ULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
V
erdoola
e
ge
ad
d
isl_
v
e
c
_
c
l
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
S
v
en Verdoolaege
isl_qpolynomi
a
l_div_pow: normalize gi
v
en div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdoolaeg
e
isl_b
o
und: a
c
cept
f
olds as input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven Ve
r
doo
l
aege
i
sl_bou
n
d: use isl_pw_
q
polyno
m
ial_folds i
n
ternally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdoolaege
ex
p
ort isl_pw_qp
o
lyno
m
ial_f
o
l
d_f
i
x
_
d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
add isl_union_set_p
o
lyhedral_h
u
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-05
Sven
Verdoolaege
isl
_
pw_qpolynomial_gist: also try to el
i
mi
n
ate integer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-05
Sve
n
Verdoolae
g
e
hide some
f
unctio
n
s th
a
t were exposed by m
i
sta
k
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sv
e
n Verdoolaege
is
l
_qpol
y
nomial_substit
u
te_e
q
ualiti
e
s: el
i
m
inate
i
nteger
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Ver
d
oolaege
isl_stre
a
m_read_pw_q
p
olynomia
l
: read
n
ested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Ve
r
doola
e
ge
isl_
q
poly
n
omial_di
v
_pow: allo
w
nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
i
sl_printer_print_qpolynomial: pr
o
perly print
nest
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
isl_qpolynomial
_
substitute_
e
quali
t
ies: ignore constant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaeg
e
is
l
_qpolynomial_substitute_equalities: d
o
n
'
t u
s
e equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Ve
r
doolaege
isl
_
bas
i
c_map_underlying_set: remove a
n
y structure
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolae
g
e
e
x
port
i
sl_
s
et_
r
eset_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-30
Sven Verdoolaege
isl_qpolynomial_morph: properly hand
l
e change in
number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-28
Sven Ve
r
doolaege
isl_stream_read_ma
p
: read_va
r
_def: read v
a
r
definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-27
S
ve
n
Verdoolaege
add is
l
_set_re
m
ove
_
d
i
v
s_invo
l
vi
n
g
_
dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdoolaege
a
dd isl_div
_
d
i
v
commit
|
commitdiff
|
tree
2010-10-26
Sven V
e
rd
o
o
l
aeg
e
add isl_
d
i
v_copy
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdo
o
laege
e
x
port isl_pw_qpoly
n
omial_fold_set
_
dim_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-26
Sven Ver
d
oolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdoolaeg
e
export isl_pw_qpolynomial_fold_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdoolaege
add
isl_set_
f
latt
e
n
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-26
Sven
Ver
d
o
olaege
isl_pw_q
p
olynomial
_
gist: s
u
bs
t
itute
equalities in polynomials
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-26
Sv
e
n Verdoolaege
isl_pw_qpolynomial_
g
ist:
drop emp
t
y
p
ieces
i
n result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next