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_range: correctly handle maps with 0D domains
2011-05-05
S
v
en Verdoolaege
isl_map_range: correctly han
d
l
e
maps wi
t
h 0D domai
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
S
v
en
Ver
d
o
o
laege
i
s
l_l
i
st
.
h: allow inclusion fro
m
C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n
V
erdoolaege
isl_tab_pip:
d
o
n
't
s
i
m
p
l
ify domain in
i
s
l_for_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n
Verdoolaege
isl
_
basic_map_affi
n
e_hull: finalize resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven V
e
rdoolae
g
e
isl_tab:
a
lway
f
ree saved
b
asis undo reco
r
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verdoolaege
make
sure destination fo
r
GDB module ex
i
sts before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
isl_tab_
p
ip
.
c: add_lex
m
in_eq
:
rem
o
v
e
misguided opti
m
izations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Verdoolaeg
e
isl_stream_read_map
:
fix han
d
ling of divs in tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven V
e
rdoo
l
aege
isl_m
a
t_l
e
ft_hermite: plug
m
emory leak o
n
erro
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven
V
e
rdoolaege
p
lug memory leak in isl_mat_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
isl 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdo
o
laege
doc: add
s
ome implem
e
ntation details
o
n
p
arametri
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
isl_lp
.
c: avoid
c
l
an
g
w
arning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdool
a
eg
e
i
sl_stre
a
m_read_map: a
c
cept
f
loord and ce
i
ld expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdool
a
ege
is
l
_stre
a
m_read_map:
a
c
cept min and max expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
is
l
_s
t
r
e
a
m_rea
d
_ma
p
: p
r
o
p
erly read
n
ested div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
isl_str
e
a
m_read_map:
treat divs as output variabl
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
isl_map_coal
e
sce:
p
lug memory leak
on erro
r
pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
isl_mat_extend:
a
void memo
r
y l
e
ak when reall
o
c fai
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
l
_b
a
s
ic_
m
a
p
_overlying_set:
avoid memory
l
e
ak
w
hen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoola
e
ge
i
s
l
_
s
tream_getc: avoid me
m
ory leak when realloc
fail
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
dool
a
ege
rudimentary support
for a
s
ynchron
o
us t
e
r
m
inat
i
on
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sv
e
n Verdoolaege
h
ide isl_ctx in
t
e
r
nal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Ve
r
doola
e
ge
isl_vec_read_
f
rom_fi
l
e: d
r
op input
_
forma
t
argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
doolaege
isl_ma
p
.
c
: drop unused er
r
or label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n Verdoolaege
isl_input
.
c
: drop unuse
d
error
l
a
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
respect D
E
STDIR when
i
nstalling isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaeg
e
is
l
_stream: accept "$" to
k
en
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verdoolaege
add isl_un
i
on_map_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
change isl_map
_
pow
e
r i
n
ter
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoolaeg
e
add isl_un
i
on_map_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add private isl_basic_map_s
w
a
p
_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
add is
l
_
u
nion_map_deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
erdo
o
laege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoo
l
aeg
e
isl_m
a
p_deltas: don't copy flag
s
from in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Verdoolaege
isl_stream_
r
e
a
d_map
:
accept constant expressions o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Verd
o
o
laeg
e
isl_stream: acc
e
p
t "/
\
" and "\
/
"
a
s alte
r
natives
f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ve
r
doola
e
g
e
isl_stre
a
m:
only quote ne
w
line using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ve
r
doolaege
isl_
s
trea
m
: maintai
n
p
rivate ungetc buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verd
o
olaege
isl_set_lifting: simplify and finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verd
o
olaege
doc:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ve
r
dool
a
ege
doc: drop long out
d
a
t
ed note on transitive closures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoolaege
add
isl_basic_set_get_
d
im_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ver
d
oolaeg
e
i
s
l_m
a
p_iden
t
ity: ta
k
e
dim
e
n
sion s
p
e
c
ifica
t
ion of ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaeg
e
rename isl_dim
_
map t
o
isl_dim_map_from_
s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
S
ven V
e
rdoolaege
transit
i
ve closure:
project out parameters wh
e
n any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdoolae
g
e
p
r
i
v
ate
l
y export isl_basic_set_reset_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl
_
set_li
f
t: preserve structure
of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Ver
d
oolaege
isl_pw_qpoly
n
o
mial_b
o
und:
h
andle combinati
o
n of wrap
p
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaege
isl_
t
a
b_pip
.
c: fix ty
p
o in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Verdo
o
l
a
ege
i
s
l_tab: check for
ob
v
iously empty tab
l
eaus after discoverin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
laege
isl_basic_map_gist: prefer
contraints without e
x
istentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven Ve
r
d
oolaege
i
sl_basi
c
_map_sort_
c
on
s
trai
n
ts:
chan
g
e comparison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven
V
erdoolaege
isl_ta
b
_ineq_type
:
c
l
ass
i
fy mo
r
e
constraints a
s
being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
S
ven V
e
rdoo
l
a
e
ge
is
l
_map_coalesce: be mo
r
e relaxed about mul
t
iple equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Verdoolaege
ad
d
is
l
_basic_map
_
from_domain_
a
nd
_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoola
e
ge
add
i
sl_basic_set_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
e
n Verdoolaeg
e
add i
s
l_basic_set_fl
a
t
_
pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Ve
r
do
o
lae
g
e
export isl_basic_map_f
l
atten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add
i
sl_basic_map_
f
rom_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolaeg
e
isl_s
t
ream: suppo
r
t
\
<new
l
ine> line
c
ont
i
n
u
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
add is
l
_union_map_read_from_f
i
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oolaege
isl_stream_read
_
map
:
acc
e
pt 'tr
u
e' and 'false' constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoolaege
isl_stream_rea
d
_map: all
o
w
e
xtra ';' at end
o
f ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n
V
erdoolaege
isl_stream_read_map: allow negations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdo
o
l
aege
isl_stre
a
m_read_map: allow
existential quanti
f
ication
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoo
l
aege
priva
t
ely export isl_basic_map_add
_
div_constraints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
i
s
l_
m
orph_basic_
s
e
t
: preserve rationality
o
f
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
add is
l
_basic_se
t
_is_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl
_
printer_p
r
in
t
_basic_m
a
p: explicitly m
a
rk rationa
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
S
v
en
V
erdoola
e
ge
isl_
s
tream_
r
ead_map: read rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
isl_basic_map_insert:
pre
s
erve rat
i
onality
o
f input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
rdoolaege
add
i
sl_basic_m
a
p_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
isl
_
basic_map_fa
s
t_cmp: d
i
fferent
i
ate bet
w
een ra
t
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
i
s
l
_
output
.
c
:
remove some code duplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
isl_p
r
inter
_
print_basic_{set,map
}
: don'
t
start new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
S
v
e
n Verdoolaege
isl_stream_read_map: accept '|' at st
a
r
t
of co
n
s
tr
a
ints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sve
n
Verdoola
e
ge
i
sl_stream
:
keep trac
k
of
t
extual repre
s
e
nta
t
ion of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven V
e
r
d
o
olaege
isl_input
.
c:
clean
u
p read_disjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdool
a
ege
isl
_
st
r
e
am_read_ma
p
: a
c
cept disju
n
ctions w
i
thin a conjunc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_convex_
h
ull
.
c: explicit
l
y mark wrapping lp prob
l
em
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_tab_min:
micro-optimizatio
n
: pos
t
pone taking into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
Merge
b
ranc
h
'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoola
e
ge
isl_tab_add_row: add further explanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoo
l
aege
isl_tab
.
c:
fix typos
i
n
c
omments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdo
o
la
e
g
e
isl_
t
ab_pip
.
c: co
r
rectly detect non-negativity of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
test
both conte
x
t handli
n
g m
e
ch
a
nisms of
i
sl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
rdoolaege
isl_tab_is_e
q
uali
t
y: properly support "big pa
r
ameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
d
oolaege
i
s
l_tab_p
i
p
.
c: fix
typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
ae
g
e
isl_affine_hull
.
c: f
i
x typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aeg
e
isl_union_
m
ap_comput
e
_flo
w
: ret
u
r
n
accesses with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
rdoolae
g
e
Merge b
r
a
n
ch
'
m
a
i
n
t'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
doola
e
ge
is
l
_union_map
.
c
: inplace: pass data poin
t
er t
o
isl_
h
as
h
_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ven Verdoolaege
isl_dim_move: update parameters of nested spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Verdoolaege
add isl_map_n
a
t_univer
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ven Verdoolaeg
e
c
l
e
an
u
p i
s
l_s
e
t_from_b
a
sic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ven Ve
r
d
oolaege
m
e
rge isl_
b
asic_
s
et/isl
_
basic_map and isl_set
/
isl_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven
V
erdoolaege
r
ename "om
e
ga" transitive closure to "box
"
transitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
export
i
sl_
i
nt_obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next