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
erdoolaege
i
s
l 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
doc: add some impl
e
mentation details on
para
m
etric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verd
o
ola
e
ge
isl_lp
.
c: avoid clang warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
isl
_
s
t
rea
m
_
read_map: accept f
l
oord a
n
d ceild expression
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
s
l_stream_r
e
ad_map: accept min and m
a
x expressi
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaeg
e
isl_stream_rea
d
_map: properly rea
d
ne
s
te
d
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_str
e
am_re
a
d_ma
p
: treat di
v
s
a
s
o
u
tput variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_map_coa
l
esc
e
: plug me
m
ory leak on error pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl
_
mat
_
e
x
tend:
a
voi
d
m
e
mory lea
k
when realloc f
a
ils
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_basic_ma
p
_over
l
ying_
s
et:
avoid memory leak when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Ve
r
doolaege
isl_stream_
g
etc: avoid
m
emory lea
k
w
hen realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
rudimenta
r
y
suppor
t
for asynchronous terminat
i
on o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sv
e
n Ver
d
oolaege
hide isl_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verd
o
ola
e
ge
isl_vec_read_from_file: d
r
op input
_
format argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdo
o
laege
i
s
l_map
.
c: d
r
op unused error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
ege
isl_input
.
c: dro
p
un
u
sed error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
respect DESTDIR when in
s
t
a
l
l
ing isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolae
g
e
i
s
l_s
t
ream:
a
c
c
e
p
t
"$" t
o
ken
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add isl_union
_
map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
change isl_map_power interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoola
e
g
e
add isl_uni
o
n
_
map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doolaege
add privat
e
i
sl_
b
asic_m
a
p_sw
a
p_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
er
d
oolaege
add isl_union_map_deltas
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
Me
r
ge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
isl
_
map_deltas: do
n
't copy flags from input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdool
a
ege
i
s
l_stream_read_
m
ap: ac
c
ept constant expressions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_strea
m
: acc
e
pt "/\" and "\/" as alternatives
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoola
e
ge
isl_stream: only quot
e
newli
n
e u
s
i
n
g '
\
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaeg
e
isl_stream: maintai
n
private ungetc buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoola
e
ge
i
sl_se
t
_lifting:
s
implify a
n
d finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
e
rdoolaeg
e
d
o
c: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaeg
e
doc: drop l
o
ng outda
t
e
d
note on transitive closures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sve
n
Verdoolaege
add isl_ba
s
ic_set_g
e
t_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ver
d
oolaege
isl_map_identity: take dime
n
sion specific
a
tion
of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
v
en Verdoolaege
rename
isl_dim_ma
p
to isl_dim_map_from_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
ven Verdoola
e
ge
t
ransitive
c
losure: project out param
e
ters wh
e
n any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
r
do
o
l
ae
g
e
privately expor
t
isl_ba
s
ic_set_
r
es
e
t_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ve
n
Verdoolaege
isl_set
_
lift: pre
s
erve
s
tru
c
tur
e
of spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Verdoola
e
ge
isl_pw
_
qpolynom
i
al_bound:
hand
l
e combination of wrappi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdoolaege
i
sl_t
a
b_pip
.
c: fix ty
p
o in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Verd
o
olaege
isl_t
a
b
:
check for o
b
v
i
ously empty ta
b
leaus after
discoverin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaege
isl_b
a
s
i
c_map_gis
t
: pref
e
r co
n
traints without existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoolaege
isl_basi
c
_
m
ap_sort_constraints: change
comparison r
o
utin
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoola
e
ge
isl_t
a
b_ineq_type: classify
more constra
i
nts as being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl_map
_
c
o
ales
c
e
: be
m
o
re relaxed
a
bout multiple equali
t
ies
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en Verdoolaege
add isl_basic_map_from_domain
_
and_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
erdoolaeg
e
add isl_basic_
s
et_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Verdo
o
laeg
e
add isl_basic_se
t
_fla
t
_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ve
r
doo
l
aege
e
xp
o
rt
isl_basic
_
map_fla
t
ten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdoolaege
add isl
_
b
a
sic_
m
ap
_
from_
q
polynomia
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_strea
m
: support \<newli
n
e>
l
ine co
n
ti
n
uation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoolaege
add isl_union_map_read_fr
o
m_fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Ve
r
d
oolaege
isl_stream_rea
d
_map: accept
'true' a
n
d 'false' c
o
nstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaeg
e
isl_stream_read_map: a
l
low extra ';' at
e
nd of
ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verd
o
o
laege
i
s
l_stream_read_ma
p
: allow negation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolaege
isl_stream_read_map: allow existential
quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoolae
g
e
privately ex
p
o
r
t
i
sl_ba
s
ic_map_add
_
div_constr
a
ints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
isl
_
mor
p
h_basic_set: preserve ration
a
lity of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
add
isl_
b
asic_set_is_ra
t
ional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
Verdoolaege
isl_pri
n
ter_pri
n
t_b
a
s
ic_map: expl
i
citly mark
ration
a
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl
_
s
tream_read
_
map: r
e
ad rationa
l
maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolaege
isl_b
a
s
ic_map_insert:
preserv
e
rationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
a
d
d
isl_basic_map_set_ra
t
ional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoola
e
ge
isl_basic_map_fast_cmp: different
i
at
e
between ra
t
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
s
l_o
u
tput
.
c: remove
some
code duplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
isl_pr
i
nter_pr
i
nt_bas
i
c_{
s
et,map}:
don't star
t
n
ew
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sve
n
Verdoolaege
isl_stre
a
m_rea
d
_ma
p
: accept '
|
'
at start of
c
onst
r
aints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoo
l
a
e
ge
isl_st
r
eam: k
e
e
p
track
of textual representation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaeg
e
isl_input
.
c: clean up read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
v
en
V
erdoolaege
isl_stream_read_m
a
p
:
acce
p
t disjunctions w
i
thi
n
a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_convex_hull
.
c: expl
i
citly
m
a
r
k
wrapping l
p
problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaeg
e
isl_
t
ab
_
min: micro-optimization: pos
t
pone taki
n
g into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
s
l_tab_a
d
d
_
row:
a
dd further explanati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab
.
c:
f
ix typos
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
V
erdoolaege
isl
_
tab_pip
.
c: correctly detect no
n
-
negat
i
v
ity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
add te
s
t
commit
|
commitdiff
|
tree
2011-02-05
S
ven
Verdoolaege
te
s
t both
c
on
t
ext handli
n
g me
c
hanisms
o
f i
s
l_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Verdoolaege
isl_tab_is_equali
t
y:
p
r
operly suppor
t
"big parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
i
s
l_ta
b
_
pip
.
c: fix
typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_affine_hull
.
c
:
fix t
y
pos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
isl_union_map_com
p
ute_flo
w
: re
t
ur
n
acce
s
se
s
with n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
is
l
_union_map
.
c: inplace: pass data poin
t
er to
isl_hash_t
a
bl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_dim_move:
update par
a
m
e
ter
s
of n
e
sted spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Verdoolaege
add isl_map_nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
dool
a
e
ge
c
lean up isl_set_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdo
o
laege
m
e
rge isl_basic_set
/
isl_bas
i
c_map and isl_s
e
t/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
S
v
en Ve
r
doolae
g
e
rename "omeg
a
" tr
a
nsitive c
l
os
u
re to
"box
"
tran
s
itive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
e
x
port isl_
i
nt_obj_fre
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaege
i
s
l_vertices
.
c: f
i
x typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
isl_union_templ
.
c: fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_map_
s
ubtr
a
ct
.
c: n_non_
r
edundant: propa
g
e
isl_c
t
x
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
S
v
e
n
Verdoolaege
ad
d
isl_uni
o
n_pw_qp
o
lynomial_mul_isl_i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolae
g
e
isl_stream_read_
o
bj: read int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
a
dd int
obj
e
cts for use in
i
sc
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n Ve
r
doola
e
ge
isl_basic_map_remove_divs:
f
i
nalize
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
a
d
d isl_basic_set
_
g
e
t
_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ver
d
oolaege
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
next