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_
a
f
f
_normalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
d
o
olae
g
e
add ext
r
act_int
e
rface for construct
i
ng interfaces to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolae
g
e
mar
k
some data st
r
ucture
s
a
n
d functions fo
r
ex
p
ort
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verd
o
o
laege
add isl_
*
_
to_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rdoolaege
add is
l
_u
n
ion_pw_qpoly
n
o
m
ial_r
e
a
d
_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add i
s
l_mul
t
i_aff_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
add isl_
l
ocal_
s
pace_lif
t
in
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
la
e
g
e
add
isl_local_s
p
ace_
l
ift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoo
l
aege
add
i
sl
_
local_s
p
ace_inte
r
sec
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
add isl
_
multi
_
aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
add isl_pw_aff_read_fro
m
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add isl_
a
f
f
_read_from_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Verdoolaege
add isl_pw_multi_aff
_
read_from_
s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ver
d
oolaege
add isl_
p
w_multi_aff_from_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
a
d
d
i
sl_
b
asic_map_
l
e
xmin_pw
_
multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erd
o
olaege
pip: op
t
iona
l
ly use isl_basic_set_partial_l
e
xmi
n
_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdool
a
ege
add isl_basic_
{
set,map
}
_partial
_
lex{min,max}_
p
w
_
mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d isl_pw_multi_aff_substitut
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
i
s
l
_set_subst
i
tute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Ver
d
oola
e
ge
add isl_local_
s
p
ace_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n
V
er
d
o
olaeg
e
isl_pr
i
nter_print
_
pw_multi_aff: partial suppor
t
f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
o
o
lae
g
e
add isl_pw_mul
t
i_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n Verdool
a
ege
add i
s
l_pw_*_
g
et_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Ver
d
oolae
g
e
add
isl_pw_*
_
get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
g
e
add isl_pw_*_has_tup
l
e_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
a
d
d
isl_pw_*_set_dim
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
add isl_p
w
_*_ge
t
_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
V
e
rdoolaege
add isl_p
w
_*
_
get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Ver
d
oola
e
ge
add isl_
b
a
s
ic_map_f
r
om_mu
l
ti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
la
e
ge
ad
d
i
sl_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdo
o
laege
isl_
p
w_t
e
mpl
.
c: rename alig
n
_params
_
pw_pw_and to include PW
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
o
laege
add
isl
_
map_dim_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
privately expor
t
isl_
b
a
s
ic_map
_
foreach_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
erdoolaege
add
i
sl_basi
c
_m
a
p
_e
l
iminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add
isl_basic_
m
ap_has_dim_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolae
g
e
M
erge
branch 'maint'
commit
|
commitdiff
|
tree
2011-10-01
Sven Verdoolaege
isl_basic_
m
ap_eliminate_vars
:
ga
u
ss res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
Ver
d
oola
e
ge
a
dd
i
sl_af
f
_set
_
dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
r
d
o
o
laege
add isl_local_space_set_dim
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdo
o
l
aeg
e
add i
s
l_map
_
find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rdo
o
la
e
ge
add isl_space_find_dim_by_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sv
e
n Verdo
o
laege
e
x
port isl_pw_aff_i
n
t
e
rse
c
t_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rdoo
l
a
e
ge
export isl_
p
w_aff_plai
n
_
is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoo
l
aege
a
d
d
gen
e
r
i
c
isl_pw
_
*_set_
t
uple_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
isl_set_interse
c
t: pr
o
perly
handle intersection
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
Sv
e
n V
e
rdoolaege
isl_a
c
cess_in
f
o_c
o
mpute_flow: align
p
ara
m
eters
of input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
Sven
V
erdoolaeg
e
Merge bran
c
h
'maint
'
commit
|
commitdiff
|
tree
2011-09-23
S
ven Verdoolaege
fix isl_
s
et_involve
s
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
add
i
sl_set_
p
lain_
i
s
_
fix
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven
V
erdool
a
ege
ad
d
isl_set_fro
m
_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Ver
d
oolaege
a
d
d
i
sl_s
p
ace_s
e
t_from_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
Merge br
a
nch 'maint
'
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoolaege
isl_q
p
olynomial_mo
r
ph: properly han
d
le
d
enominat
o
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven V
e
rdoolaege
add isl
_
mat_diag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaege
isl_t
a
b
_pip
.
c: sol
_
for_a
d
d:
c
orr
e
c
tly set denominato
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n Verdo
o
laege
isl_tab_
p
ip
.
c: sol_map_ad
d
:
fix double fr
e
e
o
n err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Verdoolaege
isl_stream: ac
c
ept "=
=
" t
o
ken
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en Verdoo
l
a
ege
a
dd isl_u
n
ion_pw_*_
p
l
ai
n
_
i
s_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verd
o
olaege
a
dd is
l
_pw_*_plain_i
s
_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en Verdo
o
la
e
g
e
add isl_set_plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
r
doo
l
aege
add isl_map_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verd
o
olaege
isl_
s
tream_next_token
:
tr
e
a
t "
-
0" a
s
two tokens '-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
l
a
ege
drop "npar
a
m" argument from
i
sl_{s
e
t,map}
_
re
a
d_from_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
S
ve
n
Verd
o
olaege
d
o
c: document *_move_dims functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oolaege
drop is
l
_div ab
s
tra
c
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdoola
e
ge
isl_{i
n
,}equa
l
i
ty
_
al
l
oc: take is
l
_local_space intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
Verdoolaege
d
o
c:
u
p
date example cod
e
to change
in ret
u
rn type of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdo
o
laege
M
erg
e
branch '
m
aint'
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
provide full
prototypes for som
e
f
u
nctions with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdool
a
e
g
e
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdool
a
ege
a
dd isl_set_gist_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
make
isl_pw_* o
b
j
e
c
t
l
i
ve i
n
a ma
p
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolae
g
e
add
i
sl_space_e
x
tend_do
m
ain_with_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add is
l
_space_is_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdool
a
ege
ad
d
i
sl_loca
l
_space_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
a
d
d
i
sl_l
o
cal_space_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
i
m
plement
i
sl_constraint on
top
o
f isl_ve
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
add
isl
_
v
e
c_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
o
l
a
ege
isl_aff
.
c:
e
x
tract isl_local_sp
a
ce_get_a
c
tiv
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
eg
e
i
sl
_
o
u
tput
.
c: dro
p
redundan
t
"set
"
argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_union_
*
_
a
llo
c
:
p
r
o
ject spa
c
e onto parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolae
g
e
explic
i
tly
differentiat
e
be
t
ween sp
a
ces
of maps, sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Ver
d
oola
e
ge
allow i
s
l_ids with negative re
f
e
r
ence cou
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
olaege
proper impl
e
mentation of isl_unio
n
_map_from_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
V
e
r
doolaege
isl_m
a
p_from
_
d
o
main_and_range
:
d
rop
e
xplicit conver
s
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
eg
e
isl_set_apply_pw_qpol
y
nomial_
f
old: dr
o
p explicit con
v
ersion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_tab_b
a
si
c
_set_non_trivial_lexmin: dro
p
explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl_tab_pip
.
c: fix whitespace
issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ve
r
doolaege
i
sl_set_read_from_*: coerce
set
-
like maps into sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
doolaege
isl_input
.
c: map_read_pol
y
lib: convert set-like ma
p
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_inp
u
t
.
c: obj_read: st
a
rt off
f
r
om pa
r
ameter space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ve
r
d
o
olaege
i
s
l_inp
u
t
.
c: repre
s
ent nes
t
ed tup
l
e as isl_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_inp
u
t
.
c: obj_re
a
d_po
l
y_or_fold: represent domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_basic_set_multiplic
a
tive_call: explici
t
ly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
olaege
i
sl_p
w
_qp
o
lynomial_fo
l
d_bound: explicitly proje
c
t
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
ol
a
e
g
e
isl_
q
polynomial_bound_on_domain_bernstein: explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
isl_qpolynomial_boun
d
_on_do
m
a
i
n_range: explicitly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
eg
e
isl_union_map_fr
o
m
_ma
p
: e
x
plicitly pro
j
ect
on
p
ara
m
eter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
V
erdoo
l
a
e
ge
i
s
l
_
union_ma
p
_alig
n
_params:
ex
p
li
c
itly pr
o
ject on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_polynomial
.
c: c
o
nstant_on
_
domain:
explicitly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next