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 V
e
rdoola
e
g
e
is
l
0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdo
o
laege
d
o
c: add som
e
implem
e
ntat
i
on
deta
i
ls on pa
r
ametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl_lp
.
c
:
avoid clang warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
e
g
e
isl_stream_
r
ead_map: accept floord and
ceild expre
s
sions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl_strea
m
_read_map:
a
ccept min and
max expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
isl_stream_rea
d
_map: properly
r
e
a
d
neste
d
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl_
s
tr
e
am_
r
ead_
m
ap:
treat d
i
vs
a
s
outp
u
t variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
sl_map_
c
oalesce: plug
m
emory l
e
ak on error
p
at
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven
V
er
d
o
o
laege
i
s
l_mat_e
x
t
en
d
:
avoid mem
o
r
y lea
k
when
r
ealloc f
a
i
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ve
n
Ver
d
oola
e
ge
isl_basic
_
map_overlyi
n
g_set:
avoid
memory leak wh
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoo
l
aege
isl_
s
tream_getc:
avoi
d
memo
r
y leak when
re
a
lloc fai
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdo
o
l
a
ege
r
u
dime
n
tary s
u
pport
f
or asynchronous terminatio
n
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdo
o
laege
h
i
de i
s
l_
c
tx
i
n
ter
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdo
o
laege
isl
_
vec_read_f
r
om_f
i
le: d
r
op input_format
a
rgument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoola
e
ge
isl_m
a
p
.
c
:
drop unused er
r
or label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
ege
isl_i
n
put
.
c: drop unused err
o
r la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoola
e
ge
respe
c
t DESTDIR w
h
en installing isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
ola
e
ge
isl_stream: accept "$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
ge
add isl_u
n
ion_map_p
o
wer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaege
ch
a
nge
isl_map_p
o
wer inte
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olaege
a
d
d i
s
l
_
union_map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Ve
r
do
o
laege
add private
isl
_
basic_map_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sve
n
V
e
rdoolaege
ad
d
isl_union_map_deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Ver
d
oolaege
Merge
b
r
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sve
n
Verdoolaege
is
l
_map_deltas
:
don
'
t copy f
l
ags fr
o
m input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream_read_map: accept
co
n
s
t
a
nt
e
xpressions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdo
o
laeg
e
isl_stream: acce
p
t "/\
"
a
n
d "\/" as
al
t
ernatives for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream
:
on
l
y
q
uote newline using '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Verdoolaege
isl_s
t
rea
m
: mainta
i
n pri
v
ate u
n
ge
t
c buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdool
a
ege
isl_set_lifting: simplify and finalize
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoo
l
aege
d
o
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoola
e
ge
d
o
c:
drop long outd
a
ted
n
o
te
o
n
t
ransitive closures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
S
v
en Verdoolaege
add
is
l
_basic_set_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven
V
e
r
do
o
la
e
ge
isl_map_identity
:
t
a
ke
dimension specific
a
tion of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
renam
e
isl_dim_map to
i
sl_di
m
_map_from_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven
Verdoolaege
t
ransitive closu
r
e: project ou
t
parameters when
a
ny
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
privately export
i
s
l_basic_set_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Verdoo
l
ae
g
e
isl_set_lift: preserve structure of space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erdoolaeg
e
isl_
p
w_qpolyno
m
ial_bound:
h
andle
c
omb
i
nation of wrappi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
olaege
isl_
t
ab_p
i
p
.
c:
fix
typo
in
commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoo
l
aege
isl_tab: che
c
k
f
o
r
o
bvi
o
usly empty table
a
us after discoverin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Verd
o
olaege
isl_b
a
sic_map_g
i
st: prefer cont
r
aints without existenti
a
lly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
S
v
e
n
Verdo
o
la
e
ge
isl_basic_map_sort_
c
onstraint
s
: ch
a
nge compari
s
o
n
r
ou
t
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
i
sl_tab_i
n
eq_type: classify mor
e
c
o
n
s
t
r
aints
a
s
being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en Verd
o
olaege
isl_m
a
p_c
o
alesce: be
m
ore relaxed
about multi
p
le
e
q
u
alities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add is
l
_basic
_
map_from_
d
omain_and_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Verd
o
olaege
add isl
_
basic_set_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Verdool
a
e
ge
add isl_basic
_
set_fla
t
_pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ver
d
oolaege
ex
p
o
rt isl_basic_ma
p
_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_
b
asi
c
_map_from_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verd
o
olaege
i
s
l
_
s
t
ream: su
p
port \<newline>
l
ine cont
i
nuatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdoo
l
aeg
e
add isl_union
_
m
a
p_read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oolaege
i
s
l_stream_r
e
ad_map: a
c
cept 'true' and
'
false' constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoolaege
i
s
l_stream
_
read_map: all
o
w
e
x
t
ra
';' at end
o
f map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolae
g
e
isl_stream_read_map: allo
w
negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n
V
erdoolae
g
e
i
s
l_stre
a
m_
r
ead_
m
a
p
: al
l
ow
exis
t
entia
l
qu
a
ntification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
privately export isl_basi
c
_ma
p
_add_di
v
_
c
on
s
trai
n
ts
_
var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven
V
erdo
o
laege
isl_mor
p
h_basic_set: preserv
e
ratio
n
a
l
i
ty of
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en
V
e
rdo
o
laege
add is
l
_basic_s
e
t_i
s
_
r
ati
o
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
isl_p
r
int
e
r_print
_
basic_map: explicitly mar
k
rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaege
isl_stream_
r
ead_
m
ap: read rational m
a
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaeg
e
isl_basic_map_insert: preserv
e
ra
t
ionality o
f
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
a
dd isl_basic_map
_
set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
isl_basic
_
map_fast_c
m
p: differentiate betwe
e
n ration
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
isl_out
p
ut
.
c: remo
v
e
some c
o
d
e
duplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdoola
e
g
e
isl_printe
r
_
print_basic_{set,map}
:
do
n
't st
a
rt new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
v
en Ve
r
do
o
laege
i
s
l_
s
tream_
r
e
ad_map: accept '|' at s
t
art of constrai
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_stream
:
keep track
o
f text
u
al representation o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ver
d
oolaege
isl_input
.
c: clean up rea
d
_
d
i
sjun
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_str
e
am_
r
ead_map: accept d
i
s
j
unc
t
ions within a con
j
u
n
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoola
e
ge
isl_con
v
ex_hull
.
c: explicitly mark wrapping l
p
prob
l
em
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_tab_min: micro-optimization: postpo
n
e t
a
k
i
ng into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Ve
r
doolaege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
isl_t
a
b
_
add_
r
ow: add
further explana
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
isl_tab
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_pip
.
c
:
co
r
r
ectly d
e
t
ect non
-
nega
t
i
vity
of
d
ivs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoola
e
ge
test
b
oth con
t
e
x
t h
a
ndli
n
g mechanisms of
isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n Verdoolaege
i
s
l_tab_is_equality: properly support "big par
a
meter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
rd
o
olaege
isl_tab_pip
.
c: fix typo in co
m
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
isl_affine_hull
.
c: f
i
x
t
ypos in
c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
isl_unio
n
_map
_
compute_flow: return accesse
s
with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl_union_map
.
c: inpla
c
e: pass data pointer to is
l
_hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_dim_move: upda
t
e parameters of neste
d
s
paces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
r
d
oolaege
a
dd isl_map_nat_un
i
v
ers
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Verdo
o
laege
clean up isl_set_fr
o
m_
b
asic_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
o
l
aeg
e
mer
g
e isl_basic_s
e
t/isl_b
a
sic_m
a
p and isl
_
set/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
S
ve
n
Verdoolae
g
e
rename "omega" trans
i
tive
c
losure to "box" transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
exp
o
rt isl_int_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verd
o
olaeg
e
isl_v
e
rtices
.
c: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n V
e
rdoolaege
isl_union_templ
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
isl_map_subtract
.
c: n_no
n
_redundant: propage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
isl_bern
s
tein
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
V
erdoolaege
add
i
sl_union
_
pw_qpolynomi
a
l
_mul_i
s
l_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
V
e
rd
o
olae
g
e
i
s
l_
s
tre
a
m_read
_
ob
j
: r
e
ad int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdo
o
laege
a
dd
i
n
t objects f
o
r u
s
e in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
V
erdoolaege
isl_basic_ma
p
_remove_
d
ivs: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ver
d
o
o
laege
a
d
d isl_basic_set_get_
t
uple
_
name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
e
r
doolaege
Mer
g
e branch 'mai
n
t'
commit
|
commitdiff
|
tree
next