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_map.c: compute_divs: rename "dim" variable to "space"
2018-08-22
Sven
V
erd
o
ol
a
ege
isl
_
map
.
c: c
o
mpu
t
e_divs:
re
n
ame "dim" variab
l
e to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl
_
basic_ma
p
_range_map:
r
en
a
me "dim"
v
ariabl
e
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_
m
ap_doma
i
n_map: re
n
ame "di
m
"
variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
aege
isl_b
a
sic_m
a
p_apply_range: rena
m
e "di
m
" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_l
o
cal
_
space_
a
lloc: rename "dim"
v
ariable
t
o "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doo
l
aege
isl_flow
.
c
s
c
h
e
d
_info_alloc: rename "dim" variab
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_
f
arkas
.
c: isl_space_coefficients: rena
m
e "dim
_
pa
r
am
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
s
l_spac
e
_underlyi
n
g:
r
ename "d
i
m
"
argument
t
o "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdool
a
eg
e
isl_basic_
m
ap_less_at: renam
e
"dim" argumen
t
to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
la
e
g
e
isl_b
a
sic_
m
ap
_
equ
a
l: rename "dim" argument to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_
o
utput
.
c
:
prin
t
_basic
_
set_c: re
n
ame "dim"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_local_space_alloc_div
:
ren
a
me "dim" argu
m
ent to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oolaege
isl_space
_
cow
:
r
ename
"d
i
m"
a
rgu
m
ent to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaeg
e
isl_space_lift:
r
ename "dim" argument to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolae
g
e
isl_space_
f
latt
e
n:
r
e
n
ame "
d
im" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
aege
isl_space_res
e
t:
rename "dim" argumen
t
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sp
a
ce_z
i
p: rename
"dim" argument to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
i
s
l_space_unwrap: rename "di
m
" argumen
t
to
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
space_wrap: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
V
erdoolaege
isl_space
_
is_wrappin
g
: rename "dim" argum
e
n
t
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
eg
e
isl_space_from_range: rename "dim"
argument
t
o "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdool
a
ege
i
sl_space_from_domain: re
n
ame "dim" arg
u
me
n
t to
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
ege
i
s
l_space_reverse: rename "dim
"
argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdool
a
e
g
e
isl_
s
pace_set_dim_name: ren
a
me
"
dim" argument t
o
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl
_
spac
e
_get_tuple_
n
ame: rename "dim" ar
g
ument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doola
e
ge
isl_spac
e
_get_dim_name: ren
a
m
e
"
dim"
argume
n
t to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolaege
isl_space_
s
et_tuple_name
:
rename "dim"
a
r
gu
m
ent to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolaege
isl_spac
e
_
get
_
d
im
_
id:
r
ena
m
e
"
dim" argu
m
ent
t
o "spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_has_di
m
_id: re
n
ame "di
m
" a
r
g
ument to "
s
pac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_space_res
e
t_tupl
e
_id: rename "dim" argume
n
t
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
a
ce_set_tuple_i
d
: re
n
am
e
"
dim" argument to
"
space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
isl_space_get_tuple_i
d
: ren
a
me "di
m
" ar
g
u
ment to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
is
l
_space
_
has_tuple_id: r
e
n
a
me "dim" argument
t
o "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_space
.
c: offs
e
t: rename "
d
i
m
" argum
e
nt to "sp
a
ce
"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_space
_
dup: ren
a
m
e
"
d
i
m" argument
t
o
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
e
ge
isl_spa
c
e_get_ctx:
r
ename "di
m
" arg
u
m
e
nt
t
o
"space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
i
s
l_fold
.
c
:
qpolynomial_fold
_
all
o
c: rename "di
m
" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoola
e
ge
isl_union_*_all
o
c
: rename "dim" argum
e
nt to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_ma
p
.
c: map_lex_gte: rename "dims" argument
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_map
.
c: map_lex_lte: rena
m
e
"
dims" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_transit
i
ve_closure
.
c: construct_power_compon
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoola
e
g
e
is
l
_ba
s
ic_set_nat_universe: rename "dim"
a
r
gument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoolaege
isl_m
a
p
.
c: map_lex_gte
_
first: rename
"
d
ims"
a
rgument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_map
.
c: map_lex_lte_fir
s
t: rename "dims" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_output
.
c: print_set_c: rename "dim"
argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tra
n
s
itive_c
l
o
sure
.
c
: floyd_warsha
l
l: rename "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oolaege
i
s
l_transiti
v
e_clos
u
r
e
.
c: fl
o
y
d
_warsha
l
l_wit
h
_groups
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
s
l_transitive_clos
u
re
.
c: compute_in
c
remental: re
n
ame
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oo
l
aege
isl_basic
_
map
_
alloc_space: ren
a
me
"dim"
a
rgument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_b
a
s
i
c_map_more
_
o
r_equal_at: re
n
a
m
e "d
i
m" ar
g
ument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_more_at: rena
m
e
"dim" argume
n
t to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_ba
s
ic_map_less_or_equal_at: rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_tab_pip
.
c: set_minimum
:
renam
e
"d
i
m" argumen
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_dim_map_dim_
r
ange: rename "di
m
" arg
u
ment to "
s
pac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
laege
isl_basi
c
_map_extend_spa
c
e: rename "dim"
a
rgumen
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
s
l_map_reset_
s
pace:
rena
m
e
"dim" argument to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_space_dump declar
a
tion
:
rename "dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
aege
isl_printer_pr
i
nt_spac
e
declaration: r
e
name "dim
"
argum
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_qpolynomia
l
_*_on_domain: rename "
d
i
m
"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_qpolynomial_from_
a
ffine
:
rena
m
e
"
dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
r
d
o
olaege
isl_polynomial
.
c:
s
et_div_slice: rename "dim" argum
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_qpolynomial_lift: rename
"
d
im" argumen
t
to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolaege
isl_term_alloc: rename "d
i
m" argument to "
s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_
t
rans
i
tive_clos
u
re
.
c: construct_
p
rojected_
c
omponent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_space_
f
ind_dim_by_id:
rename "
d
im" argument
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
.
c:
n: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdool
a
e
ge
i
sl_space
.
c: get_id: ren
a
m
e
"dim" argument to
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
lae
g
e
isl_space
.
c: se
t
_id: ren
a
me "dim" argu
m
ent to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
s
l
_
s
pace
.
c: extend_ids: rename "dim
"
argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_space
.
c: gl
o
bal_pos: rename "
d
im"
argum
e
nt to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_qpolynomial_alloc:
r
ename "d
i
m" ar
g
ument t
o
"space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_po
i
nt_void
:
rename "dim" argume
n
t to "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdo
o
la
e
ge
isl_point_zero:
r
e
name "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_point_a
l
loc: rename
"
dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_ou
t
put
.
c: pri
n
t_base: rename "
d
im"
argument t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_output
.
c: print_o
m
ega_par
a
meters: re
n
ame "dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
o
o
laeg
e
isl_outpu
t
.
c:
print_nested_tuple: renam
e
"lo
c
al_dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
ola
e
ge
isl_output
.
c: print_nested_va
r
_li
s
t: rename "local_dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolae
g
e
isl_output
.
c: pos2type: rename "dim" argu
m
e
nt to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_
o
utput
.
c
:
coun
t
_
s
ame_name:
rename "
d
i
m
" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
l
a
ege
isl_basic_map_nat_univer
s
e: rename "dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
eg
e
isl_bernstein
.
c: v
e
rtex_coo
r
dinate: rename "dim" argu
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolae
g
e
isl_transitive_closure
.
c: incr
e
mental
_
closu
r
e:
rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaege
isl_transi
t
iv
e
_closure
.
c: c
o
nstruct_extended_path:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_t
r
a
ns
i
tive_
c
losure
.
c: inc
r
e
me
n
tal_on_ent
i
re_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
isl_transit
i
ve_cl
o
s
ure
.
c: increment: rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdool
a
ege
isl_trans
i
tive_cl
o
sure
.
c:
eq
u
ate_
p
ar
a
met
e
r_to_length
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_tr
a
nsit
i
ve_closure
.
c:
p
ath_
a
lo
n
g
_delta:
r
ena
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolaege
isl_t
r
ansitive_closure
.
c: path_along_steps: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
output
.
c: p
r
int_af
f
ine_c:
rename "
d
im" arg
u
men
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaege
isl_map
.
c: n
e
g_h
a
lfspace
:
r
e
name "dim" argument
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoolaeg
e
isl_map
.
c: nonne
g
_ha
l
fspace
:
rename "dim" argumen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoola
e
g
e
isl_basi
c
_map_
i
de
n
tity: rename "dim" argument
t
o
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
e
r
doo
l
aege
isl_map
.
c:
basic_m
a
p_ident
i
ty:
r
e
n
a
me "d
i
ms" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_basic_map_from_constraint_matr
i
ces
:
renam
e
"dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
is
l
_space_d
r
o
p
_dims: rename "di
m
"
argument to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
s
l_farkas
.
c:
isl_space_
s
olut
i
ons: rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_f
a
rkas
.
c: isl_space_unprefix:
rename "dim" arg
u
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_
f
arkas
.
c:
is
l
_space_c
o
e
fficients: rename "dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
aeg
e
isl_far
k
as
.
c: i
s
l_spac
e
_prefix: rename "dim" ar
g
u
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next