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 *list_copy
2011-04-22
Sven Verd
o
ola
e
ge
dat
a
flow
a
nalysis: don't d
e
pend
o
n word
size during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
oola
e
g
e
add isl_union_se
t
_
compu
t
e_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
er
d
oola
e
ge
add isl_tab_basic_set_non_neg_le
x
min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
a
dd isl_tab
_
basic_se
t
_
n
on_trivial_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
isl_tab_p
i
p
.
c: add_lexmin_eq: return int i
n
stead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven V
e
rdoola
e
ge
i
s
l
_tab_pip
.
c:
restore
_
lexmin: return int instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
isl_tab_pip
.
c: add some debugg
i
ng code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_tab_pip
.
c: fix
typo
i
n com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
er
d
o
olaege
add isl
_
quick
s
o
r
t (copied fr
o
m glibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
isl_p
r
inter_pr
i
nt_
b
as
i
c_
s
et: also print inv
a
lid ba
s
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
e
rdoolaeg
e
add isl_union_map_is_injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_map_is_bijective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl
_
unio
n
_map_is_single_va
l
ued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add isl_ma
t
_add_zero_r
o
ws
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
isl_blk: don't reuse overly
lar
g
e blocks for
sma
l
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
a
dd
isl_
h
m
a
p_map_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
a
dd isl_union_map
_
copy_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
ege
a
d
d isl_u
n
ion
_
map_contains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ver
d
ool
a
ege
add isl_basic_set_transform_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add isl_
b
asic_set_offs
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
c
hange isl_mat_sub_alloc
prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
o
olaeg
e
make isl_mat_s
u
b_* functi
o
ns private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
doolaege
add
isl_vec_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_
m
at_initial_non_zero
_
co
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
ad
d
is
l
_
m
at_set
_
element_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_basic_set_add_constraints_dim
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdo
o
laege
add isl_dim_map_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
i
s
l_d
i
m_m
a
p: allow signed mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolae
g
e
i
s
l_dim_map
:
extra
c
t from isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolae
g
e
change prototype of
isl
_
tab_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d isl_
m
a
p
_
remov
e
_
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
e
g
e
d
o
c: fi
x
typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdo
o
laege
doc: add a no
t
e on t
h
e accuracy of our appro
x
im
a
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add is
l
_u
n
i
on_set_coefficients an
d
isl_union_set_solutions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
ad
d
i
s
l_union_set_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-04-19
Sven Ver
d
oolaege
isl_tab: alway free saved
b
a
sis undo record
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
v
e
n
V
er
d
o
o
laege
make s
u
r
e destination for GDB module exists b
e
f
o
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verdoolaege
is
l
_ta
b
_pip
.
c: add_lexmin_eq: remove
m
isguided o
p
timizations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl
_
basi
c
_map_
l
exmi
n
: turn off equality detection on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Verdoolaege
u
s
e sile
n
t
make rule
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
doolaege
isl_stream_read
_
map: fix hand
l
ing
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 memory leak on
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
plug memory lea
k
in
i
sl_mat_produc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl 0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
er
d
oolaege
doc:
a
dd some implem
e
ntation details on parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Ver
d
oo
l
aege
isl_lp
.
c: avoi
d
clang
war
n
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ver
d
oolaege
i
s
l
_
stream_read_map: accept
f
l
oord and ceild expression
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
o
laege
i
s
l
_stream_read_map
:
accep
t
min
and max expression
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_read_ma
p
: p
r
operly read nest
e
d divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ve
r
do
o
l
a
ege
isl_stream_read_map: treat div
s
a
s
o
utput variable
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ve
r
doolae
g
e
i
s
l_map_coa
l
esce: p
l
ug memor
y
leak
on e
r
ror
pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolae
g
e
i
s
l
_m
a
t_exte
n
d: avo
i
d me
m
ory leak whe
n
r
e
alloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
i
s
l_basic_map_
o
verlying_set: avoid
mem
o
ry
l
eak wh
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
rdoolaege
i
s
l_str
e
am_
g
e
t
c: a
v
oid
m
emory leak when realloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven
Verdool
a
e
g
e
ru
d
ime
n
tary su
p
port
f
o
r as
y
nc
h
ronous terminatio
n
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven
Verdo
o
laeg
e
hide i
s
l_ctx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdoolaege
isl_
v
ec
_
r
ead_from_f
i
le: dr
o
p input_format argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n
V
erdoolaege
isl_map
.
c: drop unused error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoolaege
i
sl
_
input
.
c: d
r
op unused error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdoolaege
r
e
spect
DESTDIR when
i
nstalling isl
.
p
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
isl_stream:
accept
"
$" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdool
a
ege
add
i
sl_union_map_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
c
h
a
n
ge isl_map_power interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoola
e
ge
add
i
s
l
_
union_m
a
p_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdoola
e
ge
add pr
i
vate isl_basic
_
m
a
p_s
w
ap
_
vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
erdo
o
la
e
ge
add
i
sl_union_map
_
deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven
Ve
r
d
oolaege
Merge br
a
nch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-03-10
S
ven Verdoolaege
i
s
l
_map
_
delt
a
s: don't cop
y
flags from in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_
s
trea
m
_read
_
map: a
c
cept constant e
x
p
r
ess
i
o
n
s of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
i
s
l_stream: accept "/\" and "\
/
" as alternatives fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven
V
erdoola
e
ge
isl
_
s
t
ream:
o
nly quote newline u
s
ing '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Verdoolaege
i
sl
_
stream:
maintain
p
r
ivate unget
c
buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
isl_set_
l
ifting: simplify and finalize res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
S
ven Verdoola
e
ge
doc:
f
ix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven V
e
rdoolae
g
e
doc:
d
rop long
outdated note on transitive clo
s
ures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven V
e
rdo
o
la
e
ge
add is
l
_
basic_s
e
t_get_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verd
o
ola
e
ge
isl_map
_
i
d
entity
:
tak
e
dim
e
ns
i
on speci
f
ic
a
tion of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verd
o
o
l
aege
rename isl_dim_map t
o
isl_dim
_
map_from_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven
V
e
r
doo
l
ae
g
e
trans
i
tive closure
:
p
r
o
ject out parameters wh
e
n any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
e
n
Verdoolaege
privat
e
l
y
export is
l
_basic_set_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Verdoola
e
ge
isl
_
se
t
_lift: preserve struc
t
ure of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdoola
e
g
e
isl_pw_qpolynomial_bound: handle combinatio
n
of w
r
appi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
d
oolaege
i
sl_tab_pip
.
c:
f
ix typo
i
n
c
o
mm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
i
sl_
t
ab:
c
heck for ob
v
i
ously
empty tableaus after
d
isc
o
verin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
l
a
e
ge
isl_
b
a
si
c
_map_gist: pr
e
fer contraints wit
h
out existen
t
ially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven
V
erdoolaege
isl_basic_map_sort
_
cons
t
r
a
in
t
s
:
change comparison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven V
e
r
d
oolaege
isl_tab_ineq_t
y
pe: classif
y
more
c
on
s
t
r
aints as being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
i
s
l_map
_
c
o
alesce: b
e
more
r
e
l
axed about multiple equalit
i
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
erdoolaege
a
d
d is
l
_ba
s
ic
_
ma
p
_
from_domain_a
n
d_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolae
g
e
a
dd isl_basic_set_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoo
l
aege
add isl_basic_set_flat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Verdoolaege
exp
o
r
t
i
sl_basic_map_flat
t
e
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n
Verdoolaege
add i
s
l_basic_map_from_qpo
l
ynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
isl_
s
tream:
s
upport
\
<
ne
w
l
i
ne>
l
i
n
e co
n
ti
n
u
a
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
e
r
doo
l
aege
add isl_un
i
on_ma
p
_read_from
_
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
is
l
_stream_read_map: acc
e
pt
'
t
r
ue' an
d
'
f
alse' cons
t
raints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoolaege
isl_s
t
ream_read_map: a
l
l
o
w extra ';'
a
t end
of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
r
doolaege
isl_stream
_
read_map: allow neg
a
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_st
r
eam_re
a
d_map: allo
w
e
xis
t
ential quantification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next