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_schedule_node_has_parent: reuse isl_schedule_node_get_tree_depth
2018-08-28
Sv
e
n
Verdoolaege
isl_
s
chedule_node_has
_
pa
r
ent: reu
s
e isl_sched
u
le_node_get_tr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
la
e
ge
isl_qpolynomial_cst_
o
n_
d
oma
i
n
:
reuse isl_qpo
l
ynomial_zer
o
_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_q
p
olynomial_val_on_domain: re
u
se isl_qp
o
lynom
i
al_z
e
ro_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolae
g
e
isl_qpolynomial_rat_cst_on_do
m
ain:
r
euse isl_qpolynomial
_
zer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_p
o
lynomial
.
c: e
x
tract o
u
t shared d
o
main_ty
p
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_test
.
c
:
remove so
m
e code duplica
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolae
g
e
isl_basic
_
set_o
p
t:
r
e
us
e
is
l
_basic_set_g
e
t_divs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
ol
a
ege
isl_tab_pip
.
c: implement sp
l
it in terms of s
p
l
i
t
_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
erdoolaege
isl_basi
c
_set_total_
d
im: impl
e
ment in term
s
of
i
sl_ba
s
i
c_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdool
a
ege
isl_c
o
nstr
a
int
.
c:
u
se isl_basic_set_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl_
c
onstraint
.
c: use is
l
_basic_map_of
f
se
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
M
e
rg
e
branch
'm
a
i
nt'
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
drop
i
sl_basic_
s
et_e
x
tend
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
e
n Verdoolaege
dr
o
p isl
_
basic_set_add_equality duplica
t
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
aege
isl_b
a
s
i
c_map
_
add_
e
q: s
p
ecial
c
ase emp
t
y in
p
ut
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
is
l
_
basic_ma
p
_add
_
{
e
q
,in
e
q}: on
l
y modi
f
y single copy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
doolaege
i
sl_qpolynom
i
al_as_pol
y
nomial_on_dom
a
in: use isl_local_
s
pac
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
is
l
_qpo
l
y
n
omial_gist:
u
se is
l
_local_spa
c
e_
l
ift_s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
o
o
laege
a
d
d i
s
l_l
o
ca
l
_space_li
f
t_basic_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
a
e
g
e
isl_
a
ff_gis
t
: extract out
isl_local_sp
a
ce_lift_s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoolaege
add isl_
s
et_peek_s
p
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdool
a
ege
isl_printer_print_s
c
hedul
e
_
t
ree_mark: use isl_schedule_tree
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Ver
d
oolaege
isl_schedule
_
t
r
e
e
.
c
:
initial_doma
i
n_from_
c
hildren
:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_s
c
hedule_tree
.
c:
.
.
.
_extend_from_c
h
i
l
dren:
u
s
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Ve
r
doolaege
isl_schedu
l
e
_tree
_
drop_chil
d
: use is
l
_
schedule_tree
_
n_child
r
en
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
doo
l
ae
g
e
isl_
s
chedule_tree_update_anc
h
ored: use
i
s
l_sche
d
ule_tr
e
e_n_c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoolaege
isl_sc
h
edule_node_has_next_sibl
i
ng: use isl_sc
h
edule_tree_n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoolaege
isl_schedule_tree_n_childre
n
: e
x
pli
c
itly han
d
le missing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bias Grosser
isl_set_is_equal: use isl_bool for local var
i
a
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gr
o
sser
shared_outer: use isl_b
o
ol
_
not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bi
a
s Grosser
d
omain_f
o
llows_at_depth: use
i
sl_bool_n
o
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ias Grosser
basic_map_is_em
p
ty_ad
d
:
u
se
enum variable instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
i
s_subset_
e
ntry: us
e
isl_bool_f
a
lse instead of inte
g
er
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s
Grosser
i
s
l_
a
rg: use named constant to
identify arg
u
m
e
nts without
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_val_check_mat
c
h_do
m
ain_space: update documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoo
l
aege
drop unused isl
_
basic_set_swap_div
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sve
n
Verdoo
l
aege
isl_affi
n
e
_
hull
.
c
:
isl_bas
i
c_ma
p
_make_strid
e
s_e
x
plicit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdo
o
laege
isl_schedule_n
o
d
e
.
c: c
o
llect
_
f
ilter_prefix_
u
pdate:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoola
e
ge
i
s
l_schedule_tree
.
c
: print_tree_band:
u
se isl_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-23
Tob
i
as Gros
s
er
set -std=gnu99
f
or ima
t
h-32 in CFLAGS not CPPFLAGS
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_sched
u
le_node_band_sin
k
: use isl_bool
f
o
r local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oola
e
ge
isl_test
.
c: befor
e
_fo
r
:
u
se isl_
b
ool for local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_ba
s
i
c_map_align_di
v
s:
u
se is
l
_bool for local varia
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaeg
e
isl_tra
n
sitive_closure
.
c: chec
k
_exactness_o
m
ega: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_tr
a
nsitive_
c
losure
.
c: is_acyclic: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaeg
e
is
l
_ast_build_expr
.
c: i
s
l_ast_
b
u
i
ld_from_multi_pw
_
aff
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Ve
r
doolaeg
e
isl_schedule_tree
.
c:
subt
r
ee_sche
d
u
le_extend_from_children
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_c
o
n
vex_hull
.
c
:
co
n
vex_hull_pair:
u
s
e
isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_codegen
.
c: compute_
d
omains: use isl_bool fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoola
e
ge
isl_test
.
c:
test_affin
e
_
hull: u
s
e
isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_pw_q
p
olynom
i
al
_
fold_cove
r
s: use isl_
b
ool for
l
oca
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_schedule_node
.
c: extensio
n
_from_domain: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
ege
isl_schedule_
n
ode
.
c: isl_sch
e
dule_node_g
r
o
u
p: us
e
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_sc
h
edul
e
_node
.
c: loc
a
lly_covered_b
y
_domain: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
aege
isl_sch
e
dule_nod
e
.
c: group
_
band: use isl_b
o
ol for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
l
ae
g
e
isl_
s
chedule_
n
ode_has
_
p
a
r
ent: use i
s
l_bool for loc
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_sc
h
edule_node
.
c: extend
_
extension: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_as
t
_
c
o
d
e
gen
.
c
:
a
fter_in_tree:
u
s
e
isl
_
b
o
ol for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
is
l
_ast_codegen
.
c
: after_in_sequenc
e
:
use
i
sl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
sl_ast_codegen
.
c: af
t
er_in_b
a
n
d
: us
e
isl
_
b
o
ol for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_schedul
e
_node
.
c: gro
u
p_d
o
ma
i
n:
use isl_bool
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_no
d
e
.
c: group_context: use
i
sl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_
q
polyno
m
ial_pro
j
ect_domain_on_params: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
er
d
oolaege
isl_
t
es
t
.
c: test_gis
t
:
use is
l
_bool for local
v
ariables
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_no
d
e_order_before_
o
r_afte
r
: use is
l
_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_coa
l
esce
.
c: check_coalesce_in
t
o_eq: use isl_boo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_
s
chedul
e
_node
.
c
: gist_leave: use isl_bool for l
o
cal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_sch
e
dul
e
_node
.
c: gi
s
t_
e
n
t
er: use isl_
b
ool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_codege
n
.
c: comput
e
_unroll_domains: u
s
e
is
l
_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
lae
g
e
i
s
l_basic_map_get_
c
onstr
a
int
_
list:
u
se isl
_
bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_ast_build
.
c: update_values: use isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oolaege
is
l
_m
u
l
ti_union_pw_aff_apply_multi_aff: use
i
s
l_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_multi_union_pw_
a
ff_apply_aff: use is
l
_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
dool
a
ege
isl_m
u
lti_union_pw
_
aff_
a
pply
_
pw_multi_aff:
use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_multi_union_pw_a
f
f_apply_pw_a
f
f:
use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
la
e
ge
isl_a
s
t_bui
l
d_ex
p
r
.
c: try_extract_mod: use isl_stat
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoolae
g
e
isl_ast_graf
t
.
c: equal_indep
e
ndent_guards: r
e
turn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaeg
e
isl
_
val_ge
t
_abs_nu
m
_chunks: return isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdool
a
ege
isl_ba
s
ic_
m
ap_iden
t
it
y
: inl
i
ne basic_m
a
p_identity
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_b
a
sic_m
a
p_identity: use isl_spac
e
_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oolaege
isl_map
.
c: basic_map_identity: reuse isl_
b
a
sic_map_equal
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
is
l
_qpolynomial_va
r
_on_
d
omain: i
m
pose
s
tri
c
t
er check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
ege
isl_
c
onstraint_get_bound: impos
e
st
r
ict
e
r check for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
laege
isl_b
a
s
ic
_
set_f
r
om_c
o
ns
t
raint:
impose stricter che
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_set_al
l
oc
_
space: impo
s
e
stricter check for set
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_spa
c
e
_
u
nde
r
lying: r
e
tu
r
n set space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_basic_set_preimage: use i
s
l
_
basic_
s
e
t
_
add_
d
ims
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_union_*_
s
et_has_dim: rename
t
o isl_union_*_
s
et_has_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
ege
isl_un
i
on_
*
_set
_
has_dim:
r
ename "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_
a
ff
.
c: pw_aff
_
gte
_
set: renam
e
"dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl
_
set_flatten_
m
a
p
: renam
e
"di
m
" vari
a
b
les to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doo
l
ae
g
e
isl_transitive_closure
.
c
:
union_floyd_war
s
hall_o
n
_list
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olae
g
e
isl_space_lift: r
e
n
ame
"
dim" vari
a
ble
t
o
"
s
p
a
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
isl_space_j
o
in: rename "
d
im"
v
ariable to
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoola
e
ge
i
s
l_space
_
alloc:
r
ename "di
m
"
v
ar
i
a
b
le
t
o "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
l
ocal_space_offset: rename
"
d
i
m
"
var
i
abl
e
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_transitive_c
l
o
sure
.
c: construct_power:
r
en
a
me
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rd
o
o
laege
isl_map
.
c: map_
d
im_opt:
r
ename "
d
im" va
r
i
a
b
le to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_basic_set_sol
u
tions: rename "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_basic_set_
c
oefficients:
r
ena
m
e "dim
"
variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next