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
isl_inequality_negate: return modified result
2018-09-02
Sven Verdoo
l
aege
isl_inequality_negate: retur
n
mo
d
ified r
e
sult
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_s
c
hedule_band
.
c
: has_a
n
y: use isl_union_set_e
v
e
r
y_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
oo
l
aeg
e
a
dd is
l
_
u
nion_set
_
e
v
ery_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
la
e
ge
is
l
_schedul
e
_nod
e
.
c
:
colle
c
t_filter_prefix*: ret
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdool
a
eg
e
i
sl_
c
onvex_hull
.
c: hash_basic_set: re
t
u
r
n isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_transi
t
ive_c
l
os
u
re
.
c: add_length: retu
r
n
i
sl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
is
l
_
output
.
c: next_is_opposite: return
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_
c
oa
l
esce
.
c: add_sub
s
: return isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
c
onvex_h
u
ll
.
c: uset_i
s
_bound: return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verd
o
olaege
isl_transitive_closure
.
c: check_exactness_omega:
r
eturn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl
_
transi
t
ive_cl
o
sure
.
c
:
i
s
_
a
cyc
l
ic: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
lae
g
e
isl_sc
h
edule_b
a
nd
.
c:
has_*: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
isl_ast
_
b
u
ild_need_schedule_m
a
p
: return is
l
_
b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_m
o
rph
.
c
:
identity_o
n
_param
e
te
r
s:
return
i
sl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_mat_is_scaled_id
e
ntity: ret
u
r
n i
s
l_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolaege
isl_range
.
c
:
p
ropagate_on_dom
a
in: retu
r
n i
s
l_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
o
o
laege
isl_pw_
q
polyno
m
ial_fold_co
v
ers: return is
l
_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoola
e
ge
i
sl_vertice
s
.
c: can_select: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_vertices
.
c: i
s
_ind
e
pe
n
dent: ret
u
rn isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_ast_codeg
e
n
.
c
:
a
f
t
er_in_*: re
t
urn i
s
l_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaeg
e
is
l
_
in
p
ut
.
c: tuple_has_exp
r
: retur
n
isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
is
l
_sche
d
ule_node
.
c:
lo
c
ally_covered_by_domain: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_transitive_closure
.
c: increm
e
ntal_on_entire_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
laege
isl_transiti
v
e_closure
.
c: ha
s
_
s
p
u
rious
_
eleme
n
ts: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_transitiv
e
_cl
o
sure
.
c: empty_path_is_identity: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_constraint_i
s
_div
_
constraint: return isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
is
l
_schedul
e
_node
.
c: ha
s
_ancestors: retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaeg
e
i
s
l
_
poly_is_cst: retur
n
isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomia
l
.
c
: set_active: retu
r
n isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
isl_po
l
y_is_{
n
eg,}one:
r
eturn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doola
e
g
e
isl
_
qpoly
n
omial
_
is_{affine,cst}: re
t
u
rn isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoolaege
is
l
_po
l
y_is_{neg,
}
i
nft
y
: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdoolaege
isl_po
l
y_is_
n
a
n: return
i
sl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Ve
r
doo
l
aege
isl_poly_is_zero:
retu
r
n
isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdool
a
e
ge
isl
_
qpolynomi
a
l_get_de
n
:
i
mprove error handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolae
g
e
i
n
troduce exp
l
ic
i
t isl_
d
i
m_m
a
p_free
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n Verdoolaege
isl
_
multi_*_fa
c
t
or
_
range: us
e
correct dimension type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdool
a
ege
pip
.
c: ex
t
ract o
u
t mo
v
e
_parameters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdool
a
ege
expos
e
isl_u
n
ion_se
t
_project_out
_
all_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en
Verdool
a
e
g
e
extract out shared isl_space_dro
p
_all_
p
arams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_ast_bu
i
ld_get_space
:
r
e
us
e
isl_ast_bui
l
d
_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdoolaege
isl_ast_
b
uild_product:
r
e
us
e
i
sl_ast_
b
uild_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoola
e
ge
isl_as
t
_
b
u
ild_get_schedule
_
map_
m
ulti_aff
:
reuse isl_
a
s
t
_buil
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoo
l
aege
isl_ast_build_need_sche
d
u
le_map:
r
euse
i
s
l
_
a
s
t_bui
l
d_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaeg
e
is
l
_
a
st_build_set_
i
terat
o
rs: re
u
se isl_ast_build_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoo
l
ae
g
e
extract out s
h
ared isl_basic_set_c
h
eck_no_local
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verd
o
olaege
ex
t
ract out
share
d
isl_basic_set_check_no
_
params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
extract out sh
a
re
d
isl_poi
n
t_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaeg
e
e
x
tract
out
shared i
s
l_point_
c
heck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ver
d
o
olae
g
e
extract out share
d
isl_pw_multi_aff_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verd
o
olaege
isl_aff
_
involve
s
_di
m
s:
extract out isl_aff_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
r
doolaege
extract
o
u
t
s
hared isl_basic_set_ch
e
ck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
e
x
t
r
act out shared isl_qpolynomial_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ve
n
Verdoolaege
extr
a
ct out shared isl_multi_
*
_
c
heck_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaeg
e
i
s
l_local_check_pos
:
extract out
isl_
l
ocal_check_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
ex
t
ract out shared is
l
_constrai
n
t_chec
k
_
r
ange
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaeg
e
extract
o
ut shared isl_loca
l
_
space_c
h
e
ck_
r
ange
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oola
e
ge
isl
_
basic_map_plain_get_val_if_fixed: reuse
isl_map_c
h
eck_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
la
e
ge
isl
_
b
a
sic_ma
p
_swap_v
a
rs: re
u
se
isl_basic_map_check_r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
eg
e
i
sl_basic_m
a
p_
p
reimag
e
_
v
ars: reu
s
e
i
s
l
_basic_ma
p
_
c
h
e
ck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verd
o
olaege
isl_basic_m
a
p_eliminate
:
reuse isl
_
b
asic_map_chec
k
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdo
o
laege
isl
_
b
a
sic_map
_
transform_di
m
s: reus
e
isl_basic
_
map_
c
he
c
k_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
i
sl_basi
c
_map_has_defining_equality:
reuse
i
sl_basic_map_che
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
p
r
iva
t
ely expose
i
sl
_
basic_map_che
c
k
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_basic_map_offset:
extra
c
t
out isl_basic_map_var_of
f
se
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
o
laeg
e
i
s
l_
s
chedule_node_h
a
s_pa
r
ent:
r
euse isl_sc
h
edule_no
d
e_get_tr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n V
e
rdo
o
laeg
e
isl_qpolynomial_cst_on_domain
:
r
euse
i
sl_qpolyno
m
i
a
l_zero_o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolae
g
e
isl
_
qpolynomial
_
va
l
_
o
n
_domain
:
re
u
se isl_qpolynomia
l
_zero_
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_qpolynomial_rat_cst_on_domain:
r
euse isl_qpolynomial_zer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl_polynom
i
al
.
c
: extr
a
ct out
shared
d
o
mai
n
_type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
Verdoola
e
ge
isl_test
.
c: remov
e
some
code dup
l
ication
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoo
l
aege
M
e
rge
b
r
a
n
ch 'maint'
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
erdo
o
laege
isl_basi
c
_map_add_eq: special case empty input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
laege
add isl_set_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
r
doola
e
ge
i
s
l
_
p
rint
e
r_print_schedule_tree_m
a
rk: use isl_schedule
_
tree_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
erdoolaege
isl_
s
c
h
e
dule_tree
.
c:
i
n
itial_domain_
f
r
om_
c
h
ildren:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
doo
l
aege
isl_sch
e
d
u
le_tree
.
c:
.
.
.
_ext
e
nd_from_childr
e
n
: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
d
o
olae
g
e
isl_schedule_tree_drop_c
h
il
d
: use isl_schedule_tree_n
_
children
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_
s
c
hedule_tree_u
p
date_anchored: use i
s
l_sche
d
ule_tree_n_c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_schedule
_
node_has_nex
t
_sibling: use i
s
l_sch
e
d
u
le_tree_n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
is
l
_schedul
e
_tree
_
n_children: expli
c
itly ha
n
dle missing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven
Ver
d
oolaege
isl_val_che
c
k_match_d
o
main_space:
update doc
u
menta
t
io
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
ven Verdoolaege
dro
p
unused isl_basi
c
_
set_sw
a
p
_div
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_aff
i
ne_
h
u
l
l
.
c:
isl_basic_map_make_strides_e
x
plici
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaeg
e
is
l
_sched
u
l
e
_node
.
c: collect_filter_pre
f
ix_update
:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
ven Verdoo
l
ae
g
e
isl
_
schedule_tre
e
.
c
: print_
t
ree_b
a
nd: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
ge
isl_schedule_node_band_sink:
use
i
sl_boo
l
for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolae
g
e
isl_test
.
c: before_for:
u
se isl_b
o
ol for local vari
a
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_align_
d
ivs: use isl_bool
for local va
r
iable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transit
i
ve_closure
.
c: check_e
x
a
ctness
_
omega: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
isl_transitive_c
l
osure
.
c: is
_
acyclic: us
e
i
s
l_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoola
e
g
e
isl
_
as
t
_build_
e
x
pr
.
c
:
isl_ast_b
u
ild_fr
o
m
_multi_pw_
a
ff
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_schedule_tree
.
c: su
b
tree
_
schedule_extend_from_children
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_convex_hull
.
c: convex
_
hull_pair: use i
s
l_
b
ool fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaege
isl
_
as
t
_
c
odegen
.
c: compu
t
e_domains: use
isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_tes
t
.
c: test_affi
n
e_hull: use isl_bool fo
r
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
p
w
_
qpolyn
o
m
i
al_fold_co
v
e
r
s
:
us
e
i
sl_
b
oo
l
f
or local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_schedule_node
.
c:
exten
s
i
on
_
from_dom
a
in: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoo
l
aege
isl_sche
d
ule_node
.
c: i
s
l
_schedule_
n
ode_group: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olaege
isl
_
schedule_no
d
e
.
c: locally_covered_by
_
domain:
u
se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next