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_left_hermite: plug memory leak on error path
2011-04-11
Sven Verdoolaeg
e
isl_ma
t
_left
_
hermite: plug memory leak on er
r
or path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
plug me
m
ory lea
k
in isl
_
m
a
t_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
e
ge
isl 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
do
c
: add some
i
mplementa
t
i
o
n details on parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
V
erd
o
olaeg
e
isl_l
p
.
c: a
v
oid clang warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolae
g
e
isl
_
stream_read_map: accept floo
r
d and ceild
e
xp
r
e
ssions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoola
e
g
e
isl_str
e
a
m_read
_
ma
p
: a
c
ce
p
t m
i
n and m
a
x expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ve
r
do
o
laege
isl_stream_
r
ead_
m
a
p
: proper
l
y read n
e
sted
di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
isl_stream_read_map: tre
a
t divs as outp
u
t variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
i
s
l
_map_
c
oalesce: plug memory le
a
k on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Verdoolaege
isl_mat_extend: avoid
m
emory
l
e
a
k when realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
isl
_
bas
i
c
_
map_ove
r
lyin
g
_set: avo
i
d memor
y
leak when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
rdoolaege
i
sl
_
stream_getc: avoid
m
emo
r
y leak wh
e
n realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
d
oolaege
rudimentary support for asynch
r
onous t
e
rminati
o
n
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sve
n
Verdoolaege
hide isl_ctx interna
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolae
g
e
isl_vec_read_from_file: drop input_
f
o
r
mat
argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Verdoolaege
i
s
l_map
.
c: drop unu
s
ed error labe
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_
i
n
put
.
c: drop unus
e
d error
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n Verdool
a
ege
respect DESTDIR when
i
n
stalling
i
sl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n V
e
rdoolae
g
e
isl_stre
a
m: accept "$" to
k
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdo
o
laege
ad
d
i
s
l_union_m
a
p
_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en
V
erdoolaege
c
hange isl_map_powe
r
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdool
a
ege
add isl_union
_
map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add priv
a
te i
s
l_b
a
sic_map_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n Verdoola
e
ge
a
dd isl_unio
n
_map_del
t
as_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n
Ve
r
d
o
olaege
isl_m
a
p
_
del
t
as: don't copy
f
l
ags
from input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en
V
er
d
oolaege
isl_st
r
ea
m
_re
a
d_
m
a
p
: acce
p
t cons
t
ant expre
s
s
ions o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream:
a
ccept "/\" and
"
\/" as al
t
ernative
s
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Verdoolae
g
e
isl_stream: onl
y
quote
newline us
i
ng
'
\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n
V
er
d
oola
e
ge
isl_s
t
ream: main
t
ain private ungetc
buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en
V
erdoolaege
isl_set_lif
t
ing:
s
implify and finalize
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
erdoolaege
doc
:
fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ver
d
oolaege
doc: drop long
o
u
t
dated note
on transitive closures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
S
ve
n
Verdoolaege
add is
l
_basic_set_get_dim_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n
Ver
d
oolaege
isl_map_
i
dentity: take dimension spe
c
ification of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
ve
n
Verdoolaege
rename isl_di
m
_map
t
o is
l
_
dim_map
_
from_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n V
e
rd
o
o
laege
t
ransiti
v
e
c
los
u
re: project out param
e
ters when
a
ny
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
privately
expo
r
t isl
_
bas
i
c_se
t
_reset
_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
e
rdoolaeg
e
isl_se
t
_
l
i
ft: preserv
e
structure of
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Ver
d
oolaege
isl_pw_qpolyn
o
mi
a
l_
b
ound: handle combinat
i
on of
w
r
a
pping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Verdoola
e
ge
i
s
l_tab_pip
.
c
: f
i
x typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rd
o
olaege
isl_tab: ch
e
ck for obviously empty tableaus after disco
v
erin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_basic_map_gist: prefer contra
i
nts withou
t
existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoolaege
isl_b
a
sic_map_sort_constraints: change comparison rou
t
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en Verdoolaege
is
l
_
tab_ineq_type: cl
a
ssify more constrain
t
s as being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
i
s
l_
m
ap_coalesce:
b
e
m
or
e
rela
x
ed about multiple equ
a
l
ities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoo
l
a
e
g
e
add
i
s
l
_
basic_map_from_domain_and_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rdoola
e
ge
add i
s
l
_
b
asic_set_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Verdoolae
g
e
add i
s
l_basic_set_flat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
e
xp
o
rt isl_basic_map_
f
latten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_basic_map_from_qpolyno
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verd
o
olaege
isl
_
s
tream: suppo
r
t \<newline> line continuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
add isl_unio
n
_map_read
_
from
_
file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoola
e
ge
isl_stream_read_map: accept 'true
'
and 'false' constrai
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoo
l
aege
isl_stream_read_map: allow extra ';
'
at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven
Verdo
o
l
a
ege
isl_stre
a
m_read_m
a
p: al
l
ow negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rd
o
ol
a
ege
is
l
_stream_r
e
ad_map
:
allow existenti
a
l
quantific
a
ti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verd
o
olae
g
e
privat
e
l
y
export isl
_
bas
i
c_ma
p
_ad
d
_div_constraints
_
var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Verdoolaege
isl_morph_basic_s
e
t: pre
s
e
rve
r
ationality o
f
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
ad
d
isl_basi
c
_set_is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doola
e
ge
isl_print
e
r
_
print
_
basic_map: ex
p
li
c
itly
ma
r
k
r
ational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_stream_
r
ead
_
map:
r
ead rat
i
onal m
a
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Ve
r
doolaege
isl_ba
s
i
c
_map_
i
nsert: preserve rationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
add i
s
l_basic_map_
s
et_ra
t
ion
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
sl_basic_map_fast_cmp: d
i
fferentiate between
r
ational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdool
a
ege
isl
_
output
.
c:
r
e
m
ove s
o
me code duplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
isl_p
r
in
t
er_print_bas
i
c_{set,map}
:
do
n
't start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sve
n
V
erdoolae
g
e
isl_stream
_
read_map: acc
e
p
t '
|
' at start of
cons
t
rain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
i
sl_strea
m
:
k
eep
t
rack of textu
a
l
r
epre
s
entation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_input
.
c: clean
up read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sve
n
Verdoolaege
isl_st
r
eam_read_map:
a
ccept disjunctio
n
s within
a
conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sve
n
Verdoola
e
ge
isl_con
v
ex_hu
l
l
.
c: exp
l
icitly
mark wrapping lp
p
roblem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n Ver
d
o
olaege
isl_ta
b
_min:
m
icro-optimizati
o
n: postpone takin
g
into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laeg
e
M
e
rge b
r
an
c
h
'
maint
'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
e
g
e
isl_t
a
b_add_row: add further exp
l
anation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab
.
c: fix typos in
c
omment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
isl_tab_pip
.
c
:
corr
e
ct
l
y detect non-negativity
of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
add tes
t
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
test both context han
d
lin
g
mechanisms o
f
isl
_
pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verd
o
olaege
isl_ta
b
_
is_equality: proper
l
y suppo
r
t
"big par
a
met
e
r"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoola
e
ge
isl_tab
_
pip
.
c:
f
ix ty
p
o
i
n
c
o
m
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoola
e
ge
i
s
l_af
f
ine_hull
.
c: fix typos
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
isl
_
u
nion_map_com
p
ute_flow: r
e
turn accesses w
i
t
h
no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaeg
e
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolae
g
e
isl_union_map
.
c: inp
l
ac
e
: pas
s
d
a
t
a po
i
nt
e
r to isl_hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
ven
V
e
r
d
o
ol
a
ege
isl_dim_move: update parameters of n
e
ste
d
s
p
aces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en V
e
rdoolaege
add
isl
_
map_nat_unive
r
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
clean up isl_set_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoola
e
ge
me
r
ge isl_basi
c
_se
t
/isl_basic_map
a
n
d isl_set/is
l
_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
r
e
nam
e
"ome
g
a" transi
t
ive closure
t
o "box"
t
ransitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
export isl
_
int_
o
bj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolaege
isl_verti
c
es
.
c
:
f
ix ty
p
os
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
g
e
isl_union_t
e
mpl
.
c: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
i
s
l_map_s
u
btract
.
c:
n_non_r
e
du
n
dant: propage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoola
e
ge
i
sl_b
e
rnstein
.
c
:
fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
add
isl_union_
p
w_qpolynomial_mul_is
l
_i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
i
s
l_s
t
ream_read_obj: read int ob
j
ects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
e
r
doolaege
add
i
n
t
objects for
us
e
in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdool
a
e
g
e
isl_
b
asic_map_
r
emove_
d
ivs: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
