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
respect DESTDIR when installing isl.py
2011-03-15
Sven
V
e
rdoolaege
respect
DESTDIR when
i
ns
t
alling i
s
l
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verd
o
olaege
i
sl
_
stream: a
c
cept "$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olaege
ad
d
isl_uni
o
n_
m
ap_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaege
change isl_map_pow
e
r in
t
e
rface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoolaeg
e
add isl_union_map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add private isl_basic_map
_
swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
add isl_uni
o
n_map_d
e
ltas_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
isl_map_deltas: do
n
't copy flags from i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdool
a
e
ge
is
l
_st
r
ea
m
_read_map: accept constant expr
e
ssions
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Verd
o
olaege
isl_stream:
a
ccept
"
/
\" a
n
d "\/" as
a
lt
e
rna
t
i
v
es for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
i
s
l_stream: on
l
y
q
u
ote newline
u
sing
'\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Verdoolaege
i
s
l
_st
r
eam
:
maint
a
i
n
private ungetc buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
V
erdoolaege
isl_set_lifting: simplify and finalize res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
ven
Verd
o
olaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
ven Ve
r
d
oolae
g
e
d
oc: drop long
ou
t
dated
n
o
te on transitive clos
u
res
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven
V
erdoolaege
add is
l
_basic_set_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
isl_map_
i
dentity:
t
a
ke dimension specif
i
cation of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ve
r
doolaege
r
e
name
isl_
d
im_map to isl_dim_map_
f
rom
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ver
d
o
ol
a
ege
tran
s
itive cl
o
s
u
r
e
:
project out parameters when any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
privatel
y
e
x
por
t
isl_bas
i
c
_
set_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdoola
e
ge
isl_se
t
_lift: preserve structure of space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaege
is
l
_pw_qpolyn
o
mial_bound:
ha
n
dle combination of wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
is
l
_tab_p
i
p
.
c: fix typo in
co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaeg
e
isl_ta
b
: che
c
k for ob
v
iously empty ta
b
le
a
us after d
i
scoverin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Verdool
a
eg
e
isl_ba
s
ic_map_gist: p
r
e
f
er
co
n
tra
i
nts wit
h
out ex
i
s
te
n
tia
l
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven
Verdoolaege
isl_ba
s
ic_map_
s
ort_constraints: change
comparison r
o
u
tine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Ver
d
oola
e
ge
isl_tab_i
n
eq_type: classify more constraints as being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sve
n
Verdoolaege
isl_map_coalesce: be more relaxed about m
u
ltiple
equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Verdoo
l
aege
add
isl_b
a
sic
_
m
a
p_fro
m
_
domain_
a
n
d
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verd
o
ol
a
e
g
e
add isl_basic_set_
n
eg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_basic_
s
et_flat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rd
o
olaege
export isl_basic_map_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en
Verdoolaege
add isl
_
basic_map_fro
m
_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoo
l
aege
isl_
s
tr
e
a
m
: su
p
po
r
t
\
<newline> line continu
a
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolae
g
e
add
i
sl_union_ma
p
_read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoolaege
isl_
s
t
r
eam_read_map: accept 'true' a
n
d 'false' constraint
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
e
n Verd
o
olaeg
e
isl_st
r
e
a
m_read_map: allow extra '
;
'
at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verdool
a
e
g
e
isl_stream
_
read
_
m
a
p
:
allow
negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
la
e
ge
isl_stream_read_map: allow exist
e
ntial quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
e
rdoolaege
pr
i
vately export
i
sl_basic_map
_
add_div_constraints_
v
ar
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
isl_morph_
b
asic
_
set: preserve rationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoola
e
ge
add isl_basi
c
_set_is_r
a
tion
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_pri
n
t_basic_map: expli
c
itly mark rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
ola
e
ge
isl_stream_read_map: read rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
o
o
laege
isl
_
ba
s
ic_ma
p
_
i
n
sert:
pres
e
rve
r
ationality
of
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
add isl_basic_map_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
l
aege
isl_basic_map_fast_cmp:
d
i
f
ferentiat
e
bet
w
e
e
n rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven V
e
rdoolaege
i
sl_output
.
c: r
e
m
ove some code duplica
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdoolaege
isl_pr
i
nter_print_basic_{set,map}: don't start
n
ew
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
ve
n
Verdoolaeg
e
isl_stream_
r
ead_
m
ap: acc
e
pt
'
|' at
s
t
a
rt of constra
i
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sve
n
Ver
d
oolaege
isl_st
r
eam: keep
track
o
f
textual
r
eprese
n
tatio
n
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaeg
e
isl_input
.
c
:
cl
e
a
n
u
p r
e
ad_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
isl_stream_read_map: accept disjunctio
n
s
withi
n
a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdo
o
laeg
e
isl_con
v
ex_hull
.
c: expl
i
citly
m
a
rk
w
rapping
lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven V
e
rd
o
o
l
aege
isl_tab_min: m
i
cro
-
opt
i
mization:
p
ostpone taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merg
e
b
ranc
h
'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en V
e
r
d
o
o
laege
isl_tab_add_
r
ow:
a
d
d further
explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
i
s
l_tab
.
c: f
i
x t
y
pos in co
m
men
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_pip
.
c: co
r
rectl
y
detect non-negativ
i
ty of div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
a
dd
t
e
s
t
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
test both cont
e
xt han
d
li
n
g m
e
chanisms of
is
l
_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
is
l
_t
a
b_is_equality:
p
roperly s
u
pport "b
i
g param
e
ter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_tab_pip
.
c: fix
typo i
n
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdool
a
ege
isl
_
affine_hull
.
c:
fix
typos in com
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ver
d
o
o
laege
isl_unio
n
_map_compute
_
fl
o
w:
r
eturn accesses with
no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
M
erg
e
bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
isl_union_map
.
c
:
i
n
p
lace: pass data pointer t
o
isl_hash_ta
b
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
do
o
lae
g
e
i
s
l_dim_mo
v
e: update parameters o
f
nested
s
pa
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoo
l
aege
add isl_map
_
nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
V
erdoolaege
clean
u
p is
l
_set_
f
rom_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en Ve
r
doolaeg
e
merge isl_basi
c
_set
/
isl_basic_map and
isl_se
t
/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rename "omega" transitive
c
losure
to
"
box" tra
n
si
t
ive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdo
o
laege
export isl_in
t
_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_vertices
.
c: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_un
i
on_templ
.
c
: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
isl_map_
s
ubtract
.
c: n_non_red
u
ndant: propag
e
isl
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_ber
n
stein
.
c
:
f
ix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n Verdoolae
g
e
a
dd isl_un
i
on
_
pw_qpolynomial_
m
ul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl
_
s
tream_read_
o
b
j
: r
e
a
d
int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
add in
t
objects
for u
s
e i
n
iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en
Ver
d
oolaege
isl_basic_map_rem
o
ve_di
v
s: fin
a
lize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Ve
r
doolaege
add isl_bas
i
c_set
_
get
_
t
uple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoo
l
a
e
ge
M
erge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdo
o
laege
isl
_
union_map_sample: d
o
n'
t
retu
r
n NULL on e
m
pty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven V
e
rdoolaege
isl_b
a
sic_map_set_tuple_nam
e
:
final
i
ze result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_t
r
ansitiv
e
_closure
.
c: mo
r
e
a
nonymi
z
e input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven
V
erdoolaeg
e
isl_basic_set_fact
o
ri
z
er: make sure g
r
oup
i
nfo
r
mation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
add isl_union_m
a
p_range_prod
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven
Verdoolae
g
e
do
c
: document
p
rod
u
c
t functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolae
g
e
ren
a
me
i
sl_basic_set_produ
c
t to isl_basic_set_list_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verd
o
olaege
isl_set_con
v
e
x_hu
l
l
:
optio
n
ally use
F
our
i
er
-
M
o
t
z
kin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoo
l
a
ege
isl_basic_set_sampl
e
_poi
n
t: exploi
t
factor
i
zation if any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
a
d
d
i
s
l_
m
orp
h
_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdo
o
laege
cha
n
ge
p
roto
t
y
p
e of isl_vec_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
doolaege
add
i
s
l_printer_print_
v
ec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_union_set_apply_u
n
ion_pw_q
p
olynomial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
V
erdoolae
g
e
export isl_uni
o
n
_map_
f
rom_
d
o
m
ain and i
s
l_union_map_from_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoola
e
ge
is
l
_b
a
s
ic_m
a
p_inte
r
s
ec
t
_do
m
ain: replace ope
n
-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoo
l
aege
isl_stream_re
a
d_map
:
accept modul
o
expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
