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
Sven Ver
d
o
olaege
i
sl 0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ver
d
o
o
laege
doc:
a
dd some imple
m
ent
a
t
ion
d
etails on par
a
metric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_lp
.
c: avoid
c
lang warni
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdool
a
ege
isl_stream_read_map:
a
ccept floor
d
and ceild
expressi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n V
e
r
doolaege
isl_str
e
am_
r
ead_map: accept mi
n
and max expr
e
ssions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
isl_s
t
rea
m
_read_m
a
p: prop
e
rly read
n
ested div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Verdoolaege
isl_stream_read_map: treat divs as output
v
ariables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ve
r
doolaege
is
l
_
map_c
o
a
l
esc
e
: pl
u
g me
m
ory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
i
sl_mat_extend
:
a
void memory leak when realloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Ve
r
doolaege
isl_bas
i
c_map_overlying_set: avoid memory leak
w
hen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
sl_
s
t
ream_getc: avo
i
d memor
y
lea
k
when r
e
al
l
oc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
r
u
d
im
e
ntary s
u
ppo
r
t for as
y
nchronous ter
m
ination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Ve
r
doolaege
hi
d
e isl_c
t
x
internal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoo
l
a
ege
i
s
l_
v
ec
_
read_fro
m
_file: drop input_format argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdo
o
l
a
ege
isl_map
.
c:
d
rop unus
e
d
error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolae
g
e
isl_
i
nput
.
c: d
r
op unused error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Verd
o
olaege
r
e
spec
t
DESTDI
R
whe
n
instal
l
ing isl
.
p
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
aege
isl_s
t
ream:
a
c
c
ept "
$
" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verd
o
olaege
add isl_union_
m
a
p
_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doo
l
aege
change isl_map_power interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
oola
e
ge
a
dd isl
_
union_map_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verd
o
olaege
add
p
r
i
v
a
te isl_ba
s
ic_ma
p
_swa
p
_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven
Verdoolaege
add isl_
u
nion_map_deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sve
n
V
e
rdo
o
laege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
erdoolaege
i
sl_map_deltas: don't cop
y
fla
g
s
fro
m
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ve
r
dool
a
eg
e
isl_stream_r
e
ad_map:
a
c
cept co
n
stant
e
x
pressions of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
v
e
n
Verdoolaeg
e
isl_strea
m
: accept
"
/\"
and "\/" as a
l
ternative
s
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
ven V
e
rdoolaege
isl_stream: only quote new
l
ine using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream
:
mai
n
tain pr
i
v
a
te ungetc buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
isl_set_lifting: simplify and fin
a
li
z
e result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ver
d
o
olaeg
e
doc: f
i
x typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoola
e
ge
doc:
d
rop lo
n
g outdated note on t
r
ansitive closures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoolaege
a
d
d i
s
l_b
a
si
c
_set_
g
et_d
i
m_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Verdool
a
ege
isl_m
a
p_identity:
t
ake dimension specif
i
ca
t
ion of ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Verdoolaege
rename isl_dim_m
a
p
to is
l
_dim_map_from_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven
V
erdoolaeg
e
transitive closure: project out pa
r
am
e
ters when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolae
g
e
pri
v
atel
y
e
x
port
i
sl_basic_
s
et_res
e
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_set_
l
ift: preserve str
u
cture of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rdoolaege
isl_pw_qpolynomi
a
l
_
bound:
handle co
m
b
i
nati
o
n of wr
a
pping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
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
i
sl_tab: check
fo
r
ob
v
iously empt
y
tableaus af
t
er
discoverin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
ola
e
ge
isl_b
a
si
c
_map
_
gist: prefer contrain
t
s wi
t
h
o
ut existe
n
tially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
S
v
en Verdoolaege
isl_basic_map_sort
_
constraints: change
comparison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven
V
erdoolae
g
e
isl_tab_
i
neq_type: cla
s
sify mor
e
constraints as
b
eing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sv
e
n
Verdoolaege
isl_map_coalesce: be m
o
re re
l
a
xed about mult
i
ple equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_basi
c
_map_from_domain_and_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdoolaege
a
d
d i
s
l_basic_set_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
e
r
do
o
l
aeg
e
add isl_basic_set_flat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en
Ver
d
oolaege
export is
l
_basic_map_flat
t
en
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdool
a
e
ge
add isl_basi
c
_map_f
r
om_qpo
l
yn
o
mial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oolaege
isl_stream: support \<newlin
e
> line continuation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolae
g
e
add isl_union_map_rea
d
_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
ae
g
e
isl_stream_rea
d
_
m
a
p: accept 'true' an
d
'
fal
s
e' const
r
ai
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
is
l
_st
r
eam_read_map: al
l
ow e
x
tra
';' at end
of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
isl_stream
_
read_map: a
l
low neg
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n
Verdoolaege
isl_stream_rea
d
_
m
ap: allow existential quantific
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n V
e
rdoolaeg
e
privately
export isl_b
a
sic_map_add_div_constraints_
v
ar
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaege
isl
_
morph
_
basic_s
e
t: preserve rati
o
nality o
f
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doo
l
a
ege
add isl_
b
asic_set
_
is_r
a
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
isl
_
printer_p
r
i
n
t_basic_map: explic
i
tly
m
ar
k
r
a
t
i
onal
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
S
v
en V
e
rd
o
olaege
isl_st
r
eam_read_map:
r
ead ration
a
l maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdo
o
laege
isl_basic_ma
p
_i
n
sert:
preser
v
e ra
t
io
n
ality
o
f input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
add isl_basic_map_s
e
t_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
i
sl
_
b
a
sic_map_fast_cmp: differe
n
tiate betwee
n
ratio
n
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
sl_out
p
ut
.
c: remove s
o
me c
o
de duplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
s
l
_print
e
r_print_basi
c
_
{
s
et,map
}
: don't
s
tart
n
ew
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
S
v
en
V
erd
o
olaege
isl_
s
tream_read_map: ac
c
e
p
t '|'
at sta
r
t of constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ve
r
doola
e
ge
i
sl_str
e
am
:
k
eep trac
k
of textual re
p
r
e
s
e
n
tation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
is
l
_i
n
put
.
c: cl
e
an up re
a
d_disj
u
ncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven V
e
rdo
o
laege
isl_st
r
eam_
r
ead_
m
ap:
accept d
i
sjunctions w
i
t
h
in
a
conj
u
nct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ve
r
doolaege
i
sl
_
c
on
v
ex_hull
.
c: explicitl
y
m
a
rk wrapping lp problem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ver
d
oo
l
aeg
e
isl_ta
b
_min
:
m
i
cro
-
optimizati
o
n: p
o
stpone
t
ak
i
ng
i
nto
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
i
s
l
_tab_add_row:
a
dd further explanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
Verdoolaeg
e
isl_ta
b
.
c: fix typos in commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_pip
.
c:
c
o
rrectly
d
etect non-
n
eg
a
tivity of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en V
e
rdoolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
test
bo
t
h context handling mech
a
nisms
of
i
s
l
_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
isl_tab_is_equal
i
ty: properly suppor
t
"big
p
arameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoo
l
aege
isl_tab_pip
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
i
s
l
_af
f
ine
_
h
ull
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
isl_uni
o
n_
m
ap_co
m
pute_f
l
ow:
r
et
u
rn accesses
w
i
th no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
d
o
o
lae
g
e
M
e
rge branch 'main
t
'
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
rdo
o
laeg
e
isl_u
n
ion_map
.
c: inp
l
ace
:
pass
d
ata pointer
to isl_hash_t
a
bl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
olaege
isl_dim
_
mo
v
e: update param
e
t
e
rs of
n
ested spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erdoolaege
add isl_map_nat_univ
e
r
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
rdool
a
ege
clean up isl_set_from_basi
c
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Verdoolaege
merge
isl_basic_set/
i
sl_basic_map and isl_
s
et/i
s
l
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rename "omega" transitive closure to "box" tra
n
sitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
export i
s
l_int_obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
isl_ver
t
ices
.
c: fix typo
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Ve
r
doolaege
isl_union_templ
.
c: fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
d
oolaege
isl_map_subtract
.
c:
n
_
n
o
n_redun
d
ant: propag
e
isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
isl_bernst
e
in
.
c:
fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
add i
s
l_un
i
on_
p
w
_
q
p
olynom
i
al_mul_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
isl_stream_
r
e
a
d_obj: r
e
ad int ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
ad
d
i
nt objects for
use in iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
doolaege
isl_b
a
s
ic_ma
p
_re
m
ove_divs: final
i
ze result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoolaege
ad
d
isl_basic_set_get
_
tuple_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaeg
e
M
erge bran
c
h 'mai
n
t'
commit
|
commitdiff
|
tree
next