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 Verdoola
e
ge
isl_mat_lef
t
_
hermite: plug
m
emory leak on
e
rro
r
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven
V
erd
o
olaege
plug memo
r
y leak
in
i
sl_mat
_
product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
i
s
l 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
doc:
a
d
d
some implementation det
a
ils on pa
r
ametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_lp
.
c
: avo
i
d clang
w
a
rning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
dool
a
e
g
e
isl_stream_read_map: accept floord and c
e
ild expre
s
s
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
Verdoolaege
isl_
s
tream
_
r
ead_map: accept
min and
max expressio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oola
e
ge
isl_st
r
eam_read_ma
p
: properly read nested
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
i
sl_st
r
eam_read_ma
p
:
t
reat divs
as
outpu
t
variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
d
o
olaege
isl_map
_
coa
l
e
sce: p
l
ug me
m
ory
l
eak
o
n erro
r
pat
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
r
d
oo
l
a
ege
isl_mat_extend: avo
i
d memory le
a
k when realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdo
o
laege
isl
_
ba
s
ic_ma
p
_o
v
erlying_set: avoid memory leak when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oo
l
a
e
ge
i
s
l_stream_g
e
tc: avoid m
e
m
o
ry leak whe
n
realloc fai
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
rudimentary su
p
port for asynchronous term
i
nati
o
n of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hide isl_ctx
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdoolaege
i
s
l
_vec_r
e
a
d
_from_file:
d
ro
p
input
_
format argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolae
g
e
isl_map
.
c
: drop un
u
sed erro
r
la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n Verdool
a
ege
isl_
i
nput
.
c: d
r
op unused
e
rror la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Ve
r
doolaege
res
p
ect DESTDIR when inst
a
lling i
s
l
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en V
e
rdoolaege
isl_strea
m
: accept "$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Ve
r
d
o
o
l
aege
add
i
s
l_union_map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
oolaege
change isl_
m
ap_p
o
wer interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolae
g
e
add isl_un
i
on_map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olaege
a
dd private
i
sl_
b
as
i
c
_map_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Ver
d
o
o
laege
add
i
s
l
_
union_
m
ap_d
e
ltas
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
erd
o
o
lae
g
e
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Verdoolaege
isl_map
_
deltas: d
o
n't copy fla
g
s
fr
o
m input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream_read_map: accept co
n
stant e
x
pression
s
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
ven
V
er
d
oo
l
a
ege
i
sl_stream: accept
"/\" and "\/" a
s
alternat
i
ves
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ver
d
oo
l
aege
is
l
_s
t
ream: only quot
e
n
e
wline using
'\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
i
sl_s
t
ream: maintain p
r
ivate unge
t
c
buff
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoo
l
aege
isl_
s
e
t_lifting
:
simplify
a
nd fina
l
ize 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
S
ven Verdoolaege
doc:
d
rop long outdated note on transitive
c
losures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
S
v
e
n Verdoolaege
add isl
_
basic
_
se
t
_get_d
i
m_n
a
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
Verdoo
l
aege
isl_map_identi
t
y: ta
k
e
d
imension specif
i
ca
t
ion of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdo
o
laege
rename
isl_dim_m
a
p to isl_dim_map_from_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdo
o
l
a
ege
transitive closur
e
: projec
t
out param
e
ters when
any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
pr
i
vately export
isl_bas
i
c_set_re
s
et_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
oolaeg
e
isl_set_lift: pr
e
serve structu
r
e of space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
i
sl_pw_q
p
olynom
i
al_bound:
h
andl
e
comb
i
nation of wra
p
p
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
e
r
d
oola
e
ge
isl
_
tab_pip
.
c: fix typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
e
r
doolaeg
e
i
s
l
_ta
b
: c
h
eck for obviously empty tablea
u
s
af
t
er discoverin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Ver
d
oolaege
i
s
l_ba
s
ic_map_gist: prefer contraints without existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
S
v
en
V
erdo
o
laege
is
l
_basic_map_s
o
rt_constraint
s
: ch
a
nge compa
r
ison routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Ver
d
oolaege
isl
_
tab_i
n
e
q_type: classify more con
s
t
r
aints as
b
ei
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven
V
e
rd
o
o
lae
g
e
i
sl_map_
c
oalesce: be more relaxe
d
abo
u
t mul
t
ipl
e
equ
a
lities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ve
r
doolaege
add isl_basic_map
_
from_do
m
ain_a
n
d_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ver
d
oolaege
a
dd isl_
b
asic_set_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_ba
s
ic_set_flat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoola
e
ge
expor
t
isl_basic_map_flat
t
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdo
o
la
e
ge
a
d
d
isl_basic_map_from_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoo
l
ae
g
e
isl_str
e
am: suppo
r
t \<newline>
l
ine con
t
inuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
add isl_union_map_re
a
d_from_fil
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_read_map: accept 'tru
e
' and 'false' con
s
traints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdoolaeg
e
isl_stream_read
_
m
a
p
:
a
l
l
ow extra ';' at end
of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_
r
ead
_
map: allow negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoolaege
isl_
s
tream_read_ma
p
: allow
existentia
l
quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
pri
v
ately ex
p
ort isl_basic_map_add
_
d
iv_constrai
n
ts_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
lae
g
e
isl_morp
h
_basic_set: preserv
e
ra
t
ionality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
d
o
ola
e
ge
add isl_basic_set_is_r
a
tional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en
Verdoolae
g
e
isl_pri
n
ter_print_basic_map: explicitly mark ratio
n
al
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_s
t
ream_re
a
d_ma
p
: read ra
t
ional maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolaege
isl
_
basic_m
a
p
_insert: p
r
es
e
rve rationali
t
y of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
add isl_basic_map_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ve
r
d
o
olaege
i
s
l_basic_map_fast_cmp:
diffe
r
entiate
b
etween rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven
Verdoolae
g
e
isl_
o
utput
.
c: remov
e
some
c
ode du
p
lic
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaege
isl_printer_print_basic
_
{s
e
t,map
}
: d
o
n't start ne
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sve
n
V
e
rdool
a
ege
i
s
l_stream_read_map: accept
'|' at sta
r
t of constraint
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
v
en Verdoo
l
aege
isl_st
r
eam: k
e
ep track of textual
repres
e
ntation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ver
d
oolaeg
e
isl_input
.
c: clean up read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
ven V
e
rdoola
e
g
e
isl_stream_
r
ead_map: accept disjunctions
w
i
t
hin a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n Verd
o
olaege
isl
_
convex_hull
.
c
:
explicitly mark wrapping lp prob
l
em
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
S
v
en Verdool
a
ege
isl_t
a
b_min:
m
icro-optimizati
o
n: postpo
n
e
t
aking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
Merg
e
branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
lae
g
e
i
s
l_tab_a
d
d_row: add further ex
p
lanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoo
l
aege
is
l
_
t
a
b
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
isl_tab_pip
.
c: corr
e
ctly detect
n
on-negativity of
d
ivs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaeg
e
t
e
st both context handling mechanisms o
f
isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_is_e
q
uality: properly support "
b
ig parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolae
g
e
isl_tab_pip
.
c: fix ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
doolaege
isl_affine_hu
l
l
.
c: fi
x
typos in com
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
isl_union_map_compute_
f
l
o
w: return acces
s
es with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
e
ge
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
isl_union_map
.
c: inplace: pass
data pointer to isl
_
hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
doolaege
isl_di
m
_move: update parameter
s
of ne
s
t
ed
s
paces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
add isl_map_nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
do
o
laege
c
l
e
an up
i
s
l_set_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verdoolaege
merge i
s
l
_
ba
s
i
c
_set/
i
sl_
b
asic_map and i
s
l_set/isl_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoola
e
ge
rena
m
e
"omega" transiti
v
e
c
losure
to "box" trans
i
ti
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
export isl_
i
n
t_obj_
f
ree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoola
e
ge
isl_
v
erti
c
es
.
c: fix
t
y
pos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verd
o
ol
a
ege
isl_un
i
on_
t
empl
.
c:
f
i
x
typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ve
n
V
e
rdoola
e
ge
isl_map_subtr
a
c
t
.
c: n_non
_
redu
n
d
a
nt: propage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_bern
s
tein
.
c: fi
x
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add isl
_
union_p
w
_qpoly
n
omia
l
_m
u
l_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_str
e
am
_
read_obj: read
i
nt objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add int objects
for use in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
isl_b
a
sic
_
map_r
e
mo
v
e_divs:
f
inalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next