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_aff_normalize
2011-10-06
Sven Verdoo
l
aege
add isl_af
f
_
n
o
rmalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add extract_interfac
e
for constructing
i
nterf
a
ces
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Ve
r
doolaege
mark some data structures and
function
s
for export
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
doolaege
a
d
d isl_
*
_to_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
e
rdoolaege
add isl_union_pw_qpolynomial_rea
d
_from_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
add is
l
_multi_aff_li
f
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_lo
c
al_space_lifting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aeg
e
add
isl_local_sp
a
ce_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_local_space_intersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Verdo
o
laege
add isl_multi_aff_r
e
ad_from_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoo
l
aege
add
isl_pw_
a
ff_read_fro
m
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
add
i
s
l_aff_read_f
r
om_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
ool
a
ege
a
dd is
l
_p
w
_multi_aff_read
_
from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
i
sl_pw_multi_aff_from_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
ad
d
isl_basic_ma
p
_lexmin_pw_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
pip: optionally use isl_basic_set_partial_
l
exmin_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add is
l
_basic_{set,map}
_
pa
r
t
ial_lex{min,m
a
x}_pw
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_
m
ulti_aff_
s
ubst
i
t
ute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d isl_set_
s
u
bstitut
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ver
d
oolaege
add isl_loca
l
_s
p
ace_
s
ubstitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verd
o
olaege
isl_prin
t
er_p
r
in
t
_pw_multi_af
f
: p
a
rtial support for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdo
o
laege
add isl_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_*_get
_
dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
add isl_pw_*_get_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
a
dd isl_pw_*_has_tu
p
le_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
V
erdoola
e
ge
a
d
d isl_pw_*
_
set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
o
o
laege
a
d
d isl_pw_
*
_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_*_g
e
t_
t
uple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
a
dd
isl_basic_
m
a
p
_from_
m
ulti_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en V
e
rdoolaege
add isl_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
isl_pw_
t
empl
.
c: rename align_params_pw_pw_and
to i
n
clud
e
PW
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
add
isl_map_dim_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Ve
r
doolae
g
e
priv
a
tely export isl_basi
c
_map_foreach_
l
exopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdo
o
laege
add isl_
b
asic_map_eli
m
inate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Ve
r
doolaeg
e
add isl_basi
c
_map_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ver
d
oolaege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-10-01
Sven Verdoo
l
ae
g
e
is
l
_basic_map_elim
i
n
a
t
e_vars: ga
u
ss result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
ad
d
isl_a
f
f
_set_dim_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaeg
e
add isl_local_spa
c
e
_
set_dim_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ver
d
oolaege
a
d
d
isl_ma
p
_find_di
m
_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sv
e
n Ver
d
o
olae
g
e
add isl_space_fi
n
d_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
e
x
p
ort isl_pw_aff_intersect_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoola
e
g
e
expor
t
isl_pw_aff_plain_is_equa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
add gener
i
c isl
_
pw_*_set
_
tuple_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoo
l
a
e
ge
is
l
_set_intersect: properly handle i
n
t
e
r
s
ect
i
on with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sve
n
Verdoolaege
isl_a
c
c
ess_info_compute_flow: align paramete
r
s of
input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven
Verdool
a
e
ge
Me
r
ge bran
c
h 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaeg
e
fix isl_set_invol
v
es_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
add isl_set_plain_is_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
add isl_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoolaege
add
isl_space_s
e
t_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oolaege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
i
s
l_qpolynom
i
al_mo
r
ph: prop
e
rly handle denominators
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oolaege
add isl_
m
at_diag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdool
a
ege
isl_tab_
p
ip
.
c: sol_for_add: c
o
rrectl
y
set deno
m
inator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoolae
g
e
isl_tab_pip
.
c: sol_map_ad
d
:
fi
x
d
ouble free on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
e
rdoolaege
isl_stream: accept "==" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Verdool
a
ege
add isl_u
n
ion_p
w
_
*
_
p
lain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
a
dd isl_pw_*_plain_is_
e
q
u
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
a
d
d isl_set_
p
lain
_
cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ve
r
doolaege
add isl_map_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
V
erdoolae
g
e
isl_stream_next_toke
n
:
treat "-0" as
t
wo tok
e
ns '-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rdool
a
ege
d
r
o
p
"np
a
ram" argument f
r
om i
s
l_{set,map}_read_from_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
S
v
en V
e
rdo
o
laege
doc: docu
m
ent *_move_dim
s
fu
n
ctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
e
r
do
o
laege
dro
p
is
l
_div abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verd
o
olae
g
e
i
sl_{in,}equal
i
t
y_alloc: take isl_local
_
s
p
a
ce
intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdoolaeg
e
doc: update examp
l
e co
d
e to change
in return typ
e
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sve
n
Verdoolaege
Me
r
g
e
b
r
a
nch 'main
t
'
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
provide full
p
rototyp
e
s for some f
u
nctions w
i
th no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven V
e
rdo
o
laege
do
c
:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven
Verd
o
olaege
ad
d
i
s
l_set_gist_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoola
e
ge
mak
e
isl_p
w
_* obj
e
ct
live
i
n
a
map space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
rdoo
l
aege
add
isl_space_ext
e
nd_dom
a
in_
w
ith_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ve
r
doolaege
add isl_space_
i
s_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
dd isl_loc
a
l
_spa
c
e_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
ae
g
e
a
d
d isl_local_space_do
m
ai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
imp
l
e
m
ent isl_constraint on top of isl_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doolaege
ad
d
isl_vec_ne
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
erdoola
e
ge
isl_aff
.
c: extract isl_loca
l
_space_ge
t
_active
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl
_
output
.
c:
dro
p
r
e
d
undant "
s
et" argume
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
V
erdoolaege
isl_union_*_
a
lloc: project space onto par
a
met
e
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
o
olaeg
e
e
xplicit
l
y differentiate between spaces
o
f m
a
ps
,
se
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Ve
r
doolaege
all
o
w
i
sl_ids
w
i
t
h
nega
t
ive referen
c
e coun
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdo
o
laege
prop
e
r i
m
pl
e
mentati
o
n of isl
_
union_
m
a
p_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
d
oolaege
is
l
_m
a
p_fr
o
m_domain_and_range: dr
o
p
e
xplicit conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_set_
a
pply_pw_qpolynomi
a
l_f
o
l
d: drop expl
i
cit conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdo
o
lae
g
e
i
s
l
_tab_
b
asic_s
e
t_non_tr
i
vial_lexmi
n
: drop explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
isl_tab_
p
ip
.
c: fix whitespace issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaeg
e
isl
_
set_read_from_*: coerce s
e
t-like map
s
i
n
to set
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_input
.
c
:
map_read_pol
y
lib
:
c
o
nver
t
s
et-like m
a
p
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_inp
u
t
.
c:
o
b
j
_read
:
start off from parame
t
er spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoo
l
ae
g
e
isl_in
p
ut
.
c: r
e
presen
t
n
e
sted tuple as isl_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
i
s
l_input
.
c: obj_re
a
d_p
o
ly_or_fold: r
e
presen
t
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl_basic_s
e
t_multipli
c
ative_call: explici
t
ly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdo
o
l
aege
isl_pw_q
p
o
l
y
nom
i
al_f
o
ld_bound:
ex
p
licitly p
r
oj
e
c
t on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolae
g
e
isl_
q
polynomial_bound_on_domain_bernstein:
e
xplicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_q
p
olynomial_bou
n
d_on_domain_range: explici
t
ly p
r
oject
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdo
o
laeg
e
isl_union_map_from_map: explicitly proje
c
t
on param
e
t
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l
_union
_
map_
a
li
g
n_
p
arams: explicitly project on p
a
r
amete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
i
sl_polyno
m
i
a
l
.
c: constant_on_domain: explicitl
y
projec
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next