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_local_space_intersect
2011-10-02
S
ven
Verdoolaege
a
d
d
i
s
l
_local_space
_
int
e
r
sect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
ae
g
e
add isl_multi_af
f
_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
add is
l
_pw_aff_
r
ead_from_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ver
d
oola
e
ge
ad
d
isl_aff_read_from_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
V
e
rdoolaege
add isl_pw_multi_aff_read_fro
m
_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
ad
d
isl_pw_multi_a
f
f_from_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
erdoolaege
a
d
d isl
_
basic
_
map_lexmin_pw
_
multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Ve
r
doolaege
pip: optional
l
y use isl_basic_set_parti
a
l_
l
ex
m
in_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
o
laeg
e
add is
l
_basic_{set,map}_partial_lex{mi
n
,max
}
_pw_m
u
lti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add is
l
_
pw_multi_aff
_
su
b
stit
u
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
add isl
_
set_subst
i
tute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
add isl_lo
c
al_
s
pace_s
u
bstitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verd
o
olaege
isl_printer_print_
p
w_multi_a
f
f: p
a
rtia
l
support
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_
*
_ge
t
_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add i
s
l_pw_*_
g
et
_
dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
add isl_pw_*_h
a
s
_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
a
d
d isl_p
w
_*_set_
d
im_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add isl_
p
w_*_
g
e
t
_tuple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verd
o
olaege
ad
d
isl_pw_
*
_
g
et_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ve
n
Verdoolae
g
e
a
dd isl_basi
c
_m
a
p_from_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n V
e
rdoolaege
add
isl_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verd
o
ol
a
ege
isl_pw_templ
.
c: rename alig
n
_params_pw
_
pw_and to
include
P
W
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
d
o
olaeg
e
add isl_map_
d
im_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verd
o
olaege
privately export isl_basic_map_for
e
ach_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_basic_map_elimi
n
ate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d isl_basic_map_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-10-01
S
v
en V
e
r
doolaege
isl_basic_map_eli
m
inate_va
r
s: gauss result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
S
v
en Verd
o
olaege
a
d
d i
s
l_
a
ff_
s
et_dim
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
S
ven Verdoola
e
g
e
add isl_l
o
cal_space_set_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ve
r
do
o
laeg
e
add isl_map_
f
ind_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
Verdo
o
lae
g
e
a
dd is
l
_space_f
i
nd_dim_by_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
S
v
e
n
V
e
rd
o
olaege
export isl_pw_aff
_
int
e
rsect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdo
o
laege
export isl_pw_a
f
f
_plain_
i
s_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
add
generic i
s
l_pw_*_se
t
_tupl
e
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
isl_
s
et_intersect: properly handle intersection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
S
v
en Verd
o
olaeg
e
i
s
l_acces
s
_info_comput
e
_flow: al
i
gn parameters
of i
n
put
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
M
e
rg
e
br
a
nch 'm
a
int'
commit
|
commitdiff
|
tree
2011-09-23
Sve
n
Verd
o
olaege
f
i
x isl_s
e
t_involves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdo
o
laege
add
i
sl_set_plain_is_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oolaege
a
d
d isl_set_fro
m
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoolaege
add
is
l
_s
p
ace_set
_
from_pa
r
am
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
Merge
b
r
anch 'ma
i
n
t
'
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
i
s
l_q
p
ol
y
nomial_morph: proper
l
y hand
l
e denominators
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ve
n
Ve
r
doolaege
add i
s
l_mat_
d
iag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
is
l
_tab_pip
.
c
:
sol_for_add: correctly set d
e
nominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoolae
g
e
i
sl_tab_p
i
p
.
c: s
o
l_map_add: fix double free
on err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ver
d
oo
l
aege
isl_stream: accept
"
=
=" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Verdoola
e
ge
add isl_un
i
on_
p
w_*_plain_is
_
equ
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoo
l
aege
add isl_p
w
_
*
_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoo
l
ae
g
e
add
i
s
l
_set_pl
a
in_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Ver
d
oola
e
ge
add
isl_map_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoolaege
isl_stream_next_token: t
r
eat
"
-0" as
two tokens '-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rd
o
olaege
d
r
op "
n
param"
a
rgume
n
t
from isl_{set,map}_read_from
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
Sven
V
erdoolae
g
e
do
c
: do
c
ument *_move_dim
s
fu
n
ctio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verd
o
o
l
a
e
ge
drop isl_div abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verd
o
o
l
aege
isl_{in,}equalit
y
_
alloc:
take isl_local_space intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
ven Verdoolaege
do
c
: upd
a
te example code to change in return t
y
pe o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoo
l
aege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
p
r
ovide f
u
ll prot
o
types for som
e
functions with
n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
S
v
e
n
Verdo
o
lae
g
e
doc:
fix
ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sve
n
Verdoolae
g
e
add i
s
l
_
set
_
gis
t
_p
a
ra
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
make isl_pw_* obje
c
t
l
ive in a
map sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
ad
d
isl
_
s
pace_extend_domain_with_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
add isl_space_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_local
_
space_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add isl_local_space_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
mplemen
t
isl_constraint on top of isl_ve
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verd
o
olaeg
e
add isl_vec
_
n
eg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_aff
.
c: extract isl_local_space_get
_
act
i
ve
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoo
l
aege
isl_outpu
t
.
c: d
r
op redundant "set" argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_union
_
*_alloc: p
r
o
ject space o
n
to paramet
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n V
e
rdoo
l
aege
exp
l
icitly diff
e
rentiate between spaces
o
f maps, sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ve
r
doolaege
allow isl_ids wi
t
h negati
v
e
reference counts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
olaege
pro
p
er implementation of isl_uni
o
n_map_from_
r
a
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_
m
ap_from_domain_and_range: drop ex
p
licit conversio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl
_
set_apply_p
w
_qpolynomial_fold: drop ex
p
licit conversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
i
sl_tab_basic_se
t
_non_trivia
l
_lexmin: drop explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_tab
_
pip
.
c: fix white
s
pace issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
e
ge
isl_set_read_from_*: coerce set-
l
ike maps into sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolae
g
e
isl_inp
u
t
.
c: ma
p
_read_po
l
ylib: convert set-like
maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
do
o
l
a
ege
i
sl
_
input
.
c
:
o
b
j_r
e
a
d
: start off from parameter space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
ola
e
g
e
isl_input
.
c
: r
e
present nested tupl
e
a
s
isl_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
is
l
_input
.
c: obj_read_poly_or
_
fold: rep
r
esent
d
omain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n V
e
rdoolaege
i
sl_basic_set_m
u
l
t
iplicative_
c
all:
e
xplicitly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
ae
g
e
is
l
_pw_qpolynomial
_
fo
l
d_bound:
explic
i
tly p
r
oject on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_qpolynomial
_
bound_o
n
_d
o
main
_
b
e
rnstein: e
x
pli
c
itly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
d
o
olaege
i
s
l_qpol
y
nom
i
al_bound_on_domain_r
a
ng
e
: expli
c
itly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaeg
e
isl_union_ma
p
_from_
m
ap: expli
c
i
tly
p
r
o
ject on paramet
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
i
s
l_union_map_al
i
gn_
p
arams: e
x
plicit
l
y project on param
e
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdo
o
laege
isl_pol
y
nom
i
al
.
c: c
o
nstant_
o
n_do
m
ain: e
x
plicitly proje
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
basi
c
_se
t
_
d
im_max: explicit
l
y project on para
m
eter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_bas
i
c
_
set_c
o
mpute_vertices:
e
xplicitly turn chamb
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoola
e
ge
bound
.
c: explicitly convert c
o
ntext
i
nto p
a
ra
m
ete
r
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
Verdool
a
e
g
e
p
ip
.
c: expli
c
itly conve
r
t
c
ontext into
parameter
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
add isl_pw_qpol
y
nomial_fold_project
_
domain
_
o
n
_
p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
r
doolaege
a
d
d isl_
q
polynomial_pr
o
ject_domain_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oo
l
aege
add is
l
_
pw_qpolynomia
l
_
p
roject
_
out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ve
r
d
oola
e
ge
add isl_morp
h
_{dom,ran}_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next