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_bernstein.c: bernstein_coefficients_cell: rename dim_* variables to space_*
2018-08-22
Sv
e
n Verd
o
olaege
isl_bernstein
.
c: be
r
nstein_coefficients_cell: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl
_
map_reaching_path_len
g
ths: rename
"dim" variabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
la
e
ge
i
sl
_
m
a
p_p
o
wer:
r
ename "dim" var
i
a
b
les to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_qpo
l
ynomial_as_polyn
o
m
ial_on_domain: re
n
ame "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_union_
p
w
_*_from_pw_*: rename
"
d
im"
variabl
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laeg
e
isl_bound
.
c
:
guard
e
d_poly_boun
d
:
rename "dim" var
i
a
b
le
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolae
g
e
isl_ra
n
g
e
.
c: pro
p
agate_
o
n
_
b
ound_pair: renam
e
"dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
isl_range
.
c: mo
n
otonici
t
y
:
ren
a
me "dim"
variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoola
e
ge
i
s
l
_range
.
c
:
has_sign: re
n
ame "dim" variable
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
isl_be
r
nstei
n
.
c: bernstein_coeffici
e
nt
s
_base: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
l
a
eg
e
isl_tab_pip
.
c: split_domain
:
rena
m
e "dim"
v
ariable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verd
o
olaege
isl_
m
ap_apply_p
w
_qpolynomial_f
o
ld: rename
"d
i
m"
v
a
riable
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdool
a
eg
e
isl_map_d
e
ltas_map: rename
"
domain_dim" v
a
riable
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolaege
isl_transiti
v
e
_
clo
s
u
re
.
c: add_le
n
gth: rename "dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
laege
isl_transiti
v
e_closure
.
c: set_path_length: ren
a
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olae
g
e
is
l
_transitive_
c
losure
.
c: p
a
th_along_d
e
lta
:
: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_basic_map_range_product: rename
"
di
m
"
varia
b
le
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
s
l_basic_map_product: rename "dim"
v
ariable to
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_basic_map_deltas_map: rename "d
i
m" variable
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_map
.
c
: compute_d
i
vs
:
rename "dim
"
va
r
iab
l
e to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_basic_map_range_map: rename "d
i
m" varia
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
olaege
is
l
_basic
_
m
ap_do
m
ain_
m
ap:
rena
m
e "dim" va
r
iable t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_basi
c
_map_ap
p
ly_
r
ange: renam
e
"dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_local_space_alloc
:
r
e
n
a
m
e
"dim"
variable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
s
l
_fl
o
w
.
c
s
ched_
i
nfo_alloc: rename
"
dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_fa
r
kas
.
c
:
i
sl_space_
c
oefficient
s
: rename
"
dim_par
a
m
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
o
l
aege
isl
_
space_underlying: rename "dim" ar
g
ume
n
t
t
o
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_less
_
at: rename "dim"
a
rgum
e
nt to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_basic_map_equal: rena
m
e
"dim" argument to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolaege
isl_output
.
c: p
r
int_basic_set
_
c: rename "
d
im
"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oo
l
aege
isl_local_spac
e
_
a
ll
o
c_div: rename "dim" argum
e
n
t to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdool
a
ege
isl_sp
a
ce_cow: renam
e
"dim"
argument to "sp
a
c
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_space_li
f
t: rename "d
i
m" ar
g
u
m
en
t
to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaege
isl_spa
c
e
_flatten
:
rename "dim" argum
e
n
t
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
laege
isl_space_reset: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
ge
isl_
s
pace_zip: re
n
a
me "dim" argument
t
o
"spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_space_unwrap: rena
m
e "dim
"
argumen
t
to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
o
o
la
e
ge
i
sl_space_wrap: rename
"dim" argumen
t
t
o
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
space_is
_
wra
p
ping: re
n
ame "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolae
g
e
isl_space_fr
o
m
_
r
a
nge: rename
"
di
m
" a
r
gument
t
o
"
sp
a
ce
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
isl_spac
e
_
f
r
o
m_d
o
main: ren
a
me "d
i
m"
a
rgument t
o
"sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_spa
c
e
_
reve
r
se: rename "dim" arg
u
ment to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
lae
g
e
isl_spa
c
e_set_dim_name: rename "d
i
m" argument to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
e
rdool
a
ege
i
s
l_space_get_tuple
_
name: rename "dim"
a
rgument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
ge
i
sl_space_get
_
dim_
n
ame: rename "dim" arg
u
ment to
"
s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
ge
isl_space_set_tuple_name
:
rename "d
i
m" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
ool
a
e
g
e
isl_space_get_
d
im_id:
renam
e
"dim" argument
t
o
"spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oola
e
g
e
isl_space_
h
as_d
i
m_
i
d
: rename "
d
im" argument
t
o "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_space_reset_tu
p
le_id
:
rename "dim" a
r
g
u
men
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
i
s
l
_
space_set_tuple_id: rename "dim" argument to
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_
s
pa
c
e_get_tuple_id: re
n
am
e
"dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_space_has_tu
p
le_id: r
e
name "dim" arg
u
me
n
t to
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_space
.
c: offset: renam
e
"d
i
m" argu
m
e
nt to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
laege
isl_space_dup: rename "dim" ar
g
ument
to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
i
s
l_space_
g
e
t
_
ctx: rename "
d
im"
argume
n
t to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
is
l
_fold
.
c: qpolynomial_
f
old_alloc: r
e
n
a
me
"dim" argu
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaeg
e
isl_union_*_a
l
lo
c
: re
n
ame "dim"
a
rgu
m
ent to
"
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verd
o
olaege
isl_map
.
c: map_le
x
_gt
e
: rename "di
m
s" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_map
.
c: map_lex_lte: r
e
name "di
m
s" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_transiti
v
e_c
l
osur
e
.
c: constru
c
t_po
w
er_componen
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_set_nat_universe: rename "dim"
a
rgument
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_map
.
c: map_lex_gte_first: re
n
am
e
"dims" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
lae
g
e
isl_map
.
c: map_lex_
l
te_first: rename "
d
ims" argumen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n V
e
rdoo
l
aege
i
s
l_output
.
c: p
r
int
_
set_
c
: rename "dim"
argumen
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
is
l
_transitiv
e
_c
l
osu
r
e
.
c: flo
y
d_
w
arshall: re
n
am
e
"dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
aege
isl_trans
i
ti
v
e_closur
e
.
c
:
floyd
_
w
arshall_with_gro
u
ps
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
transi
t
ive_clo
s
ur
e
.
c: compu
t
e
_inc
r
emental
:
rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
isl_
b
asic_ma
p
_alloc_spac
e
:
rename "dim"
a
rgu
m
ent to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_basic_
m
a
p_mo
r
e_or_equal_at:
r
ename "d
i
m" argum
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
erdoolaeg
e
isl_basi
c
_map_more_at:
rename "dim" arg
u
ment to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoo
l
aege
i
s
l
_bas
i
c_map_less_or_
e
q
u
al_a
t
: ren
a
me "di
m
"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_tab
_
p
ip
.
c: set_
m
inimum: re
n
ame
"dim" ar
g
ument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_dim_m
a
p
_
dim_range: re
n
ame
"dim" argument to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Ve
r
doolaege
isl_b
a
sic_
m
ap_ext
e
nd
_
space
:
r
e
name "dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
is
l
_map_reset_space:
r
ename
"
dim" a
r
gumen
t
t
o
"spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_dump dec
l
aration
:
rename
"
di
m
" ar
g
ume
n
t to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_
p
rinter_
p
rint_space declara
t
ion
:
rename
"
dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oola
e
ge
isl_qpolynomial_*_on_
d
omain: rena
m
e "dim" ar
g
ument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_qpo
l
yno
m
ial
_
from_affine: rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
is
l
_pol
y
nomial
.
c:
s
et_d
i
v
_
sli
c
e: r
e
nam
e
"d
i
m
" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoo
l
aege
isl_qpolynomial_li
f
t: rename "dim" argument t
o
"
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
a
ege
i
sl_term_a
l
loc
:
rename
"di
m
"
a
r
g
ument to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_transitive_closure
.
c: co
n
struct_proje
c
ted_
c
ompon
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_space
_
find_dim_by_id:
rena
m
e "dim" a
r
g
ume
n
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdool
a
ege
isl
_
s
pace
.
c:
n: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
.
c: get_id: ren
a
me "dim"
a
r
g
um
e
nt to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
la
e
ge
isl_spac
e
.
c: set_id: ren
a
me "dim" ar
g
u
ment
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_spac
e
.
c: ext
e
nd_id
s
: r
e
name
"
dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaege
isl_s
p
ace
.
c: glo
b
al_pos:
r
en
a
me "di
m
" argum
e
nt to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl
_
qpo
l
yn
o
mial
_
alloc:
rename
"dim" a
r
gument t
o
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolaege
i
s
l_
p
oint_void: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaeg
e
isl_
p
oint
_
zero: re
n
ame "
d
im" argument t
o
"
s
pace
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
isl_point_allo
c
: rename
"di
m
" argument t
o
"spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doolaege
isl
_
output
.
c
:
print_ba
s
e: r
e
nam
e
"dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
ge
isl_
o
utp
u
t
.
c: p
r
int_ome
g
a_paramet
e
rs: rename "dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n V
e
rdoolaege
isl_outp
u
t
.
c: print_
n
ested_tu
p
le: rename "local_dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
isl_
o
u
tput
.
c
:
print_nested
_
var_list: r
e
name "local_dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Ver
d
o
o
laege
i
s
l_outp
u
t
.
c: pos2type: rename
"
dim"
arg
u
m
ent to "sp
a
c
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_output
.
c
:
cou
n
t_same_
n
ame: r
e
name
"
dim"
a
rgument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
s
l_basic_map_nat_universe
:
r
e
name "d
i
m" argument
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next