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
Sven Verdoolaege
isl
_
map_subtract
.
c
: n_non_r
e
dundant:
p
ropage isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verd
o
ol
a
e
g
e
i
s
l_
b
ernst
e
in
.
c
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en
Verdoolaege
isl_basic_m
a
p
_
remov
e
_divs: finalize resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
ven V
e
rdoolaege
isl_union_map_sampl
e
: d
o
n't return N
U
LL
o
n empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
S
ven V
e
rdoolaege
isl_basic_map_set_
t
u
ple
_
name: fina
l
ize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
doolaege
i
s
l_transi
t
ive_closure
.
c
:
more
a
nonymize
in
p
ut
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
S
v
en Ve
r
doolaege
isl_basic_set_f
a
ctorizer: make sure group informat
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic_map_from_
c
on
s
traint_mat
r
ices: clear new
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
sl_
i
nput
.
c: read_fac
t
or:
drop unexpected identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
oolaege
isl_input
.
c: accept_affine_factor: avoid
d
o
uble free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven
V
erdool
a
ege
i
sl_union_map_coa
l
esce and isl_union_map
_
compute_
d
ivs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven
V
erdoo
l
aege
isl_basic_map_solve_
l
p: use
denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verd
o
olae
g
e
isl 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoola
e
ge
i
sl_tab_
b
asi
c
_map_par
t
ial_l
e
xopt: fix up symmetr
y
detect
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoola
e
ge
isl_ba
s
ic_map_universe:
finalize
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
sl_seq
.
h: allow inc
l
us
i
on from
C
++
commit
|
commitdiff
|
tree
2010-12-27
Sven
V
erdoolaege
make isl/point
.
h se
l
f-co
n
taine
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
S
v
en
Verdo
o
laege
isl
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
S
v
en Verdoolaege
i
sl_prin
t
er_
p
rint_bas
i
c_map:
p
lug me
m
ory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sve
n
Verdoolaege
isl_dim
_
set_name:
p
l
u
g m
e
mor
y
leak when overw
r
i
ti
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ver
d
oolaege
isl_tab_b
a
sic_map_par
t
ial_lexopt: detect and exploit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sve
n
Verdoolaege
isl_tab_pip
.
c: fix ty
p
os in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoo
l
aege
i
sl
_
pip: limit the to
t
al num
b
e
r
of paramet
e
r values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven
V
er
d
oo
l
aege
add
isl_basic_s
e
t_c
o
un
t
_upto
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
S
v
en Verdoolaege
isl_
s
c
an
.
c: fix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-17
Tobias Gross
e
r
Do
not
hash
the memo
r
y ad
d
res
s
o
f an
is
l
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven
Verdoolaege
isl_flow
.
c
:
fix
t
ypos
i
n
c
ommen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven V
e
rdoolaege
i
s
l_union_
m
ap_c
o
mpute_fl
o
w
: exploit f
i
xed
d
i
mensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdool
a
ege
isl
_
unio
n
_map_compute_flo
w
: avoid
d
ependence on pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
S
ven
V
erdoolaege
data
f
low analysis:
a
llow absence of
"textual" orde
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Verdoo
l
aege
a
d
d
isl_map_ge
t
_has
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
Ve
r
doolaege
bas
i
c_map_read_pol
y
l
ib:
a
dd more sanity
c
hecks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
Sven Ve
r
d
o
olaege
i
s
l_p
i
p: preserve names
o
f parameters in in
p
ut context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
S
ven
V
erdo
o
l
a
e
ge
isl_tab_bas
i
c_map_p
a
rtial
_
lexopt: avoi
d
memory l
e
ak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-11
Sv
e
n
V
erdoolaege
isl_p
w
_qpolynom
i
al_fold_bound: avo
i
d access to freed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven
Ve
r
doolaege
isl
_
basi
c
_set_l
i
f
t: properly update the number
o
f
e
xtra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
S
v
en Verdoo
l
aege
doc
:
emph
a
size
the
need for isl_int_get_gmp and is
l
_
i
nt_set
_
gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sv
e
n Verdoolaege
isl_qp
o
lynomial_div
:
further normalize divs by reduc
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolae
g
e
isl_stream
_
r
ead_p
w
_qpolynomial: accept pow
e
rs on c
o
m
p
ound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdo
o
la
e
ge
add isl_qpolynomial_pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verd
o
olaeg
e
i
sl
_
q
pol
y
nomial:
properly m
e
rge id
e
ntical nested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
S
v
e
n Verd
o
olaege
add
i
sl_mat_col
_
add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
avoid using isl
_
basic_set a
n
d
isl_basic_map in
t
er
n
als
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sve
n
V
e
rdoolaege
h
i
de isl_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven
V
erdoolaege
hide isl_set in
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hide isl_basic_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hi
d
e
i
sl_basic_set inte
r
nals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-27
Sven
V
erdoolae
g
e
add isl_basic_
s
et_{in,}equal
i
ties_m
a
trix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verdoolaege
isl_arg_par
s
e: support footer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
e
n Verdoolaeg
e
isl_
a
rg_parse
:
a
v
o
i
d
duplicate newline in help
outpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolae
g
e
isl_arg_parse
:
support groupi
n
g
o
f options wit
h
in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verdool
a
ege
isl_ar
g
_
p
arse: suppor
t
int
o
p
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdool
a
ege
isl
_
arg_parse: support ISL_ARG_
H
IDD
E
N flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verd
o
olaege
isl_arg_parse
:
support I
S
L_ARG_BOOL_ARG flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoo
l
aege
is
l
_arg_par
s
e: s
u
pport
I
SL_A
R
G_SINGLE_DASH flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
Verdoolaege
isl_a
r
g_parse: s
u
pp
o
r
t aliases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Ve
r
dool
a
ege
isl_arg_pa
r
se: alway
s
print help option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg
_
par
s
e: supp
o
rt p
h
antom boolean op
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
Verdoolaege
is
l
_arg_parse: free
s
tring arguments bef
o
re o
v
erwriting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdo
o
l
aege
isl_arg_parse: allo
w
op
t
ions after arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaeg
e
isl_arg_parse: only prin
t
--version
o
pti
o
n
o
nce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
ven Verdoo
l
ae
g
e
isl_
a
rg_parse:
p
rint string opt
i
on
d
e
fa
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-24
Sv
e
n
Verdoolaege
isl_arg_parse:
delimit string option
argument
by angle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoola
e
ge
isl_arg
_
par
s
e: all
o
w op
t
ions without lo
n
g name
commit
|
commitdiff
|
tree
2010-11-24
Sve
n
Verdo
o
l
a
ege
isl_
v
ec_read
_
polylib: use
i
sl_stream
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sve
n
Verd
o
olaege
Rename
headers from i
s
l
_header
.
h to isl/hea
d
e
r
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-18
Sven Verdoolaege
isl_t
a
b_basic_map_p
a
r
tial_lexopt: fix memor
y
le
a
k on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdo
o
laege
a
d
d i
s
l_union_set_is_eq
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
S
v
en
V
erdoolae
g
e
add isl_union
_
map
_
r
ead
_
from_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
S
v
e
n Verdoola
e
ge
i
s
l_tab_basic
_
m
a
p_partial_lexop
t
: add a
l
l equ
a
lit
i
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
S
v
en
Verdoolaeg
e
is
l
_pip: avo
i
d empty domain dur
i
ng ver
i
fication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verd
o
olaege
a
d
d isl_
b
a
s
ic_set_bo
x
_from_points
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-15
Sven Verdoolaege
isl_basic_map_elimi
n
ate_va
r
s: do
n
't detect divs
w
hile
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-14
Sven Verdo
o
laege
isl_di
m
.
c:
s
et_name: only print
single e
r
ror mes
s
a
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-14
Sven Verdoo
l
aege
isl_pw
_
q
p
olynomial_fo
l
d
_
b
ound: fix ha
n
dling or zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-14
Sve
n
Verdoola
e
ge
isl_p
r
inter_p
r
int_pw_qp
o
lynom
i
a
l
{
,_fold}: always p
r
int
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
is
l
_qpolyn
o
m
i
al_
b
o
u
nd_o
n
_doma
i
n
_bernstei
n
:
o
ptional
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
erd
o
olaege
isl_options
_
pa
r
se
:
p
rint
d
ef
a
ult on boolean opt
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
V
erdoolaege
isl_opt
i
ons_p
a
rse: a
c
c
e
pt prefix before or aft
e
r "no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
ola
e
ge
add isl_cell_f
o
r
e
ach_s
i
mplex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
is
l
_
basic_set_compu
t
e_ve
r
ti
c
es: store input basic se
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoolaege
isl_vert
i
ces_foreach_cell: s
t
ore i
n
d
iv
i
dual ve
r
tex
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
V
erd
o
o
l
aege
add isl_
u
nion_pw_qpolyn
o
mial_to_polyno
m
ial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolaege
doc: update isl_pw_
q
polynom
i
al_gist description
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
Verdoolaege
a
d
d isl_set_foreach_orthant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
er
d
oolae
g
e
isl_range
.
c
: priv
a
tely ex
p
ort isl_qpolyn
o
m
i
al_terms_of_
s
ign
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_range
.
c
:
colle
c
t_fixed_sign_terms
:
d
rop dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoolae
g
e
isl_set_
s
plit_dims: ext
r
act
out h
a
lf-space crea
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
dool
a
e
ge
i
s
l
_printer_print_pw_qpolyn
o
mi
a
l_f
o
ld:
u
se consistent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rd
o
olaege
i
s
l_dim
_
total: handle NULL in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
add isl_vec_clr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven
Ve
r
doolaege
isl_
q
poly
n
omial_
d
iv_pow: normalize gi
v
en div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
S
ven
V
erdoolaege
isl
_
b
o
und: accept fold
s
as input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
S
ven Ver
d
oolaege
isl_
b
ound: use isl_
p
w
_qpo
l
ynomia
l
_folds internally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
Sven Ver
d
oolaege
exp
o
rt isl_
p
w_qpolynomi
a
l_fold_fi
x
_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sve
n
Verdoolae
g
e
add isl_union_se
t
_
pol
y
hedral_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-05
Sven Verdoolaege
isl_pw_qpolyno
m
ial_gist: also try to eliminate integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-05
S
v
en Verd
o
ola
e
ge
hide some f
u
nct
i
ons that were exposed
b
y
mistake
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sve
n
Verdoolaege
i
sl_qpolynomial_substitute_equalities: eliminate integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
S
v
en
V
erdoola
e
ge
i
sl_stream_read
_
pw_qpolynomial: read nested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next