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_input.c: drop unused error label
2011-03-15
S
v
en Verdoo
l
aege
i
sl_in
p
ut
.
c: drop
u
nused error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolae
g
e
res
p
ec
t
D
E
STDIR when installing isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdoo
l
aege
is
l
_
stream: accept "$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Ver
d
oolaege
add isl_uni
o
n_map
_
p
o
wer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
change i
s
l_map_
p
ower
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
oolaeg
e
add isl_unio
n
_map_zi
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoo
l
aege
a
dd p
r
iva
t
e isl_basic_map_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
add i
s
l_union_map_deltas
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoola
e
g
e
M
erge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
erdoolaege
isl_m
a
p_
d
el
t
as
:
don't
copy fl
a
gs from inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoo
l
a
ege
isl_
s
t
re
a
m
_read_map: ac
c
ept constant expressio
n
s of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream: acc
e
pt "/\
"
and "
\
/" as alternatives for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoo
l
a
ege
isl_str
e
a
m: only
q
uote newline using '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_str
e
am
:
maint
a
in private unget
c
buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
Verdoolaege
isl_s
e
t_li
f
ti
n
g:
simp
l
ify and
f
inalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
ve
n
Verdoolae
g
e
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven V
e
r
d
o
olaege
do
c
: dr
o
p
long
o
u
tdated note on trans
i
tive clos
u
res
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Ve
r
doolaege
ad
d
isl
_
ba
s
i
c_set_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven
Verdoolaeg
e
isl_ma
p
_iden
t
i
t
y:
t
ake dim
e
nsion specificati
o
n of ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
rename i
s
l
_
di
m
_map to isl_dim_map_f
r
om_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
Verdoo
l
ae
g
e
transitive
c
l
osure: project ou
t
parameter
s
w
h
en any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Verdool
a
e
ge
priv
a
tely export isl_basic_set_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaege
i
s
l
_
set_l
i
ft
:
preserve
structure of s
p
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Ve
r
d
o
olaege
i
s
l_pw_
q
polynomial
_
boun
d
: handle
c
ombinati
o
n of wr
a
p
ping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
oolae
g
e
isl_tab_pip
.
c: fi
x
typo in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Verdo
o
la
e
g
e
isl_tab: check
fo
r
ob
v
io
u
s
l
y em
p
ty t
a
b
l
eaus after
d
is
c
o
verin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Ver
d
o
o
l
aege
isl_basic_map_gist:
pref
e
r contraint
s
without e
x
is
t
entiall
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sv
e
n
Verdoolaege
isl_
b
a
sic_map_so
r
t
_
c
onstraints: change comparison
r
ou
t
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
i
s
l_tab_ineq_type: classify more
constra
i
nts as bei
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl_map_coalesce
:
b
e
mo
r
e
re
l
axed a
b
out multiple equali
t
i
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdo
o
laege
add isl_bas
i
c_map_from_domai
n
_
and_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Ve
r
doolaege
ad
d
is
l
_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_
f
lat_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n
V
erdoolaege
export
i
sl_basic_map_
f
latten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n Verdoolaeg
e
add isl_basic_map_from_qp
o
lynomia
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
isl_stream:
su
p
port \<n
e
wline>
l
ine continuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
add isl_
u
nion_map_read_fro
m
_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verd
o
olaege
isl_stream_r
e
ad_map: accept 'true' and 'fals
e
'
co
n
str
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Ver
d
oolaege
i
sl_str
e
am
_
read
_
map: allow extra ';' at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoolaege
isl_stream_read_map
:
allow negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
isl_str
e
am_r
e
ad_map: allow existe
n
tial quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
doolaege
privately export
i
s
l
_
basi
c
_map_add_div_constraints_v
a
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_morph_
b
a
sic_set: preser
v
e rational
i
ty of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolaeg
e
add is
l
_basic_set_is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer
_
print_
b
asi
c
_map: explic
i
t
ly mark ratio
n
al
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
isl_stream_read_map:
r
ead rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
Verdoolaege
isl
_
basic_map_insert: pr
e
se
r
ve rationali
t
y of i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n Verdoolaege
add i
s
l_basic_map_
s
e
t
_rat
i
onal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolaege
i
s
l_basic_m
a
p_fast_cmp: d
i
fferenti
a
te b
e
t
w
e
e
n ratio
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaege
isl_output
.
c: remove some code du
p
licatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Ve
r
doolaege
isl_printer_pri
n
t_basic_{set,map}: don't
s
t
art new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdool
a
ege
isl_stream
_
read_map
:
accept '
|
'
at
start
o
f constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven V
e
rdoola
e
ge
isl_stream: keep track of textual
r
epresentation o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
is
l
_input
.
c: cl
e
an up
rea
d
_
d
isjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
ven V
e
rd
o
ol
a
ege
isl_stream_read_map: accept di
s
j
unctio
n
s
w
it
h
in a co
n
junc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ve
r
do
o
laege
i
s
l
_
c
onvex_hull
.
c:
e
xplicitly mar
k
wra
p
ping lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdool
a
ege
isl_tab_min: mi
c
r
o-optimization: postp
o
ne taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
Me
r
ge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n V
e
rd
o
olaege
isl_tab_add_row: add furt
h
er explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab
.
c
: fix typos
in
co
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
r
doo
l
aege
isl_tab_pip
.
c: corr
e
ctly detect non-negat
i
v
ity of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaeg
e
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
te
s
t
both context handling mechanisms of
isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
a
e
g
e
isl_ta
b
_
i
s_
e
qua
l
ity: properly
supp
o
r
t
"
b
ig parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
isl_
t
ab_p
i
p
.
c: fix
t
ypo
in
co
m
men
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
l
a
ege
isl_affine_
h
ull
.
c: fix typ
o
s in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaeg
e
i
s
l_uni
o
n_ma
p
_comp
u
te_flow:
r
e
tu
r
n
accesses w
i
th
n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoo
l
ae
g
e
Merge br
a
nch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl
_
u
n
ion_map
.
c: in
p
l
ace: pass data poin
t
er
t
o isl_hash_ta
b
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
doolaege
isl_dim_move:
update parameters of
n
ested sp
a
ces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
add isl_
m
a
p
_nat_univer
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
clean up isl_set_
f
rom_bas
i
c
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
merge isl_ba
s
i
c_set/isl_basi
c
_m
a
p and is
l
_set/isl_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rename "omega"
t
r
ansiti
v
e closure to
"
b
o
x
"
transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verd
o
olaege
e
xpor
t
isl_int_
o
b
j_fre
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
isl_vertices
.
c: fix
t
ypos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
isl_u
n
i
o
n_tem
p
l
.
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
r
d
oolaege
is
l
_ma
p
_su
b
tract
.
c: n_
n
on_redundant: propage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rd
o
olae
g
e
isl_bernst
e
in
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
Verdoola
e
ge
add isl_un
i
on_pw_qpolynom
i
al_mul_isl_in
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
isl
_
s
t
ream_read_
o
b
j: read int
o
bje
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
r
doolaege
add int objec
t
s
for use in
iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Ve
r
do
o
laege
isl_basic_map_remove_d
i
vs:
f
in
a
lize res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoolaege
add is
l
_basic_se
t
_
get_tu
p
le_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdo
o
l
a
ege
Merge bra
n
c
h
'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoolaege
isl_unio
n
_map_sample:
d
on't return NULL on empty inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaeg
e
isl_basic_map_set_tuple
_
name
:
fin
a
l
ize r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_tra
n
sitive_closure
.
c: more
a
no
n
ym
i
ze input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_basic_set_fact
o
rizer: make sure group information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
ven
Verdoolaege
add i
s
l_union_map
_
r
a
ng
e
_
p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
doc: documen
t
product
functio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
ven Verdoolaege
re
n
ame isl_ba
s
ic_s
e
t
_
pr
o
duct to isl_basic_set_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
S
ven Verdool
a
e
ge
isl_set_convex
_
h
ull: optionally use Fourie
r
-
Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aeg
e
isl_bas
i
c_set_sample_point: expl
o
i
t
factoriz
a
tion if any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ver
d
o
o
laege
ad
d
isl_morph_v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oola
e
ge
c
h
ange prot
o
type o
f
isl_vec_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add
isl_printer
_
pr
i
nt_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
add
i
sl_un
i
on
_
se
t
_apply_union_pw
_
qpolynomial_fo
l
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoo
l
aege
export
isl_u
n
ion_
m
ap_fro
m
_
d
omain
and i
s
l_union_map_from_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoola
e
ge
i
s
l_ba
s
ic_
m
ap_
i
ntersect_
d
o
m
ai
n
: r
e
p
l
ace op
e
n-cod
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next