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_map_domain_factor_range
2014-11-20
Sve
n
Verdoolaege
add isl_m
a
p_domai
n
_
factor_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
V
erdoolae
g
e
add
i
sl_spa
c
e_domain
_
f
a
c
t
o
r_r
a
n
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
ge
a
dd isl_union_se
t
_wrapped_d
o
main_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Ve
r
doolae
g
e
add isl_set_wra
p
p
e
d_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoola
e
g
e
a
d
d i
s
l_unio
n
_map_i
n
v
ol
v
es_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add is
l
_
u
nion_pw_*_
f
i
nd_dim_by_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoola
e
g
e
add isl_pw
_
*
_
find
_
dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
a
dd
i
sl_multi_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolaege
add i
s
l_aff
_
find
_
dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaeg
e
add isl_union_map_find_dim_by_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaeg
e
ad
d
isl_basic_map_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
do
o
laege
a
d
d isl_local_spa
c
e_find_di
m
_by_n
a
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_pw_*_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ve
n
Verdo
o
laege
add isl_union_s
e
t_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
o
laege
add
isl_union_pw_m
u
lti_af
f
_multi_val_
o
n_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ve
n
Verd
o
olaege
add
isl_pw_mu
l
ti_aff_multi_val_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add isl_multi_aff_multi_va
l
_on_sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add i
s
l_pw
_
aff_val_o
n
_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_*_s
c
ale_do
w
n_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdo
o
laege
generalize isl
_
pw_aff_scale_
d
o
wn_v
a
l
to
i
sl_
{
m
u
lti
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdool
a
e
g
e
add is
l
_qp
o
ly
n
omial_fold_s
c
ale
_
down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
add isl_qpolynomial_scal
e
_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
add isl_val_
i
nv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
isl_b
a
sic_map_gist:
avoi
d
modifying input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven V
e
rdoolaege
add isl_loc
a
l_space_i
s
_
p
aram
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven Ver
d
oo
l
a
e
ge
isl_
u
nion_pw_multi_aff_add:
com
p
ute su
m
on
s
hared definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Ver
d
oolae
g
e
declare isl_un
i
on
_
p
w
_qpolynomial_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
de
c
lare isl_unio
n
_pw_
m
ulti_af
f
_inters
e
ct_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doolaege
declare isl_union_pw_mu
l
ti_af
f
_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
declar
e
isl_u
n
io
n
_
p
w_mul
t
i_aff_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oo
l
aege
de
c
lar
e
isl_
u
nion_pw_mul
t
i_aff
_
scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en
V
erdoolaege
declare isl
_
uni
o
n
_
pw_mu
l
ti_aff_plain_
i
s
_
e
qual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
de
c
lare i
s
l_unio
n
_
pw_mul
t
i_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en
V
e
r
d
oolaege
decl
a
re isl_union_pw_multi_aff_extract_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oola
e
ge
decla
r
e is
l
_union_pw_multi_aff_from_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
declar
e
isl_pw_multi
_
aff_reset_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
laeg
e
declare isl_m
u
lti_*_flatten_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
e
rdo
o
laege
d
e
clare isl
_
mu
l
ti_aff_mov
e
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdool
a
ege
declare
isl_union_map_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_union_set_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Ve
r
d
o
olae
g
e
declare i
s
l
_
mu
l
t
i
_aff
_
to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaeg
e
decla
r
e isl_m
a
p_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
e
rdoo
l
aege
declare isl_space_to_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
doc: explain u
s
e of memory ma
n
agem
e
nt annotation on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
S
ven Ver
d
oolaege
doc
:
do
c
ument *_to_str
f
u
n
ctio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verd
o
ol
a
ege
doc: group
f
unction types and operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven
Verdool
a
e
g
e
d
o
c: grou
p
d
i
m
e
nsion and tup
l
e identifier fu
n
cti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolae
g
e
doc: move is
l
_
s
p
a
c
e
ope
r
ations to unary/bi
n
ary
operations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Verdoo
l
aege
isl
_
un
i
on_pw_*_e
x
tra
c
t: ignore parameters i
n
space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Verdoolaege
only allow a single isl_p
w
_
*
object with given
domai
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaeg
e
isl_union_pw_*_extract_*: re
n
a
m
e "dim" variab
l
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
olaeg
e
isl_union_pw
_
*: re
n
ame "dim" field to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoola
e
ge
i
sl
_
ast_expr_from_constraint: detect stride cons
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
e
n
V
e
rdoola
e
ge
add
i
s
l
_ast_op_zdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoola
e
ge
add is
l
_
a
f
f
_coeffici
e
n
t
_
sg
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdo
o
laege
a
dd isl_val_abs_eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
doolaege
mark isl_spac
e
_tu
p
le_mat
c
h as deprecated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
S
ve
n
Verdo
o
laege
isl
0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdool
a
ege
u
p
date A
U
T
H
ORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven van Haastre
g
t
doc: fix t
y
pos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven
Verdoolaege
Mer
g
e
b
ranch 'ma
i
nt'
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
is
l
_map_co
n
vex_hull:
d
e
tect equali
t
ies before ch
e
cking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verd
o
olaege
is
l
_sc
h
edule_constrai
n
t
s
_compute_sche
d
ule
:
a
l
low
p
artial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven
Verdoolaege
add
i
sl_ma
p
_n_bas
i
c_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Ve
r
d
o
olaege
split scheduler code from schedule object code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdo
o
laege
m
a
ke i
s
l
_
aff_pri
v
ate
.
h
m
o
re self-cont
a
i
ned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verd
o
ola
e
ge
doc: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n
V
erdoolaege
do
c
ument isl_set_
i
s
_singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdo
o
laege
doc: update
isl_
*
_
li
s
t
docume
n
t
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
o
o
l
a
e
ge
doc
:
clean up isl_val documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolae
g
e
isl
_
schedule_co
n
strai
n
t
s
_compute_sc
h
edu
l
e:
c
o
m
press
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdoolaege
isl_sche
d
_node:
rename "dim" field to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoo
l
aege
add isl_mo
r
ph_get_var_mu
l
t
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
e
n
Verdoo
l
aege
a
dd isl_morph_get_dom_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
er
d
oolaege
add isl_m
o
r
p
h_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
doolaeg
e
pr
i
vately export
i
sl_aff_
a
l
l
oc_
v
ec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
add
i
sl_mat_is_scale
d
_iden
t
i
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
e
rdoolaege
add isl
_
mat_get_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdo
o
l
a
eg
e
isl_basic
_
{set,map}_has_
d
efi
n
ing_equa
l
ity: allow pas
s
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven van
H
aastre
g
t
add a
s
t_always_print_block option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sven
Verdoolaege
document isl_
s
p
a
ce
_
tu
p
le_m
a
t
c
h a
s
isl_space_tuple_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verd
o
olaege
isl
_
map_plain_is_di
s
joint:
c
heck tuple
spaces before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven Ve
r
doo
l
aege
is
l
_s
p
ace
_
tuple_match: also
i
gnore parame
t
ers i
n
nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
doola
e
ge
isl_space_tuple_matc
h
:
r
e
name "dim" variables to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_test: take o
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdoo
l
aege
isl_union
_
*
_
a
d
d
_
*: perform check for "zero
"
p
a
r
t unc
o
nditio
n
a
l
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_union_*_add
_
*:
a
void dupl
i
cate
checks in
c
allers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Ve
r
doolaege
isl_u
n
ion_
m
ap_is_sin
g
le_value
d
:
l
ook at domain spac
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoo
l
aege
isl_union_map_is_single_va
l
ued:
ex
t
r
act ou
t
s
ingl
e
_map_is_si
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaeg
e
isl_union_map_is_single
_
valued
:
ad
d
a
c
oup
l
e
of ext
r
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
erdoolaege
isl_basic_map_
o
utput
_
defining_
e
q
u
ality: acce
p
t divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
e
x
t
ract out shared isl_b
a
si
c
_m
a
p_output_defi
n
ing_equal
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
e
n
Verdo
o
laege
AST g
e
nerator: drop
re
d
und
a
nt lower bounds on
s
trided
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Ver
d
oolaege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n V
e
rdo
o
laege
isl_pw_*_gist: special case co
n
te
x
t equal to single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdool
a
ege
isl_pw
_
*_gist: special case universe c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
r
doolaege
i
sl_test: g
e
nera
l
ize isl_pw_qpol
y
n
o
mial_gist
t
est
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
S
v
en Verdoolaege
isl
_
m
a
p_simplif
y
.
c: dro
p
spurious semico
l
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
isl
_
map_gist:
r
e
t
urn unive
r
se
o
n
gist with empty
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next