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_mat_extend: avoid memory leak when realloc fails
2011-03-18
Sven Verdoolaege
isl_mat
_
exte
n
d: a
v
oid memory leak when re
a
llo
c
f
a
ils
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
isl
_
basic_map_overly
i
ng_set: avoid mem
o
ry leak when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ve
r
d
ool
a
ege
isl_stream_getc:
a
v
o
id memory
l
e
ak when realloc
f
a
i
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
rudimentary support for asynchronous termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
S
ven
Verdo
o
laege
hide i
s
l_ctx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Ve
r
do
o
laege
is
l
_ve
c
_read_fr
o
m_f
i
le: drop input_format argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_m
a
p
.
c: drop unused
error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Verdoolaege
isl_input
.
c: d
r
op
u
n
u
sed e
r
ror label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoola
e
ge
respect DESTDIR when installing isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verdoolaege
isl_stre
a
m: accept
"
$
"
token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doolaege
a
dd isl_unio
n
_map_p
o
wer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
chan
g
e isl_map_power
i
nterf
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoo
l
aege
add
isl_union_m
a
p_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
ege
add
pri
v
ate isl_basic_map_
s
wap_var
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
erdoolaege
add is
l
_
u
n
ion
_
map
_
del
t
a
s_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven
Verdoolaege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
S
ven V
e
rdoolaege
is
l
_map
_
deltas:
d
o
n't copy flags from input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_str
e
am_read_map: accep
t
constant expressions of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n
Verdoo
l
aege
i
s
l_stre
a
m: accept "/\" and "\/" as alternati
v
es f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdo
o
laege
isl_stream: only q
u
ote newline using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ver
d
ool
a
ege
isl_s
t
re
a
m
:
maintain p
r
ivate ungetc bu
f
fer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en Verdoolaege
isl_set_
l
i
f
ting:
s
i
mplify and finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven
Verd
o
olaege
doc: f
i
x typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven
Ver
d
oolaege
doc: drop
l
ong outdated note on
tra
n
sitive
c
losures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven V
e
rdoolaeg
e
add isl_b
a
sic_s
e
t_get_dim
_
n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ver
d
oolaege
isl_
m
ap_
i
den
t
ity: tak
e
di
m
ension spe
c
ification of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolae
g
e
rename isl_dim_map
to isl_dim
_
map_from_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
S
v
en Verdoolaege
transitive clo
s
ure:
p
roj
e
c
t out parameters when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erdoo
l
aege
privately export i
s
l_basic
_
set_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erdoolaege
isl_set_li
f
t: preserve structure of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
laege
i
s
l_pw
_
q
p
olynomia
l
_
b
o
u
n
d
: handle combination
of wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
oolaeg
e
i
sl
_
tab_p
i
p
.
c: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Verdoolaege
isl_
t
ab: check for obviousl
y
empty
tableaus
after discoverin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erdoolaege
isl_basic_map_
g
is
t
:
p
r
e
fer con
t
raints w
i
thout existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sv
e
n Ve
r
doolaege
i
s
l
_basic_ma
p
_so
r
t_
c
o
nstraints:
change comp
a
rison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl
_
tab_ineq_type:
classify
m
o
r
e
c
o
nstraints as being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl_map_coalesc
e
:
be
more relaxed
about multiple equalit
i
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
e
n Verdool
a
ege
add isl_basic_m
a
p
_
f
r
o
m_d
o
main_and_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
V
erdoolae
g
e
add isl_basic_set_n
e
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_b
a
sic
_
set_flat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ver
d
ool
a
ege
export isl
_
b
asic
_
map_flat
t
e
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en
V
e
r
doolaege
ad
d
isl_basic_map
_
from
_
qpol
y
nomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdoolaege
isl_stream: support
\<newline> line contin
u
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolaeg
e
add i
s
l_union_map_read_from
_
file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven V
e
r
doolae
g
e
i
sl
_
s
tream_rea
d
_map: accept 'true' and 'false' cons
t
raints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolae
g
e
isl_stream_read_ma
p
: allow ext
r
a
';' at end o
f
ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
e
r
doolaeg
e
isl_strea
m
_read
_
map: allow
n
e
gat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_s
t
ream_
r
ead_map: a
l
low existential quantification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
private
l
y export
isl_ba
s
i
c_map_add_div_
c
onstrai
n
ts_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
isl_morph_basic_set: pr
e
serve r
a
tio
n
ality of i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
add
i
sl_bas
i
c_set_is_rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdoolaege
is
l
_printer_print_ba
s
i
c_map
:
explicitly mark r
a
ti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_stream_read
_
map: read rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ver
d
oolaege
isl_
b
asic_
m
a
p_insert: preserve rationa
l
it
y
of
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
ol
a
ege
add isl_basic_ma
p
_s
e
t_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdoolaege
isl_basic_map_fast_c
m
p: diff
e
ren
t
ia
t
e between rati
o
nal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
isl_output
.
c:
r
emo
v
e some
c
ode duplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erd
o
o
l
aege
isl_pr
i
nter
_
p
rint_
b
asic_
{
s
e
t
,
map}: don't start n
e
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ve
r
doolaege
isl_stream_read
_
map:
a
ccept
'|' at start of constrai
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdo
o
laege
isl_
s
tream: k
e
ep tr
a
ck of textual represe
n
tation
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_input
.
c:
c
l
e
a
n
u
p read_di
s
j
u
ncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
S
v
e
n
V
e
rdoo
l
a
e
ge
isl_st
r
e
am_read_
m
ap: accept
d
i
sjunction
s
within a conju
n
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sve
n
Verdoolaege
isl_co
n
v
ex_
h
ull
.
c: explicit
l
y
m
ark wrapping lp problem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_tab_min: mi
c
ro-optimiz
a
tion: postpone taking into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge branc
h
'ma
i
nt'
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ver
d
oolaege
i
sl_t
a
b_add_
r
ow: add fur
t
her e
x
pl
a
nation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
r
d
o
o
laege
isl_tab
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ver
d
oolae
g
e
i
s
l_tab_pip
.
c: correctly detect non-negativity
of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
ad
d
t
e
st
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
e
r
doolaege
test
b
o
t
h
context handling mechanisms of isl_pi
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_is
_
equ
a
l
i
t
y:
p
ro
p
e
rly
support "big
parameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
isl_tab_pip
.
c: f
i
x
t
ypo in co
m
me
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_affine
_
hul
l
.
c: fix ty
p
os
i
n c
o
mme
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aeg
e
isl_union_map_compu
t
e_flow: return
a
ccesses with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
r
doolaege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdo
o
laege
isl_union_map
.
c: inplace: pass data
p
ointe
r
to
i
sl_hash_
t
abl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
i
sl_dim_mo
v
e: u
p
date parameters of ne
s
ted spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
olaege
add isl_map_
n
at_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
rdoolaege
clean up is
l
_set_f
r
o
m_basic_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoo
l
aege
merge isl_basic_set/
i
sl
_
basic_map
a
nd
i
sl_set/isl_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
S
ven Verdoolaege
r
e
nam
e
"ome
g
a"
trans
i
tive closure to "box" transiti
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
a
ege
export
i
sl_int
_
ob
j
_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoola
e
g
e
isl_vertices
.
c:
fi
x
typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
Verdoolaege
isl_union_te
m
pl
.
c: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
V
erdoolaege
isl_map_subtract
.
c: n_non_
r
edundant: propage isl_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
olaege
isl_berns
t
ein
.
c:
fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolae
g
e
add
isl_u
n
i
on_pw_q
p
olynomial_mul_is
l
_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
isl_s
t
ream_rea
d
_
o
bj:
read int o
b
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erd
o
olaege
add int obj
e
cts for us
e
in
iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
i
sl_
b
as
i
c
_map_
r
emove_divs: finalize
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolae
g
e
a
dd isl
_
ba
s
ic_set_get_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
r
d
oolaege
isl_union
_
map_sample: don't r
e
turn NULL on empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
S
ven Ver
d
oolaege
isl
_
bas
i
c_map_set_tuple_na
m
e: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
S
ven Verdoolaege
isl_t
r
ansitive_clo
s
ure
.
c:
m
ore anonymize
i
nput map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven V
e
rdoolaege
isl_b
a
sic_set_facto
r
i
z
er: m
a
ke sure group inform
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven
V
erdoolaege
add isl_unio
n
_map_ra
n
ge_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
doc:
d
ocume
n
t p
r
odu
c
t functi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
rename isl_b
a
sic_s
e
t_
p
r
o
duct to isl_b
a
sic_set_
l
ist_produ
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoolaege
isl_set_convex_hull: optionally us
e
F
ourier-Mot
z
kin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next