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_printer_print_basic_map: explicitly mark rational maps
2011-02-13
Sv
e
n Ve
r
dool
a
ege
isl_prin
t
er_print_bas
i
c
_map
:
explicitly m
a
rk
r
ational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
d
o
ola
e
ge
is
l
_stream_read_map: r
e
ad rational ma
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
ool
a
e
ge
isl_bas
i
c_map_insert: preserve rational
i
ty of
i
np
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoola
e
ge
add
i
sl_basic_map_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_
b
as
i
c_ma
p
_
f
ast_cmp:
d
i
f
ferentiate between ration
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
s
l_
o
u
t
pu
t
.
c: remove some code
d
uplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Verdool
a
ege
isl_pri
n
te
r
_pr
i
nt_basic_{set,
m
ap}: d
o
n't start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl
_
stream_read_map: accept '|'
at start of con
s
traints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven
V
erdo
o
laege
isl_stream: keep track of textual repre
s
e
n
tation
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdo
o
laege
isl_input
.
c:
c
l
ean u
p
r
ead_
d
isjunc
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
v
e
n
Verdoolaege
isl_stre
a
m_read_map: accept d
i
sjuncti
o
ns withi
n
a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n Ve
r
d
o
ola
e
ge
isl_convex_hull
.
c: explicit
l
y m
a
rk wrapping lp
p
robl
e
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sve
n
V
erdo
o
laege
isl_tab
_
min:
mic
r
o-optimi
z
ation: postp
o
n
e
taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoola
e
ge
Merge branch
'mai
n
t'
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
V
erdoolaege
isl_tab_add_r
o
w: add further explanat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoola
e
ge
isl_tab
.
c: fix typ
o
s in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
is
l
_tab_p
i
p
.
c:
corre
c
tly
d
e
tect no
n
-negat
i
vity o
f
div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
add t
e
st
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
test both co
n
text h
a
ndling mechanisms
of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doo
l
a
ege
isl_
t
ab
_
is_eq
u
a
l
ity: proper
l
y su
p
port "big parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
is
l
_tab_pip
.
c: fix typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven
Verdool
a
e
ge
isl_
a
ffine
_
hul
l
.
c
:
fix typos in com
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoola
e
ge
isl_union
_
map_compute_f
l
ow: return accesses with n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en
V
e
rd
o
olae
g
e
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoola
e
g
e
isl
_
union_map
.
c
: in
p
lace: p
a
ss da
t
a point
e
r to isl_hash
_
tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en Verdoola
e
g
e
isl_dim_
m
o
ve: upd
a
te
para
m
et
e
rs
of nested sp
a
ces
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
Verdoolaege
clean
u
p isl
_
set_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
m
e
r
ge isl_basic_set
/
isl_bas
i
c_map and isl_set/isl_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Ver
d
o
o
laege
ren
a
me "omega" tran
s
itive closu
r
e to "box" t
r
ansitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
e
x
port i
s
l
_
in
t
_obj_fr
e
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
V
erdoolaege
isl_vertice
s
.
c: f
i
x typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
isl_union_templ
.
c
:
fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ve
n
Verdoolaege
isl_m
a
p_subtract
.
c:
n_
n
on_red
u
ndant:
p
ropage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_bernste
i
n
.
c:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Ver
d
oo
l
aege
add isl_uni
o
n_pw_qpo
l
y
nomia
l
_
m
u
l_isl
_
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolae
g
e
isl_stream_
r
ead_obj: read
int ob
j
ects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
add i
n
t objects for use in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
olaege
isl_basic_map_remo
v
e_d
i
v
s: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ven
V
erd
o
ol
a
ege
add isl_basic_set_get
_
tupl
e
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdoo
l
aege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
S
ven Ve
r
do
o
laege
isl_union_
m
ap_s
a
m
p
le: don't retur
n
NULL
o
n e
m
pty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
doo
l
ae
g
e
isl_basic_map
_
set
_
tuple_name: fi
n
a
lize res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ver
d
o
olaege
i
s
l_transitive_cl
o
sure
.
c: more
a
n
ony
m
ize input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
v
en Ver
d
oolaege
isl_basi
c
_se
t
_
f
acto
r
izer:
make
sure gro
u
p in
f
orma
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
ven Verd
o
olaege
add isl_union_map_range
_
product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdo
o
laege
d
o
c: document p
r
oduct
f
u
nc
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ver
d
oolaege
rename isl_b
a
sic_set_produc
t
to
i
sl_basic
_
set_lis
t
_
prod
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven
V
erdoolaege
isl_
s
et_
c
o
n
v
e
x_hull: optionally use Fouri
e
r
-
Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
i
sl_basic
_
set_sample_point:
e
xpl
o
it factorizati
o
n if an
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n V
e
rdoolaege
add isl_morph
_
vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdool
a
ege
chan
g
e prototype of isl_
v
e
c
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Ve
r
do
o
l
a
ege
ad
d
is
l
_p
r
int
e
r_print_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
add isl_u
n
ion_
s
e
t
_apply_
u
nion_pw_
q
p
olynomial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
export i
s
l_union_map_from_do
m
ain and is
l
_union_map_from_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
dool
a
ege
is
l
_
b
asic_map_intersect_domain: replace
op
e
n
-co
d
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_stream
_
read_map:
accep
t
modulo
e
xpressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
V
e
rdo
o
laege
isl_basic_map_insert:
d
on't sim
p
lify the
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
l
ae
g
e
M
erge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-01-16
S
ven
V
erdoolaege
isl_ba
s
i
c_map_f
r
om_constraint_matrices: clea
r
newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_token_free: free string representation of key
w
o
r
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven
V
erdoolaege
i
sl_input
.
c:
r
ead_f
a
ctor: d
r
op unexpect
e
d id
e
ntifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoolaege
isl_input
.
c: accept
_
a
ff
i
ne_fa
c
t
or: avoi
d
double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
i
sl_strea
m
_
r
ead_map: allow space n
a
mes that h
a
ppen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaeg
e
isl_st
r
eam_next_to
k
en:
keep track
o
f s
t
ri
n
g repr
e
sentation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoola
e
g
e
a
dd isl_basi
c
_se
t
_f
l
at
t
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
a
e
g
e
add isl_union_map
_
s
imple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoolaege
Me
r
ge br
a
nch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
doolaege
a
dd isl_set_
r
emove_
u
nknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_map_is_subset: don't compute
d
ivs of m
i
nuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
l
aege
rena
m
e isl_map_is_singleton to isl_map_fast_
i
s
_sin
g
let
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Ve
r
doolaeg
e
a
dd isl_m
a
p_fast_is
_
s
i
n
gl
e
_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Ve
r
do
o
lae
g
e
a
dd isl_qpolynomia
l
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Ver
d
o
o
laege
export
isl_union_set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verd
o
olaege
isl_qpolyn
o
mial_add_on_domain:
c
ompute g
i
st with r
e
spe
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Ve
r
d
oolaege
is
l
_union_map_coalesce and isl_u
n
io
n
_ma
p
_com
p
ute_div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoo
l
aege
isl_basic_ma
p
_so
l
v
e_lp:
us
e
denomin
a
tor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoo
l
aege
M
erge commit 'isl-0
.
05
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
er
d
ool
a
ege
isl 0
.
0
5
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
rdool
a
ege
i
sl_
t
ab_bas
i
c_
m
ap_parti
a
l_lexopt: fix up s
y
mmetry detectio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoolaege
is
l
_basi
c
_m
a
p_universe: fi
n
ali
z
e resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaeg
e
isl_seq
.
h
: allow
i
n
c
lusion from C++
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Verdoolaege
reimplement isl
_
map_par
t
i
a
l_lex
o
pt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven V
e
rdoola
e
g
e
isl_map: fix t
y
pos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verd
o
olaege
add some more isl_map_lex
m
in tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
a
dd is
l
_qpolyn
o
mial_add_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verdoola
e
ge
add
i
sl_pw_qpolynomial
_
fo
l
d_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_
p
w_qpol
y
nomial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
a
e
ge
a
dd isl_qpolynomia
l
_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
o
l
aege
add isl
_
qpolynomial_fold
_
g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
aege
isl_printer_print_qpol
y
n
o
m
ial_fo
l
d
: suppor
t
C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdool
a
ege
e
xport isl_printer_print_qpolyn
o
mial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolae
g
e
exp
o
rt i
s
l_u
n
ion_map_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
olaege
add isl
_
{se
t
,
m
ap
}
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verdoolaege
add isl_basic_{set,map}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
isl_printer_p
r
int_basic_{set,map}: do
n
't pr
i
nt
newline
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
rdoolae
g
e
renam
e
isl_*_dump to
isl_
*
_prin
t
_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoolaege
make is
l
/
point
.
h
s
el
f
-co
n
tained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
S
v
e
n
Verdoolaege
i
s
l
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Ver
d
oolaege
isl_printer
_
prin
t
_ba
s
ic_ma
p
: plu
g
m
e
mory
l
eak on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next