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
V
erdoolaege
i
sl_mat_
e
xtend: avoid memory leak when realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
isl_basic_map_overlying_set
:
avoid memory leak when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_get
c
:
avoid memory leak when re
a
l
loc
fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
rudimentary s
u
pport for as
y
nc
h
r
o
n
o
u
s termination of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hide is
l
_ctx
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoo
l
aege
isl_
v
ec_re
a
d
_
f
r
om_file: d
r
o
p
input_format argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verd
o
olaege
isl
_
map
.
c: d
r
o
p
u
nused erro
r
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Ver
d
oolaeg
e
isl_
i
nput
.
c: dr
o
p
u
n
u
s
e
d error l
a
b
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoo
l
ae
g
e
respect DES
T
DIR when
i
nstalling isl
.
p
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaeg
e
isl_stream: accept "$" to
k
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
d
o
olaege
add
i
sl
_
union_map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
change isl_map_power interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
add isl_un
i
on_map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
a
d
d private isl_basic_map_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Ve
r
do
o
laege
add isl_union_map_de
l
tas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven
Verdoolaege
M
er
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
isl_map_deltas: don't co
p
y
flags from i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
is
l
_
strea
m
_read
_
map: accept constant expressio
n
s
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Ver
d
oolaege
isl_stre
a
m: accept "/\" and "\
/
"
as altern
a
tiv
e
s for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Ve
r
doolaege
isl_stream: only quote
newline usi
n
g '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven V
e
rdoo
l
aege
isl
_
stream: ma
i
ntain priv
a
te ungetc bu
f
fe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verd
o
olaege
i
s
l
_set_lif
t
ing: simplify and final
i
z
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
v
e
n V
e
rdoolae
g
e
doc: fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en
V
erdo
o
laege
doc: drop long outdated note
on transitive closures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sve
n
V
erdoo
l
a
ege
add isl_
b
asic_s
e
t_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verd
o
olae
g
e
isl_map_identi
t
y: take d
i
mens
i
on s
p
ec
i
fication of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n V
e
rdoolaege
re
n
ame isl_d
i
m_map to isl_dim_map_from_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Verdoolaege
transit
i
ve closu
r
e: p
r
oject out
parameters when an
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n V
e
rdoolaege
privately expo
r
t i
s
l_
b
asi
c
_s
e
t
_rese
t
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
olaege
isl_set_lift:
p
res
e
rve stru
c
ture of s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ven
V
erdool
a
eg
e
isl_pw_
q
po
l
ynomial_bound: h
a
ndle com
b
ina
t
i
on of wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n
V
erdoolaege
isl_tab_pip
.
c
: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
i
s
l_ta
b
: check for obvi
o
usly
empty
t
a
ble
a
us after d
i
scoveri
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_basic
_
ma
p
_gist: pre
f
er
c
ontrai
n
ts witho
u
t exist
e
ntially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven
Verdoolaege
isl_basic_map_so
r
t_c
o
nstraints
:
chang
e
compari
s
on
r
outin
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Ve
r
doolaege
isl_t
a
b_ine
q
_type
:
cla
s
sify
m
ore const
r
aints as being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en Verdoolaege
isl_map_c
o
alesce:
b
e m
o
re relaxed about
m
u
lt
i
p
le equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ve
n
V
e
r
d
oola
e
ge
add isl_basic_map_from
_
domain_and_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdool
a
ege
add
i
s
l_b
a
s
i
c
_
set_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Ver
d
o
olaege
add isl_basic_set_flat_produc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaeg
e
export
isl
_
basic_map_flatt
e
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en Ve
r
doolaege
a
dd isl_
b
a
s
ic_
m
ap_from
_
qpolyno
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoola
e
ge
isl_
s
tream: support \<newline> line
co
n
tinua
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaeg
e
add isl_union_map_read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
is
l
_s
t
ream_read_map
:
accept 'true'
and 'fal
s
e' constra
i
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdoolaege
i
sl_stre
a
m_read_m
a
p
: allow extra ';' at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
i
s
l
_
stream_read_
m
ap: allow
negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
e
n
Verdo
o
laege
i
sl_st
r
eam_read
_
map: allow ex
i
stential qu
a
n
t
ification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verdool
a
ege
privately
export isl_basic_map_add_di
v
_
constra
i
nts_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolae
g
e
isl
_
m
orph_basic_s
e
t
:
preserv
e
r
a
ti
o
nality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Verd
o
olae
g
e
add isl
_
b
a
sic_set_is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
isl_print
e
r_print_basi
c
_map: explic
i
tly mark r
a
tion
a
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
ge
isl_strea
m
_read
_
map:
r
e
ad r
a
tional maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaege
isl_basi
c
_
map_insert: preserve
ra
t
ional
i
ty of
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
add isl
_
ba
s
ic_m
a
p_set_ratio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_basic_
m
a
p
_
fast
_
cmp: differentiate between
r
a
t
iona
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_output
.
c
: remove some code
d
uplicat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_print_ba
s
ic_{set
,
map}: d
o
n't st
a
rt new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sve
n
Ve
r
doolaege
i
s
l_st
r
eam_rea
d
_map: accep
t
'|' at start of constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
i
s
l_stream: keep
track of textual rep
r
esentat
i
on of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdo
o
laeg
e
isl_input
.
c: cl
e
an up read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verd
o
o
l
aege
is
l
_st
r
eam
_
rea
d
_map:
accept disjun
c
tio
n
s within
a
conj
u
nct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_c
o
nvex_hull
.
c: exp
l
ic
i
t
ly mark wrapping lp
pro
b
l
em
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n Verdoo
l
aege
i
s
l_tab_min: micro-opti
m
iza
t
ion
:
p
os
t
po
n
e
taking
i
nto
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
sl_tab_
a
dd_row:
a
dd further ex
p
lanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
isl_tab
.
c: fix typos
i
n
comme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
erd
o
olaeg
e
isl_tab_pip
.
c: cor
r
ectly detec
t
non-negati
v
ity
of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
o
o
laege
add t
e
st
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoola
e
ge
test both co
n
tex
t
h
a
n
dling mechan
i
sms of
i
sl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ve
n
V
e
rdoolaege
i
sl_tab_is_equality: pr
o
perly support
"
big paramete
r
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ver
d
o
olaege
isl_tab_pip
.
c:
f
ix typo in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Verdo
o
lae
g
e
isl_affine_hull
.
c: fix typos in comme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
isl_union_map_compute_fl
o
w: return a
c
cesses
with n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdool
a
ege
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ver
d
ool
a
e
g
e
isl_union_map
.
c: inplace: pass data pointer t
o
is
l
_hash
_
ta
b
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
olaege
isl_dim_mov
e
: update parameters of nested
s
p
a
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdool
a
eg
e
add i
s
l_
m
ap_nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
olaeg
e
clean up i
s
l_se
t
_from_b
a
sic
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
mer
g
e isl_basic_set/isl_basic_map and
i
sl_se
t
/i
s
l_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rename
"
omega
"
tr
a
n
s
iti
v
e closur
e
t
o "
b
ox" transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
expo
r
t
i
sl_i
n
t
_
o
bj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
isl
_
vertices
.
c:
f
ix
t
ypos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verd
o
o
l
aege
isl_un
i
on_templ
.
c: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
V
er
d
oo
l
aege
i
s
l_ma
p
_subtrac
t
.
c: n_n
o
n_redund
a
n
t: propa
g
e
isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
o
o
l
a
ege
isl_bernstein
.
c: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
add isl_union_pw_qp
o
lynomial_mul_i
s
l_i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolae
g
e
i
sl_stream_read_obj: read int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en
Verdoolae
g
e
ad
d
int ob
j
ects for use i
n
iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ver
d
ool
a
ege
isl_
b
asic_m
a
p_r
e
move_div
s
: finalize
r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add isl_ba
s
ic_se
t
_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolae
g
e
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoolaege
isl_union_map_sampl
e
: don't return
N
ULL on empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
ven Verdoola
e
ge
i
sl_basic_map_set_tup
l
e_
n
ame: f
i
nalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
doo
l
aege
isl_
t
r
a
ns
i
tive_
c
losure
.
c: more anon
y
mize input
ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
ven Verdoolaege
isl_basic_set_
f
actori
z
e
r
: make sure group informat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoola
e
ge
add isl_union_map_range_p
r
o
duc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
Verdoolaege
doc: document pro
d
uct f
u
nct
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
ven V
e
rdoolae
g
e
renam
e
isl_basi
c
_set_prod
u
c
t
to isl_
b
asic_set_list_produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
S
v
en V
e
rdool
a
ege
isl_set_convex_hull: opti
o
nally use Fourier-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next