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
S
v
e
n
V
erdo
o
lae
g
e
remo
v
e undocu
m
e
nted
i
sl_ba
s
ic
_
{set,m
a
p}_foreach_lex
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven V
e
r
d
ool
a
ege
isl_test: te
s
t isl_basic_map_lexmin_
p
w_m
u
l
t
i_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
add isl_unio
n
_map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
ven V
e
rdoolae
g
e
add isl_map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sve
n
Verdoo
l
a
e
ge
add
i
sl_union_map_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdo
o
laege
isl_uni
o
n_map_intersect
_
domain
:
special
ca
s
e
i
ntersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ve
r
doolaege
isl_union_set_
i
ntersect: spe
c
i
a
l
case inter
s
ection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdoolaege
a
d
d
isl_union_map_
i
ntersect_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
ven Verdo
o
laege
add is
l
_u
n
ion_
s
et_
i
s_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Ver
d
oolaege
isl
_
poin
t
_get_c
o
ordi
n
ate: ch
e
ck valid
i
t
y of "po
s
" argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven V
e
rdoolaege
int
e
rf
a
ce/extrac
t
_
interface
.
cc:
a
djust
to renam
e
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
erdoolaege
rename isl
_
pw_aff_add to isl_pw_aff_union_
a
dd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven V
e
rdoolaege
rei
m
p
l
ement pw_aff_mul on top of a generic isl_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Verdoolaege
isl_m
a
p_inte
r
sect: requ
i
re arguments to live i
n
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n
Ve
r
doo
l
aege
isl_i
n
p
u
t
.
c:
r
ead_tuple: use
i
sl_map_int
e
rsect_params
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
Sven
Verdoolae
g
e
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2011-10-10
Andreas Kloec
k
ner
Insert
missing error
c
he
c
k
i
nto isl
_
pw
_
*_i
n
t
e
rse
c
t_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
An
d
r
eas Kloeckner
Run isl_
b
a
si
c
_
map_fi
n
alize after isl_{b
a
sic_,}map_el
i
m
i
nate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-08
Sven V
e
rdoolaege
isl_stream
_
read
_
ma
p
: handle nested parenthesized
e
xpressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
isl_
b
a
s
ic_
{
set,map}_
p
artial_lex{
m
in,ma
x
}_pw
_
m
ulti_
a
ff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdoolaege
add isl_aff_normalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoo
l
aege
a
d
d ext
r
act_int
e
rface
for constructing in
t
erfaces to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verd
o
ol
a
ege
mark some data
s
tructu
r
e
s
and functio
n
s for
export
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verd
o
o
laege
add isl_
*
_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
a
dd
isl_union_p
w
_q
p
olynomia
l
_rea
d
_f
r
om
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Ve
r
doolaeg
e
add
isl_mult
i
_aff_li
f
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
add
isl_loca
l
_space_lifting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
a
d
d
i
sl_local_space_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add isl_local_space
_
inters
e
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdo
o
laege
add
is
l
_multi_aff_re
a
d_from_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
ge
add isl_pw_aff_read
_
from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
add isl_aff_r
e
ad_fr
o
m_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Verdool
a
ege
add isl_pw_mult
i
_
a
ff_read_
f
r
om_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add is
l
_pw_m
u
l
t
i_aff_f
r
om_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add isl_basic_map_lexmi
n
_pw_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
pip: optionally use isl_basic_se
t
_partial_lexmin_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Verdoola
e
ge
add
i
sl_basi
c
_
{
s
et,map}_partial_lex{min,ma
x
}
_p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en V
e
rdo
o
l
aege
add isl_pw_mu
l
ti_af
f
_substi
t
u
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ve
r
d
o
ola
e
g
e
add isl_set
_
subs
t
itu
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add isl_local_spa
c
e_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
is
l
_printer_p
r
int_pw_
m
ulti_aff: part
i
al support for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdo
o
laege
add isl_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add isl_pw_
*
_get_
d
im_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdo
o
l
aeg
e
add
i
sl_pw_
*
_get_d
i
m_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
add
i
sl_pw_*_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
add is
l
_pw_*
_
s
e
t_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
r
d
oolaege
a
dd isl
_
p
w
_*_get_tuple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_*_
g
et_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolae
g
e
add
isl_basic_map_from_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
i
sl_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ver
d
oolaege
isl_pw_templ
.
c: re
n
ame align_p
a
rams_pw_pw_and
to include PW
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n Verdoolaege
add isl_map_di
m
_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Ver
d
oolaege
privately export isl_
b
asic_map_foreach_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
add isl_basi
c
_map_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
add isl_basic_map_h
a
s_di
m
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
a
eg
e
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-10-01
Sven V
e
rdoolaege
isl_basic_map_e
l
imin
a
te_vars: gauss
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rdoolaege
a
d
d i
s
l
_
aff_se
t
_
dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
S
v
en
Verdo
o
laege
add
i
sl_local_space_se
t
_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
r
d
oolaege
add isl_map_find_dim_by_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
S
v
en Verdool
a
ege
add isl_space_fin
d
_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
export
i
s
l
_pw_
a
ff_intersect_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
olaege
e
x
port isl_pw_aff_plain
_
is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
a
d
d
generic isl
_
pw_*_se
t
_tupl
e
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoola
e
ge
i
sl_
s
et
_
intersect:
properly ha
n
dle intersection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
Sven Verdoola
e
g
e
isl_access_info_co
m
put
e
_f
l
ow: ali
g
n parameters of input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sven Verd
o
olaeg
e
fix i
s
l
_set_inv
o
lves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
a
ege
add isl_set_plain_i
s
_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven
V
e
rdool
a
ege
add
isl_set_from_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdool
a
ege
add isl_s
p
ace_set_from_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolae
g
e
Mer
g
e branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdo
o
l
aege
i
s
l_qpolynomial_morph
:
properly ha
n
dle
deno
m
inators
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erd
o
olaege
add isl_mat_
d
iag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en
V
erd
o
olaege
i
s
l_tab_pip
.
c:
sol_for_
a
dd:
c
orrectly set
den
o
m
i
nator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
isl_
t
ab_
p
i
p
.
c
: sol_map_add
:
f
i
x
d
o
uble
f
ree on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ver
d
oola
e
ge
i
sl_str
e
am: a
c
c
e
pt
"
==" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaeg
e
add isl_u
n
i
o
n_pw_*_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoo
l
aege
add
isl_pw_*_plai
n
_is
_
equ
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Ve
r
doola
e
ge
add
i
sl_set_plai
n
_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ver
d
oolaege
add isl_map_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
isl
_
stream
_
next_token
:
t
r
eat "-0"
a
s
t
w
o to
k
ens '-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rdo
o
laege
drop
"
nparam"
a
rgument from isl_{
s
et,map}_read_f
r
om_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdoolaege
doc: document *_m
o
ve_dims f
u
nctio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
doo
l
aege
dr
o
p
isl_div abstrac
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoo
l
aege
isl_{in,}equality_alloc:
take isl_lo
c
al_space inte
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
ven Verdoo
l
a
e
ge
d
oc: update e
x
ample
c
ode to change i
n
r
e
t
u
rn typ
e
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven
V
e
rdool
a
ege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sv
e
n Verdoolaege
provide fu
l
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 Verdoola
e
ge
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sv
e
n
V
erdoolaege
add isl_set_gist_p
a
ram
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
V
erdoolaege
m
ake isl_pw_* object live i
n
a map space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
a
d
d is
l
_space_exte
n
d_doma
i
n
_
with_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n V
e
rd
o
o
l
aege
add isl_
s
p
ace_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
add isl_local_space_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
add isl_loc
a
l_space_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolae
g
e
imple
m
ent isl_con
s
traint
on top of isl_
v
ec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ver
d
oolaege
add
isl_
v
ec_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oola
e
ge
isl_aff
.
c: extrac
t
isl_l
o
ca
l
_space_get_active
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verd
o
o
laege
isl_out
p
ut
.
c: drop redundant "set" argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next