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_union_map_deltas_map
2011-03-10
S
ven
Ver
d
oolaege
add
i
sl_u
n
ion_map_
d
eltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
S
ven Verdoolaege
M
erge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdo
o
lae
g
e
isl_map_deltas: don't copy flags from in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream_read_
m
a
p
: accep
t
constant
expr
e
s
sions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolae
g
e
isl_st
r
eam: a
c
ce
p
t "/\" and "\/" as alternatives for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Verdoolaege
i
sl_s
t
ream: onl
y
quote
n
ewl
i
ne
using '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
e
n
Verdoola
e
ge
isl_stre
a
m
: maintain
private unget
c
buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en
V
erdoola
e
ge
isl_set_li
f
ting: simpl
i
fy and finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
d
oc:
d
rop lon
g
outda
t
e
d
note on transitiv
e
closures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoola
e
ge
add isl_basic_set_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
ven Verdo
o
laege
isl_map
_
identity:
take dimension specification o
f
ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
v
en V
e
rd
o
olaege
rename isl_dim
_
map to isl_dim
_
map_from_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
t
ransitive
closure:
p
roject out pa
r
amete
r
s
whe
n
a
n
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaeg
e
priv
a
tely
export isl_basic_set_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_set
_
lift: preserve
structure of
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_p
w
_q
p
o
lynomial_bou
n
d:
handle combination of wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n
Ver
d
o
o
laege
isl_t
a
b_p
i
p
.
c:
fix typo in
c
o
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdool
a
e
ge
isl_t
a
b
:
c
h
e
ck for obviousl
y
emp
t
y
tabl
e
aus after
d
iscover
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
V
e
rdo
o
laege
i
sl_basic_map_gist:
p
r
efer con
t
raint
s
without ex
i
stential
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verd
o
ola
e
ge
isl
_
b
a
sic_map_sort_constraints: c
h
a
nge compari
s
on ro
u
tine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Ver
d
oolaeg
e
isl_t
a
b_ineq_type: c
l
assify
m
or
e
constraints
a
s being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
S
ve
n
Ver
d
o
o
l
a
e
ge
i
sl_m
a
p_coal
e
sc
e
: be more relaxed ab
o
u
t
multiple
e
qualities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n
Verdool
a
e
ge
add isl_basic
_
map_f
r
om_domain_and_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoola
e
ge
add
i
s
l_basic_set_
n
eg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Verdool
a
ege
add isl_
b
asic
_
set_fl
a
t_produc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdoo
l
a
e
ge
expor
t
is
l
_
b
as
i
c_map_flatt
e
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_basic_
m
a
p_from_qpolyno
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdool
a
e
ge
isl_stream: sup
p
ort \<newline> li
n
e c
o
ntinuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdool
a
ege
a
dd isl_union_map_re
a
d_f
r
om_
f
il
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
isl_s
t
ream_re
a
d_map: accept 'true' and 'fals
e
'
c
ons
t
r
aints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
doola
e
ge
isl
_
stream_read_map:
a
l
l
o
w
e
xt
r
a '
;
' at
end
of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoola
e
ge
i
s
l_stream_read_map: allow negatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verd
o
olaeg
e
isl_stream_
r
ead_map:
a
l
lo
w
existential quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
privat
e
ly
e
xport isl_basic_ma
p
_
a
d
d
_
div
_
c
o
nstraints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
i
s
l_
m
orph_b
a
sic_s
e
t: preserve rationality o
f
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven V
e
rdoolaege
add isl_bas
i
c_set
_
is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_
p
rint_basic_map:
e
xpli
c
it
l
y
m
a
rk rationa
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
isl_stream_re
a
d
_map
:
read ra
t
ional maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Ver
d
ool
a
eg
e
i
sl
_
b
asi
c
_map_inse
r
t:
pre
s
erv
e
rationality of
i
n
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Verdoolaege
add is
l
_basic_ma
p
_s
e
t_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
i
sl_basic_map
_
fast
_
c
mp: d
i
fferentiate between
r
atio
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
e
ge
isl_
o
utpu
t
.
c: remo
v
e
s
o
m
e
c
ode dup
l
icatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_pri
n
ter_print_basic_{set,map}: don't start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sve
n
Verdoo
l
a
e
ge
isl_str
e
am_re
a
d_m
a
p:
a
c
c
ept '
|
'
at start of cons
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl
_
stream: k
e
ep
track of textual represen
t
ation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven V
e
r
d
oolaege
isl_input
.
c:
cl
e
an
up r
e
a
d
_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
ven V
e
r
d
oolaege
isl
_
s
t
ream_
r
ead_map: a
c
cept
di
s
junctions within
a
con
j
unct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_convex_hull
.
c: explicitly m
a
rk wrapping lp pr
o
ble
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sve
n
V
e
rdoolae
g
e
isl_tab_min: micro-optimization: post
p
o
n
e tak
i
ng
i
nto
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ver
d
oo
l
aege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erd
o
olaege
is
l
_tab_add_r
o
w: add further e
x
pl
a
nation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
o
l
aege
isl_tab
.
c: fix typos in commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
isl_tab
_
pip
.
c:
c
orrectly det
e
c
t
non-negativity o
f
di
v
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
test bot
h
context
h
and
l
ing
m
echanisms of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
isl_tab_is
_
equality:
properl
y
support "big parame
t
er"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaeg
e
isl_tab_pip
.
c
:
f
ix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
isl_affine_hull
.
c: fi
x
t
ypos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_union_map_c
o
m
pu
t
e_flow: return
a
ccesses with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en V
e
r
doolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
isl_union_map
.
c: inplac
e
: pass
data
p
ointer to
i
sl_has
h
_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
rdoolaege
i
sl_dim_move: update para
m
eters of nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoola
e
ge
add
i
sl
_
map_nat_
u
niverse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erdoolaege
c
le
a
n
u
p isl_set_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
merge isl_b
a
sic_set/isl_basic
_
map and isl_set/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdool
a
e
ge
r
ename "ome
g
a" transitive closure to
"box" transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
export isl_int_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
isl_vertic
e
s
.
c:
fix typ
o
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_u
n
ion_te
m
pl
.
c: fix
ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_map_subtract
.
c:
n_non
_
redun
d
a
nt: propage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaege
isl_be
r
n
s
tein
.
c
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
a
d
d
isl_uni
o
n
_pw_qpolynomial_mul_
i
s
l
_in
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n Verdoolaege
isl_stream_read_obj: read int objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
add int objects for use in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Verdoolae
g
e
i
sl_basic_map_remove_divs: finalize
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdo
o
laege
add isl_bas
i
c_set_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
M
e
rge
b
r
anch 'm
a
i
n
t'
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
V
er
d
oolaege
isl_u
n
ion_
m
ap
_
sample: don't r
e
turn NUL
L
on em
p
ty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n
V
e
rdoo
l
aege
isl_basic_map_set_tup
l
e
_
nam
e
:
finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_transitive_cl
o
sure
.
c:
more
a
nonymize input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdo
o
laege
isl
_
b
a
sic_set
_
factorizer:
make sure group information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Verdoolaeg
e
add isl_un
i
on_map
_
range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
d
oc: docu
m
ent
product functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
v
e
n
V
e
r
doolaege
rename i
s
l_basic_set_product to isl
_
basic_
s
et_list_produc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sv
e
n V
e
rdo
o
laege
i
sl_
s
et
_
conv
e
x_hull: op
t
io
n
ally
use Four
i
e
r
-
Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_bas
i
c
_
set
_
sample_
p
oint: e
x
ploit factori
z
ation if
a
n
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add
isl_
m
o
rph
_
vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
chan
g
e p
r
ototy
p
e of isl_v
e
c_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_printer_print_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
add i
s
l
_
union_set
_
apply_union_pw_q
p
oly
n
omial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
export isl_union_map_from_domai
n
and isl_union_ma
p
_
f
rom_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
V
e
rdoolaege
isl
_
basi
c
_m
a
p_intersect_doma
i
n: r
e
place o
p
e
n
-cod
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven
Verdo
o
l
a
eg
e
isl_stream_re
a
d_map: accept
modul
o
ex
p
ressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
doolaege
is
l
_basic_map_insert: don't simplify the result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
isl_basic_map
_
from
_
constrain
t
_mat
r
ice
s
: clear
n
ewly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
V
er
d
o
ola
e
g
e
isl_
t
o
k
en_free
:
free s
t
rin
g
re
p
rese
n
tatio
n
of keywords
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_input
.
c: read
_
f
a
ct
o
r: drop une
x
pected identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erd
o
o
la
e
ge
isl_i
n
put
.
c:
accept_affine_factor: av
o
id double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
