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 Verdoolae
g
e
isl 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
S
v
en Verdoolaege
isl_printer_
p
rint_basic_
m
ap: p
l
u
g
m
e
m
o
ry l
e
ak on er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_dim_set
_
name: plug
memory leak when o
v
erwriting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
S
ven
V
e
rdoolaege
isl_tab_basic_
m
a
p_partial_lexopt: d
e
tect and
e
xploit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ve
r
doolae
g
e
i
sl_tab_pip
.
c: fix t
y
pos in c
o
mmen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_pip: limit
t
he total number of
parameter
v
alues
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
add isl_b
a
sic_set_count_upto
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verd
o
ola
e
ge
is
l
_scan
.
c: fi
x
typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-17
Tobias Grosser
Do not
hash the memory address of an isl_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
Verd
o
olaege
isl_flow
.
c:
fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven V
e
rd
o
olae
g
e
isl_u
n
ion_m
a
p_
c
ompu
t
e_flow: exploi
t
fixed
d
im
e
nsions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Ve
r
d
o
o
laege
i
sl_uni
o
n_map_compute_f
l
ow: avoid dependenc
e
on pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
dataflow analysis: a
l
low absence of "te
x
tu
a
l" order
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
add isl_map_ge
t
_has
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
S
v
e
n Verd
o
o
l
aege
ba
s
ic_m
a
p_read_pol
y
lib: add mo
r
e sanity checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
S
v
e
n
V
e
rdoolaege
isl
_
pip:
p
reserve
names of parameters in inp
u
t context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolaege
isl_tab_basic
_
map_partial_lexopt: avoid memory l
e
ak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-11
Sv
e
n
Verdoolaege
isl_pw
_
qpol
y
n
omial
_
fold
_
bou
n
d: a
v
oi
d
acces
s
to freed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven V
e
rdoolaege
isl_ba
s
ic_s
e
t_l
i
ft: properly up
d
a
t
e the numbe
r
of extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
S
ven Ver
d
oola
e
ge
d
o
c: emphas
i
ze the need for
i
sl_int_g
e
t_gm
p
and isl_int_set_gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
S
ven Verdoolae
g
e
i
sl_qpolynom
i
al
_
div
:
fu
r
ther norma
l
ize divs by
reducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sv
e
n Verdoolaeg
e
isl_stream_read_pw
_
qpolynomial: accept powers on compoun
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
S
ven Verdoolaege
add isl_
q
polynomial_
p
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
S
v
e
n Ve
r
dool
a
e
g
e
i
sl_qpolynomi
a
l: properly
merge ide
n
tical neste
d
div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sve
n
Verdoo
l
aege
a
d
d isl_m
a
t_col
_
a
dd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
S
ven
Ver
d
oolaege
avoid usin
g
i
s
l_basic_set and isl_bas
i
c
_map in
t
ernals
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
S
v
e
n
Verdoolaege
hide i
s
l_ma
p
i
nternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven V
e
rdoolaege
hide
isl_set internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sv
e
n Verdoolaege
hide isl_bas
i
c_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hide isl_b
a
sic_set
i
nternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-27
Sven Verdoolaege
a
dd isl_basic_set_
{
in
,
}equalities_
m
a
t
r
i
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verd
o
olaege
isl
_
a
r
g_parse: support footer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdoolaege
is
l
_
a
r
g_pa
r
se: avoid dupl
i
cate newline in help output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
Verdoolaege
isl_ar
g
_pa
r
se: support
grouping o
f
op
t
ions
wit
h
in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verdoolaege
isl
_
ar
g
_
parse:
support int
opt
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdo
o
laege
isl_arg_parse: support ISL_ARG_HIDDEN flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
i
s
l_
a
r
g_parse: support ISL_ARG_BOOL_ARG flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
ven Verdoolaege
isl_arg
_
pa
r
s
e
:
suppo
r
t ISL_ARG_SINGLE_DASH fl
a
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdoolaege
isl_arg_parse
:
sup
p
or
t
a
l
iases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
V
e
rdoolaege
isl_arg_pars
e
: always pr
i
nt help option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdool
a
e
g
e
i
sl
_
arg_parse: suppor
t
phantom boolean
options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_ar
g
_p
a
rse:
free string arg
u
ments before overw
r
iting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
ven Verd
o
olaege
is
l
_arg_parse:
a
llow op
t
i
o
ns
a
fter ar
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verd
o
olaege
isl_arg_parse: only print --ve
r
sion
o
ption once
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_a
r
g_parse: print str
i
ng optio
n
default
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-24
Sv
e
n Verdoo
l
aege
isl_ar
g
_parse: delim
i
t string
option argument by angle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-24
Sv
e
n Ve
r
doolaege
isl_arg_par
s
e: allow op
t
ions without
l
ong
n
am
e
commit
|
commitdiff
|
tree
2010-11-24
Sven Ver
d
o
ol
a
e
g
e
isl_vec_r
e
ad_polylib: use isl
_
stream
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
S
ven Verdoolae
g
e
Rename he
a
ders from isl_header
.
h to i
s
l/heade
r
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-18
S
ven V
e
rd
o
o
l
aege
isl_tab_basic_map_partial_lexopt:
f
ix memory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaeg
e
add
isl_uni
o
n_set_is_equ
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
ad
d
is
l
_
u
nion_map_re
a
d_from_
s
tr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sve
n
Verdool
a
ege
isl_tab_basic_map_parti
a
l_lexopt: ad
d
all equal
i
ties
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdo
o
laege
isl_pip: av
o
id empty domain d
u
rin
g
verificati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-17
Sven
V
erdoolaege
a
d
d isl
_
b
asic_set_
b
ox_from_poi
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-15
Sven
V
erdool
a
ege
isl
_
basic_m
a
p
_
eliminate_vars: don't detect
divs whil
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-14
Sven Verdoolae
g
e
isl_dim
.
c
: set_na
m
e: only print single error mes
s
age
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-14
Sven Verd
o
olaege
isl_
p
w_
q
polynomial_
f
old_
b
o
und: fix
handlin
g
or zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-14
Sv
e
n
Verdoolaege
is
l
_p
r
i
nter_print
_
pw_qpo
l
ynomial{
,
_fold}: always print
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@nestor.cs.kuleuven.be>
commit
|
commitdiff
|
tree
2010-11-12
Sven Ve
r
doolaege
i
sl_qpolyno
m
i
a
l_boun
d
_
on_domain_bernste
i
n: op
t
i
ona
l
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verd
o
ol
a
e
g
e
i
sl_
o
pti
o
ns_parse: print
d
efault o
n
b
o
ol
e
a
n o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoolaege
isl
_
optio
n
s_par
s
e: accept prefix
b
efore or after "no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoolaeg
e
add isl_cel
l
_foreac
h
_sim
p
le
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoolaege
isl_basi
c
_set_compute_v
e
rtices:
s
tore
input
basic set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
e
rd
o
olae
g
e
isl_vertices_foreach_cell: store individual vertex
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
add i
s
l
_
union_pw_qpolynomia
l
_to_polynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoola
e
ge
doc:
u
pdate isl_pw_qpoly
n
omia
l
_g
i
st
descripti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n V
e
rdoolaege
add isl_set_foreach_orthant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olaege
i
s
l_ran
g
e
.
c
:
p
rivately exp
o
rt isl_
q
polynomial
_
t
e
rms
_
of_
s
ign
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
en Ve
r
doolaege
i
s
l
_
range
.
c
:
coll
e
c
t_fi
x
e
d
_sign
_
term
s
: drop
dea
d
co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n Ver
d
oolae
g
e
is
l
_set_split_dims: extrac
t
out half-space creation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rd
o
olaege
isl_pr
i
nt
e
r_print_pw
_
qpoly
n
omial_fold: use c
o
nsistent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdool
a
ege
i
s
l
_dim_total: ha
n
dle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
add isl
_
vec_clr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sv
e
n Verdoolaege
is
l
_
q
polynomial_d
i
v_pow:
n
ormalize give
n
di
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
S
v
en Verdoolaege
i
sl_bound: accept
f
old
s
as in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
S
ven
V
erdoolaege
isl_b
o
und: use
i
sl_pw
_
qpoly
n
om
i
al
_
f
o
lds internally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-08
Sve
n
Verdoolae
g
e
e
x
port i
s
l_pw_qpolynom
i
al
_
fold_fix_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ve
r
doolaege
add isl_
u
nion_set_poly
h
e
d
ral_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-05
Sven
V
erdoolaege
i
s
l
_
pw_qpo
l
yno
m
ial_gist:
also try to eli
m
ina
t
e integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-05
Sven Verdoolaege
hide som
e
f
unctions
t
hat we
r
e expo
s
ed by
m
i
stake
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
isl
_
q
polynomial_substitute_eq
u
ali
t
i
e
s: eliminate
i
nt
e
ger
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaeg
e
isl_st
r
eam_read_p
w
_qpolynom
i
al
:
re
a
d
n
est
e
d divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
S
v
en Ve
r
dool
a
ege
isl_qpol
y
nomial_div_pow: allow neste
d
di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verd
o
olaege
isl_
p
r
inter_pri
n
t
_qp
o
lynomial:
p
roperly
p
rint neste
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoo
l
ae
g
e
isl_q
p
olyn
o
m
i
al_substitute_equalities: ignore con
s
tant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-04
Sven
V
erdoolaege
isl_qpolynomial_substitute_equa
l
it
i
es: do
n
't use equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaeg
e
isl_
b
a
sic_map_unde
r
lying_set: re
m
ove any structure
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
S
ven
V
erdoo
l
aege
export isl_set_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-30
Sven Ver
d
ool
a
e
ge
isl_qpol
y
no
m
ial_morph
:
properly handle change in numb
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-28
Sven Verdoolaege
isl_s
t
r
eam
_
read_map: read_va
r
_def: read var
d
e
finition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoola
e
ge
add isl_set_r
e
move_div
s
_invol
v
in
g
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
S
ven
Verdoola
e
ge
a
dd isl
_
div_
d
i
v
commit
|
commitdiff
|
tree
2010-10-26
Sven Verd
o
olaege
add i
s
l
_
div_
c
opy
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdoolaege
ex
p
ort isl_pw_qpolynomial_f
o
l
d_se
t
_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
S
v
en
V
erdoolaege
do
c
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
Sven
V
erdoo
l
aege
e
x
p
ort
i
s
l
_pw_q
p
olynomial_
f
old_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
S
v
en
Verdoolaege
a
d
d
isl_set_flatte
n
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
Sv
e
n Ver
d
oo
l
aege
i
sl_p
w
_qpolynomial_g
i
s
t
: subst
i
t
ute eq
u
alities in p
o
l
ynom
i
a
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-26
Sve
n
Ve
r
doolaege
i
s
l_
p
w_qpol
y
nomial_
g
i
st: drop
empty
pieces in
r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next