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_tree_n_children: explicitly handle missing children
2018-08-25
S
ven
Ver
d
oolaege
isl_schedule_tree_n_c
h
ildren: explicitl
y
handle missing
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
isl_set_
i
s_equ
a
l: use is
l
_bool for local variabl
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
shared_outer
:
u
s
e isl_
b
ool_no
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
domain_f
o
l
lows_at_
d
ep
t
h: use isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
T
obias Gross
e
r
basic_map_i
s
_emp
t
y_add: use enum variable instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gr
o
sse
r
is_
s
ubset_entry: u
s
e
isl_b
o
ol_false in
s
t
e
ad
o
f integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
is
l
_arg:
use
n
amed con
s
tant to ide
n
t
ify arguments wit
h
o
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
i
sl_val_check_match_domain
_
space:
update doc
u
mentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sve
n
Ver
d
oolaege
d
r
op unused isl_basic_set
_
swap_div
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verd
o
olae
g
e
isl_affine_h
u
ll
.
c: isl_basic_map_make
_
strides_explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
S
v
en
Verdoolaege
i
s
l_schedule_nod
e
.
c: collect_
f
ilter_prefix_upda
t
e:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven V
e
rdoo
l
ae
g
e
isl_schedu
l
e_tre
e
.
c: p
r
int_tre
e
_ban
d
: use is
l
_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oolaege
isl_sche
d
u
l
e_n
o
de_b
a
nd_sink: use
isl_b
o
ol for loc
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoo
l
aege
isl_te
s
t
.
c:
b
e
f
ore_for
:
u
s
e
i
sl_bool for loc
a
l va
r
iable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
o
laege
isl_basic_ma
p
_align_divs
:
use isl_boo
l
for loc
a
l varia
b
le
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
i
s
l_transitive_closur
e
.
c: check_e
x
a
ctn
e
ss_
o
mega: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
o
l
a
eg
e
isl_transi
t
ive_closure
.
c
:
is_acyclic: use
isl_b
o
ol
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_ast_bu
i
ld_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
Sven Ver
d
oola
e
ge
isl_s
c
hedul
e
_tree
.
c: su
b
tree_schedule_extend_from_ch
i
ld
r
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
aege
isl_co
n
vex_hull
.
c: convex_hull_pair: us
e
is
l
_bool
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdoolaege
isl_ast_codegen
.
c: co
m
pute_d
o
m
a
i
n
s:
use isl
_
bo
o
l for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
laege
i
sl
_
test
.
c:
test_af
f
ine_hu
l
l: use isl_bool
f
or
local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_pw_qpolynomial_fold_c
o
vers: use i
s
l_bo
o
l
f
or local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
i
sl_schedule
_
node
.
c: extensi
o
n_from
_
domai
n
: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedu
l
e_node
.
c: isl_sched
u
le_node_group: u
s
e isl_
b
ool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oo
l
aege
isl_sched
u
le_nod
e
.
c: locally_c
o
vered_by_do
m
ain: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_
s
chedu
l
e_node
.
c
: grou
p
_ba
n
d: use
is
l
_
bool for loc
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_sched
u
l
e
_node_has_parent: use i
s
l_b
o
o
l
for
l
ocal
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_schedule
_
node
.
c: extend_e
x
t
ens
i
o
n
:
u
se isl
_
b
o
ol
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_ast_co
d
e
g
en
.
c: af
t
e
r
_in_
t
ree: use
isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_codege
n
.
c: after_in_sequenc
e
:
use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_ast_codegen
.
c: after_
i
n_band: use
i
sl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdo
o
laege
isl_schedule_node
.
c: group
_
domai
n
: u
s
e
isl
_
bool f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdool
a
e
g
e
isl_s
c
hedule_node
.
c: grou
p
_context:
u
se isl_bool
f
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdool
a
eg
e
isl_qpolynomial_project_d
o
main
_
o
n
_params: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_te
s
t
.
c: test_gist: u
s
e
i
sl_boo
l
f
o
r loc
a
l va
r
iables
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaeg
e
isl_schedule_nod
e
_o
r
der_be
f
ore_or_a
f
ter: u
s
e isl_
b
ool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
sl_coalesce
.
c: chec
k
_coalesc
e
_into_eq: use isl
_
bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdoolaege
isl_schedule_node
.
c:
gist_lea
v
e: u
s
e isl_bool
f
or local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
a
e
g
e
isl_sc
h
edule_no
d
e
.
c: gist_
e
n
ter: use is
l
_boo
l
for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
o
la
e
ge
i
s
l_a
s
t_codege
n
.
c:
c
ompu
t
e_unr
o
ll_
d
omai
n
s: use is
l
_
b
ool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_basic
_
ma
p
_
get_cons
t
r
aint_lis
t
:
use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_as
t
_
b
u
i
ld
.
c:
update_values: use i
s
l
_
bo
o
l
for
local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_multi_unio
n
_
p
w_af
f
_
a
p
ply_
m
ul
t
i_aff: us
e
isl
_
bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
aege
isl_multi_u
n
ion_pw_aff_apply_a
f
f:
u
s
e isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_multi_un
i
on_p
w
_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
V
erdoolaege
isl
_
multi_union_p
w
_aff_apply
_
pw_aff:
u
se isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
i
sl_ast
_
bui
l
d_expr
.
c: try_extract_mod:
u
se isl_stat
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaege
i
s
l_a
s
t_graft
.
c: equal_
i
ndependent_guards:
return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
val_get_abs_num
_
chun
k
s:
return is
l
_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_basic_map
_
ident
i
ty: inline ba
s
ic_m
a
p_identity
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
s
l_basic_map_
i
d
e
ntity: use
isl_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
doolaege
isl_m
a
p
.
c:
b
a
s
ic_map
_
iden
t
ity:
r
euse isl
_
basic_map_equa
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qp
o
lynom
i
al_va
r
_on_domain: i
m
pose str
i
cte
r
chec
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_constraint_get_b
o
und: impose
s
t
r
i
ct
e
r
c
heck
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_basic_set_from_cons
t
rain
t
: i
m
pose
s
tricter check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_set_alloc_space: i
m
pose
stricter ch
e
ck for set
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_sp
a
ce
_
underlying: retu
r
n
set space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laege
isl_basi
c
_
set_preimage: use i
s
l
_basic_set_
a
dd_dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
eg
e
i
s
l_union
_
*_set_h
a
s_dim: ren
a
me
t
o
isl_u
n
i
o
n
_*_set_ha
s
_spac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
is
l
_u
n
ion_*_set
_
has_d
i
m
:
rename
"dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
l
a
ege
isl_aff
.
c: pw_af
f
_gte_set:
rena
m
e
"
dim" v
a
riab
l
e to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
is
l
_set_flatten_m
a
p
:
rename "d
i
m" variables
t
o "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
is
l
_transitive_closure
.
c: un
i
o
n_fl
o
yd_
w
arshal
l
_on_list
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
o
l
aege
isl_space_lift
:
r
en
a
m
e "di
m
" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
i
sl_space_join: rename
"dim" var
i
able to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
s
p
ace_alloc: rename
"dim"
v
a
r
iable to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_lo
c
al
_
space_offset: r
e
name "dim" vari
a
bl
e
to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_
t
ran
s
it
i
ve_clos
u
re
.
c: construct_po
w
e
r
:
r
en
a
me
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c: map_d
i
m_opt
:
rename "di
m
" variab
l
e to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
e
rdoolaeg
e
isl_basic_set_solutions
:
rename "
d
im"
v
ariab
l
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
is
l
_basi
c
_
set_coe
f
fi
c
ients: rename "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_
s
e
t
_l
i
ft: re
n
ame "dim" var
i
a
b
le to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl
_
map
.
c
:
map_a
p
p
l
y_r
a
nge:
r
ename "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
o
olaege
isl_ba
s
ic
_
set_sample_po
i
n
t: ren
a
me "dim"
var
i
ab
l
e to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_factoriz
e
r_groups
:
renam
e
"dim" variable
t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
i
s
l
_basic_set_l
i
ft: renam
e
"dim" variable t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdoolaege
isl_basic_
m
ap_a
d
d_constraint: rena
m
e "di
m
" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_bernstein
.
c:
ber
n
stein_c
o
e
f
f
i
cien
t
s_cell: rena
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_ma
p
_reaching_path_length
s
: ren
a
me "dim" v
a
ri
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
g
e
is
l
_map_power: rename "d
i
m" var
i
ables t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_qp
o
lynomial_as_polyn
o
mial_on_doma
i
n: rename "di
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_union
_
p
w_*
_
from_pw_*: rename "
d
i
m
" va
r
i
a
ble to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolae
g
e
isl_bound
.
c:
g
uarded_p
o
ly_bo
u
nd: r
e
name "dim"
v
ari
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_rang
e
.
c:
propagate_on_bound_
p
air: rena
m
e "dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oolaege
isl_range
.
c: monotonicity: ren
a
me
"dim" variabl
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_
r
ange
.
c: has_sign: renam
e
"dim" variable
to "
s
pace
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
s
l
_
bernste
i
n
.
c: be
r
n
s
tein_coe
f
ficient
s
_base: re
n
ame
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_tab_pip
.
c: split_dom
a
in: ren
a
m
e
"
d
i
m
" v
a
r
iable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_map
_
a
p
ply_pw_qpolyno
m
ial_fold: rena
m
e "dim" variab
l
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_m
a
p_deltas_
m
ap: rename "domain_dim
"
vari
a
ble to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl
_
transitive_closure
.
c: add_
l
en
g
t
h
:
re
n
ame "dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdoolaege
isl_transitive_closur
e
.
c: set_path_len
g
th: rena
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl
_
tr
a
nsitiv
e
_cl
o
s
u
r
e
.
c: path
_
a
long_delta:
:
rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoola
e
ge
i
sl_basic_
m
ap_ran
g
e_product: r
e
name "dim" varia
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_bas
i
c_ma
p
_produ
c
t: re
n
a
me "dim" vari
a
ble
to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oola
e
ge
isl_basi
c
_map_del
t
a
s
_m
a
p: rena
m
e "dim" variable
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
laege
isl_m
a
p
.
c: compute_div
s
: rename
"
dim" var
i
a
ble to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
ge
isl_basic_map_ra
n
ge_map: rename
"
dim"
v
ariabl
e
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verd
o
olaege
isl_ba
s
ic_map_domain_map: rename "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next