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
extract out shared isl_pw_multi_aff_check_range
2018-08-28
Sven Ve
r
do
o
l
a
ege
extra
c
t o
u
t share
d
isl_pw_
m
ulti_aff_chec
k
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaeg
e
isl_aff_involves_dims: extract out isl_aff_
c
heck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extrac
t
out
s
hared isl_basi
c
_set_c
h
eck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
e
xtract out shared isl
_
qpolynom
i
al_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
extract out shared isl_multi_*_che
c
k_
r
ang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
V
e
r
d
oolaege
i
s
l_lo
c
al_check
_
pos: ext
r
a
ct out
isl_loca
l
_check
_
range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract
o
ut s
h
ar
e
d isl
_
co
n
s
t
r
aint_ch
e
ck_r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
extract o
u
t shared isl_local_space
_
c
h
eck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl
_
b
asic
_
map_plain_get_val_if
_
fixed:
reuse isl_map_c
h
eck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
e
g
e
isl_basic_map_sw
a
p_var
s
: reuse isl_basic_ma
p
_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
a
e
ge
isl_basic_map_
p
reimag
e
_vars: reuse isl_basic_map_check_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basi
c
_
m
a
p_elimi
n
ate:
reuse isl_basi
c
_map_c
h
eck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
lae
g
e
isl_bas
i
c_
m
ap_transform_
d
ims:
reuse isl_basic
_
map
_
check_ra
n
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven V
e
rdoolaege
isl_basic_ma
p
_h
a
s_
d
efining_equality
:
reuse isl_ba
s
ic_ma
p
_c
h
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
privately
e
x
p
o
se isl_basic_ma
p
_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ver
d
oolaege
isl_basic_map
_
offs
e
t: extract out isl_basic_map_var_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
aege
isl_schedul
e
_
n
ode_has_
p
arent: reuse is
l
_
s
c
hedu
l
e_n
o
de_get_tr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
V
er
d
oolaege
isl_
q
po
l
ynomial_cst_
o
n_domain: reuse
i
sl_qpoly
n
omial_zer
o
_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
i
sl
_
qpolynomial_val_on_d
o
main: reuse
i
sl_qpolynomia
l
_zer
o
_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
i
s
l_qpol
y
nomial_
r
at_cst_on_
d
omain: reuse
isl_qpol
y
nomi
a
l_zer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
i
s
l_pol
y
nomial
.
c: extract out sh
a
red domain_type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_test
.
c: remove some cod
e
d
u
plicati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
Merge
branc
h
'
maint'
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
aege
isl_basic_
m
ap_a
d
d_eq:
special case emp
t
y
input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoolaege
ad
d
isl_set_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
laege
isl_printer_p
r
int_schedule_tr
e
e_ma
r
k: use isl_schedul
e
_tree_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_sche
d
u
l
e
_tree
.
c: ini
t
i
a
l_domain_from_
c
h
i
ld
r
en:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven
V
e
r
doolae
g
e
isl
_
schedule_tree
.
c:
.
.
.
_exte
n
d_from_children:
use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Ver
d
oolaege
isl_schedule_tree_dr
o
p_child: use
is
l
_s
c
hedule
_
tr
e
e_n_children
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
laege
isl_sched
u
le_tree_update
_
a
n
chored: use isl_schedule_tr
e
e_n_c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
is
l
_
s
chedule_node_has_
n
ext_sibli
n
g: u
s
e isl
_
schedule_tree_
n
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdool
a
ege
i
s
l
_
schedule_tree_n_c
h
ildren: expli
c
i
t
ly handl
e
miss
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaeg
e
isl_val
_
che
c
k_match_
d
omain_space
:
upd
a
t
e documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdo
o
laege
d
rop unused isl_basic_set_swa
p
_
di
v
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoo
l
ae
g
e
isl_affi
n
e_h
u
ll
.
c
:
i
sl_basic_map_make_strides_expl
i
cit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
i
sl_sche
d
ule_node
.
c: collect
_
filter_
p
re
f
i
x_updat
e
:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
v
en Verdo
o
laege
isl_schedule_tree
.
c: print_tre
e
_band:
use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
ge
isl_schedule
_
node_band
_
sink:
u
se isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_t
e
st
.
c
: be
f
ore
_
f
or: use is
l
_b
o
ol f
o
r
local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoo
l
aege
i
sl_b
a
sic_ma
p
_align_divs: use isl_bool for local var
i
able
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
i
sl_
t
ran
s
itive_clo
s
ure
.
c: check_exactness_omega: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolae
g
e
isl
_
t
ransitiv
e
_closur
e
.
c: is_acy
c
lic: use is
l
_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_ast_
b
u
i
l
d_expr
.
c:
i
sl_ast_build_from_multi_pw_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_schedule_tree
.
c: sub
t
ree_
s
chedul
e
_extend_from_ch
i
l
dren
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
d
o
olaege
isl_c
o
n
v
ex
_
h
ull
.
c: convex_hull_pair
:
u
s
e isl_boo
l
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
rdoolaege
isl_ast_code
g
en
.
c:
c
ompute_domains: use isl
_
bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
a
ege
isl_test
.
c: test_affin
e
_hull: use
is
l
_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verdoolae
g
e
isl_p
w
_
q
po
l
ynomial_fold_c
o
vers: use isl_b
o
o
l for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
schedule_node
.
c
:
extension_from_domain: u
s
e isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
ol
a
e
ge
isl_schedule_no
d
e
.
c: isl_schedule_node_group: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
is
l
_s
c
hedule_node
.
c: locally_covered_by_domain: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_s
c
h
e
du
l
e
_
node
.
c: group_b
a
nd
:
use i
s
l_bo
o
l f
o
r local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdool
a
e
g
e
i
s
l_sch
e
dule_node_has_par
e
nt: us
e
i
s
l
_bool f
o
r loc
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_node
.
c: e
x
t
end_ext
e
nsio
n
: use isl_bo
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
ege
isl_ast_codegen
.
c:
a
fter_i
n
_tree: use i
s
l_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
a
st_c
o
dege
n
.
c
:
after
_
in_sequence:
use
is
l
_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
ae
g
e
isl_ast_codegen
.
c:
after_i
n
_
band:
use i
s
l_bool f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolaege
isl_sche
d
u
l
e_node
.
c
:
g
r
oup_domain: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
i
s
l
_
s
ch
e
dul
e
_node
.
c:
group
_
c
o
ntext: us
e
i
s
l
_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolaeg
e
isl_qpo
l
ynom
i
al_proje
c
t_domain_on
_
params: u
s
e isl
_
boo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
s
l
_
t
e
st
.
c: test_gist: use i
s
l_bool
for lo
c
al vari
a
bles
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oolaege
isl_schedu
l
e_no
d
e_
o
rder_be
f
or
e
_or_after: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
d
o
olaege
i
sl_coa
l
esce
.
c: check_coalesce_into_eq: use isl_b
o
ol
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
isl_sched
u
l
e_nod
e
.
c:
g
ist_leave: u
s
e isl_boo
l
f
or
l
o
cal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
o
l
a
ege
isl_sch
e
dule_
n
ode
.
c: gist_enter: use isl_bo
o
l for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl
_
ast
_
code
g
en
.
c: comput
e
_unroll_domain
s
: use isl_b
o
ol
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
doolaege
isl_basic_map_get_con
s
tr
a
int_list:
u
se isl_b
o
ol for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_a
s
t_build
.
c:
u
pdate_values: use isl_bool fo
r
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoola
e
ge
isl_multi_un
i
on_pw_aff_apply_multi_aff: use isl_bo
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_multi_unio
n
_p
w
_
a
ff_apply_a
f
f
: use isl_
b
ool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_mult
i
_
u
nion_
p
w
_aff_apply_pw
_
multi_aff
:
use isl
_
bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
ge
isl_m
u
lt
i
_
union_pw_a
f
f_apply_pw_aff: u
s
e isl_bool
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl
_
a
st_
b
uild_expr
.
c: try_ext
r
ac
t
_
m
od: use isl_stat
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
e
ge
i
s
l_ast_graft
.
c: equal_
i
ndependen
t
_guards
:
re
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Ve
r
doolaege
isl_val_get_
a
bs
_
num_chunks: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_ba
s
ic_m
a
p_identity:
in
l
ine basic_
m
ap_identity
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_qpolyn
o
m
i
al_
v
ar_on_domain: i
m
pose stricter check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdo
o
laege
isl_constraint_get_b
o
u
n
d: impose
stricter check for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
aege
isl_basic_set_from_constraint:
impose stricter check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
ge
isl_set_alloc_sp
a
ce: impose
stri
c
ter c
h
eck for
set
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
sl_aff
.
c: pw_
a
ff_gt
e
_set: rename "dim" varia
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map_rea
c
hing_path_lengths: rename
"
dim" variabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_map_p
o
wer
:
rename "dim"
vari
a
bles
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
sl_qpoly
n
o
mial_as_po
l
ynomial_on_domain:
r
en
a
me "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
laege
isl_bo
u
nd
.
c:
g
u
arded_poly
_
bo
u
n
d
: re
n
ame "d
i
m"
var
i
able
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oo
l
ae
g
e
isl_range
.
c
:
propaga
t
e_on_bound_pair: rename
"
dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
o
laege
isl_range
.
c: mon
o
t
o
nicit
y
: r
e
name "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doola
e
g
e
isl_range
.
c
: has
_
si
g
n: ren
a
me "dim" variable to
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_bern
s
tein
.
c: ber
n
s
t
ein_coeffi
c
ients_
b
ase: re
n
a
me
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_
m
ap_apply_p
w
_qpo
l
ynomial_fold: r
e
na
m
e "dim" var
i
ables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oo
l
ae
g
e
i
s
l_ma
p
.
c
:
comp
u
te_divs: rename "dim" varia
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oola
e
g
e
is
l
_bas
i
c_map_range_ma
p
: rename "dim" va
r
iable
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_fl
o
w
.
c s
c
hed_info_alloc: re
n
ame "dim
"
variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_far
k
as
.
c
:
isl_spa
c
e_coef
f
i
cients:
rename
"
d
im_para
m
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Ve
r
dool
a
ege
is
l
_space_
u
nderlying: rename "
d
im" argument to
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_spac
e
_d
u
m
p
declara
t
ion:
rename "dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_pr
i
n
ter_print_space declaration: rename
"
d
i
m" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
e
ge
isl
_
polynomial
.
c:
s
et_div_s
l
ice
:
rename "
d
im" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
ae
g
e
isl_q
p
olynomia
l
_lift: re
n
ame "dim" argu
m
ent to
"
s
p
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoo
l
aege
i
sl_term_a
l
loc: rename "
d
i
m"
a
r
gu
m
ent to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next