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 0.05
2010-12-23
Sven Ve
r
d
ool
a
e
g
e
isl
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_printer_print
_
ba
s
ic_map: plug m
e
mory leak on
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdo
o
laege
isl_dim_set_
n
ame: plug memory l
e
ak when overwri
t
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sve
n
Verdoolaege
i
s
l
_
t
ab_basic_ma
p
_
pa
r
tial_lexop
t
: detect and e
x
ploit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verd
o
ol
a
ege
isl_
t
a
b_p
i
p
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoola
e
ge
isl_p
i
p:
lim
i
t th
e
total nu
m
ber of p
a
rameter values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
a
d
d
isl_basi
c
_set_count_upt
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven
V
e
r
doolaege
isl_scan
.
c: fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-17
Tobias
G
rosser
Do
n
ot hash
the memory
a
ddress of an i
s
l_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
S
ven Verdoolaege
isl_flow
.
c
: f
i
x typ
o
s
in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven
V
erdoola
e
ge
isl_un
i
o
n
_
m
ap_comput
e
_flow: explo
i
t
fixe
d
dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Ver
d
oolaege
is
l
_union
_
map_compu
t
e
_flow: av
o
id
d
epen
d
ence on
pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven
Verdoolaege
da
t
aflow a
n
alysis: allow ab
s
ence of "textual" order
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdo
o
laege
add isl_map_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verd
o
olaege
bas
i
c_map
_
read_pol
y
lib: add m
o
re sa
n
i
t
y che
c
k
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdo
o
laege
i
s
l_
p
ip: preserve names of pa
r
a
m
e
ters in
i
nput
c
ontext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
Sven
V
erdoolaege
isl_tab_basic_map_partial_lexo
p
t: av
o
id memory lea
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-11
S
v
en V
e
rdoolaege
i
s
l_pw_qpolynom
i
a
l
_fold_bo
u
nd:
a
voi
d
access to
f
reed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoo
l
aege
is
l
_bas
i
c_set_lift: prop
e
rly
u
p
d
ate
t
h
e
n
u
mber of extr
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verd
o
olaege
do
c
: emph
a
size the need
f
o
r
isl
_
int_get_
g
m
p
and
i
s
l
_
int_
s
e
t
_
gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoo
l
aege
isl
_
q
polynomial_div
:
further normal
i
ze divs by re
d
u
cing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdool
a
ege
i
s
l_s
t
ream_read
_
pw_qpolynomi
a
l: accept powers
on co
m
po
u
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
add isl_qp
o
lynomial_pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_
q
polynomi
a
l:
p
r
o
p
erly merge identical nested
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sve
n
Verdoolaege
add i
s
l_ma
t
_col_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven V
e
r
doolaege
avo
i
d us
i
ng isl_basic_s
e
t and
isl_
b
asic_map inter
n
als
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hide isl_ma
p
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sve
n
Verdoolaege
hide isl_se
t
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ve
r
do
o
laege
h
i
de
isl_basic_map
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven
Verdoolaege
hid
e
isl_basic_set internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-27
Sven Verdoolaege
a
d
d
isl_basic_set_{in,}equalities
_
matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven V
e
rdoolaege
isl_arg_parse: suppor
t
f
ooter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en
V
e
r
doolaege
isl_arg_par
s
e
:
a
void duplicate ne
w
l
i
ne in
he
l
p o
u
t
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verd
o
olaege
isl_arg_
p
arse: supp
o
r
t groupi
n
g of
options within the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven V
e
rdoolaege
i
sl_arg_parse: support
i
nt options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: support ISL_ARG
_
HIDD
E
N fla
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
ven Verdoolaeg
e
isl_arg
_
parse: support ISL_ARG_B
O
OL_AR
G
flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_ar
g
_parse: s
u
pport
I
SL_ARG_SINGLE_DASH
flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
Verdoola
e
ge
isl_ar
g
_parse: su
p
port alia
s
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
ven
Verdoola
e
ge
isl_arg_parse: alwa
y
s prin
t
help option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Ve
r
d
o
ol
a
e
g
e
i
sl_arg_parse: suppo
r
t phant
o
m boolean options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
e
n
Verdoolaege
isl_arg_parse: f
r
ee string a
r
g
u
ments be
f
o
re
overwriting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolae
g
e
isl_arg_parse:
a
llow
o
ptions after arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
Verdoolae
g
e
isl
_
arg
_
parse: only
print --version option onc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdool
a
e
ge
is
l
_arg_parse: pri
n
t string
o
ption
default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoolaege
isl_arg_pars
e
: delimit string optio
n
a
r
gument b
y
angle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-24
S
v
en Verdoo
l
aege
isl_
a
rg_parse:
a
llow o
p
t
ions witho
u
t long name
commit
|
commitdiff
|
tree
2010-11-24
S
v
en V
e
r
d
oola
e
ge
i
sl_v
e
c
_
read_polylib: use isl_st
r
eam
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven
Verdoolaege
Rename headers
f
rom isl_h
e
ader
.
h
to isl/he
a
der
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-18
Sven
Verdoolaege
isl_tab
_
b
asic_
m
ap_partial_lexop
t
: fix memory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven
Verdoolaege
add isl_union_set_is_equ
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sv
e
n V
e
rdoolaege
add isl_union_map_read_f
r
om_
s
tr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
is
l
_ta
b
_
b
a
s
ic_map_p
a
rtial_l
e
xopt:
add all equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sve
n
Verdo
o
laege
is
l
_pip: avoid empt
y
domain dur
i
ng verifi
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
S
v
en
Verdoolaege
add i
s
l_basic_set_box_from_points
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-15
Sven Verdoolaege
isl_basic_map_el
i
minate_vars: don't
d
e
tect divs whil
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-14
Sv
e
n
Verdo
o
laege
isl_di
m
.
c: set_name:
o
nl
y
print si
n
g
le error m
e
ssa
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-14
Sven Verdoolaege
is
l
_
p
w_qpolynomial_fo
l
d_b
o
und:
f
ix
handling or ze
r
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-14
Sven Verdoolaeg
e
isl_printe
r
_
p
r
in
t
_pw_q
p
o
l
ynom
i
al{,
_
fold}: always pr
i
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdoo
l
aege
isl_qpolynomial_boun
d
_on_domain_bernstein: op
t
ionally
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
i
s
l_
o
p
t
ions_par
s
e: p
r
int default on boolean options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
V
erdoolae
g
e
isl_o
p
tions_
p
arse: acc
e
p
t prefi
x
be
f
ore or after "no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
o
o
l
a
e
g
e
add isl_cell_f
o
reach_simplex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoo
l
aeg
e
isl_basic_set_compute_vertice
s
: store input b
a
sic set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_vertices_foreach_cell: store indivi
d
ual
ver
t
ex
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
add isl_unio
n
_pw_qpolyn
o
m
i
al_to_polynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
doc: u
p
date is
l
_pw_
q
polynomial_gist descripti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Verdool
a
ege
a
d
d is
l
_set_f
o
reach_orthan
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
oo
l
aege
isl_range
.
c: privately export isl
_
qpolyno
m
ial_terms_
o
f
_
sign
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ver
d
ool
a
ege
i
sl_range
.
c: c
o
llect_fixed_sign_
t
erms: drop dead co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
V
erdoolaege
isl_
s
et_split
_
di
m
s: ex
t
ract o
u
t
h
alf-
s
pace creation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
isl_printer_print_pw_qpolynomial_fold: use co
n
sistent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
i
s
l_d
i
m_total:
han
d
le NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n Verdoolaege
add
i
sl_ve
c
_clr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
S
v
e
n
Verdoolae
g
e
isl_qpolynomial_div_pow:
n
ormalize give
n
div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdoolae
g
e
i
s
l_bound: accept folds as inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdoolaeg
e
i
s
l_bound: use isl_pw_qpolynomial_folds intern
a
lly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
Sven V
e
rdoolaege
expo
r
t is
l
_pw_qpolynomial_fold
_
f
i
x_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
add
i
sl_union_set_polyhedral
_
hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-05
Sven Verdoolaege
i
s
l_pw_qpo
l
ynomial_gist: also try to eliminate integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-05
Sven Verdoola
e
ge
hide some functions that were exposed by
mist
a
ke
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sv
e
n Verdoolaege
isl_qpol
y
nom
i
a
l
_
substitute_equalities: eliminate int
e
ger
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sven
Verdoolaege
isl_s
t
r
ea
m
_read_pw_q
p
olynomia
l
: read nested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sven
V
erdoolaege
isl_
q
poly
n
o
m
ial_
d
iv_pow: allow ne
s
te
d
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sven
V
e
r
doolaege
isl_print
e
r_pri
n
t
_
qpol
y
nomial: properly print nes
t
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
S
ven Verdoolaege
isl_qpolyn
o
mial_subs
t
i
tu
t
e_equalities: ignore c
o
n
sta
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sven
V
erdoo
l
aege
isl_qpo
l
ynomial_substitu
t
e_e
q
ualities: don't
use equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verd
o
olaege
i
s
l_basic_map_underlying_set
:
remove any structur
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Ve
r
doolaege
ex
p
ort is
l
_set_rese
t
_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-30
Sve
n
V
e
r
d
o
olaege
isl_qpolynom
i
al_morph: properly handle chan
g
e
i
n number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-28
Sven Verd
o
olaeg
e
isl_
s
tre
a
m_r
e
ad_map: read_va
r
_
d
ef:
rea
d
var
defini
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
Verdo
o
laege
add
i
sl_set_remove_div
s
_i
n
v
ol
v
ing_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
S
ven Verdoola
e
ge
add isl_div_di
v
commit
|
commitdiff
|
tree
2010-10-26
Sven
V
erdoola
e
ge
add is
l
_
div_copy
commit
|
commitdiff
|
tree
2010-10-26
Sve
n
Verdoolaege
e
x
port isl_pw_
q
poly
n
o
m
i
al_fold_s
e
t_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdoolaege
doc: fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdoolaege
export i
s
l_pw_qpolyn
o
m
ial_fol
d
_
a
dd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdoolae
g
e
ad
d
isl_set_fl
a
tten_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
S
ven Verdoolaege
isl_p
w
_qpolynomial_gis
t
: su
b
st
i
tut
e
equalities in poly
n
o
m
ial
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
Sv
e
n Verdoolaege
is
l
_pw_
q
polyn
o
mial_gist: drop empt
y
pieces in r
e
s
u
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next