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,map}_is_disjoint
2014-11-20
S
ven Verdoolaeg
e
add isl_
u
nion_{
s
e
t,
m
ap}_is_
d
isjo
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_
b
asic_map_gist_d
o
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
V
e
rdoolaeg
e
add i
s
l_union
_
pw_*_s
u
btract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add i
s
l_pw_*_subtract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
a
d
d
i
sl_union_
m
ap_factor_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolae
g
e
add isl_union_map_factor_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl
_
union_map_ran
g
e_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add
isl_uni
o
n
_map_domain_factor_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
Verdoolaege
add isl_union_map_dom
a
in_factor
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Ve
r
doolaege
add isl_map_factor_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
add isl_map_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oo
l
aege
a
dd isl_space_factor
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
add isl_s
p
ace_fa
c
tor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verd
o
ola
e
ge
add is
l
_map
_
d
o
m
ain
_
f
a
ctor_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
ad
d
i
s
l_map
_
do
m
ain_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add isl_space
_
domain_f
a
c
tor_r
a
ng
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
ad
d
isl_union_
s
et_wrapped_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add isl_set_wrap
p
ed_dom
a
in_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add isl_union_map_invol
v
es_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
ad
d
isl_union_pw_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
Verdo
o
l
a
e
g
e
ad
d
isl_pw_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doola
e
ge
add
i
sl_mul
t
i_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_aff_
f
ind_dim_
b
y_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
ad
d
i
s
l
_union_
m
ap_find_d
i
m_by_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
V
e
rdool
a
ege
add isl
_
basic_map
_
find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Verdoolaege
a
d
d
isl_l
o
cal_sp
a
ce_fin
d
_d
i
m_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
Verdoolaeg
e
add isl_union_pw_*_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add isl
_
union_set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolae
g
e
ad
d
isl_uni
o
n_p
w
_multi_aff_multi_val_on_d
o
m
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
a
d
d is
l
_pw_multi_aff_multi_val_on
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaeg
e
add is
l
_multi_aff
_
multi_val_o
n
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
ad
d
isl_p
w
_aff_val
_
on_
d
o
m
ain
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
e
rdoolaege
generalize i
s
l
_
pw
_
aff_
s
cale_down_val to isl_{multi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
dd isl
_
qpoly
n
omial_fo
l
d_scal
e
_d
o
wn_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
sl_qpolynomial_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Ver
d
oolaege
add
isl_va
l
_i
n
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
V
erdoolaege
is
l
_bas
i
c_map_gi
s
t:
a
vo
i
d modif
y
ing in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven Ver
d
o
olaege
add isl_loc
a
l_space_is_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
S
v
en
V
erdoo
l
aege
isl_union_pw_multi_af
f
_
a
dd: compute sum on shared definiti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decla
r
e
is
l
_union_pw_qpo
l
ynomial_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdoola
e
ge
declare isl_union_pw_mu
l
t
i_aff_intersec
t
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
decl
a
re isl_union_pw
_
mu
l
t
i_aff
_
gist_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doolaege
decla
r
e isl_union_pw_mu
l
t
i
_aff_coa
l
e
sce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare
i
sl_union_pw_multi_aff_s
c
ale_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_
u
nion_pw_mult
i
_aff_
p
lain_is_
e
q
u
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
declare isl_union_p
w
_mult
i
_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
aege
decla
r
e isl_u
n
ion_
p
w_multi_aff_e
x
tract_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
declare isl_union_pw_mult
i
_
aff_from_pw
_
multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
declare isl_pw_m
u
lti
_
a
ff_re
s
et_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doo
l
aege
declare isl_mu
l
ti_*_flatten_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdoo
l
aege
declare isl_multi_aff_mo
v
e_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolae
g
e
d
eclare
i
s
l
_union
_
map
_
to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
aeg
e
declare
i
sl_union_set_
t
o
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoola
e
ge
d
eclare isl_multi_aff_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n V
e
rdoolaege
d
e
clare isl_m
a
p_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n
Verdoolaege
declare isl_spa
c
e
_
to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n Ve
r
doolaege
doc: explain
use of memory
m
anagement
a
nnotati
o
n
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoola
e
g
e
doc: document *_to
_
str f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven V
e
rdoolaege
d
o
c: group
f
unction
t
yp
e
s and opera
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
do
c
: group d
i
mension and
tuple
i
dentifier fu
n
c
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Verdo
o
laege
doc: move is
l
_space op
e
rations
t
o unary/bi
n
ary
o
perations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en V
e
r
d
ool
a
ege
isl_union_pw_*_ext
r
act: i
g
n
ore parameters in space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Verdoolae
g
e
only all
o
w a
s
ingle isl_pw_* object
with
g
i
ven domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
doola
e
ge
isl_union_pw
_
*_extract
_
*: rename "dim" va
r
iab
l
e
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_union_
p
w_*: re
n
ame "dim" field to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
i
sl
_
ast_expr_from_constraint: detect
str
i
de
c
on
s
tra
i
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
er
d
oolaege
add
i
sl_ast_op
_
zd
i
v_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Verdoolae
g
e
add isl_aff_coefficient_sgn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
o
ola
e
ge
add isl_val_a
b
s_eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdo
o
laege
m
ark
i
sl_space_tuple_match as dep
r
ecated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sve
n
Verdoolaege
isl 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven Ver
d
oolaege
u
pd
a
te AUTH
O
RS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sv
e
n Verdool
a
ege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
isl_map_
c
onvex_hul
l
:
dete
c
t equaliti
e
s before
c
hecking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
S
ven Verd
o
olaege
isl_s
c
hedule_constraints_compute_schedule: allow partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoo
l
aege
add
isl_map_
n
_basic_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verd
o
olaeg
e
split sc
h
edu
l
e
r code from
schedule objec
t
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
S
ven Verdoolaege
m
ake
i
s
l
_aff_pri
v
a
t
e
.
h more self-contai
n
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoolaege
d
o
c
:
fix typo
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoo
l
aege
document
isl
_
set_is_s
i
ngleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolaege
d
oc: upd
a
te i
s
l_*_lis
t
do
c
umentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc: clean up
i
s
l
_val documentatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdool
a
ege
isl_s
c
hed
u
l
e
_
constraints_co
m
pute_schedule: compres
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
isl_
s
ched_node: rename "dim" field to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaeg
e
ad
d
i
sl_morph_
g
et_
v
ar_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoo
l
a
e
ge
ad
d
i
sl_morph
_
g
et_dom_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdo
o
laege
add isl_morph_g
e
t_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoola
e
ge
privately export isl_aff_alloc_ve
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
olae
g
e
ad
d
isl_mat_is
_
scale
d
_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Verdoo
l
aege
ad
d
isl_m
a
t
_
get_
r
ow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdoolaege
i
sl_basic_{
s
et,map}_has_defining_equal
i
ty: allow
p
assi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sven Verdoolaege
d
ocument isl_space_t
u
ple_match as i
s
l_sp
a
ce
_
tup
l
e_is_
e
qua
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven
Verdoo
l
a
e
g
e
i
sl_map_plai
n
_
is_d
i
sjoint:
c
hec
k
t
uple
s
pa
c
es be
f
ore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven Ve
r
doolaeg
e
i
s
l_spac
e
_tu
p
le_mat
c
h: als
o
igno
r
e p
a
r
ameters in nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Ver
d
o
olae
g
e
isl_sp
a
ce_tup
l
e
_
match: r
e
name "d
i
m" var
i
able
s
to
"sp
a
c
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdoolaege
i
s
l_tes
t
:
take options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdool
a
ege
isl_u
n
ion
_
*
_
add_*: pe
r
fo
r
m chec
k
for "zero" p
a
rt uncond
i
ti
o
nally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n
V
erdoolaege
isl_un
i
on_*_add_*: avoid
duplicate checks in cal
l
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next