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 Verdoolaege
i
s
l_ma
t
_l
e
ft_hermite: plug memor
y
lea
k
on error
p
ath
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en Verd
o
olaege
plug
m
e
mo
r
y lea
k
in isl_m
a
t_
p
roduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
isl 0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoo
l
aege
doc: add
some imple
m
entation deta
i
ls
on
parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_lp
.
c
:
a
void clang wa
r
ning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
isl_stream_read_map: accept floor
d
and ceild expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdo
o
laege
isl_s
t
ream_read_ma
p
: accept min and ma
x
expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaeg
e
isl_stream_read_map: properly read nested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolae
g
e
isl_stream
_
read_map: treat divs as outp
u
t variabl
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven V
e
rdoolaege
isl_m
a
p
_
c
o
alesce: pl
u
g me
m
ory leak on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ve
r
dool
a
ege
i
s
l
_
m
a
t_extend:
a
void
m
emory
l
eak when realloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
er
d
oolaege
i
s
l
_
b
asic_
m
ap
_
o
v
erlying_set: avoid
memory leak w
h
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
a
ege
isl_st
r
e
a
m_getc: avoi
d
memory leak
when rea
l
loc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oo
l
a
e
g
e
rud
i
mentary suppo
r
t
f
o
r
asy
n
chro
n
ous termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven
V
erdool
a
e
ge
hide isl_c
t
x internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdoolaege
isl_vec_read_from_file: drop input_format argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_ma
p
.
c: drop unused error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoo
l
aege
isl_i
n
pu
t
.
c
:
drop unuse
d
erro
r
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Verd
o
olaege
respect DESTDIR whe
n
installing isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
la
e
ge
isl_str
e
am: accept "$" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add isl_uni
o
n_map_p
o
wer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
ge
c
h
a
n
g
e isl
_
map_power i
n
terface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ve
n
V
e
rdoolaege
add isl_un
i
on_
m
ap_zi
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoo
l
aege
add
p
rivate
i
s
l_basic_map_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven
Verdool
a
ege
add isl_uni
o
n_map_delt
a
s_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoo
l
aege
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-03-10
S
v
en 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 Verdoolaege
isl_stream_read_map: accept
const
a
nt
e
xpressions of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Verdoolaege
is
l
_stream: accept
"
/
\
" and "\/" as al
t
ernatives f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n Verdoola
e
ge
isl_stream: o
n
ly quote newline using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
i
s
l_stream
:
maint
a
in pr
i
v
ate ungetc buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ver
d
oolaeg
e
i
sl_
s
et
_
l
i
fting
:
s
i
mplify an
d
finalize resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven V
e
rdoo
l
aege
do
c
:
fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdo
o
laege
doc
:
d
r
op long outdated
n
o
t
e on transitive clo
s
u
r
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven
Verdool
a
eg
e
add isl_basi
c
_
s
et_get_
d
im_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
isl_map_identity:
take dimension sp
e
cification of m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
V
e
rdoolae
g
e
r
e
n
a
me isl_
d
im_map
t
o i
s
l_dim_map_f
r
o
m_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
Verdoolaege
transit
i
v
e
closure: p
r
oject out p
a
rameter
s
when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
privately
expo
r
t isl
_
b
a
sic_set_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
oolaege
i
sl_set_lift:
p
reserve structure of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
ven V
e
rdool
a
ege
isl_pw
_
q
pol
y
n
omial_bo
u
nd:
h
andle combin
a
tion of wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdoolaege
isl_tab_pip
.
c:
f
ix typo i
n
co
m
men
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_tab: che
c
k for
obvi
o
usly
e
mp
t
y table
a
u
s
aft
e
r discoverin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Verdoolaege
isl_basic_map_g
i
st: prefer
cont
r
aints without
e
xistent
i
a
lly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoolae
g
e
isl_basic
_
m
a
p_sort_constraints: c
h
ange c
o
mparison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
S
ven V
e
rd
o
olaege
isl_tab_i
n
eq_type: classify
m
ore con
s
tr
a
ints as bein
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en Verdoolaege
is
l
_map_coalesce: be more re
l
axed about multiple equ
a
lities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en Ve
r
do
o
lae
g
e
a
dd isl_basic
_
map_from_domain_and
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n Verdoolaege
add isl_bas
i
c_s
e
t_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n V
e
r
doolaeg
e
a
d
d
i
sl_b
a
sic_se
t
_flat_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoo
l
aege
export i
s
l_b
a
sic_ma
p
_fla
t
ten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_basic
_
map_from
_
qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream: suppo
r
t \<new
l
ine> line
c
ontinuat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolae
g
e
a
dd isl_uni
o
n_
m
ap_read_from_fil
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_read_map: accept '
t
rue' an
d
'false' constrain
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
isl_st
r
e
a
m_read_ma
p
: allow extra
'
;' a
t
end of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolaeg
e
i
sl_st
r
eam_
r
ead_map: allow nega
t
io
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven V
e
rdoolaeg
e
isl_st
r
e
a
m_rea
d
_map: allow e
x
i
s
te
n
tial quantification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoolaege
p
rivately export isl_basic
_
map_add_div_
c
onstr
a
ints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven
V
erdoolaege
isl
_
morph_basic_set: preserve
rationa
l
ity o
f
inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdo
o
laeg
e
add isl_basic_set_i
s
_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
isl
_
printer_print_basic_map: explicitly
mar
k
rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaege
isl_stream
_
rea
d
_map: read rati
o
nal m
a
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_basic_map_in
s
e
r
t: pres
e
r
v
e
rationality of inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
add
i
sl_basic_map_set_rat
i
onal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
i
sl_b
a
sic_
m
ap
_
fast_cmp: dif
f
e
renti
a
t
e be
t
ween ratio
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_ou
t
put
.
c: remove some
c
ode duplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_p
r
int_basic_{set
,
map
}
:
d
on
'
t start ne
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sve
n
Verdoolae
g
e
isl_stream_
r
ead_map: a
c
ce
p
t '|' at star
t
of constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven
Verdoolaege
isl_stream: keep track of text
u
al represen
t
ation
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sv
e
n Verdoolaege
isl
_
i
n
put
.
c: clean up re
a
d_disjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven V
e
rdoola
e
ge
isl_s
t
ream
_
read_map: accept disj
u
nct
i
ons within a con
j
unct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_convex_hull
.
c: explicitly mark wra
p
ping lp problem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_tab_mi
n
: mi
c
ro-
o
ptimization:
p
ostpone tak
i
ng into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
isl_t
a
b_add_r
o
w: add furthe
r
e
xplanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
isl_tab
.
c:
fi
x
typos i
n
comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
isl_
t
ab_pip
.
c: corre
c
tly detec
t
non-negat
i
vity of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
add test
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n Verdoolaege
test both c
o
ntext handl
i
ng mechanisms of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
V
e
rdoolaege
isl
_
tab
_
is_equality: properly support "b
i
g parameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
isl_tab
_
pip
.
c: fix t
y
po in
c
o
mmen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_aff
i
n
e
_hull
.
c
:
fix typo
s
in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
e
g
e
isl_union_map_compute_flow: return acc
e
sses with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
eg
e
Mer
g
e
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ve
r
doola
e
ge
i
s
l
_union_map
.
c
: inplace: pass d
a
ta point
e
r to i
s
l_h
a
sh_
t
ab
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
isl_dim_move: upda
t
e pa
r
ameters
of
n
ested
s
paces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven
Verd
o
ol
a
ege
ad
d
isl_map_nat_un
i
v
er
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erdoolaege
c
l
ean
u
p
i
sl_
s
et_fr
o
m_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
olaege
merge isl_ba
s
ic_set/isl_
b
a
sic_map and isl_set/is
l
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verd
o
ol
a
ege
rename "omega" transitive closu
r
e to "box" transit
i
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
ola
e
ge
export isl_int_obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
isl_vert
i
c
e
s
.
c: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
eg
e
i
sl_union_t
e
mpl
.
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Ve
r
doolaege
isl_ma
p
_subtract
.
c
:
n_non_
r
edundant:
p
r
o
page
i
sl
_
ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
Verdoolaege
isl_berns
t
e
i
n
.
c: fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
a
dd isl_unio
n
_
p
w_qpolynomial_mul_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
ge
isl_stream_read_obj: read int
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
do
o
laege
add int obj
e
cts for use in iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdoolaeg
e
i
s
l_b
a
sic_map_
r
e
move_
d
ivs:
fina
l
ize res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next