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_map_subtract.c: n_non_redundant: propage isl_ctx
2011-01-23
Sv
e
n
V
erdoolaege
isl_map_subtract
.
c:
n_non_redund
a
nt
:
propage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
isl_bernstein
.
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdo
o
laege
is
l
_bas
i
c_
m
ap_re
m
ove_
d
iv
s
: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoola
e
ge
isl_un
i
on_map_sample: don'
t
return NULL on empty
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
v
en Verdoolaege
i
sl_basic_ma
p
_set_tuple
_
name
:
finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolae
g
e
isl_tra
n
siti
v
e_cl
o
sure
.
c
: more anonymize
i
nput map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n Ve
r
doolaege
i
sl_
b
asic_
s
et_factorizer: ma
k
e sure group info
r
ma
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
isl_basi
c
_map_from_co
n
straint_matr
i
c
e
s: clear n
e
wly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdo
o
l
a
ege
isl_
i
nput
.
c
: read_factor: drop un
e
xpe
c
ted identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
l
a
ege
isl_input
.
c:
acc
e
pt_affine_
f
act
o
r: avoid d
o
uble
f
ree
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
S
ven V
e
rdoolaege
isl_union_ma
p
_coalesce a
n
d
i
sl
_
union_map_compute
_
div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
isl_b
a
sic_map_solve_lp: use denominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
rdo
o
laege
isl
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
e
n
Verdoolaege
isl_ta
b
_basi
c
_map_partial_le
x
opt: fix
u
p symme
t
ry det
e
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n
Ve
r
do
o
laege
isl_basic_map_universe
:
finali
z
e
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
Verdoo
l
ae
g
e
isl
_
se
q
.
h: allow
i
nclusion
from C++
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoolaeg
e
mak
e
isl/point
.
h self-cont
a
ined
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sve
n
Verdool
a
e
g
e
isl 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_pr
i
nter_print_basic_map: plug
memory leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolae
g
e
isl_
d
im_set_name:
p
lug mem
o
ry leak when overwritin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolae
g
e
isl
_
tab_basic_map_p
a
rtial_le
x
opt
:
d
e
tect and exploit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sv
e
n Verdoola
e
ge
i
sl_tab_pip
.
c: f
i
x ty
p
os
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdo
o
l
aege
isl_pip: limit the total number of parameter valu
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven
V
erdo
o
laege
add is
l
_basi
c
_set_count_upto
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven
V
e
rdoo
l
aege
isl_
s
can
.
c: fix typo in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdo
o
laege
isl_flow
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven
V
erdoo
l
aege
isl_unio
n
_map_c
o
mpu
t
e_flow:
exploit
fixed dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n
Verdoo
l
aege
isl_
u
nio
n
_map_compute_flow: avoid depe
n
dence on
po
i
nter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Ver
d
oolaege
dat
a
flow an
a
lys
i
s
:
allow absence
of "
t
extual" o
r
d
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
a
dd
isl_map_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
Ver
d
oolaege
basic_map_read_polyl
i
b: add
more sanity ch
e
ck
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
S
ven Verdo
o
laege
i
sl_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 V
e
rdoolaege
isl_tab
_
basic_map_p
a
rtial_lexop
t
:
av
o
id memory l
e
ak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-11
Sven Verdoola
e
ge
isl_pw_qpolynomial_fold_bound: avoid acce
s
s
to freed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolae
g
e
isl_basi
c
_set_lift: properly update th
e
number of extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
do
c
: emphasize th
e
n
e
ed f
o
r is
l
_int_g
e
t_gmp and
is
l
_int_se
t
_gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
S
ven Ve
r
d
o
olaege
isl_qpolynomial_div: fur
t
her normalize div
s
by reducing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoola
e
ge
isl_str
e
am_
r
e
ad
_
pw_q
p
olynomial: acc
e
pt powers
o
n
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 Ver
d
oolaege
isl
_
q
p
olynomial: properl
y
me
r
ge
identical nest
e
d div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven
V
e
r
d
oolaege
add
isl_mat_co
l
_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
avoid using isl_basic_set and isl_basic_m
a
p inter
n
al
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hide isl
_
m
ap internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
ve
n
Verdoolae
g
e
hide isl_set internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hide
isl
_
basic_ma
p
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdool
a
ege
h
ide isl_basic_set interna
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-27
Sve
n
Verdoo
l
a
e
ge
add
i
sl_basi
c
_
s
et_{in,}equalities_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verd
o
o
l
aege
isl_arg_parse
:
support fo
o
ter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaeg
e
isl_ar
g
_par
s
e
:
avoid du
p
lica
t
e newl
i
ne
in
h
elp output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
is
l
_arg
_
p
ars
e
: supp
o
r
t grouping o
f
options within the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdool
a
e
ge
i
s
l_arg_p
a
rse: support i
n
t options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
erd
o
olae
g
e
isl_arg_p
a
rse: su
p
p
o
r
t
ISL_ARG_HI
D
DEN fl
a
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdoolaege
isl_arg_parse: support I
S
L_A
R
G_BOOL_AR
G
f
lag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Ver
d
oolaege
isl_arg_parse: s
u
pport ISL_ARG_SINGL
E
_DASH flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n V
e
rd
o
o
lae
g
e
i
s
l
_arg_p
a
rse: suppor
t
aliases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
ven
V
er
d
oo
l
aege
isl_
a
rg_parse: always pr
i
nt
help opti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Ver
d
oolaege
i
s
l
_arg_
p
arse:
support phanto
m
b
o
olean options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoo
l
a
e
ge
i
s
l_arg_parse: free stri
n
g argu
m
ent
s
before
o
verwriting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdool
a
ege
i
sl_arg
_
parse: allow options after a
r
guments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
erdoolaege
isl_a
r
g_parse: o
n
ly print --
v
ersion option once
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
Verdoolaege
isl_arg_pars
e
:
print s
t
ring op
t
ion default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
Sven V
e
rdo
o
lae
g
e
isl_ar
g
_parse: delimit s
t
r
ing
o
ption argume
n
t by
a
ngle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
Sven
V
erdoolaege
isl_arg_parse: allow options without long nam
e
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoolaege
isl_
v
ec_read_polylib:
us
e
isl_stream
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Ve
r
dool
a
ege
Rename heade
r
s from isl_header
.
h to is
l
/header
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-18
Sven
Verdoo
l
aeg
e
isl_
t
ab_b
a
si
c
_ma
p
_
partia
l
_
lexopt: fix
m
emory
l
eak
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven
V
erdoolaege
a
d
d isl_u
n
ion_s
e
t_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sv
e
n Verdoolaege
add isl_union_map_
r
e
ad_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven
Verdoolae
g
e
isl_tab_basic_
m
ap_p
a
rt
i
al_
l
exopt
:
add a
l
l
e
quali
t
ies
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sv
e
n
V
e
r
do
o
laeg
e
i
s
l_p
i
p: av
o
id e
m
pt
y
domain
d
uring veri
f
ication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
add isl_b
a
sic_set_box_fr
o
m_points
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-15
Sve
n
Verdoo
l
aege
isl
_
basic_map_e
l
imi
n
a
t
e_
v
ars: don'
t
detect div
s
w
h
i
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaeg
e
isl_q
p
o
lynomial_bound_on_domain_berns
t
ein:
optionally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdool
a
ege
is
l
_o
p
ti
o
ns
_
pa
r
se
:
print
d
e
f
aul
t
on
b
ool
e
an options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_options_parse: a
c
cept
p
ref
i
x before or af
t
er
"
n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoo
l
a
e
ge
add isl_cell
_
foreach_simpl
e
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
i
s
l_basic_set_co
m
pute_verti
c
es
:
store input
basic set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoola
e
ge
isl_ve
r
tices_foreac
h
_
c
e
ll: s
t
ore i
n
div
i
du
a
l
v
e
r
tex
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
add isl_un
i
on
_
p
w_qpolynomial_to_polyno
m
i
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
V
erdoolaeg
e
doc: upd
a
te isl_pw
_
q
po
l
ynomial
_
gist
d
escription
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoolae
g
e
add isl_set_
f
oreach_or
t
hant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verd
o
olaege
isl
_
range
.
c: privately export isl_qpolynomial_terms_of_sign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Verdoolaege
isl_range
.
c:
c
ollect_fi
x
ed_sign_terms: drop dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olaeg
e
isl_set_split_dims: extract out ha
l
f
-s
p
a
c
e creation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
isl_printer_print_pw_q
p
olynom
i
al_
f
old: u
s
e consistent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oolaege
isl_di
m
_total
:
handl
e
N
ULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Verdoolaege
a
d
d isl_vec_
c
lr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Ve
r
d
o
ola
e
ge
isl_qpolynomial_div_pow: normalize given div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sv
e
n Verdoola
e
ge
i
sl_boun
d
: accept fol
d
s as input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
S
ven Verdoolaege
isl_bound
:
us
e
i
sl_pw_q
p
olynomial_folds internally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sve
n
Verdoolaege
export isl_pw_qpolyno
m
i
a
l_fold_fix_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
ve
n
Verdoolaege
add isl_
u
n
i
on_set_p
o
l
yh
e
d
ral_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-05
Sven V
e
rdoolaege
isl_
p
w
_
q
pol
y
nomi
a
l
_
g
ist: also try to eliminate
in
t
eger
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-05
Sv
e
n Verdoolaege
hide some functions that
w
e
re expose
d
b
y m
i
st
a
ke
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven
V
erdo
o
laege
is
l
_qp
o
lynomial_
s
ubstitute_e
q
ualit
i
es: elimi
n
ate integer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sv
e
n
Verd
o
olaege
isl_stream
_
r
e
ad_pw_
q
polyno
m
ial:
r
ead
n
ested
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
i
s
l_q
p
ol
y
nomial_div_pow: al
l
ow nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Ver
d
o
o
l
a
ege
i
sl_p
r
inte
r
_print_qpolyn
o
mial: properly pri
n
t nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Ver
d
oolaege
isl_qpolyno
m
ial_sub
s
titute
_
e
q
ualities:
ignor
e
constant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Ve
r
d
oolaege
isl
_
qpolynomi
a
l_
s
u
b
stitute_equal
i
ties:
d
on
'
t use
equa
l
i
ti
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next