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_basic_map_preimage_vars: reuse isl_basic_map_check_range
2018-08-28
S
v
en Ve
r
doola
e
ge
isl_basic_map_preima
g
e_vars: r
e
use
i
sl_basic_map_
c
heck_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_basi
c
_m
a
p
_eliminate: re
u
se is
l
_basic_map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_basic_map_transform_dims:
r
euse isl_b
a
sic_ma
p
_c
h
eck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_bas
i
c_map
_
has_
d
efinin
g
_equa
l
ity: reuse isl
_
ba
s
ic_map_che
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
private
l
y expose isl_basic
_
map_check_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdool
a
ege
isl_basic_map_offset
:
extrac
t
out i
s
l_bas
i
c_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
doolaege
isl_schedule_node_
h
as_paren
t
: reuse isl_schedule_node_
g
et_tr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_qpolynomial_cst_on_domai
n
: reus
e
isl_qpolynomial_z
e
ro_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_qpolynomial_val_on_d
o
m
a
i
n
: re
u
se isl_qpolynomial
_
z
er
o
_o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Verdoolae
g
e
isl_qpol
y
n
omial_rat_cst_on_
d
omain: reu
s
e isl_qpo
l
ynomial_zer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
i
sl_pol
y
nomial
.
c
:
ex
t
rac
t
out s
h
ared domain_
t
ype
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_te
s
t
.
c: remove some
c
ode duplication
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
M
e
r
ge branc
h
'
m
ai
n
t'
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolae
g
e
isl_b
a
sic_ma
p
_a
d
d_eq
:
special
c
a
s
e
e
m
p
ty in
p
ut
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdoo
l
aege
a
d
d
is
l
_set_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Ver
d
o
olaege
i
sl_printer_print_sched
u
le_tr
e
e
_
m
a
rk: use
isl_schedule_tree_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdoolaege
is
l
_schedule_tree
.
c: initial_domain_from_ch
i
ldre
n
:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl
_
sch
e
dule
_
t
r
ee
.
c
:
.
.
.
_
extend_from_children: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
e
n
Verdoolaeg
e
i
s
l
_s
c
hedule_tre
e
_drop_child: use isl_sched
u
le_tree_n_
c
hildren
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
aege
isl_sche
d
ule_t
r
ee_update_anchored: use
isl_schedul
e
_tree_n_c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verd
o
olae
g
e
is
l
_s
c
hedule_n
o
de_has_
n
ext
_
sibling
:
u
s
e isl_sche
d
u
l
e
_tree_n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Ve
r
doola
e
g
e
isl_
s
c
h
edule_tree_n_chil
d
ren: e
x
pl
i
ci
t
l
y
handle mis
s
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
i
s
l
_val
_
check_ma
t
ch_dom
a
i
n
_
s
pace:
u
pdate
d
ocumentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
v
en Verdoolaege
d
r
op unu
s
ed is
l
_basic_set_swa
p
_div
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven
Verdoolae
g
e
isl_affine_hull
.
c: isl_basic_m
a
p_make_stride
s
_ex
p
licit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_schedule_node
.
c: collect_filter_prefix
_
update:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_s
c
hedule_tree
.
c: pr
i
nt_tree_band: use
i
s
l_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
isl
_
sc
h
edule_node_ba
n
d_si
n
k:
use isl_bool for l
o
c
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
sl_test
.
c:
b
e
fore_for:
us
e
isl_bool for local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
aege
i
s
l_basic_map_align_divs: u
s
e isl_
b
ool
f
or local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
d
oolaeg
e
i
s
l_transitive
_
clo
s
ure
.
c: check_exactness_omega: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
i
s
l
_transitive_closu
r
e
.
c
: is_acyclic
:
use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_build_expr
.
c
: isl_ast_build_from_multi_pw
_
a
f
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oolaege
isl_sch
e
dule_tre
e
.
c: s
u
btree_schedu
l
e
_
extend_
f
r
om_children
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
aege
i
s
l
_c
o
nvex_h
u
ll
.
c: convex_h
u
ll_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: compu
t
e
_
domains
:
use
isl_
b
o
ol
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_test
.
c: test_affine_hull: use i
s
l_boo
l
for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdool
a
ege
isl
_
pw_qpolynomial_f
o
ld_cov
e
rs: use i
s
l_bool for
l
ocal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Ver
d
oola
e
ge
i
s
l_schedule_node
.
c: extension
_
from
_
d
o
mai
n
:
use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
s
c
hedule_n
o
de
.
c:
isl_schedule_node_group: use isl_b
o
ol
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
erdool
a
eg
e
isl_sc
h
edule_node
.
c
: l
o
cally_c
o
vered_by_domain: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
dool
a
ege
isl_s
c
hedule_node
.
c
: group
_
b
a
nd: use
is
l
_bool fo
r
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_nod
e
_has_parent
:
use
i
sl_b
o
ol for
l
ocal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_schedule_node
.
c
:
extend_exte
n
sio
n
: use i
s
l_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
olae
g
e
isl_ast_c
o
dege
n
.
c: aft
e
r_in_
t
ree:
u
se isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl
_
ast_code
g
e
n
.
c: after_
i
n_
s
equen
c
e
:
use
isl
_
boo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doola
e
ge
isl_ast_codegen
.
c: af
t
er_
i
n_band: use isl_bool
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedul
e
_node
.
c
: group_domain:
u
se
i
sl_boo
l
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_
s
chedu
l
e_node
.
c: group_context: use isl_
b
o
ol f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doola
e
ge
i
sl_qp
o
lyn
o
mial_pr
o
j
e
ct_domain_on_params:
u
se is
l
_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
isl_tes
t
.
c: te
s
t_gist: use isl_boo
l
f
or local
v
a
riable
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolae
g
e
isl_schedu
l
e_
n
ode_o
r
der_b
e
fo
r
e_
o
r_after: use i
s
l_b
o
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaeg
e
isl_coal
e
sce
.
c: check_
c
oalesc
e
_into_eq: use isl_bo
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
aege
isl_schedule_node
.
c: gist_
l
ea
v
e: use isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_node
.
c: gist_enter: use
i
s
l
_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
ege
i
s
l_as
t
_codegen
.
c
:
c
om
p
ute_unroll_domains: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl
_
ba
s
ic_map_get_co
n
straint_list: 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_
a
s
t
_buil
d
.
c: update_values: use
isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
s
l_multi_union_pw_aff_apply_multi_a
f
f: use isl_bo
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl
_
multi_union_pw_
a
ff_apply_aff: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoo
l
aege
isl_multi_union_pw_aff_apply_pw_multi_aff: us
e
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_
m
ul
t
i
_
union_pw_aff_apply_pw_af
f
: use isl
_
bo
o
l
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_ast_buil
d
_expr
.
c:
t
r
y
_
extract_mod
:
use i
s
l
_
stat
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_ast_gr
a
ft
.
c: equ
a
l_in
d
ep
e
ndent_guards: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_
v
al_get_abs_nu
m
_
c
hunks: return isl_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic
_
m
a
p
_identity: inl
i
ne
basic_
m
ap_ide
n
tity
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_
q
polynomi
a
l_var_on
_
domain: impose s
t
ricter
c
heck
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
isl_
c
onstraint_get_bound: impose
s
tricter check for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
isl
_
basic_set_from_constra
i
nt:
i
mpose s
t
ricter check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
isl_set_allo
c
_
space: impose stricter check f
o
r set
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
do
o
laege
i
s
l_aff
.
c: pw_af
f
_gte_set: rename "dim"
v
ariable t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map_
r
eaching_pat
h
_
l
ength
s
: rename "dim
"
variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl
_
m
a
p_power: rename "dim" variables to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_qpolynomia
l
_
a
s_polynomia
l
_on
_
d
omain: ren
a
me "
d
im
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolaeg
e
isl_bo
u
nd
.
c
: guarded_pol
y
_b
o
und:
r
e
name
"
dim"
v
ar
i
a
ble
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdo
o
laege
isl_ra
n
ge
.
c: p
r
opaga
t
e_on
_
bou
n
d_pair
:
r
ename
"dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_range
.
c: mo
n
otonicity
:
renam
e
"d
i
m
"
variabl
e
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_
r
ange
.
c: has_
s
ign:
ren
a
me
"
d
i
m" varia
b
le
t
o "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_bernstein
.
c:
b
e
rnstein_coefficients_bas
e
: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
isl_map_apply_
p
w
_
qp
o
l
ynomial_fol
d
:
rename "dim" vari
a
bles
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
laege
isl_map
.
c:
compute_d
i
vs
:
r
e
n
a
m
e "dim"
v
ariable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_
b
asi
c
_
m
a
p_range_map: rename "dim" v
a
riable t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
fl
o
w
.
c sched_info_alloc:
r
ename "dim" vari
a
ble
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_farkas
.
c: isl
_
s
p
a
c
e_c
o
efficients
:
rename "dim_param
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
sl_space_un
d
erlying: rena
m
e "d
i
m
"
argum
e
nt to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_
s
pa
c
e_dump declar
a
tion: rename
"dim" argument t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
s
l
_printer
_
print_space declaration:
rename "dim"
a
rgument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaeg
e
i
sl
_
polynomia
l
.
c: set_div_slice:
rena
m
e "dim" argum
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_qpolyn
o
mial_lift: renam
e
"dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_term_alloc
:
rena
m
e "dim" argument to
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaeg
e
is
l
_transitive_closure
.
c:
c
onstruct_pro
j
ected_componen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoolaege
i
s
l_space
.
c: get_id: rename "di
m
" argument to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
.
c
: set_id: rename
"
dim"
argume
n
t to "s
p
a
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
aege
isl_space
.
c: extend_ids:
r
ena
m
e "dim" a
r
g
u
ment to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolaege
isl_sp
a
ce
.
c
:
gl
o
bal_pos:
rename "
d
im" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oolaege
isl_qpolynomial_all
o
c
: rename "dim" a
r
g
ument to "sp
a
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
l
a
ege
isl
_
outp
u
t
.
c: print_omega
_
parameters: r
e
name "dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
i
sl_output
.
c: p
o
s2typ
e
: re
n
ame "dim" argument
t
o "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
ool
a
ege
isl_output
.
c: co
u
nt_same_n
a
me: rename "d
i
m" argu
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolaege
i
sl_
b
ernstein
.
c:
verte
x
_coor
d
inate: rename "di
m
" argume
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next