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
add isl_union_map_contains
2011-04-21
Sve
n
Verdoola
e
ge
a
dd isl_uni
o
n_map_contains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
o
laege
add isl_basi
c
_s
e
t_tr
a
nsform_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
o
laege
a
dd isl_basic_set_offs
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
change
is
l
_mat_sub
_
alloc pro
t
o
t
y
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
make isl_
m
at_sub_* functions priva
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_vec_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoo
l
a
e
ge
add isl_
m
at_init
i
a
l
_non_
z
ero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoo
l
aege
add isl_mat_set_element_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d isl_bas
i
c_set_add_constraints_
d
im_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
e
ge
a
d
d isl_dim_map_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
isl_dim_
m
ap: allow signed mappi
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
o
la
e
ge
isl_dim_map: extract
from is
l
_
map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
e
g
e
cha
n
ge prototype of isl_tab_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaeg
e
add isl_map_rem
o
ve_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
do
c
: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
doc: add a note on the a
c
curacy of
o
ur approximation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add i
s
l
_union
_
set_coefficients and isl_unio
n
_set
_
solutio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
add is
l
_u
n
io
n
_
s
et_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n Verdoola
e
ge
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-04-19
Sven V
e
rdoo
l
aege
isl_tab: alw
a
y free saved basis undo r
e
cord
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
erdoolae
g
e
make sure dest
i
na
t
ion
f
or
GDB module e
x
is
t
s before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven
Verdoolae
g
e
isl
_
t
a
b_pip
.
c: add_lexmin_eq: r
e
mov
e
misguided optimizations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n
Verdo
o
l
aege
is
l
_b
a
s
i
c_map_lexmin
:
turn
o
ff equality de
t
ection on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verd
o
o
l
aege
use silent
mak
e
r
ules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sve
n
Verdo
o
lae
g
e
isl_stream_rea
d
_map: fix handling of divs in tuples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_mat_left_hermite: plug
m
emory
l
ea
k
on error
pat
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
d
o
olaeg
e
plug memory
l
eak i
n
is
l
_mat_pro
d
uc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oolaege
do
c
:
a
dd some implem
e
ntation
d
etails
o
n par
a
me
t
ric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
isl_lp
.
c:
a
void c
l
a
ng
w
a
rning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
l
_stream_read
_
map: accept floord
a
nd ceild expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
rdoolaege
isl
_
stream_read_map: accept min and
m
ax expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
isl_stream
_
r
ead_map: pr
o
perl
y
read nested
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdo
o
laege
i
s
l
_stream_read_m
a
p:
treat divs as
o
u
tput v
a
riab
l
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
er
d
oolaeg
e
i
s
l
_ma
p
_
coale
s
ce: p
l
ug memory leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_mat_ext
e
n
d
: avoid m
e
mory leak w
h
en r
e
al
l
oc fai
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
a
e
g
e
isl_b
a
sic_map_overlying_s
e
t
:
a
void memory leak
w
hen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
isl
_
st
r
e
a
m_getc:
a
void memory
l
eak when r
e
alloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
rudiment
a
ry support
f
or asynchronous t
e
r
m
ination of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven
Verdool
a
ege
h
i
de is
l
_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl
_
v
e
c_read_from_file:
d
rop inpu
t
_f
o
rmat argum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdoolaeg
e
i
s
l
_
map
.
c: drop unus
e
d
error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Verdoolae
g
e
isl_input
.
c: drop
unu
s
e
d
error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdo
o
l
a
ege
resp
e
ct DE
S
TDIR
w
h
e
n insta
l
ling isl
.
p
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdoo
l
aege
i
s
l_stream: a
c
cept
"
$"
to
k
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdo
o
laege
add isl_union_map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
ge
change isl_map_pow
e
r interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add isl_union_map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdool
a
ege
add p
r
i
vate is
l
_basic
_
map
_
swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven V
e
rdoola
e
ge
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
erge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
isl_map_deltas: don't c
o
p
y flag
s
f
rom input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ver
d
oolaege
isl_strea
m
_read_map: a
c
ce
p
t
constant expressions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream: accept "/\" and "\
/
" as alternat
i
ves for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
ve
n
Verdoolaeg
e
isl_stream: only
quot
e
newline
u
s
i
ng '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Verdo
o
laege
isl_s
t
ream: main
t
ain private u
n
g
et
c
buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
Verdoolaege
isl_set_l
i
fting:
s
implify
and finalize re
s
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven V
e
rdoolaege
d
o
c:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaeg
e
doc
:
drop
l
ong outdated note on
t
ransi
t
ive closures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Ve
r
d
o
olaege
add isl_basic
_
set
_
g
e
t
_
dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven V
e
rdoolaege
i
s
l_m
a
p_identity: tak
e
dimen
s
ion
s
pecification of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Verdoo
l
a
e
ge
rename isl_dim_m
a
p
to is
l
_dim_map_
f
rom_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
Verdoolaege
transit
i
ve closure: project out pa
r
ameters when
an
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Verdo
o
lae
g
e
p
rivately
e
xport isl_basic_set_r
e
set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Verdoolae
g
e
isl_se
t
_li
f
t: preserve structu
r
e of space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
laege
isl_pw_qpo
l
ynomial
_
bound: handle
combi
n
ation of
w
ra
p
pin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rdoolaeg
e
isl_tab_pip
.
c:
f
ix
t
ypo in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdoolaege
i
sl_ta
b
: chec
k
for obviously empty tableaus a
f
ter discoverin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
laege
isl_bas
i
c_map_
g
ist: prefer
contraints w
i
thout exis
t
en
t
i
ally
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven
Verdoolaege
isl
_
ba
s
i
c
_map_sort
_
constrain
t
s:
change
co
m
parison routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sv
e
n Verdoolaege
i
s
l_tab_ineq_
t
ype: classif
y
m
ore constraints as being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sve
n
Verd
o
olaeg
e
is
l
_
m
ap_coalesce: be more relaxed
a
bou
t
multiple equali
t
i
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rd
o
olaege
ad
d
isl_ba
s
ic_map
_
from_domai
n
_and_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolae
g
e
add isl_ba
s
ic
_
set
_
neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ve
r
d
o
olaege
a
d
d isl_basic_set_flat_
p
roduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rdoolaege
export
isl_basic_m
a
p_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en Verdoo
l
aege
add
i
sl_ba
s
ic_map_from_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
doola
e
g
e
isl_
s
tream: support \
<
new
l
ine
>
lin
e
c
o
ntinu
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Ve
r
doolaege
add
isl_union_map_read
_
f
r
om_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolae
g
e
is
l
_
str
e
am_rea
d
_map: accept 'true' a
n
d 'fa
l
se'
constraint
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
e
rdoolaege
isl_s
t
ream_read_ma
p
:
a
ll
o
w extr
a
';'
a
t end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en V
e
rd
o
o
laege
isl_
s
t
re
a
m
_read_map: allow negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
i
sl_stream_
r
ead_map
:
allow
existential quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
privat
e
l
y
ex
p
ort
isl_bas
i
c
_m
a
p_add_div_c
o
nstra
i
n
ts_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
V
erdoolaege
isl_morph_basic_set: pr
e
serve rationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolae
g
e
a
dd isl_b
a
s
ic_
s
et_
i
s_ra
t
ional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_p
r
in
t
er
_
print_b
a
s
ic_
m
a
p:
e
x
plicitly mark ra
t
i
on
a
l
.
.
.
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
Sve
n
Verdoolaege
i
s
l
_
basic
_
map_insert: pres
e
rv
e
rationality
of
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
add isl_bas
i
c
_
map_se
t
_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoola
e
ge
isl_basi
c
_map_f
a
st_cmp: dif
f
e
r
ent
i
ate between rati
o
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
dool
a
ege
isl_
o
utput
.
c: remove
some code dupli
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
r
doola
e
ge
isl_printer_print_
b
as
i
c
_
{set,map}:
don't start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven V
e
rdo
o
laege
is
l
_st
r
eam_read_map
:
accept '|' at s
t
art of constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdo
o
l
a
ege
isl_st
r
ea
m
: keep trac
k
of textual repres
e
ntation
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaeg
e
isl_input
.
c: clea
n
up re
a
d_disjun
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdo
o
laege
isl_stream
_
r
ea
d
_map: accept d
i
sjun
c
tions w
i
t
h
in
a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sve
n
Verdo
o
laege
i
sl_con
v
ex_h
u
ll
.
c:
exp
l
icitly mark wrapping lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
S
ve
n
Ver
d
oo
l
aege
isl_tab_min: micro-optimization: postpone taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
Merge br
a
nch 'm
a
int
'
commit
|
commitdiff
|
tree
next