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_pw_*_find_dim_by_name
2014-11-20
Sven
Verd
o
olaege
a
d
d isl_
p
w_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
ool
a
e
ge
add
is
l
_multi_*_find_d
i
m_by_
n
a
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
g
e
a
d
d isl_aff_find_d
i
m_b
y
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
dd isl_union_
m
ap_find_dim_by_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add isl
_
basic_map_find_d
i
m
_
by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
d
d
isl_local_space_find_dim_
b
y_name
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
ven Verdoolaege
add isl_union_
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl
_
union_pw_m
u
lti_aff_mult
i
_
val_on
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_pw_m
u
lti_a
f
f_multi_val_
o
n_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add
isl_multi_aff_mu
l
ti_val_on
_
s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoola
e
ge
a
d
d i
s
l_pw_aff_va
l
_o
n
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_*_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erd
o
ola
e
g
e
generaliz
e
is
l
_pw_aff_scal
e
_
down_val
to isl_{multi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
dd is
l
_q
p
olynomial_fold_scale_down
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
V
e
rdoo
l
aege
add isl_qpolynomial_scale_down_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n Verdoo
l
aege
add isl_val_inv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-11-20
S
ven
V
er
d
oolaege
i
sl_ba
s
ic_map_gis
t
: avoid modifying
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdool
a
ege
add
i
sl_local_
s
pace_is_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
S
v
en Verdoo
l
aege
is
l
_u
n
ion_
p
w
_mult
i
_aff_add: compute
sum on shared
d
efinition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoola
e
ge
declare isl_union_pw_qpolynomial_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
d
o
o
laege
dec
l
are isl_union_p
w
_multi_aff
_
intersect_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
declare isl_union
_
pw_mul
t
i_aff_gist_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoola
e
ge
decla
r
e
is
l
_union_pw_
m
ulti_aff_coa
l
esce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
aege
declare isl_union_pw
_
multi_aff
_
s
c
ale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
o
laege
d
e
clare i
s
l_union_pw_multi_aff_plain
_
is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
decl
a
re
i
sl_union
_
pw_multi_af
f
_gi
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decl
a
re i
s
l_u
n
i
o
n_pw_mult
i
_af
f
_extract_pw_m
u
l
ti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare i
s
l_u
n
io
n
_
pw_multi
_
aff_from_pw_
m
ulti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Ver
d
ool
a
e
g
e
declare is
l
_pw_mul
t
i_aff_re
s
et_tu
p
le_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
er
d
oolaege
decl
a
re isl_multi_*
_
flatt
e
n_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdo
o
l
a
ege
dec
l
are isl_mu
l
ti_aff_
m
ov
e
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdoola
e
ge
declare isl_un
i
on_map_t
o
_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolaege
declare isl_u
n
i
on_set_t
o
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaege
d
eclare isl
_
mul
t
i_aff_t
o
_
st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaege
declare isl_map_t
o
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
dec
l
ar
e
isl_spa
c
e
_to_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
doc: explain use of
memory management annotation
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoolaege
do
c
: document *_to_
s
tr function
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoolaege
d
o
c
: group
function typ
e
s and operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ve
n
Verdoolaege
do
c
: gro
u
p dimen
s
i
o
n and tuple identifier fun
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdool
a
ege
doc: move is
l
_space operations to
una
r
y/b
i
n
ary operatio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Ve
r
doolaege
isl_uni
o
n_pw_*_extract: ignore para
m
eters in space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdo
o
laeg
e
only all
o
w a
s
in
g
l
e
isl_pw_*
obje
c
t
wi
t
h
g
iven domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdoo
l
a
e
ge
isl_
u
nion_pw
_
*_e
x
tract_*: rename "dim" v
a
riab
l
e to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Verdool
a
ege
isl
_
union_p
w
_*
:
renam
e
"dim" field to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n
V
e
rdo
o
laeg
e
is
l
_ast_exp
r
_
f
rom_constraint: detect stride co
n
strain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoola
e
ge
add isl
_
ast_op_zd
i
v_
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
add isl_aff_c
o
efficient_sgn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Verdoolaege
add isl_val_abs_
e
q
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en
Verdool
a
ege
mark isl_space_tuple_match as deprecated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sven Verdoolaege
isl 0
.
1
4
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaeg
e
update AUT
H
ORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
Merge branch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2014-10-13
Sv
e
n V
e
r
d
oolaege
isl_map
_
convex_h
u
ll: detect equalities
b
e
fore checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
isl_schedule_c
o
n
s
train
t
s_compute_sc
h
e
d
u
l
e
:
all
o
w
p
artial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaeg
e
a
dd i
s
l_map_n
_
basic_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolae
g
e
split scheduler code
f
rom
schedule object code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdo
o
la
e
g
e
make i
s
l_aff_pri
v
ate
.
h more se
l
f-con
t
aine
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
dool
a
ege
doc:
f
ix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoola
e
ge
document isl_set
_
i
s
_singl
e
ton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
do
o
l
aege
d
oc:
u
pdate isl_
*
_
list d
o
c
umentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc: clean up isl_val d
o
c
u
mentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdoo
l
aeg
e
isl_schedule_
c
onstrai
n
ts_c
o
m
p
ute_s
c
hedule: compress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
V
e
rdoolaege
isl_sc
h
ed
_
node:
r
e
nam
e
"dim
"
field
t
o "
s
pace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdo
o
laege
add isl
_
morph_
g
et_var_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
oolaege
ad
d
is
l
_
m
orph_get_dom_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en
Verdoolaege
add isl_morph_g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoola
e
ge
privately ex
p
o
rt isl
_
a
f
f_alloc_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Ver
d
oolaege
ad
d
isl
_
mat_is_
s
caled_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoo
l
aege
a
dd
i
sl_
m
a
t_get
_
row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolae
g
e
i
sl_basic_{
s
et,map}_has_defin
i
ng
_
e
quali
t
y:
a
l
l
o
w passing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sven V
e
rdoolaege
document i
s
l_space_tuple_ma
t
ch
a
s
isl
_
space_tuple_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verd
o
o
l
a
e
ge
i
sl
_
map_pla
i
n
_
i
s_
d
isjoint:
c
heck
tupl
e
sp
a
ces before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sv
e
n
V
e
r
doolaege
isl_s
p
ace_tuple_match: al
s
o ignor
e
p
arameters in nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdoolae
g
e
isl_s
p
ace_t
u
ple_match: ren
a
m
e
"dim" variables to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoolaege
isl_test:
take options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
i
s
l_u
n
ion_*_add_*:
p
erform
c
heck for "zero
"
part unconditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_u
n
ion_*_add_*:
a
void
d
uplicate checks in
callers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoo
l
aege
isl_union_map_is_single_va
l
ued
:
lo
o
k a
t
domain spaces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verdoolaege
isl_union_map_is_single_value
d
:
ext
r
act out s
i
ngle_
m
ap_is_si
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdoolaege
i
s
l_union_map_is_single_
v
alued: a
d
d a couple
of extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_b
a
sic_m
a
p_output_defi
n
i
n
g_equality: accept divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Ver
d
oolaege
extract o
u
t
sh
a
re
d
isl
_
basic_map_output_d
e
fining_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
AS
T
generator
:
drop redund
a
nt l
o
wer bounds on
strided
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verd
o
olaege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2014-09-22
S
v
e
n
Verdoolaege
isl_pw_*_g
i
s
t: special case
c
o
ntext
e
qual to single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Ver
d
oolaege
isl_pw_
*
_gist: special
c
ase un
i
verse cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
doo
l
a
ege
isl_test: g
e
neral
i
z
e
isl
_
pw_qpolynomial_g
i
st tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven
V
erdo
o
laege
is
l
_
map_simplif
y
.
c: drop spurious semicolon
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
S
v
en
Verdoolaege
isl_
m
ap_gist: return un
i
verse
on gist
w
i
th empty set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaeg
e
i
s
l
_
input
.
c:
b
a
sic_
m
ap_read: check type of res
u
lt
r
e
turned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven
V
erdoola
e
ge
i
s
l_basic_m
a
p_
g
ist: remove
re
d
undant div constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
S
v
en
V
e
rdoo
l
aege
is
l
_
basic_map_gist
:
r
emov
e
obviously redu
n
d
a
nt red
u
ced
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_basic_map_gi
s
t: avo
i
d (temporari
l
y) adding context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven
V
erd
o
olaege
i
sl_
m
ap_sub
t
ra
c
t: check if inp
u
ts
are d
i
sjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
d
o
c/Submittin
g
Pa
t
ches:
mention that e
a
ch mail
should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Ve
r
doolaege
doc: fi
x
documentation of isl_basic_set_{i
n
,}equalities_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
Merge branch
'
maint'
commit
|
commitdiff
|
tree
next