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
doc: add some implementation details on parametric integer programming
2011-03-18
Sve
n
Verdoolaeg
e
d
o
c: add
so
m
e imple
m
e
ntation d
e
tails
on
parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
isl_lp
.
c:
a
voi
d
clang warn
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
isl_
s
tream_read_m
a
p: acce
p
t
f
loord and ceild expressio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaeg
e
isl_stream_read_map: accept mi
n
and
m
ax expr
e
ssions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl
_
stre
a
m_read_map: pr
o
perly read ne
s
ted
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
l
aege
isl
_
stream_read_map: treat
d
ivs as output
va
r
iab
l
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_map_coalesce: pl
u
g mem
o
ry lea
k
on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
isl_mat_extend: avoi
d
memo
r
y
leak
when realloc
f
ails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
i
s
l_basic
_
map_overlying_set: avo
i
d memory le
a
k when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
dool
a
ege
is
l
_stream_
g
e
tc: avoid memory leak when r
e
alloc fa
i
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
r
udimentary
s
u
p
port f
o
r asy
n
chronous terminatio
n
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Ver
d
oolaege
h
ide isl_ctx inter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
is
l
_vec
_
r
e
ad_from_file: drop input_forma
t
argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n Verdoolaege
isl_map
.
c: drop unused err
o
r
l
abel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ver
d
oolaege
isl_i
n
p
u
t
.
c
: dro
p
unused error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en
V
erdoolaege
respec
t
DESTDIR when ins
t
alli
n
g isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
ge
isl_st
r
eam: accept "$"
t
oken
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
add isl_u
n
ion_map_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
change isl_map_power
i
nterfa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verd
o
olae
g
e
add i
s
l
_
union_map_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
add priva
t
e
i
sl_ba
s
ic_map_s
w
ap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
S
v
e
n Verdoolaege
add isl_union_m
a
p_deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
S
ven Ve
r
do
o
l
a
eg
e
Me
r
ge branch
'
maint
'
commit
|
commitdiff
|
tree
2011-03-10
Sven V
e
rdo
o
l
a
e
g
e
isl_map_deltas: d
o
n't co
p
y
flags from input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream_read_map: accept const
a
nt expressions o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
i
sl_s
t
ream: accept "
/
\
"
and "
\
/
"
a
s al
t
ernative
s
fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdo
o
laege
isl_
s
tream: onl
y
quote newline
u
s
ing '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven V
e
rdool
a
eg
e
isl_stream
:
m
aintain privat
e
ungetc
b
uf
f
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
isl
_
set_lifting: simplify and f
i
nalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdool
a
eg
e
doc: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sv
e
n Verdoolaege
do
c
: drop lon
g
outda
t
ed note on transitive closure
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoola
e
ge
add isl_basic_set_get
_
dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
is
l
_map_ide
n
t
ity: take dimension specif
i
ca
t
ion of
m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
S
ven Verdoolaege
rename isl_dim_map to isl_dim_map_f
r
om
_
s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoola
e
ge
tran
s
i
t
ive closure:
p
roject out parameters when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
priva
t
ely export isl_basic_set_reset_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Verdoolae
g
e
i
s
l_set_lift: preser
v
e structure of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
o
olaege
i
s
l
_p
w
_q
p
olyn
o
mial_boun
d
:
handle co
m
binatio
n
o
f wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
V
e
r
doolaege
isl_tab_pip
.
c: fix t
y
p
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Verdoolaege
i
sl_tab: c
h
eck for obvio
u
sly emp
t
y tableaus after discoverin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolae
g
e
isl_ba
s
ic_m
a
p_gis
t
: prefer contr
a
in
t
s without
existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdool
a
e
g
e
isl_b
a
sic_map
_
sort_co
n
st
r
ai
n
ts: ch
a
nge comparison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl_tab_i
n
eq_type: classify more constr
a
ints as being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
is
l
_map_co
a
lesce
:
be more
relaxed about multiple equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
ven
Verd
o
ola
e
ge
add isl_basic_map_from_domain_and_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verd
o
olaege
add isl_b
a
sic_set_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ver
d
o
olaege
add
i
sl_basi
c
_set_
f
l
a
t_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
export isl_
b
asic_map_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolae
g
e
add isl
_
b
asic_map_from_
q
po
l
ynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Ver
d
oolaeg
e
isl_stream: support \<n
e
wline> line continuation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
add isl_
u
nion_map_read_
f
rom_fil
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdool
a
ege
i
s
l_stream_read_map: a
c
cep
t
'
t
r
ue'
a
nd 'false'
c
onstrain
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
isl_stream_read_m
a
p: allo
w
extra
'
;' at end of
m
ap
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oolaege
is
l
_stream_read_map: a
l
l
ow negati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdo
o
l
aege
i
sl_stream_read_map: a
l
low existe
n
tial
q
uantificatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolaege
privately export
i
sl_ba
s
i
c_map
_
add_
d
i
v_
c
on
s
traints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
a
ege
isl
_
morph_basi
c
_
s
et
:
preserve rationality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erd
o
ol
a
ege
add
i
sl_basic_s
e
t_is_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
is
l
_pri
n
te
r
_
p
rint_b
a
sic_
m
ap
:
explic
i
tly
mark
rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
V
e
rdo
o
laeg
e
isl_str
e
am_read
_
m
a
p: read ratio
n
a
l maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
sl_basic_map_insert:
preser
v
e
r
ationality of
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oolaege
add isl_basic_map
_
se
t
_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaeg
e
i
sl
_
bas
i
c_map_f
a
st_cmp: differentiate between rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en V
e
rdoolae
g
e
isl_ou
t
put
.
c: remove
s
o
me code dupl
i
c
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en
Verdoolaege
i
s
l_p
r
inter
_
print_basic_{set
,
m
ap}: don
'
t
s
t
a
rt new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven V
e
rdoolaege
isl_stream_re
a
d_map:
a
ccept '
|
' at start of con
s
trai
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven V
e
rd
o
olaeg
e
isl
_
stream: k
e
ep tr
a
ck
o
f textual representat
i
on o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven
Verdool
a
ege
isl_input
.
c: clean
up read
_
d
isjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sve
n
V
e
r
doolaege
isl
_
stream_re
a
d_map: acc
e
pt
d
isju
n
ctions within a conjunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven
V
erdoolaege
isl_con
v
ex_hull
.
c: explicitly mark wrapping
lp problem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n
V
erdoolaege
isl_ta
b
_min
:
micro-
o
pt
i
mization:
postpone taking i
n
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
Mer
g
e
bran
c
h 'main
t
'
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdo
o
laege
isl_
t
ab_add_row: add further e
x
pla
n
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl
_
tab
.
c: f
i
x typ
o
s in
c
omments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
e
r
d
o
olaege
isl_tab_pip
.
c: correctly detect non-ne
g
ativity
of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
ad
d
te
s
t
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Ver
d
oolaege
test b
o
th context han
d
ling
me
c
h
anisms of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
sl_tab_is_equality: properly suppo
r
t "big p
a
rame
t
er"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
s
l_tab_pip
.
c: fix typo in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_affine_hull
.
c: fix typos in commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
isl_union_m
a
p_compute_f
l
ow
:
return
a
ccesses with
no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge branch
'
mai
n
t'
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoo
l
aege
isl
_
union_map
.
c: inplace: pa
s
s data poi
n
ter to isl_hash_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
r
d
oo
l
aege
isl_dim_move: upda
t
e pa
r
ameter
s
of
n
este
d
spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
rdoolaege
add
i
sl_map_nat_univer
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n
V
er
d
oolaege
clean
u
p isl_set_from_basic_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
ol
a
eg
e
me
r
ge
isl_basic_set/isl_basic_map and isl_s
e
t/isl_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
renam
e
"omega" t
r
a
n
s
i
tive closure to "b
o
x
" t
r
ans
i
t
i
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
exp
o
rt isl_int_o
b
j_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
isl_v
e
rtices
.
c:
f
ix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaege
isl_union_templ
.
c: fix
t
yp
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
V
erdo
o
laege
isl_map_su
b
t
ract
.
c: n_non
_
redundant: propage isl
_
c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
ola
e
ge
isl_bernstein
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
ad
d
isl_union_pw_qpolyno
m
ial_mul_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
isl_st
r
eam_r
e
ad_obj: rea
d
int obj
e
cts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add in
t
objects for us
e
in iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n Verdoolaege
isl_basic_map_remove_d
i
vs: finalize r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
a
dd isl
_
basi
c
_set_get_tuple
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoolaege
Merge
b
r
a
nch 'mai
n
t
'
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoo
l
aege
i
sl_union_map_sample: don't return NULL on empty
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next