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_mat_add_zero_rows
2011-04-21
Sven Ver
d
oolaege
add
i
sl_mat_add_zero
_
rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolaege
isl_blk: don't re
u
se overly larg
e
blocks
f
or small
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add
i
s
l
_hm
a
p
_map_
b
asic_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
add
i
sl_
u
nion_map_copy_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
add isl_union_map_c
o
nt
a
in
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Ver
d
oolaege
add isl_
b
asic_s
e
t_transform_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdo
o
laege
add i
s
l_basic_set_offse
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoolaeg
e
change
isl_mat_sub_a
l
l
o
c prototyp
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
m
a
k
e
isl
_
mat_s
u
b_*
f
un
c
tions
p
r
ivate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
ad
d
isl
_
vec_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_mat_
i
nitial_no
n
_zer
o
_
c
ol
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
ol
a
e
g
e
add is
l
_mat_set_element_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
d
oolae
g
e
a
d
d is
l
_basic_set_
a
d
d_con
s
t
r
aint
s
_dim_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaeg
e
add i
s
l_dim_map_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
erdoolaege
i
sl_di
m
_map:
allow signed mapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
isl_di
m
_map
:
extract from
isl_ma
p
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
ch
a
nge prototy
p
e of isl_tab_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aeg
e
add isl
_
map_remove_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ver
d
oolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
doc: add a note
on the acc
u
r
a
cy of o
u
r approxi
m
ati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
erdoolaeg
e
add
isl_u
n
ion_
s
et_coe
f
fic
i
ents
a
nd isl_union_
s
et_solut
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n V
e
r
doolaege
add isl
_
unio
n
_
s
et_
l
ift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven
Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verd
o
olaege
i
sl_tab: a
l
way fr
e
e
saved basis undo
r
ec
o
rd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Verdoolaege
make sure dest
i
na
t
ion f
o
r
GDB mod
u
l
e
ex
i
sts bef
o
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Verdoolaege
isl_tab_pip
.
c: add_lexmin_eq: remove mis
g
ui
d
ed optimiz
a
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Verd
o
o
laege
i
sl
_
basic_map_lexm
i
n
: tur
n
o
ff equality detection
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Verdoolaege
use silent make rul
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven V
e
r
d
oolae
g
e
isl_strea
m
_read_map:
fix handling of
d
ivs
in t
u
ples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_mat_left_hermite:
p
l
u
g
memory
l
e
ak on e
r
ror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en Verdoolae
g
e
plug mem
o
ry lea
k
in isl_mat
_
p
roduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
isl
0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
doc: add some implementation details on pa
r
ametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_lp
.
c: avoid c
l
ang
w
arning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erd
o
olaege
isl_stream
_
rea
d
_
m
a
p:
a
ccept floord and ceild e
x
pressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
V
erdoolaege
isl_stream_read_map:
a
cce
p
t min an
d
max expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
isl_stream
_
read_
m
a
p:
p
roperly r
e
ad neste
d
di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
V
e
r
do
o
laege
isl_stream_re
a
d
_map:
t
r
e
at divs as out
p
ut variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
isl_map_coalesce: plug mem
o
ry leak
on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
i
s
l_mat_extend:
av
o
id memory l
e
ak when realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
isl_ba
s
ic_map_overlying_set: av
o
id memory
leak when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdool
a
ege
isl_strea
m
_getc
:
avoid memor
y
l
eak w
h
en real
l
oc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n V
e
rdoolaege
rudime
n
t
ary
s
upport fo
r
asy
n
chronous termi
n
ati
o
n of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Ve
r
doolaege
hide
i
sl_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
e
rdool
a
ege
isl_vec_
r
ead
_
from_file: drop
input_format argum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Verdoolaege
isl
_
map
.
c: drop u
n
used error
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdo
o
lae
g
e
isl_input
.
c: dr
o
p unused error la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoo
l
a
ege
res
p
ect DESTD
I
R whe
n
i
n
stalling isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doolaege
is
l
_stream: accep
t
"$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolaege
add isl_union_map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdoolaege
change isl_map_pow
e
r i
n
t
e
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laeg
e
add i
s
l_uni
o
n_map_
z
ip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add private isl_
b
asic_map_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaeg
e
add
i
sl_union_map_deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Ve
r
doo
l
aege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
i
s
l_map_deltas
:
don't
co
p
y f
l
ag
s
fro
m
inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdool
a
ege
isl_stre
a
m_read_m
a
p
: accept constant e
x
pressio
n
s of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Ve
r
doo
l
aege
isl_strea
m
: accept "/\" and "\/" as alterna
t
ives for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_s
t
ream:
only qu
o
te newl
i
n
e
u
s
ing '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n
V
erdoolae
g
e
i
sl_str
e
a
m
: m
a
intain private unge
t
c buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en Verdoola
e
ge
i
s
l
_set_lifti
n
g: sim
p
l
ify
and finalize
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven
Verdoolaege
d
oc:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sv
e
n
V
e
r
doolaege
doc:
d
rop long ou
t
d
a
ted note on transitive closures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdo
o
l
aege
add isl_basi
c
_set_get
_
dim
_
name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verd
o
o
l
aege
i
sl_map_i
d
entity:
t
ake dimen
s
ion sp
e
cification
of m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven
V
e
rdoolae
g
e
rename isl_dim_map
t
o
isl_dim_map_from
_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verd
o
olaeg
e
tr
a
nsitive cl
o
sure:
project out parameters when any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n V
e
rdoola
e
ge
privately expor
t
isl_b
a
sic_s
e
t_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaeg
e
i
s
l
_se
t
_lift: p
r
e
serve structu
r
e o
f
spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdo
o
l
a
ege
isl_pw_qpol
y
nomial_bound
:
h
a
ndle co
m
bination of wrappin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ven
Verdoolaege
isl_tab
_
pip
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Ve
r
d
o
olaege
i
s
l_tab: ch
e
ck for ob
v
i
o
usly
empty tab
l
eaus af
t
er di
s
cover
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erdoolae
g
e
is
l
_
basic_map_gist: prefe
r
co
n
tr
a
ints without ex
i
stentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven Ver
d
oolaege
i
sl_basic_map
_
sort_constraints: change comparison
routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoo
l
aege
isl_tab_ineq_type: classify more cons
t
rain
t
s as bei
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven
V
e
r
doolaege
isl_map_co
a
lesce: be more relaxed ab
o
ut
multi
p
le equa
l
iti
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rdoolaege
add
isl_basic_map_from
_
domain_and_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add
i
sl_
b
asic
_
set_n
e
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdool
a
ege
add
isl_bas
i
c_set_
f
l
a
t_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n
Ver
d
oolae
g
e
export isl
_
bas
i
c_m
a
p_flat
t
e
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
erd
o
olaege
a
dd
i
sl_basic_map_from
_
qpoly
n
omial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_strea
m
: support \<newline> li
n
e continuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verd
o
olaege
a
d
d isl_union_map
_
read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
is
l
_stream_read_ma
p
: acc
e
pt 'true' and 'false' c
o
nstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdoolaege
isl_stream
_
re
a
d_
m
ap
:
allow extra ';' a
t
end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
i
s
l_stream_read
_
map: all
o
w ne
g
a
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoola
e
ge
isl
_
strea
m
_read_map: allow e
x
istential quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Ve
r
d
o
olaege
privately export i
s
l_bas
i
c_map_add
_
div_constraints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
i
sl_morph_basic
_
set: preserve r
a
tionality of inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en V
e
rdoolaege
ad
d
isl_basic_
s
et_i
s
_rat
i
onal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
laege
isl_printer
_
print_basic_m
a
p: e
x
p
l
icitly mark rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
laege
isl_stream_read_map:
read
r
ational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolaege
isl_bas
i
c_map_insert: preserv
e
ration
a
lity of inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
ge
add isl_basic_map
_
set_r
a
ti
o
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
is
l
_b
a
sic_map_fast_cmp: differenti
a
te betwee
n
rationa
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
isl_output
.
c: remove so
m
e code dupli
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_p
r
i
n
t_basic
_
{set,map}: don'
t
sta
r
t new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdo
o
laege
isl
_
stream_read_map: acc
e
p
t
'|' a
t
start of constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sv
e
n Verdoolaege
is
l
_str
e
am: keep track of textua
l
re
p
resentation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ve
r
doolaege
isl_input
.
c
: clean up
read_di
s
j
uncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next