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
drop isl_basic_set_extend
2018-08-25
Sven Ve
r
doolaege
drop isl_basic_set_exten
d
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdoolaege
drop
i
sl_basic_
s
et_add_eq
u
ality
duplicate
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdool
a
ege
i
sl_basic_map_add_eq: special case empty
input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Ve
r
do
o
laege
isl_basic
_
m
ap_add_{eq,ineq}: only
m
o
dify single copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_q
p
olyn
o
mial_as_polynomial_
o
n_domain: use isl
_
local
_
space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
i
sl_qpolynomial_gis
t
: use isl_local_space_
l
ift_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
add isl_loc
a
l_s
p
ace_li
f
t_bas
i
c_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
isl_af
f
_gist: extract
o
ut isl
_
loca
l
_space_lift_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
erdoolaege
ad
d
isl
_
set_peek
_
sp
a
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdoolaege
i
s
l
_printe
r
_print
_
schedule_tree_mar
k
: use
i
sl_schedule_tr
e
e_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_
s
ch
e
d
u
le_tree
.
c
: initial_dom
a
in_from_children:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
V
e
rdoolaege
i
sl_schedule_tree
.
c:
.
.
.
_extend_
f
rom_chil
d
ren:
u
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
la
e
ge
isl_schedul
e
_tree_d
r
o
p
_c
h
ild: use isl_s
c
hedule_tree_n
_
c
h
i
ldren
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
oolaege
isl_schedule_tr
e
e
_
update_anchored
:
use isl_schedule_
t
ree_n_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
isl_sch
e
dule
_
node_has_next_sibling: use isl_schedule_tree_n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdoolaege
isl_sched
u
le_tree_n_children:
e
xp
l
icit
l
y h
a
ndle mi
s
si
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
i
sl_set_is_equal: use
i
sl_bool for
l
oc
a
l v
a
riable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gross
e
r
s
h
ared_outer:
u
s
e isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gr
o
s
s
er
d
omain_follows_at_dep
t
h: use
i
s
l
_boo
l
_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
basic_
m
ap_
i
s
_empty_add: use enum
v
a
riable instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ias Grosser
is_su
b
s
e
t
_
entry:
use
i
sl_bool_fa
l
se
instead
of integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
isl_ar
g
: use named cons
t
ant
t
o identi
f
y ar
g
uments wit
h
o
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoola
e
ge
isl_val_check_match
_
do
m
a
in
_
spa
c
e: update documentatio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ver
d
oo
l
aege
drop unused isl_basi
c
_
set_swap_div
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
is
l
_
affine_hu
l
l
.
c: isl_basic_map_make_stri
d
es_e
x
plicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdo
o
l
aege
isl_sched
u
le_node
.
c: colle
c
t_
f
ilter_prefix_u
p
d
a
te:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
is
l
_schedule_tree
.
c
: pr
i
n
t
_
t
r
e
e
_
band: use is
l
_
b
ool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdo
o
lae
g
e
isl_schedu
l
e_node_band
_
sink: us
e
isl_bool for loca
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
do
o
laege
i
sl_te
s
t
.
c:
b
efore_
f
or
:
use isl_bo
o
l for loc
a
l variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolaege
isl
_
ba
s
ic_
m
ap_align_
d
ivs: u
s
e isl_b
o
ol for local variab
l
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
eg
e
isl_transitive_closure
.
c
: c
h
eck
_
exactness
_
omega:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoolae
g
e
isl_transitive_closure
.
c:
is_acycli
c
: use
i
s
l_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doola
e
ge
i
sl_
a
st_build
_
expr
.
c: isl_ast_buil
d
_from_multi
_
p
w_
a
ff
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_
s
chedule_tree
.
c: subtree_schedule_extend_from_chi
l
dren
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_convex_hull
.
c: convex_hull_pa
i
r: use
i
sl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_as
t
_cod
e
gen
.
c: comp
u
te
_
domains: use isl_bo
o
l
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
t
est
.
c:
t
est_aff
i
ne_hull: use
i
sl_
b
ool for loc
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_pw_
q
polynomial_
f
old_co
v
ers: use is
l
_bo
o
l
for
l
ocal
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
sl_schedule_
n
o
d
e
.
c
:
extension_from_
d
omain
:
u
se isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
is
l
_schedule_node
.
c: isl_schedule_node_group: use isl
_
bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erd
o
olaege
isl
_
schedule_no
d
e
.
c: locally_cov
e
red_by_domain: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
isl
_
schedu
l
e_node
.
c: group_b
a
nd: u
s
e
isl
_
bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
isl_schedule_node_
h
as_parent: use isl_
b
ool for lo
c
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_schedule_
n
ode
.
c: e
x
tend_extension: use isl
_
bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Ver
d
oolaege
isl_as
t
_code
g
en
.
c:
after_in
_
tr
e
e:
u
se isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_ast_codegen
.
c: after_in_sequence: use i
s
l_boo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_ast_codegen
.
c
:
after
_
in_band: use
isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
aeg
e
isl_s
c
hedule_no
d
e
.
c: group_domain: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl
_
schedu
l
e_node
.
c: group_contex
t
: use i
s
l_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
ge
isl_qpo
l
ynom
i
a
l
_project_do
m
ain_on_params: use isl_boo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n V
e
rdoolaege
isl_test
.
c: test_gist: use isl
_
b
o
ol for
l
oca
l
variable
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
d
o
ol
a
ege
isl_schedule_node_order_before_o
r
_after: us
e
isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
s
l_
c
oalesce
.
c: che
c
k_
c
o
a
lesce_into_
e
q: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
isl_schedule_node
.
c
: gist_leave: use
i
sl_bool for
l
ocal
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
i
s
l
_sc
h
edule_n
o
d
e
.
c: g
i
st_enter: u
s
e isl_b
o
ol for loc
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
i
sl_ast_codegen
.
c: compute_
u
nroll_domai
n
s
: use is
l
_boo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_get_constraint_list: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdo
o
laege
is
l
_ast_build
.
c: update_values: use isl
_
bool for
l
ocal
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oolaege
i
sl_multi_un
i
on_
p
w_aff_appl
y
_multi_
a
ff: use i
s
l_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
isl_mu
l
ti
_
unio
n
_pw_aff_apply_aff
:
use isl_bo
o
l f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
dool
a
ege
i
s
l_multi
_
u
nion_pw
_
aff_apply_
p
w_mu
l
ti_a
f
f: us
e
isl_boo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
ae
g
e
i
s
l
_multi_
u
nion_pw_
a
ff_apply_pw_af
f
: use
isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
s
l
_ast
_
build_expr
.
c: tr
y
_
extract_mod: use
i
s
l
_s
t
at
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
a
st
_
g
raft
.
c: equal
_
indepe
n
dent_gua
r
ds: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_
v
a
l
_get_
a
bs_num_chunks: re
t
u
rn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
erdool
a
e
g
e
isl_
b
asic_map_id
e
ntity: inline basic_map_id
e
ntity
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_basic_map
_
iden
t
ity: use i
s
l_space_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_map
.
c: basic_map_ident
i
ty: reuse isl_basic_map_equal
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qpolyn
o
mial_v
a
r_on_domain
:
impose strict
e
r check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_con
s
tra
i
nt_get_b
o
und: impose
s
tricter che
c
k
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_basic_s
e
t_from_con
s
traint: impose
s
tr
i
cter check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_set_
a
lloc_spa
c
e: imp
o
se stri
c
ter chec
k
f
or set
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_space
_
u
nderl
y
in
g
: return
s
et space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_basic_
s
e
t_preimage:
u
se isl_bas
i
c_s
e
t_add_dim
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
r
doolaege
isl_union
_
*_set_has_dim: ren
a
me t
o
isl_u
n
i
o
n
_*_se
t
_has_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_union_*_s
e
t_has_dim: rename "
d
im"
v
a
riable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_af
f
.
c:
p
w
_
aff_gte_se
t
: rename
"
d
im" var
i
abl
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaege
i
sl_set_flatten_map: rename "dim
"
variables to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdool
a
ege
isl_tra
n
sitive
_
closure
.
c: union_f
l
oyd_war
s
hall_on_list
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
ege
isl_space_lift:
r
ename "d
i
m" variable to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_space_
j
oin: rename "dim" variable
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_spac
e
_alloc: ren
a
me
"dim" variabl
e
to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doo
l
aeg
e
isl_local_spa
c
e_o
f
fs
e
t
:
rename "di
m
" variable
t
o
"
s
p
a
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laege
i
s
l_trans
i
tive_closur
e
.
c:
construct_power: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verd
o
olaege
isl_m
a
p
.
c: map_dim_opt: rename "di
m
" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoo
l
aeg
e
isl_
b
asic_set_solu
t
ions: re
n
ame "d
i
m" v
a
riable t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_set_coeffic
i
ents
:
rename
"
dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
sl_set
_
lift: r
e
name "di
m
"
var
i
able to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
is
l
_map
.
c
: m
a
p_apply_ra
n
ge:
rename
"
di
m
" vari
a
ble to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_
b
asic_
s
et_sample_point: r
e
name "dim
"
v
ariable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
isl_factorizer_grou
p
s: r
e
nam
e
"di
m
"
variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_basic_set_lift: rename "dim"
variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic
_
map_add_co
n
straint:
ren
a
me "
d
im"
v
a
riab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
b
ernste
i
n
.
c: ber
n
stein
_
coefficients_
c
ell:
rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoo
l
aege
isl_ma
p
_reaching_path_length
s
: rename
"
d
i
m
"
var
i
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_
m
ap_power: rename "dim" varia
b
les to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_qpolynomial_
a
s_poly
n
om
i
a
l
_on_domain: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
isl_uni
o
n_pw
_
*_f
r
om_pw_*: renam
e
"di
m
" varia
b
le
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
isl_bound
.
c: guarded_p
o
ly_bound
:
r
e
name "dim" variab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_ran
g
e
.
c: propagate_on
_
bound_pa
i
r: rename "di
m
"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next