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.06
2011-03-18
Sve
n
Verdoola
e
g
e
isl 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
doc
:
add some implementati
o
n det
a
ils on parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaeg
e
isl_l
p
.
c: avoid clang warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaeg
e
isl_stream_read_ma
p
:
a
c
cept flo
o
rd
a
nd ceild expressi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
er
d
ool
a
ege
isl_stream_read_map: accept
min an
d
max ex
p
res
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
i
sl_stream_read
_
map: properl
y
read nested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaeg
e
isl_stream_read_
m
ap: treat divs
as output
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
isl_map_coale
s
ce: p
l
u
g memory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
isl_mat_extend:
a
void memory le
a
k when reall
o
c fai
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl_basic_map_o
v
erlying_set: avoi
d
memory lea
k
w
h
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl_stream_get
c
:
avoid memory l
e
ak when realloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
eg
e
rudim
e
n
tary suppo
r
t for
a
syn
c
hronous termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
S
v
en Verdool
a
e
g
e
hide isl_ctx inte
r
na
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdoo
l
a
e
ge
isl_vec_read_f
r
om_file: d
r
op input_format argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdo
o
laege
is
l
_map
.
c: drop
u
n
use
d
erro
r
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
e
n
Verdo
o
lae
g
e
isl_input
.
c
: drop unus
e
d
error la
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdoolaege
respect DESTDIR when installi
n
g isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
l
a
ege
is
l
_
stream: acc
e
pt "$" to
k
en
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
l
a
e
ge
add isl_union_map_po
w
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
change isl_map
_
p
ow
e
r in
t
erfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
ege
add isl_uni
o
n
_
m
ap_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaeg
e
add p
r
iv
a
te isl_
b
asic_map_swap_var
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
erdoolaege
a
dd isl_union_map_
d
eltas_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
S
ven V
e
rdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Ve
r
doola
e
g
e
i
s
l_m
a
p_deltas: don't
copy flags from input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_
s
tream_rea
d
_map: acce
p
t consta
n
t expr
e
ssion
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven
V
erdoola
e
ge
i
s
l_stream:
accept "/\
"
and "
\
/" as alternative
s
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Verdoolaege
isl
_
str
e
am
:
only q
u
ote newline using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Verdoolaege
i
s
l_str
e
a
m: maintain pri
v
ate u
n
getc
b
uffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
Verdoolae
g
e
i
s
l_set_li
f
t
ing: si
m
plify
a
nd finalize r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven V
e
rdoolaege
d
oc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en
V
erd
o
ol
a
ege
doc: drop l
o
ng outdated note on
transi
t
ive
c
losu
r
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sv
e
n
Ver
d
oo
l
aege
add isl_basic_set_get_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
S
ven Ver
d
oolaege
isl_map_
i
de
n
t
ity: take dime
n
sion specification of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
S
ve
n
Verdoolaege
rename isl_dim_map
to
isl_dim_map_from_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
S
v
en
V
erdoolaege
trans
i
t
i
ve clo
s
u
r
e:
pr
o
je
c
t out
parame
t
ers when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erdoolaege
privately export isl_basic_set_re
s
et_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_s
e
t_
l
ift: preserve structure of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Ve
r
doolae
g
e
isl_pw_qpolynomial_bound: han
d
le combina
t
io
n
of wrapp
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
e
n Verdoolaeg
e
isl_tab_pip
.
c:
fi
x
ty
p
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_tab
:
chec
k
f
or
o
bvious
l
y
e
mpt
y
tableaus after
discover
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
oolaege
isl_basic_map_gist: pr
e
fe
r
contrai
n
ts witho
u
t existentia
l
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven
V
e
rdoolaege
isl_basi
c
_map_so
r
t_
c
on
s
traints: cha
n
ge compa
r
ison rou
t
i
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sve
n
Verdoolaege
i
sl_tab_ineq_type
:
clas
s
ify mor
e
con
s
t
r
ain
t
s a
s
bei
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl_map_coalesc
e
: be mor
e
relaxed abo
u
t multiple equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n
V
erdoolaege
add isl_basic_ma
p
_from_domai
n
_an
d
_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
e
r
d
oolaege
ad
d
i
sl_ba
s
ic_set_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdool
a
ege
add
isl_basic_s
e
t
_flat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
export isl
_
basi
c
_m
a
p_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en Verdoolaege
a
d
d
isl_basic_map_from_q
p
o
l
ynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
er
d
o
o
laege
isl_stream: sup
p
ort \<newline> line continuation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoo
l
aeg
e
a
dd isl_u
n
ion_ma
p
_read_fro
m
_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verd
o
olaege
i
s
l_
s
t
ream_read_map: accept
'true' and 'false' constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en
V
e
r
doolaege
i
s
l_stream
_
r
ead_m
a
p
: allo
w
extra ';
'
at end of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
d
o
o
l
aege
i
sl_stream_read_map: allow negatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verd
o
ola
e
ge
isl_stream_rea
d
_map: allow
existential quantificat
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoolaege
privately expor
t
is
l
_b
a
sic_
m
ap_add
_
d
iv_constraints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rd
o
olaege
isl_mor
p
h_basic_set:
p
r
eserve rationality
o
f inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdo
o
lae
g
e
add is
l
_basic_set_is_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdoolaege
isl
_
printer_print_ba
s
ic_ma
p
:
e
xplici
t
ly mark rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rd
o
olaege
isl_stream_read_map: read rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
o
o
la
e
g
e
isl
_
basic
_
map_in
s
ert: prese
r
ve rati
o
nality
of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
add isl_b
a
sic_map_
s
et_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
laege
isl_basic_ma
p
_fa
s
t_cmp: differentiate betwe
e
n
r
a
t
i
o
nal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
isl_output
.
c: remove som
e
code duplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdoolaege
isl
_
prin
t
e
r_p
r
int_basic_{set,map}: don't
s
tart new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ver
d
oolaege
isl_stream_read_m
a
p: accept
'|' at
s
tar
t
of constr
a
ints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdool
a
eg
e
i
s
l_strea
m
: keep track of
t
e
xtual represen
t
ation o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
S
v
en Verdoo
l
aege
isl_input
.
c
: clean up r
e
ad_disjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ve
r
doolaege
is
l
_stream_read_map: acc
e
pt disjunct
i
ons
w
ithin a c
o
njunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl
_
convex_hull
.
c:
e
xplicitl
y
m
a
rk wra
p
ping lp problem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_tab_min: mi
c
ro-optimiz
a
tion: postpone taking i
n
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
l
a
ege
M
erge bran
c
h
'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
isl_tab
_
a
dd_
r
ow: add further expl
a
nation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en V
e
rdoolaege
isl_t
a
b
.
c: fix typo
s
i
n comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
do
o
laege
isl_tab_pip
.
c: correctly de
t
ect non-negativ
i
t
y of d
i
vs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
add
test
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ve
r
doo
l
aege
tes
t
both
c
ontex
t
handling m
e
chanisms of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
isl_t
a
b_is_equality: properly
s
upp
o
rt "big
p
ara
m
eter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_pip
.
c: fi
x
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laeg
e
is
l
_affine_hull
.
c
:
f
ix ty
p
os in
c
omments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
is
l
_union_map_comput
e
_fl
o
w: retu
r
n accesses w
i
th no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
isl_uni
o
n_map
.
c: inplace: pass
da
t
a
p
ointer to is
l
_h
a
s
h
_ta
b
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_dim_move:
u
p
date p
a
r
am
e
ters
o
f nested
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en Verdo
o
laeg
e
add isl_map
_
nat_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
doolaege
c
l
ean up isl_set_from_b
a
sic_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Verdoo
l
aege
m
e
rge isl
_
b
a
sic_
s
et/isl_b
a
sic_map and isl_s
e
t/isl
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sv
e
n
Verdoolaege
r
ename "omega" transi
t
ive clos
u
re to
"bo
x
" transitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaege
export
isl_int_obj_fr
e
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n V
e
r
d
oo
l
aege
isl_vertices
.
c
:
fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_union_
t
e
m
p
l
.
c:
fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n Verdoolaege
i
sl_map_subtract
.
c: n_non_red
u
n
dan
t
:
p
ropa
g
e isl
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
i
s
l
_bernstein
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
e
g
e
add isl_union_pw_qpolynomial
_
mul_isl
_
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoola
e
ge
i
s
l_stream_read_o
b
j: re
a
d int
o
bjects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n Verdoolaege
add int objects for
u
se in isc
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolae
g
e
isl_bas
i
c_map_remove
_
di
v
s:
finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdoolaege
a
d
d isl_
b
asic_set_ge
t
_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
M
erge b
r
anch 'maint'
commit
|
commitdiff
|
tree
next