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_basic_map_overlying_set: avoid memory leak when realloc fails
2011-03-18
Sven Ve
r
d
o
olaege
isl_b
a
sic_map_overl
y
ing_s
e
t: avoid memory leak when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
l
_stream_getc:
a
void memory leak
when
r
ealloc
fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdo
o
laege
ru
d
ime
n
tary sup
p
ort for
asynchronous termin
a
tion of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
h
i
de isl_ctx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoo
l
aege
isl_vec_r
e
ad_from_file: d
r
op input_
f
ormat argu
m
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en
V
erdoolaege
isl_m
a
p
.
c
:
drop u
n
used error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
doo
l
aege
isl_input
.
c: dr
o
p unus
e
d
e
rror
lab
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
r
espec
t
DESTDIR when installing
i
s
l
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
isl
_
st
r
ea
m
: ac
c
ept "$" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verd
o
ol
a
ege
ad
d
isl_union_m
a
p_po
w
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
c
hange isl_map_power interfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en
Verdo
o
laege
ad
d
isl_union_map_
z
ip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add private isl_
b
a
s
ic_map
_
sw
a
p
_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
S
ven V
e
rdoolaege
add isl_union_map_de
l
ta
s
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
M
e
r
ge bra
n
c
h 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
isl_map_deltas: don't c
o
py flags from input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ve
r
doo
l
aege
isl_
s
tream_read_map: accept constant expre
s
si
o
ns
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Ver
d
o
o
laege
i
sl_st
r
eam: a
c
cep
t
"/\" and "\/
"
as alt
e
rnativ
e
s for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Verdoolaege
isl
_
stre
a
m: o
n
ly qu
o
te newline using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
ven Ve
r
doolaege
isl_stream: main
t
ai
n
priv
a
te
u
ngetc buffe
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ve
r
doolaege
isl_set_lifting
:
simplify and finali
z
e result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven
Verdoolaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
e
rdo
o
laege
d
oc: drop long
o
utdated
n
ote o
n
tra
n
s
i
t
ive
cl
o
sures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoolaege
add isl_
b
as
i
c_set_get_dim_
n
a
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ve
r
dool
a
ege
isl_map_identity: take dimensio
n
specifi
c
atio
n
of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven V
e
rdoolaege
r
ename isl_
d
im_map to isl_dim_map_from_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ve
r
d
oolaege
transitive closure: project out parameters
when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaege
privately export
i
sl_ba
s
i
c_s
e
t_r
e
set_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
V
e
rdoolaege
isl_s
e
t_lift: prese
r
ve structure of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdo
o
laege
isl_pw_q
p
olyn
o
m
i
a
l_
b
ound: handle combinati
o
n of w
r
a
p
ping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoo
l
aege
isl_t
a
b_pip
.
c: fix
t
y
po in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolae
g
e
i
sl_tab: check for
obvi
o
usly empty tableaus after discoverin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
olaege
i
s
l_basic_map_g
i
st: pref
e
r contraints
w
ithout exis
t
entially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven
V
erd
o
o
laege
isl_basic
_
m
ap_sort_
c
onstraints: chan
g
e compar
i
son r
o
utin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Ve
r
doolaege
isl_
t
ab_ineq_type: cla
s
sify more constraints as
being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven
V
erdool
a
eg
e
isl_ma
p
_coa
l
esce:
b
e m
o
r
e
relaxe
d
ab
o
ut multipl
e
equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add is
l
_basic_map_from
_
d
o
m
a
in_and
_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en
Verdoolaege
add
isl
_
basic_set_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
er
d
oolaege
add isl_basic_set_flat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en Verdoolaege
export isl_basic_map_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n
Ver
d
oolaeg
e
add
is
l
_
b
asic_map_from_qp
o
lyn
o
mial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
i
sl_s
t
ream: su
p
p
ort \
<
ne
w
line> line
c
ontinuati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
doolaege
ad
d
is
l
_union_map_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_read_map: ac
c
ept 't
r
ue
'
and '
f
a
lse' constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdoolaeg
e
isl
_
s
tream_r
e
ad_map: a
l
lo
w
extra ';' at end
of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaeg
e
is
l
_stream_
r
ead_map: allow negations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_read_map
:
allow existential quantification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verd
o
olaege
privately
e
xport isl_basic_map
_
a
d
d
_di
v
_
co
n
straints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_m
o
rph_basi
c
_set: pre
s
e
rve rationality
of inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
r
d
oolaeg
e
add isl_basic_set_is_r
a
t
i
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven
Verdoolaege
isl_print
e
r_
p
rint_b
a
sic_map
:
explicitly ma
r
k rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
ge
isl_
s
tre
a
m_read_map: read
rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
rdoolaege
isl
_
basic_map_in
s
e
r
t: prese
r
ve
ration
a
l
ity of inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaege
add isl_basic_map_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
isl_basic_map_fast_cm
p
: differentiate betwee
n
rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolae
g
e
isl_output
.
c:
remove som
e
code
d
uplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
isl_printe
r
_pr
i
nt_basic_{set,map}: don't sta
r
t new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verd
o
olaeg
e
isl_stream_re
a
d
_map:
a
c
c
ept '|' at
s
tart
of constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_stream: k
e
ep track of textual
r
ep
r
es
e
ntati
o
n of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ver
d
oolaege
isl_input
.
c
: clean up read_disjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven
V
erdoolae
g
e
isl_s
t
ream_read_m
a
p
: ac
c
ept disjunctions wit
h
in a conj
u
nct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
S
v
e
n
Ve
r
doo
l
ae
g
e
isl_convex
_
hull
.
c
: explicitly mark wrapp
i
ng
l
p
p
r
oblem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_tab_mi
n
:
m
icro-optimizatio
n
: postpone
taking in
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
Verdoolaege
Merge
b
ran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
sl_tab
_
a
dd_r
o
w: add further expl
a
nation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdool
a
ege
isl_tab
.
c: fix typos
i
n comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
ool
a
e
ge
is
l
_ta
b
_pip
.
c
:
c
orrectl
y
detec
t
non-negativity of
d
ivs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
te
s
t
both context hand
l
ing mechanisms
o
f isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoo
l
aege
i
s
l_tab_is_equa
l
ity: properly support "big parameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ver
d
ool
a
e
ge
isl_t
a
b_pip
.
c
:
fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolae
g
e
isl_affine_hull
.
c
: f
i
x typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
is
l
_
u
ni
o
n_map
_
compute_flow: return accesses with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oo
l
aege
M
e
rge
branch
'main
t
'
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolae
g
e
isl_un
i
on_map
.
c
:
i
nplac
e
: pass data pointer to i
s
l_hash_tab
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_dim_move: update parameters
of nested
s
paces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaeg
e
add
isl_map_na
t
_
univers
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ven Verdo
o
laege
clean up
isl
_
se
t
_fro
m
_
basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
merge isl_ba
s
ic_set
/
isl_bas
i
c_map
and isl
_
set/isl_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
S
v
en Verdo
o
l
aege
rename "omega" t
r
ans
i
ti
v
e
c
l
o
s
u
re
t
o
"
b
ox" transi
t
ive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdo
o
laege
export isl_
i
n
t
_
obj_f
r
e
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en
V
erdoolaege
isl_vertices
.
c: fix t
y
pos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdo
o
laege
isl_unio
n
_templ
.
c: fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
i
s
l_map
_
su
b
tract
.
c
:
n_non_redund
a
n
t: propage isl
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_bernst
e
in
.
c
: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add isl_u
n
io
n
_p
w
_qpo
l
ynomial_mu
l
_isl_i
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoola
e
g
e
isl_stream_read_obj: read int objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
add int objec
t
s for use in is
c
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
olaeg
e
is
l
_
ba
s
ic_map
_
remove_divs: f
i
nalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
doola
e
ge
add
i
sl_basi
c
_
s
et_get_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
Merge branch 'm
a
int
'
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verd
o
o
l
aege
i
sl_union_map
_
sample
:
don't return NULL on empty
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven
Verdoolaege
isl_bas
i
c_map_set_tuple_name:
f
in
a
lize
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
doolaege
isl_tr
a
nsitive_closure
.
c: mo
r
e
anonymize inpu
t
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven
Verdoolaege
i
sl_
b
asic_set_factorizer: m
a
ke s
u
re g
r
oup information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoo
l
aege
a
d
d isl
_
union_
m
ap_range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Verdoolaeg
e
doc: document produ
c
t funct
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolae
g
e
rename isl
_
basic_set_p
r
oduc
t
to isl_basic_set_list_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verd
o
o
l
aege
isl_set_convex_hu
l
l: optionally use
Fou
r
ier-Motzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ver
d
oolaege
i
s
l
_basic_set_sample_poi
n
t: e
x
ploit factori
z
ation if
any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next