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_constraint.c: use isl_basic_map_offset
2018-08-28
Sven Verdoolaege
isl_constr
a
int
.
c: use is
l
_basic_map_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
Merg
e
br
a
nch
'maint'
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolae
g
e
drop isl_bas
i
c_set_extend
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
aege
drop isl_b
a
sic_s
e
t_add_eq
u
a
lity dupli
c
ate
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaege
isl_basi
c
_map_a
d
d_
e
q
: s
p
e
cial case empty input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoolaege
isl_basic_
m
ap
_
add
_
{eq,ineq}:
o
n
ly
modif
y
single copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
d
oola
e
ge
i
sl_qpolynomial_a
s
_
poly
n
omial_on_domain: use isl_local_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoola
e
ge
i
s
l
_
qpo
l
ynomial_gist: use
isl_lo
c
al_space_lift_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
add isl_local_spa
c
e_lif
t
_bas
i
c_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoolae
g
e
isl_aff_g
i
st: extrac
t
out is
l
_
l
ocal_space_lift_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
aege
a
d
d isl
_
s
et_peek_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
isl
_
printer_print_
s
chedu
l
e_t
r
e
e
_mark: use isl_schedule_tree_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
oolaege
isl_sche
d
ul
e
_tree
.
c: initial_d
o
main_from_children:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_
s
che
d
u
le
_
tr
e
e
.
c:
.
.
.
_ex
t
end_from_children: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
laege
isl_schedule_tree_drop_child: use is
l
_schedule_
t
r
e
e_n_children
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolae
g
e
isl_
s
chedule_tree_update_
a
nchored: u
s
e isl_schedule_
t
ree_n_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n V
e
rdoolaege
isl_sche
d
ule_n
o
de_has_nex
t
_sibling: use isl_sche
d
ule_tr
e
e_n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdo
o
laege
isl
_
schedule_tree_n_ch
i
ld
r
en: explicit
l
y ha
n
dle missin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_val_check_match_dom
a
in_space: upd
a
te docume
n
t
ation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven
V
e
rdoolaege
dro
p
un
u
sed isl_basi
c
_set_swa
p
_div
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdool
a
ege
i
sl_affine_hull
.
c
:
isl_basic_map_
m
ake_s
t
r
i
des_explici
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verd
o
olaege
isl_schedule_node
.
c
: c
o
llect_filter_prefix_up
d
ate:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sve
n
Verdoola
e
ge
isl_schedule_tree
.
c: print_tr
e
e_band: u
s
e
i
sl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_schedule
_
node_band_sink: use isl_boo
l
for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
o
l
aege
isl_tes
t
.
c: before_for: use isl_bool f
o
r l
o
cal varia
b
le
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_ali
g
n_di
v
s
:
use isl_
b
ool for l
o
cal variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
dool
a
ege
isl
_
t
r
ansitive_clos
u
re
.
c: chec
k
_e
x
actness_om
e
ga: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_transitive_closure
.
c: is
_
a
cyclic: use is
l
_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoolaege
is
l
_
ast_bui
l
d_ex
p
r
.
c: isl_ast
_
build_f
r
om_
m
ul
t
i_pw_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_schedul
e
_tree
.
c: sub
t
ree_schedule
_
extend_from_children
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaeg
e
is
l
_convex_h
u
ll
.
c:
c
onvex_h
u
ll_pai
r
: use isl_boo
l
f
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolae
g
e
isl_ast_code
g
en
.
c: compute_doma
i
ns
:
use isl_bool
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verd
o
olae
g
e
is
l
_test
.
c: test_affine_h
u
ll: use
isl_bo
o
l
for loc
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
ola
e
ge
isl_
p
w_qpoly
n
o
m
i
a
l_fold_cov
e
rs: use isl_bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verdoolaege
isl_s
c
h
e
dule_node
.
c: ext
e
nsion_from_dom
a
i
n
: use isl
_
bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
is
l
_
schedule_node
.
c:
isl_schedule_no
d
e
_
g
r
oup
:
use is
l
_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_sch
e
d
u
le_
n
o
de
.
c: locally_cover
e
d_by_domain: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedu
l
e_
n
ode
.
c: group_ban
d
: us
e
isl_bool
for
loca
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
s
l
_
sc
h
edule_n
o
de_has_pa
r
e
nt: use isl_bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoola
e
ge
isl_sc
h
edule_node
.
c:
e
xtend_extension:
use isl_b
o
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
isl_ast_codeg
e
n
.
c: after
_
in_tree: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
sl_as
t
_codegen
.
c: after_in_se
q
uence: us
e
i
s
l_
b
oo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_as
t
_cod
e
g
e
n
.
c:
af
t
er
_
in_b
a
n
d
: use isl_b
o
o
l f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
sl_schedule_node
.
c: group
_
d
o
main
:
use isl_
b
ool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl
_
sche
d
ule_
n
ode
.
c: gr
o
u
p_c
o
ntext:
us
e
isl_b
o
ol fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_qpolynomia
l
_pr
o
j
ect_do
m
a
in
_
on
_
param
s
: us
e
isl_bo
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
is
l
_test
.
c:
t
est
_
gist
:
use isl_bool for local v
a
riables
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_schedule_node_order_bef
o
r
e
_or_after: use isl_b
o
ol
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
is
l
_
coalesc
e
.
c: check_coalesc
e
_int
o
_eq: use isl_boo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_schedule_node
.
c: gis
t
_
leave: u
s
e is
l
_boo
l
for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_sche
d
ule_no
d
e
.
c: gist_enter
:
use is
l
_
bool for lo
c
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_ast_codegen
.
c
: com
p
ute_unroll_d
o
mai
n
s: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_basic_map
_
get_cons
t
r
a
int_li
s
t: use isl_bool
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_build
.
c:
update
_
v
a
lues:
u
se isl_b
o
ol for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl
_
mul
t
i
_union_pw_aff_apply_multi_aff:
u
s
e isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_multi_union_
p
w_
a
ff_apply_aff: use i
s
l_boo
l
fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
dool
a
ege
i
s
l_multi_union_pw_aff
_
a
p
ply_
p
w_multi_af
f
: us
e
isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
s
l_mu
l
ti_u
n
io
n
_pw_aff_ap
p
ly_pw_a
f
f: use is
l
_
b
ool
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaeg
e
is
l
_ast_build_expr
.
c: try_extract_mod: use isl_stat
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_as
t
_graft
.
c: equ
a
l_independent_
g
uards: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
is
l
_val_get_abs_num_chunks: return isl_s
t
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
la
e
ge
isl_ba
s
i
c_ma
p
_
id
e
n
tit
y
: inline b
a
sic_map_ident
i
ty
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_basic_
m
ap_identity: use isl_space_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_m
a
p
.
c:
b
asic_map_id
e
nt
i
ty: re
u
se isl_b
a
sic_map_equal
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_
q
p
ol
y
nomial_v
a
r_
o
n_domain: impo
s
e stricter chec
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
constraint_
g
et_bo
u
nd: im
p
ose strict
e
r
c
heck for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_
b
a
sic_set_from_constraint: impose stricter check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
s
l_se
t
_a
l
loc_space: impose str
i
cter
c
heck for
set
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
isl_
s
pa
c
e_underlying: return
set space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
is
l
_basic_set_preimage: use i
s
l
_bas
i
c_s
e
t_add_d
i
ms
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
l
aege
is
l
_union_*_set_has_d
i
m:
rename to isl_
u
nion_*_se
t
_has_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
is
l
_un
i
on_*_set_has
_
dim: rena
m
e "
d
i
m" vari
a
ble to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aeg
e
isl_aff
.
c: pw
_
aff_g
t
e_
s
et: rename "dim"
v
ariab
l
e to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_set_f
l
a
t
ten_map
:
renam
e
"
d
i
m" va
r
ia
b
les to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l_transiti
v
e_closur
e
.
c: unio
n
_floyd_warshall_
o
n_lis
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oolaege
isl_space
_
lift:
rename
"
dim" v
a
riable to "s
p
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_space_join: rename "dim"
v
ariable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_space_
a
llo
c
:
rename "dim" vari
a
ble
t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaeg
e
isl_local
_
space_offset: ren
a
m
e "dim"
v
ariable t
o
"
s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_
t
ransitive_c
l
osure
.
c: constr
u
ct_
p
ower: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdo
o
laege
i
sl_ma
p
.
c
:
map_dim_opt: rename "dim" v
a
ri
a
b
l
e to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_basic_se
t
_s
o
lutions
:
rename "d
i
m" var
i
able
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdo
o
laege
isl_basic_set_coeffici
e
nts: renam
e
"
d
im"
var
i
able to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_set_li
f
t: rename "dim"
v
a
riabl
e
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_map
.
c: map_apply_
r
ange: ren
a
me "
d
im" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_basic
_
se
t
_sample_point:
ren
a
me "di
m
" variable t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oola
e
g
e
isl_factorizer
_
grou
p
s: rename "dim"
variable to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
isl_ba
s
ic_se
t
_
l
ift: r
e
name "
d
im" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_b
a
sic_map_add_con
s
traint: rename "dim
"
var
i
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_bernstein
.
c:
b
ernstein_coefficients_cel
l
:
rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map_reachi
n
g_path_leng
t
hs: renam
e
"dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ma
p
_power: rename "di
m
" variables to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
q
p
o
lynomial_as_po
l
yn
o
m
i
a
l_on_domai
n
: r
e
name "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_unio
n
_pw_
*
_from_pw_*
:
rename "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_
b
o
und
.
c: g
u
arde
d
_poly_bound: renam
e
"dim"
v
a
riable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_range
.
c
: propagate_on_bound_pair:
rena
m
e "dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_range
.
c
:
m
onotonicity: ren
a
me "dim"
v
ari
a
bl
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oolaege
isl_range
.
c: has_si
g
n
:
re
n
a
me "dim" variabl
e
t
o
"
spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_bernstein
.
c:
b
ernstein_coeffi
c
i
ent
s
_
b
ase:
re
n
ame
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_tab
_
p
i
p
.
c:
s
plit_domai
n
: rename "d
i
m"
v
ariable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next