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_map_coalesce: plug memory leak on error path
2011-03-18
Sven Verdo
o
laeg
e
isl_
m
ap_co
a
lesce: plug memory leak on error p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
isl_mat_extend:
avoid m
e
mory le
a
k when re
a
lloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
l
_
b
a
s
ic_ma
p
_overlyi
n
g_set: a
v
oid memor
y
leak when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en V
e
rdoolaege
i
s
l_stre
a
m_ge
t
c: a
v
oid m
e
mor
y
leak when realloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
rudimentary
s
upport for
a
synchronous termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
S
v
en Verd
o
ola
e
g
e
hide isl_ct
x
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ver
d
oola
e
g
e
i
s
l_vec_read_from_fi
l
e
:
d
r
op i
n
put_for
m
at a
r
gument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_ma
p
.
c: drop unused er
r
or l
a
bel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdo
o
l
aege
isl_inpu
t
.
c: drop
u
nused error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
respect DESTDIR when i
n
s
t
alling isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olaege
isl
_
s
tream: accept "$" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verdoo
l
a
e
ge
add isl
_
u
n
i
on_map_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdool
a
ege
change isl_map_power interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n
Verdoolaege
add isl_union_map_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
a
dd
private isl_b
a
sic_map_
s
wap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven V
e
rdoolaege
ad
d
isl_union_m
a
p_deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sve
n
Verdo
o
laege
isl_map_delta
s
: don't copy fla
g
s
from input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
V
e
rdoolaege
isl_strea
m
_read_ma
p
: a
c
cept constan
t
exp
r
ession
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven V
e
rdoolaege
is
l
_
s
tream: accept "/
\
" and "\/" as
alternativ
e
s
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdo
o
laege
is
l
_stream: onl
y
quote newline u
s
ing '\
'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n V
e
rdoolaege
i
s
l_s
t
ream
:
maintain privat
e
un
g
etc buf
f
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolae
g
e
isl_
s
et_lifting: simplify an
d
finalize r
e
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
doc: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
S
v
e
n
Ve
r
doola
e
ge
d
oc
:
dr
o
p long outdated note on tran
s
itive closure
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sve
n
Verdool
a
ege
a
dd isl_ba
s
ic_set_get_dim_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoo
l
aege
isl_m
a
p_i
d
entit
y
:
ta
k
e dimension spec
i
fi
c
ati
o
n of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
S
v
e
n Verdoolaeg
e
rename is
l
_dim_map to isl_dim_map_f
r
om_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven
Verdoo
l
aege
transitive clo
s
ure
:
p
r
oject
o
u
t
paramete
r
s
when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
o
o
la
e
ge
pri
v
ately export isl_basic_set_reset_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaege
i
sl_
s
et_l
i
ft: preserve str
u
ctur
e
of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_p
w
_qpo
l
yno
m
ial_bound: handle com
b
ination
of wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_ta
b
_pip
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rdoola
e
g
e
isl
_
tab: check for obviously empty
t
ablea
u
s a
f
ter discov
e
rin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n
Verdoolaeg
e
is
l
_
basic_
m
ap_gist:
p
refe
r
c
o
n
t
ra
i
nts witho
u
t existen
t
ially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoolaege
i
s
l_bas
i
c_m
a
p_sort_constraints
:
change comparison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en Verdoolaege
isl_
t
a
b_
i
neq_type: classify more c
o
n
s
traints
as being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl_ma
p
_coalesce: be
m
ore
r
elaxed about multiple
e
q
u
alities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ve
r
doolaege
add isl_basic_map_fro
m
_domain_an
d
_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n Ve
r
doolaege
add isl_basic_set_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n Verdool
a
ege
add i
s
l
_b
a
sic_set_flat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaeg
e
export isl
_
basic_map_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Verdoolaeg
e
add i
s
l
_
basic_
m
ap_fr
o
m_qpo
l
ynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
is
l
_
s
tream: support \<
n
ewline> line co
n
t
inuation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Ver
d
o
olaege
ad
d
i
sl_union
_
map_read_from_fi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
isl_strea
m
_read
_
map: acc
e
pt
'true' and 'false' constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
doo
l
ae
g
e
i
s
l_stre
a
m_read_map: al
l
ow extra
';' at
e
n
d of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
e
n Verdoolaege
isl_stream_read_ma
p
:
all
o
w
n
egation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoolaege
is
l
_stream_read_map: allow
e
x
i
st
e
nt
i
a
l quant
i
fication
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
privately exp
o
r
t
isl_b
a
sic_map_add
_
div_constraints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
sl_
m
orph_ba
s
ic_set: preserve r
a
t
io
n
ality of inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
a
d
d isl_basic_
s
et_is_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
isl_printer_
p
r
int_basic_ma
p
: explic
i
t
l
y mark
r
a
t
i
o
nal
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_
s
tream_re
a
d_map:
read rational
maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
d
o
o
l
aege
isl_basic_map_insert: preserve
rationality of in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
r
d
o
olaege
add
i
sl_basic_map_set_rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
isl_basic_map_fast_cmp: differe
n
tiat
e
between ra
t
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ve
r
doo
l
a
e
g
e
i
s
l
_
output
.
c:
r
emove some code
d
up
l
ication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdoola
e
ge
isl_printer_pr
i
nt
_
basic_{set,ma
p
}
:
d
o
n't sta
r
t
n
ew
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven
V
er
d
ool
a
eg
e
isl_st
r
e
am_re
a
d
_
map: accept '|' at s
t
art of
constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
i
s
l_stream: keep track
o
f
textual representati
o
n of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
S
v
en Verd
o
olaege
isl_input
.
c: clean
u
p rea
d
_disjunc
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ve
r
d
o
olae
g
e
isl_s
t
ream_read_m
a
p: acc
e
pt disjunctions wi
t
hin
a co
n
junc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_co
n
v
e
x_hull
.
c: e
x
plicitly mark wra
p
ping lp proble
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven
V
erd
o
olaege
isl_tab_m
i
n:
micro-optimization:
p
ostp
o
ne
t
aking i
n
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
Verd
o
ol
a
ege
Merge b
r
an
c
h 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
g
e
isl_tab_add_row:
a
d
d
f
u
r
ther
explanati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
isl_tab
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ve
r
doola
e
ge
isl_tab_pip
.
c: corr
e
ctly detect non-negativit
y
of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaeg
e
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
test both conte
x
t h
a
ndling mechani
s
ms of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
s
l_tab_i
s
_eq
u
ality: pr
o
pe
r
ly support
"
big pa
r
ameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
V
erdoolaege
is
l
_tab_pip
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ver
d
oolaege
isl_affine_hull
.
c
: fix t
y
pos in
c
omments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
i
s
l_union_ma
p
_comput
e
_flo
w
: return accesses wi
t
h no
.
.
.
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
v
en Verdoolaege
i
s
l_
u
nion_map
.
c: inplac
e
: pass data
p
o
inte
r
to isl_hash_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en V
e
r
doolae
g
e
isl_dim_move:
u
pdate
p
ara
m
eters of nest
e
d
s
paces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoo
l
aege
add isl_map_nat_unive
r
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
clean up isl_set
_
from
_
b
a
s
ic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
m
e
r
ge
i
s
l_basic_set/isl_basic_map and isl_set/is
l
_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Ve
r
d
o
olaege
rename "omega" tra
n
sitive c
l
o
s
ure to "box" tran
s
itive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoo
l
a
e
g
e
exp
o
r
t
isl_int_ob
j
_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
V
e
rdo
o
la
e
ge
i
s
l
_
v
ertices
.
c: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
isl_unio
n
_templ
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Verdoolaege
isl_map
_
subt
r
act
.
c:
n_non_redundant: pr
o
pa
g
e isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
ol
a
ege
isl_bernste
i
n
.
c: f
i
x typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Ve
r
do
o
laege
add isl_union_pw_qp
o
l
y
nomial_mul_is
l
_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en
V
erd
o
olaege
isl
_
stream_
r
ead_obj: read
int
o
bjects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
a
d
d
in
t
o
bjects for us
e
in
i
scc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoolae
g
e
isl_basic_map_remove_divs: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
ven V
e
rdoola
e
ge
add is
l
_ba
s
ic_
s
e
t
_ge
t
_
tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
r
d
oolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
doolaege
i
sl_union_m
a
p_sample: don't
re
t
urn NULL on empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdo
o
laege
isl_basic
_
map_s
e
t_
t
uple
_
n
ame: finaliz
e
res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
doolaege
is
l
_transitive_clos
u
re
.
c: mor
e
anonymize input m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoola
e
ge
isl_basic_set
_
factorizer: make sure
g
rou
p
i
nformation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Verdoolaege
add is
l
_union_map_
r
ange_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
S
v
e
n Verdoolaege
do
c
: d
o
cument
produ
c
t func
t
io
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
erdo
o
laege
rename
i
sl_b
a
sic_set_product
to isl_basic_set_list_pr
o
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next