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 Verdoolaege
i
s
l 0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
doc: add some implementa
t
ion d
e
tails on
param
e
tric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
l
_
lp
.
c: avo
i
d clang w
a
rning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
i
s
l_stream_read_map: ac
c
ep
t
floord
a
n
d ceild expre
s
sio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoola
e
ge
isl_stream_read_map:
accept mi
n
and max expre
s
s
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ver
d
oolaege
isl_strea
m
_rea
d
_map: p
r
operly read nested di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl_s
t
r
e
am_read_map
:
treat
d
iv
s
a
s
output variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_
m
ap_
c
oalesce: plug memo
r
y
l
e
ak
on erro
r
p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
is
l
_mat_ex
t
e
n
d: avoid
m
emory l
e
ak
when r
e
allo
c
fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ver
d
oolaeg
e
isl_basic_ma
p
_over
l
yi
n
g
_
se
t
:
avoid mem
o
ry leak when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_s
t
r
e
am_
g
etc: avoid m
e
mory
leak w
h
en re
a
lloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
d
o
olaeg
e
rudi
m
entary sup
p
o
r
t
for
asynchro
n
o
us termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven
Verdoo
l
ae
g
e
hide is
l
_
c
t
x internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n Verdoolaege
isl_vec_re
a
d
_from_f
i
le:
d
rop in
p
ut_format a
r
g
u
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaeg
e
isl_map
.
c: drop u
n
used
er
r
or label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en V
e
rdoolae
g
e
isl_input
.
c: drop unused error
l
abel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
resp
e
ct DE
S
TD
I
R whe
n
installing i
s
l
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en V
e
rdoolaege
i
sl_
s
t
r
eam: accept "$"
toke
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdo
o
laege
a
d
d isl_union_map_
p
ower
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdoo
l
a
ege
change isl_map
_
power interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add isl_union_map_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdo
o
laege
add private isl_basic
_
map_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verd
o
o
l
aeg
e
add isl_un
i
on_map_deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaeg
e
Merge branc
h
'maint
'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
isl_map
_
delt
a
s
:
do
n
'
t copy flags from input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ver
d
oolaege
is
l
_
s
tream
_
read_map: accept constant expressi
o
ns of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verd
o
o
la
e
g
e
isl_
s
tream: acc
e
pt
"
/\" and "\
/
" as alternatives
f
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ve
r
d
oolaege
isl_stream: only quote
n
ewline using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stre
a
m: maintain
p
rivate ungetc buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
isl_set_l
i
f
ting: si
m
plify and finali
z
e
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
S
ven
V
erdoolaege
doc
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sv
e
n
V
erdoolaege
doc: drop lon
g
o
u
tdate
d
note on transitive closures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sve
n
Verdoolaege
add isl_basic_set_get_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ve
r
d
o
olaege
isl_
m
ap_iden
t
i
t
y
: take dimension specificat
i
on of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven
V
erd
o
olaege
rena
m
e
isl_dim_m
a
p
to isl_
d
im_map
_
from_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaeg
e
transit
i
ve clos
u
r
e
:
proje
c
t o
u
t
p
ara
m
eters
w
hen a
n
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Verdoola
e
ge
priva
t
ely export is
l
_
b
a
s
ic_set_r
e
set_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
is
l
_set
_
lift: pres
e
r
ve structure of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
oolaege
isl_pw_qp
o
lynomial_b
o
und
:
h
an
d
le combina
t
ion of wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl
_
tab_
p
ip
.
c: fi
x
ty
p
o
i
n comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
olaege
i
sl_tab: check for obvi
o
usly empty tablea
u
s
a
fter
discover
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
doolaege
isl
_
basic_map_gis
t
: prefer
c
ontraints without ex
i
stentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoolae
g
e
i
sl_basic_map
_
sort_constraints: cha
n
ge com
p
ariso
n
routi
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
i
sl_t
a
b_
i
neq_type: clas
s
i
fy more constrai
n
ts as
being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl_
m
ap_c
o
a
l
esce: be
m
ore relaxed about multip
l
e equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdool
a
e
ge
add
isl_
b
asic_map_
f
rom_domain_and_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoola
e
g
e
a
d
d
i
sl_
b
asi
c
_set_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
erdoolaege
add isl_b
a
sic_set_flat_produc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en
Verd
o
olaege
exp
o
r
t
isl_basic_map
_
flat
t
e
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Verdool
a
ege
add isl_basic_m
a
p_from_qpolyn
o
mial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
isl_stream: support \<newline> line c
o
ntinua
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoola
e
ge
add isl_unio
n
_map_re
a
d_fr
o
m_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erd
o
ol
a
ege
isl_
s
tream_read_map: accept 'true' and '
f
alse' c
o
nstrain
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoo
l
aege
is
l
_
st
r
eam_read_map: allow
extra
'
;
' at e
n
d of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolae
g
e
isl
_
stre
a
m_read_map: all
o
w negations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoolaege
isl_st
r
eam_read
_
map: allow existential quant
i
fication
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en
Verdool
a
eg
e
p
r
iva
t
ely exp
o
rt isl_bas
i
c_
m
ap_add_div_cons
t
raints_v
a
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Ve
r
doola
e
g
e
i
s
l_
m
orph_basic_set: preserv
e
ra
t
ionality of in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaege
add isl_basic_
s
e
t
_
is_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_
p
ri
n
t_bas
i
c_map: explicitly
m
ark r
a
tional
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl
_
s
t
ream_rea
d
_map
:
read rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
is
l
_basic_map_inser
t
:
preserve rationality
of
inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
ad
d
isl_basic_map_se
t
_r
a
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaege
i
s
l_basic_map_f
a
st_c
m
p: differ
e
ntiate betwe
e
n
rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
sl_output
.
c: remove
s
ome c
o
de dupli
c
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_pr
i
nt_basic
_
{set
,
map
}
:
d
o
n
'
t
start new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
S
v
e
n Ver
d
oolaege
isl_stream_read_m
a
p: accept
'
|' at start
of con
s
tra
i
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
S
ven
Ver
d
oolae
g
e
isl
_
stream: keep tr
a
ck of textual represe
n
tat
i
o
n of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
S
v
en Verdoola
e
ge
isl_in
p
ut
.
c: clean up rea
d
_disj
u
n
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_
s
trea
m
_re
a
d_map: a
c
cept disju
n
ctions within a
c
onjunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven V
e
rdoola
e
ge
i
s
l_convex_h
u
ll
.
c:
e
xplicit
l
y m
a
rk wrapping lp pr
o
blem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoola
e
ge
isl_tab_mi
n
:
mi
c
ro-optimization:
p
ostpone taking into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
e
rdoolaege
Merge
bran
c
h
'
maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
isl_tab_
a
dd_row: ad
d
fu
r
ther explanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
o
o
l
a
e
g
e
is
l
_tab
.
c: fix typ
o
s
in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl_tab_pip
.
c:
correctl
y
d
e
tect non-ne
g
ativity of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoola
e
ge
test
both
c
ontext h
a
ndling mechanisms o
f
isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
erdoolaege
is
l
_
t
ab_is_equal
i
ty: pro
p
erly suppor
t
"big par
a
meter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
isl_tab_pi
p
.
c: fix ty
p
o in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_affine_h
u
ll
.
c: fix typo
s
in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_union_map_compute_
f
l
o
w: ret
u
rn
accesses with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ver
d
o
olaege
Merge b
r
anch '
m
a
int'
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erd
o
olae
g
e
isl_union_map
.
c: inplace: pass
d
a
t
a poi
n
t
e
r to isl_
h
as
h
_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdo
o
laege
isl_d
i
m_move: update param
e
t
ers of nested spa
c
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
a
d
d isl_map_n
a
t_u
n
iverse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
rdoolaege
clean up isl_
s
et_fr
o
m_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoo
l
a
e
g
e
merge
i
sl_basic_set/isl_basic_map and isl_set/
i
sl_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rename "omega" transitive closure to "box" t
r
ans
i
t
i
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
export isl
_
i
n
t_obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
isl_vert
i
ces
.
c: fix
t
y
p
os
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoo
l
aege
isl_un
i
on_te
m
pl
.
c: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
ool
a
ege
isl_map_su
b
tract
.
c: n_non_re
d
undant:
p
ropage
i
sl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_ber
n
stein
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
add isl
_
u
n
ion_pw_qpolynomial
_
mul_isl_
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
isl_
s
tream_read_obj: read int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erd
o
olae
g
e
add int
obj
e
cts
for use in
iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
e
n Verdoolaege
isl_basic_ma
p
_
r
emove_divs: fina
l
ize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
ven
Verdoolaege
ad
d
isl_b
a
s
i
c_set_g
e
t_tu
p
le_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
olaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
next