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_union_set_wrapped_domain_map
2014-11-20
S
v
en
Verdoolaege
add isl_
u
nion_set_wrapped_domain
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Ve
r
doolaege
add isl_set_wrapped_do
m
ain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
sl_union_map_
i
nvolves_
d
im
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Ver
d
o
o
l
aege
add isl
_
un
i
o
n
_pw_*_fi
n
d_dim_b
y
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolae
g
e
add isl_
p
w_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
g
e
a
d
d i
s
l_multi_*_
f
ind_dim_by_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
d
oolaege
add isl_
a
ff_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_un
i
on_map_
f
ind_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdo
o
laege
add isl_ba
s
ic_map_find_
d
i
m
_by_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdo
o
laege
add is
l
_loc
a
l_spac
e
_find_dim
_
by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
add isl_union_pw_*_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
sl
_
union_set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
sl_uni
o
n
_
pw_multi_
a
f
f
_multi_va
l
_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add isl_p
w
_multi_aff_
m
ul
t
i_
v
al_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
Ver
d
o
olaeg
e
a
dd isl
_
m
ulti_a
f
f_multi_val_o
n
_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
add isl_pw_aff_val_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
d
d isl_union
_
*
_sca
l
e_down
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
la
e
ge
gene
r
alize
i
sl_pw_aff_sca
l
e
_
down
_
val
to i
s
l_{multi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
a
d
d isl_qp
o
lynomial_fold_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
add isl_qpoly
n
omial_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add isl_val_inv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-11-20
S
ven Ver
d
oolae
g
e
i
s
l_basi
c
_
map
_
gist: avoid mod
i
fyi
n
g input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sve
n
V
erdoolaege
add isl_local_spa
c
e_is_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdo
o
laege
isl_union_
p
w_mult
i
_aff_add: co
m
pute
sum on sh
a
red definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n
Verdoolaege
declare isl_union
_
pw_
q
polynomial_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
aege
decla
r
e isl
_
u
n
i
on_pw_mult
i
_
aff_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
de
c
l
a
re isl_
u
nion_pw_m
u
l
t
i_aff_gist_p
a
ra
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_union_pw_multi_aff_coale
s
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doolae
g
e
d
eclare isl_union_pw
_
multi_aff_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verd
o
olaege
d
eclare isl_union_pw_mu
l
ti_aff_pl
a
in_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
dool
a
ege
d
ec
l
are isl_uni
o
n
_pw
_
mul
t
i_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
l
aeg
e
declare i
s
l_union
_
pw_mult
i
_aff_extract_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoo
l
aege
declare isl_union_pw_
m
ult
i
_aff_from_pw_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaege
dec
l
a
re i
s
l_pw_m
u
lti_aff_reset_t
u
ple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaege
declare isl_mu
l
ti_*_flatten_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
e
c
lar
e
is
l
_multi_aff_m
o
ve_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
l
aege
d
e
c
lare isl_union_
m
ap_t
o
_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdoolaege
d
e
clare isl_union_set_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare i
s
l_m
u
l
ti_aff_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n
V
erdoolaege
declare isl_map_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolaege
declare isl_s
p
ace_to
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdo
o
laege
doc: e
x
plain use of memor
y
management annotation on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Ve
r
doola
e
ge
doc: doc
u
ment *_to_str
f
un
c
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sve
n
Verdo
o
laege
doc: gr
o
up funct
i
on t
y
pes
and operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
doc:
g
r
oup dimension an
d
tu
p
l
e
identifi
e
r
f
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdoolaeg
e
doc: move isl_space op
e
ratio
n
s to
u
nary/binary o
p
erations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Verdoolaege
isl_unio
n
_pw_*_extract: ignore p
a
r
ameters i
n
space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
o
o
l
aeg
e
on
l
y allow a
sing
l
e isl_pw_*
o
bject with g
i
ven
domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoolaege
isl_
u
nio
n
_pw_*_extract_*:
r
e
n
a
m
e
"di
m
"
variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_
u
n
i
on_pw_*: r
e
n
a
me "dim
"
field
t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
e
r
do
o
laeg
e
i
sl_ast_
e
xpr_from_co
n
s
t
raint: dete
c
t str
i
de constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdool
a
ege
ad
d
isl_ast
_
op_zdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
add
i
s
l_aff_
c
oe
f
ficient_sgn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
dool
a
ege
add
i
s
l
_val
_
abs_e
q
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
dool
a
ege
mark isl
_
space_tuple_match as dep
r
ecat
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sv
e
n Verdoolaeg
e
i
s
l
0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
u
p
d
a
te A
U
T
HOR
S
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
S
v
en van Haastregt
doc: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
Merge bran
c
h
'maint'
commit
|
commitdiff
|
tree
2014-10-13
Sve
n
Verdool
a
ege
i
s
l
_
m
ap_convex_hu
l
l
:
detect
equalities before checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaeg
e
isl_s
c
hedule_co
n
straints_comput
e
_sched
u
le:
allow
p
artial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verd
o
olaege
a
d
d isl
_
map_n_b
a
sic_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
S
v
en V
e
rdoolaege
s
plit scheduler code
from schedule
o
bject code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolae
g
e
make
i
sl_aff_pr
i
vate
.
h mor
e
self-c
o
ntained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
o
laeg
e
doc
:
fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Verdoolaege
d
ocume
n
t isl_set_is_singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc: upd
a
te isl_*_list docume
n
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
doolaege
doc: clean up i
s
l_val documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
e
n Verdoolaege
isl_
s
chedule
_
c
o
nstraints_comput
e
_s
c
he
d
ule: com
p
ress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdoo
l
aege
isl_sch
e
d_node: rename "dim" field
to
"
s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
add isl_morph_get_var_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
V
e
r
doolaege
ad
d
isl_morph
_
get_dom_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdoolae
g
e
add i
s
l_morph_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
doolaege
privately export
i
sl_
a
f
f_alloc_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoolaege
add isl_
m
at
_
is_scaled_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
add isl_
m
a
t_get_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n
V
erdoolaege
isl_basic_{set,map}_h
a
s_definin
g
_e
q
ualit
y
: allo
w
passi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en van Haastregt
add ast_always_p
r
int_
b
lock option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
S
v
en Verd
o
o
l
aege
d
o
c
ument isl_spac
e
_tupl
e
_match
as isl_space_
t
upl
e
_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sve
n
Ver
d
oola
e
g
e
i
s
l_
m
ap_plain
_
is_disjoint:
check
tuple spaces before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
S
ven Verdoolaege
isl
_
s
p
ace_tup
l
e_match: also ignore
parameters in
n
ested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n
Verdoolaege
isl_space_tuple
_
ma
t
ch: renam
e
"dim" variables
t
o
"
space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Ver
d
ool
a
ege
isl_test
:
t
a
ke options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoo
l
aege
isl_un
i
on
_
*_add_*:
perform
c
heck for "zero" part
u
nconditional
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_uni
o
n_*_add_*: avoid duplicate
ch
e
ck
s
i
n
callers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_
u
nion_m
a
p_is_single
_
va
l
ued: look at
d
om
a
i
n
s
pa
c
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdool
a
ege
i
sl_u
n
ion_
m
ap_is_single_valued: extract o
u
t
single_map_is_
s
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoolaege
isl_u
n
io
n
_map
_
is_sing
l
e_valued
:
add a couple of
ex
t
ra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_basic_map
_
output_defining_equality: accept div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verd
o
olaege
e
x
tract out
s
har
e
d isl_
b
a
s
ic_map_output_defining_equa
l
ity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verdoolaege
AST
g
enerator: drop re
d
undant lower bounds on stri
d
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdool
a
ege
Merg
e
br
a
nch 'mai
n
t'
commit
|
commitdiff
|
tree
2014-09-22
Sven Ver
d
o
olaege
isl_pw_*_gi
s
t:
special case context equal to
single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdool
a
ege
is
l
_
p
w_*_gist: specia
l
case uni
v
erse context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
i
s
l_test: generalize
i
sl_pw_qpolynomial_gist tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
S
v
e
n
Verdoo
l
a
eg
e
isl_map_simplify
.
c:
d
rop spu
r
ious
semicolo
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
isl_map_gist:
return universe on
g
i
st with empty
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoola
e
ge
isl_inp
u
t
.
c
:
bas
i
c
_m
a
p_read:
c
heck ty
p
e of
r
e
s
ult
re
t
ur
n
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
S
v
en
Ver
d
oolaege
isl_basic_m
a
p_gist
:
remove redu
n
d
a
nt
div constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
