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
remove undocumented isl_basic_{set,map}_foreach_lex{min,max}
2011-10-19
Sven Verdoolaeg
e
remove undocu
m
en
t
ed isl_b
a
sic
_
{
s
e
t
,map}_foreach_lex
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verd
o
olaege
isl_t
e
s
t:
test isl_basic
_
map_lexmin_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
add isl_union_map_g
i
st_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
ven
V
erdoolaege
add isl_m
a
p_gis
t
_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Ve
r
doolaege
add isl_union_m
a
p_gist
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en
Verdo
o
laege
isl_un
i
on_map_inters
e
c
t
_domain
:
s
p
ecial
c
ase intersec
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
erd
o
olaege
isl_union_set_intersect: special case intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ver
d
oolaege
add isl_union_map_int
e
rsect_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolae
g
e
add i
s
l_un
i
on_set_is_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sv
e
n Verdoolaege
isl_point_get_coor
d
inate: check validity of "pos" argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sve
n
Ve
r
doolaege
in
t
erface/
e
xtr
a
ct_interface
.
cc: adjust to
r
e
name of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verd
o
olae
g
e
rename isl
_
pw_af
f
_add
t
o is
l
_
pw_aff_union_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Ver
d
oolaege
r
e
implement pw_aff_mul on top of a generi
c
i
s
l_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
isl_map_in
t
e
r
sect: require arguments to
l
ive in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
erdoolaeg
e
isl_input
.
c:
read
_
t
upl
e
: use isl_m
a
p_intersect_params
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
Sven Verdool
a
e
g
e
Me
r
ge branch '
m
ain
t
'
commit
|
commitdiff
|
tree
2011-10-08
Sven Verdoolaege
isl
_
stream
_
rea
d
_map:
h
andle nested parenthesized expression
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
e
n
Verdoolae
g
e
isl_
b
a
sic_
{
se
t
,map}_p
a
rtial_lex{min,max}_p
w
_multi
_
aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
a
d
d
i
s
l_aff_normali
z
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n
V
e
rdoo
l
aege
a
d
d
extr
a
ct_in
t
erface for constructing
interfaces to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolaege
m
a
rk some data stru
c
tures and fun
c
tio
n
s
f
or
e
xpor
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add i
s
l_*_
t
o_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n
Verdoola
e
ge
add isl_union_pw_qpolynomia
l
_
rea
d
_
f
rom
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
ad
d
i
s
l_mul
t
i_
a
f
f_li
f
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
ad
d
isl_loca
l
_
sp
a
c
e
_lift
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
ad
d
i
s
l_
l
ocal_sp
a
ce_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
a
d
d isl_local_space_in
t
ersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ver
d
o
o
l
ae
g
e
add
i
s
l_multi_aff_r
e
ad
_
from
_
st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add is
l
_pw_aff_re
a
d_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
erdoolaege
add is
l
_
a
f
f_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdo
o
laege
add isl_pw_m
u
lti_aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add isl_pw_mult
i
_aff_from_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add isl
_
bas
i
c_map_lexmin_pw
_
mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolaege
pip:
o
p
ti
o
n
ally
use isl_b
a
sic_set_partial_le
x
min_pw_multi
_
af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdool
a
ege
a
d
d
isl_basic_
{
s
et,map}_partial_lex{
m
in,max}_
p
w_
m
ulti_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
add isl_pw_multi_aff_sub
s
t
itute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdo
o
laege
a
dd isl
_
s
e
t_substi
t
u
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoo
l
aege
add isl_local_space_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
is
l
_p
r
in
t
er_print_pw_multi_aff: partial support for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
add isl_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
a
dd isl_p
w
_*_get_d
i
m
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
V
erdoola
e
ge
add isl_pw
_
*_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
a
d
d
i
s
l_pw_*_
h
as_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaeg
e
add isl
_
p
w_*_
s
et_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolaeg
e
add isl_pw_
*
_get_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
ge
a
d
d isl_pw_*_get_t
u
pl
e
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl
_
basic_ma
p
_from_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Ve
r
d
o
olae
g
e
a
dd isl_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ver
d
oolaege
isl_pw_te
m
p
l
.
c: rename align_params_pw_pw_and to includ
e
PW
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
a
d
d isl_map_dim_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
o
o
laege
p
r
i
vately exp
o
rt isl_b
a
sic_map_
f
oreach_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdo
o
la
e
ge
add
isl
_
ba
s
ic_map_el
i
minate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add isl_basic
_
m
a
p_
h
a
s
_dim_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
erdo
o
laeg
e
Merge
branch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-10-01
Sven
Verdoolaege
isl_basic_ma
p
_eliminate_vars:
g
auss result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
V
e
rdool
a
e
g
e
a
dd isl_aff_set_di
m
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
S
ven Ve
r
doolaege
a
dd isl_loca
l
_space_set_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven
Verdoolaeg
e
a
d
d i
s
l_m
a
p_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ver
d
oola
e
ge
add is
l
_sp
a
ce_
f
ind_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
exp
o
rt
isl_p
w
_aff_intersect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
exp
o
rt isl_p
w
_aff_
p
la
i
n_is_
e
q
u
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
a
dd
g
eneric
isl_pw_
*
_s
e
t_
t
u
p
le_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
isl_
s
e
t_intersect: pr
o
perly handle
i
ntersec
t
i
o
n with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
S
v
en Verdoolaege
isl_access_info_
c
ompute_flow: a
l
ign paramet
e
rs of input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
Sve
n
V
e
r
d
oolaege
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
fix isl_set
_
involves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n Verdoola
e
g
e
add is
l
_se
t
_plain_is_f
i
xed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdo
o
l
ae
g
e
add isl_set
_
fr
o
m_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
e
r
doolaege
add isl_
s
p
a
ce_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoolaeg
e
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
is
l
_
qpolyno
m
ial_m
o
rph: properly handle den
o
minators
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolaege
add isl_mat_
d
iag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
isl_tab_pip
.
c: sol_
f
or_add:
c
orr
e
ctly set denominat
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdo
o
laege
is
l
_tab_pip
.
c: sol_map_add: fi
x
double f
r
ee on
e
rr
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ver
d
oola
e
ge
i
s
l_stream: accept "==" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Ve
r
doo
l
a
ege
add isl_union_pw_*
_
pl
a
in_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ve
r
doolaege
a
dd isl_pw_*_plain
_
is
_
equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
add isl_
s
et_
p
l
a
i
n
_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
r
doo
l
aeg
e
add isl_
m
a
p_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoolaege
isl_
s
tream_ne
x
t
_
token: treat "-0" as two
t
o
k
ens '-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoolaege
drop "npar
a
m" a
r
gument from isl_{set,map}_read_from_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
Sven V
e
r
d
ool
a
ege
d
o
c: document
*
_move_dim
s
f
u
nction
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
drop
i
sl
_
d
i
v
a
bstr
a
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
ve
n
Ver
d
oolaege
is
l
_{
i
n,}equalit
y
_al
l
oc: take isl_local_space in
t
ead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
d
oc: update e
x
a
mple
cod
e
to change in ret
u
rn type
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sven Ver
d
oolaege
p
rovide ful
l
proto
t
ypes for some functions with
n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven
V
erd
o
olaege
do
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
S
v
en Verdoolaeg
e
add isl_se
t
_gist_pa
r
am
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
laege
make
isl_pw_* object live i
n
a
ma
p
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
add isl_space_e
x
tend_domain_wit
h
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
olaege
a
d
d
isl_space_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_local_
s
pace_is
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add i
s
l_lo
c
a
l
_space
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
implement isl_
c
onstraint o
n
top of isl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
is
l
_
vec_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
oo
l
aege
isl_aff
.
c: extract isl_lo
c
al_space_get_activ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
isl_
o
utput
.
c: drop redundant "set" argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
is
l
_union_*
_
alloc: project space onto paramet
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
explic
i
t
ly differentiate be
t
ween spaces of maps,
sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next