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
Sve
n
Ve
r
doolaege
i
s
l 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Ver
d
oolaege
d
oc: ad
d
some implementation
details
o
n
parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_l
p
.
c
: avoid clang warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
isl_
s
trea
m
_read_map: accept floord and
c
eild expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_st
r
eam_read
_
map: accept
m
in and m
a
x expre
s
si
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
i
s
l_stream_
r
ead
_
map: properly rea
d
n
e
sted divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoo
l
a
ege
isl_stre
a
m_r
e
a
d_map: treat divs as ou
t
put v
a
riable
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
s
l_map_
c
oales
c
e: plug memory leak on error pat
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
isl_mat
_
e
x
tend
:
avoid memory
leak
when realloc f
a
ils
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl_basic_map_overlyi
n
g_set
:
avoid me
m
ory leak when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
isl_stream_getc:
a
void memory
l
ea
k
w
h
en reallo
c
fail
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
r
d
oo
l
aege
r
u
dimentar
y
support
f
o
r
a
synchrono
u
s
t
e
r
mination
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sv
e
n Verdoolaeg
e
hide isl_ctx in
t
e
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
ven
Verdoola
e
ge
is
l
_vec_read_from_fil
e
:
d
rop input_for
m
a
t ar
g
ument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Ve
r
do
o
laege
isl_
m
a
p
.
c: drop unused error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
ven V
e
rdoolaege
i
s
l
_
input
.
c: dro
p
unu
s
ed err
o
r label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Verdoolaege
respect
DESTDIR whe
n
in
s
talling is
l
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
e
n
Verdoolaege
isl_stream: accept "$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
ad
d
isl_un
i
on_m
a
p_pow
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Ve
r
do
o
l
a
e
g
e
c
h
ange isl_map_power int
e
rface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
a
dd isl
_
union
_
map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verdool
a
ege
add
privat
e
isl_bas
i
c_ma
p
_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaeg
e
add isl_union_map_d
e
ltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
Mer
g
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Verdoolaege
isl_map_
d
eltas: don't copy
f
lags f
r
om input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream_r
e
ad_map: ac
c
ept constant expressions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Verdoolaege
i
s
l
_stream: accept
"
/\" and "\/" as alternati
v
es for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_strea
m
: only qu
o
te newline u
s
i
ng '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
i
s
l
_stream: maintain private
u
ngetc buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ve
r
doolaege
isl_set_li
f
t
ing: simplify
and finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
V
erdoolaeg
e
doc:
f
ix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven
Verdoolaege
do
c
: drop long outdated no
t
e
o
n
tr
a
n
sitiv
e
clos
u
res
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdo
o
laege
ad
d
isl_basic_set_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ve
r
doolaege
i
sl
_
map_identity: take dimens
i
on specif
i
cat
i
on of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
v
en Verdoolaege
renam
e
isl_dim_map
to
i
sl_di
m
_map_from_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
t
ransitive closure: project out parameters when any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
oolaege
privately
e
x
p
ort isl_basic_set_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n
Verdoola
e
g
e
is
l
_set_lift: preserve stru
c
tur
e
of space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erdo
o
lae
g
e
isl
_
pw_qpolyno
m
ial_bound: h
a
ndle co
m
bination of wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Verdo
o
l
aege
isl_
t
ab_pip
.
c:
fix typo
i
n co
m
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaeg
e
isl_
t
ab
:
check
f
or obviously
e
mpty tableaus after discoverin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
l
a
eg
e
isl_basic_map_gist: prefer contraints with
o
ut
exist
e
ntially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven Ve
r
doolaege
isl_
b
a
sic_map_
s
ort_constr
a
i
n
t
s:
change compar
i
son routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Ve
r
doolaege
isl_t
a
b
_
ineq_type: classif
y
more
constraints as b
e
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven
Verdoolaege
isl_m
a
p
_co
a
le
s
ce:
b
e more relaxed about
m
ultipl
e
equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_basic_m
a
p_from_domain_and
_
ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdoo
l
a
ege
add
isl_b
a
s
ic_
s
et_n
e
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
erdoolaege
add i
s
l_basic_set_fla
t
_pro
d
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoo
l
aege
expo
r
t i
s
l_basic_map_
f
latten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rdoolaege
add is
l
_
basi
c
_map_fr
o
m_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oolaege
isl_
s
tr
e
am: sup
p
ort \<newl
i
ne> l
i
ne con
t
in
u
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
add isl_union_map_
r
ead_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
e
r
doolaege
isl_
s
tream_read_map: accep
t
'true' and 'false' constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdoolaege
is
l
_
stream
_
read_map: allow ext
r
a ';' at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdoolaege
isl_stream_
r
ead_map: all
o
w ne
g
ation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_rea
d
_m
a
p: allow existenti
a
l qua
n
tifica
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
privately export i
s
l_basic_map_add_div_
c
onstra
i
nts_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
r
doola
e
ge
isl_morph_basic_
s
et: preserve rationality of i
n
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
la
e
ge
add isl_basic_
s
et_is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_p
r
i
n
t_basic_map: explici
t
l
y
mar
k
ra
t
ional
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ver
d
oola
e
ge
isl_stream
_
read_map: re
a
d rational map
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
isl_basic
_
m
a
p_insert: preserve rationality of
i
np
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en V
e
r
d
oolaege
add isl_basi
c
_map_set_rat
i
onal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
isl_b
a
s
ic_map_
f
a
st_c
m
p: d
i
fferent
i
at
e
between rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Ver
d
oolaege
isl_output
.
c: remo
v
e some co
d
e duplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
ool
a
ege
isl_printer_print_basic_{set,
m
ap}: don't st
a
rt n
e
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_stream_r
e
ad_ma
p
: acc
e
pt '|' at start
of cons
t
rain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdool
a
ege
isl_strea
m
: keep track of textual repr
e
sentati
o
n of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verd
o
olaege
i
s
l_input
.
c:
c
lean up read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven
V
erd
o
ol
a
ege
isl_stream_read_m
a
p: accept disj
u
ncti
o
ns within a
c
o
njunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven V
e
rdool
a
ege
i
s
l_convex_hull
.
c: exp
l
icitly mark wrapping lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_tab_min:
micro-optimization: postpone taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
V
e
rdool
a
ege
Merge branch 'm
a
in
t
'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
ol
a
e
g
e
isl_ta
b
_add_row: add furth
e
r explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
er
d
oolaeg
e
i
sl_
t
ab
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
is
l
_tab_pip
.
c: correctly d
e
t
ect n
o
n-negativity
of di
v
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
er
d
oolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaeg
e
t
e
s
t bot
h
con
t
ext h
a
ndling
m
ec
h
a
nisms of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven
V
er
d
oolaege
isl_
t
ab_i
s
_
e
qu
a
lity: prop
e
rly support "big parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_
t
ab_pip
.
c
:
f
ix typo in co
m
m
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_affine_hull
.
c: fix typos in comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdo
o
l
a
ege
isl_union
_
map_c
o
mpute_
f
low:
return ac
c
e
sses w
i
th no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
is
l
_union_
m
ap
.
c: inplace: pass data
p
ointer
t
o is
l
_ha
s
h
_
tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_dim
_
move:
u
pdate
p
aramete
r
s of ne
s
te
d
space
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
doola
e
ge
add isl
_
map_nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
olaege
c
l
ean up isl_set_from
_
basi
c
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n
Ver
d
oolaege
merge isl_basic_set/isl_bas
i
c_
m
ap and isl_s
e
t/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven V
e
rdoolaege
rename "o
m
ega" tr
a
n
s
itive
c
los
u
re to "box" transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
export isl
_
i
n
t_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
i
s
l_verti
c
es
.
c: fix typ
o
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
isl_union_templ
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoo
l
a
ege
isl_map_subtract
.
c: n_n
o
n_redundant:
p
r
opage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verd
o
o
laeg
e
i
sl_
b
ernstein
.
c: fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ve
n
Verdoo
l
aege
add isl_union_pw_
q
polynomial_
m
ul_is
l
_i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
isl_str
e
a
m_r
e
ad_obj:
r
ead int ob
j
e
cts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
a
e
g
e
ad
d
int ob
j
ects
for use in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
isl_basic_map
_
remove
_
divs
:
finalize
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdo
o
la
e
g
e
add isl_ba
s
ic_set_get_tuple_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
doolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
next