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 0.06
2011-03-18
Sven
Verd
o
olaege
isl
0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoo
l
aege
doc:
add some implementa
t
ion
details on
par
a
met
r
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
o
l
aege
isl_lp
.
c:
avoi
d
cl
a
ng warni
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verd
o
olae
g
e
isl_stream_rea
d
_map: accept floord and
ceild expr
e
ssions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_read_map: acce
p
t min and ma
x
exp
r
e
ssi
o
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ve
r
doola
e
g
e
i
s
l_stream_rea
d
_
map: properly rea
d
nested div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
isl_str
e
am_rea
d
_ma
p
: trea
t
div
s
as
o
u
tput varia
b
les
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verd
o
olaege
isl_map_coalesce: plug mem
o
ry leak on e
r
ror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_m
a
t_extend:
avoid me
m
ory leak when realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
i
sl_b
a
sic_
m
ap_
o
verl
y
ing_set: av
o
id memory leak when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoo
l
aege
isl_st
r
ea
m
_getc: av
o
id memory lea
k
when realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
r
u
diment
a
ry support for
a
synchronous
t
ermination of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hide
i
sl_ctx
int
e
rnals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoolaeg
e
isl_
v
ec_read
_
f
rom_f
i
le: drop input_format a
r
gumen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoo
l
aege
isl_ma
p
.
c:
d
rop unused
error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_
i
n
put
.
c: d
r
op unused err
o
r l
a
bel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
d
o
olaege
respect
D
ESTDIR
w
hen
installin
g
i
sl
.
p
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdoolaege
isl_stream:
accep
t
"$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoolaeg
e
add isl_u
n
ion
_
map_powe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdo
o
laege
chan
g
e isl
_
ma
p
_power int
e
rface
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
Sven Verdool
a
ege
add priva
t
e isl_basic_
m
a
p_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Ver
d
oolaege
a
dd isl_union_map_
d
el
t
as_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
M
erge br
a
nch
'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n Verdool
a
ege
i
s
l_map_delta
s
:
d
on
'
t
copy flags
from
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n Verdoolaege
i
s
l_s
t
ream_read
_
map: accept constant expre
s
sio
n
s of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
V
erdoolaege
is
l
_stream: accept "/\" and "\/" as
alternatives
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_s
t
ream: on
l
y quote newline using '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Ve
r
doo
l
aege
isl
_
stream: m
a
intai
n
pr
i
vate unge
t
c
b
uffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven V
e
rdoolae
g
e
i
s
l_set_lifti
n
g: sim
p
lify and finali
z
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ver
d
oolaege
d
oc:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
ven Verdoola
e
ge
doc:
dro
p
long outdated note on t
r
ans
i
tive closures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sv
e
n Verdoolaeg
e
a
d
d isl_basic_set_get_d
i
m_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ve
r
dool
a
ege
isl_
m
ap_ide
n
tity: take dimension specification of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven
Verdoolae
g
e
re
n
a
m
e isl_dim_map to isl_dim_map_from_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Verdoolaege
transitive c
l
osure: project out
p
a
rameters whe
n
any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rdoolaege
p
rivately expo
r
t
i
sl_ba
s
ic_se
t
_reset_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl
_
set
_
l
ift: pre
s
e
rve st
r
ucture
of
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdool
a
ege
i
sl_pw_qpolynom
i
al_bound: handle c
o
m
b
ina
t
ion of wra
p
p
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaege
isl_tab_pip
.
c:
f
ix ty
p
o in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Verdoolaege
i
s
l_tab: check for obviously
e
m
p
t
y
tableaus af
t
e
r discoverin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
V
e
rdoolaege
isl
_
b
a
s
i
c_m
a
p
_
g
ist:
pre
f
er co
n
traint
s
withou
t
existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoolaege
isl_basic_m
a
p_so
r
t_constraints
:
change comparis
o
n routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl_
t
ab_ineq_
t
ype:
classify mo
r
e constraints as being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
S
ven Verdoolaege
is
l
_
map_coalesce: be more relaxed about multiple equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Ver
d
o
o
la
e
ge
add isl_basi
c
_map_from_do
m
ai
n
_and
_
r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Verdoola
e
ge
add
isl_basic_set_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n Verdo
o
lae
g
e
a
dd isl_b
a
sic_set_fl
a
t_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
V
e
r
doolaege
e
xpor
t
i
s
l
_
basic_ma
p
_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
r
doolaege
add isl_basic_map_from_qpolyn
o
mial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
o
olaeg
e
isl_stream: sup
p
o
rt
\
<newline> line continua
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
e
r
d
o
ola
e
ge
add isl_union_map_read_from_fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Ver
d
oolaeg
e
isl_stream_rea
d
_map: accept '
t
rue' an
d
'false' constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoolaege
i
sl_s
t
ream_read_map: a
l
low extra '
;
' at end of
map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
a
ege
isl
_
stream_rea
d
_map:
a
l
l
ow
negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoola
e
ge
isl_s
t
rea
m
_read_map: allow existential
q
uantificat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Ver
d
oolaege
privately ex
p
ort isl_basic_map_add_div_constra
i
nts_
v
ar
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
ol
a
ege
isl_morph_basic_set:
preserve
r
ationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
add isl_basic_set_is_ratio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
is
l
_printer_print_
b
asic_m
a
p
: explicitly mar
k
rationa
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
ge
i
s
l_
s
tream_read_map: r
e
ad rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ver
d
oolaege
isl_ba
s
ic_map_in
s
ert:
p
reserve rationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
add isl_
b
a
s
ic_map_se
t
_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
o
l
aege
isl
_
basi
c
_
m
a
p_fast_cmp: differentia
t
e between rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdoolaege
i
s
l_output
.
c:
rem
o
ve s
o
me code duplica
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oolaege
isl
_
printer_print_basic_{set,m
a
p}: don't start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
v
en Verdo
o
l
aege
isl_stream_r
e
a
d_map: accept '|' at start of con
s
traints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl
_
stream:
k
ee
p
track of text
u
al r
e
presentati
o
n of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
ven Verdoola
e
ge
is
l
_input
.
c: clean up read
_
disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ve
r
do
o
laege
isl_stream_rea
d
_m
a
p
:
accept disjunctions w
i
thin a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
S
v
en V
e
rdo
o
laege
isl_
c
onvex
_
hull
.
c: expli
c
itly
ma
r
k wrapping lp p
r
oblem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven
V
erdool
a
ege
isl_
t
ab_min: micro-o
p
t
imizatio
n
: p
o
stpone taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaeg
e
M
e
rge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_add_
r
ow:
add further explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
s
l_tab
.
c:
f
ix typos in commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ve
r
d
oolaege
i
s
l_t
a
b_pip
.
c: corre
c
tly
detect non-negativity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
doola
e
ge
ad
d
test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
test both co
n
tex
t
handling mechan
i
sms of
i
sl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
is
l
_tab_is_equality: properly su
p
port "big p
a
ram
e
te
r
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
erdoolaege
i
s
l_tab_pip
.
c: fix t
y
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_affi
n
e_
h
ull
.
c
:
fix typos in
c
o
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n Verdoolaege
is
l
_union_map_compute
_
f
l
ow: return acc
e
sses wit
h
no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven
V
erdo
o
laege
Merge
b
ranc
h
'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
Ver
d
oolaege
isl_union_map
.
c:
i
nplace: pass
d
ata
pointer to
i
s
l
_hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Verdoolaege
i
s
l_dim_move: update param
e
ter
s
o
f
ne
s
ted spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Ve
r
doolaeg
e
add isl
_
ma
p
_nat_un
i
verse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verd
o
o
l
aege
cle
a
n up isl_s
e
t_
f
rom_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Ver
d
oolaege
merge is
l
_ba
s
ic_s
e
t/isl_basic_map and
i
sl_set/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verd
o
olaege
r
e
name "
o
mega
"
transitive
closu
r
e to "box" t
r
ansitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
export isl_int_
o
bj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoola
e
ge
i
sl
_
v
e
rtices
.
c: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Ve
r
doolaeg
e
isl_u
n
ion_templ
.
c:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en
Ve
r
doolaege
isl_map
_
subtract
.
c: n_non_redundant: propage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
isl_berns
t
ein
.
c: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
add isl_u
n
ion_
p
w
_
qp
o
lynomia
l
_
mu
l
_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
isl_
s
tream_read
_
o
b
j: read
int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add i
n
t objects for use
i
n iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
V
erdoolaege
isl_basic_map_remov
e
_
divs: finalize resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en V
e
rdoolaege
add i
s
l
_
basic_set_get
_
tup
l
e_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
M
e
rge
b
ranch 'mai
n
t'
commit
|
commitdiff
|
tree
next