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_set_upper_bound_si
2011-11-02
Sven Verdoolaege
ad
d
is
l
_set_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n V
e
rdo
o
laege
docum
e
nt *lower_bo
u
n
d
_s
i
f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Ve
r
do
o
laege
isl_union_
p
w_*_
g
ist: special case gi
s
t with respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add isl_union_p
w
_*_
g
is
t
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Ve
r
doolaege
add is
l
_
p
w_*_g
i
st_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdo
o
lae
g
e
exp
o
rt
isl_
p
w_multi_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven V
e
rdoolaege
add isl
_
multi
_
aff_gi
s
t
_
p
aram
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoo
l
aege
add isl_qpo
l
y
n
o
m
i
al_
g
ist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdo
o
laege
a
d
d isl_qp
o
ly
n
omial_f
o
ld_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
exp
o
rt isl_qpolynomi
a
l_fold_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
ola
e
ge
add isl_
a
f
f
_
g
i
st_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
l
a
ege
add isl_s
e
t
_gist_p
a
rams_
b
asic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoo
l
aege
add isl_basic
_
set
_
intersect
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdool
a
e
g
e
i
sl_uni
o
n_pw
_
*_intersect_domain: special case p
a
rameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoolaege
add union_p
w
_
*_i
n
tersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdo
o
l
a
e
g
e
add isl_pw_*_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolae
g
e
a
dd isl_union_map_
p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en
V
erdoolaeg
e
doc: expla
i
n d
i
re
c
tion of
depend
e
nc
e
relati
o
ns from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoolaege
i
sl_map_is_s
u
bset: a
l
ign p
a
rame
t
e
rs if needed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en
V
e
rd
o
olaege
i
s
l_
p
w_*_opt: use corr
e
ct
s
pace
in case of empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-01
Sven Ver
d
ool
a
ege
i
sl_tab_
p
i
p
.
c
:
s
o
l_pma_a
d
d:
add miss
i
n
g
finalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-31
Sven Ve
r
doola
e
g
e
isl_id_alloc: allow isl_i
d
s
w
ith the same name but
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-31
Sven Verdoolaege
i
s
l_unio
n
_
s
et_gist: special case gist with res
p
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
isl_map_alloc_space: fix
memory leak
o
n error p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven
Verdoolaege
isl 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verd
o
olaege
interface/Make
f
il
e
.
a
m
:
a
p
pend extra cop
y
o
f
CL
A
NG_LDFLAGS
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-20
Sven Verdool
a
ege
isl_tab_
p
i
p
.
c: set_row_c
s
t_to_div:
don't as
s
ume coeffici
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-20
Sven Ver
d
oolaege
i
s
l_t
a
b_pip
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
S
v
en Verdoolaege
remove undocumented isl_b
a
s
i
c
_
{set,
m
ap}_for
e
a
ch_lex
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Ve
r
doolaege
i
sl_test: te
s
t isl_basic_map_lexmi
n
_pw_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n Verdool
a
ege
a
dd i
s
l_unio
n
_map_gist_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
erdoolaege
a
d
d isl_map_gist_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n
Verdoolaege
add isl_union_
m
ap_gist
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sve
n
Verd
o
ol
a
ege
isl_un
i
on
_
map_intersect_domain: special case i
n
tersectio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
ve
n
Ve
r
d
o
o
laege
isl_union_set_inters
e
ct: special c
a
se
i
ntersecti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sve
n
Verdoolaege
add
isl_union_map_
i
nter
s
ect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n Verdo
o
l
a
e
g
e
add
i
sl_union_set_is_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaege
isl_
p
oi
n
t_get_
c
oo
r
dinate: chec
k
val
i
dity of "pos" arg
u
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdool
a
e
ge
interface
/
e
xt
r
act_interf
a
c
e
.
cc: a
d
ju
s
t to re
n
ame of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
rena
m
e isl_pw_
a
ff
_
a
d
d
to isl_pw_aff_uni
o
n
_
add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verd
o
ola
e
ge
reimplement pw_aff_mul on top of a generic isl_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verdoolaege
isl_map_intersect: require
arguments
t
o live in
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolae
g
e
isl
_
input
.
c: rea
d
_tuple: use
isl_map_intersect_params
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
Sven Ver
d
oolaege
M
e
r
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-10-08
S
v
en
Verdoolaege
isl_st
r
eam_read_
m
ap: h
a
ndle neste
d
parenthes
i
zed
expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdool
a
eg
e
isl_bas
i
c_
{
s
e
t
,map}_partial_le
x
{min,
m
a
x
}_pw
_
mu
l
ti_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdool
a
ege
a
d
d isl_aff_no
r
malize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdoo
l
ae
g
e
ad
d
extract_interface for const
r
uc
t
ing interfaces to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdoolaege
m
ark some
data
s
t
r
uctur
e
s and functions for ex
p
ort
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
laege
add isl_*_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verd
o
olaege
add
i
sl_union_pw_qp
o
l
y
nomial_read_
f
rom_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl
_
m
u
lti_aff_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolaege
add is
l
_local_space_li
f
ti
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
add
is
l
_
l
ocal_
s
pace_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_local_space_in
t
ersec
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
add
isl_
m
ulti
_
a
f
f_
r
e
a
d_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_a
f
f
_
read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
o
olaege
add isl_pw_multi_aff_
r
ead
_
fr
o
m_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
r
d
oolaege
add is
l
_pw_multi_a
f
f
_
from_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
i
s
l
_
b
as
i
c_map_
l
exm
i
n_pw_m
u
l
t
i_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n Verdoolaege
pip: optio
n
a
l
ly use isl_basic
_
set_partial_
l
exmin_p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add i
s
l
_
basic_{set,map}_
p
ar
t
i
al
_
lex{min,max}_pw_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_m
u
l
ti_aff_sub
s
titute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
a
dd isl_
s
et
_
sub
s
titute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolae
g
e
add is
l
_
l
ocal_s
p
ace_
s
ubsti
t
ute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
isl_printer_print_pw_multi_aff: part
i
al support for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Ver
d
oolaege
add isl_p
w
_
m
ulti_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
V
e
rdoolaege
add isl_pw_*_get_dim
_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
ege
add
isl_pw_*_
g
et_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
r
d
o
o
laege
add isl_pw_*_has_tuple
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
add isl_pw_*_
s
et_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl
_
pw_*_ge
t
_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_
*
_get_tu
p
le_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
add
i
sl_basic_map_from_mu
l
ti_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
ege
add isl_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
i
s
l_pw_temp
l
.
c
:
rename
ali
g
n_params_pw_pw_and to include PW
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
g
e
a
d
d isl_map_dim_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
ool
a
ege
pr
i
va
t
ely ex
p
ort is
l
_ba
s
i
c_
m
a
p
_foreach_l
e
x
opt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Ver
d
o
o
laege
add isl_b
a
sic_map_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
ge
add isl
_
basic_ma
p
_
has_
d
i
m
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-10-01
Sven V
e
rdoolaege
isl_bas
i
c_map_elimina
t
e_v
a
rs: gau
s
s resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
o
l
aege
ad
d
isl_aff_set_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven
V
erdo
o
laege
add isl_l
o
cal_space_set_
d
im_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
olaege
add i
s
l_map_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
S
v
en Verdo
o
laege
ad
d
isl_space_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven
V
erd
o
o
l
aege
export isl_pw_
a
f
f
_intersect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
o
l
a
e
g
e
export isl_p
w
_aff
_
plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
add
g
eneric isl_
p
w_*_set_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
is
l
_set_in
t
ersect: p
r
o
p
e
r
ly handle intersecti
o
n
wit
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
Sven Verdoo
l
aege
isl_access_inf
o
_compute_f
l
ow:
al
i
gn parame
t
ers o
f
input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
Sve
n
Verdool
a
ege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
S
v
en Verd
o
olaeg
e
fix isl_set_i
n
v
olves_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Ve
r
doolaege
add isl_set
_
plain_is_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oo
l
aege
add isl_set_fr
o
m
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolaege
add isl_space_set_
f
r
o
m_
p
ar
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven
Verdoola
e
ge
Mer
g
e
branch 'main
t
'
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olaege
i
s
l
_qpolyno
m
i
a
l_morp
h
:
p
roper
l
y han
d
l
e
denominato
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
add isl_mat_diag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next