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 Verdoola
e
g
e
is
l
_map
.
c
: c
o
m
p
u
te_divs: rename "dim"
va
r
i
ab
l
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
is
l
_basic_map_
r
ange_map: rename "dim" var
i
able
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_basic_map_domain
_
map:
rename "dim" varia
b
le t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_basic_m
a
p_apply_range: rename "dim" var
i
able to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
local_space_alloc
:
rename "dim" va
r
iable
to "
s
pa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
ege
isl_fl
o
w
.
c
s
ched_in
f
o
_
alloc: re
n
ame "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
s
l_farkas
.
c: isl_space_c
o
efficients: rename
"
di
m
_param
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
la
e
ge
isl_sp
a
c
e
_
underlying: rename "dim
"
argumen
t
to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_basic_map_less_a
t
: re
n
ame "
d
im" argument to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaeg
e
isl_basic_map_equal: rename
"
dim"
argu
m
ent to
"spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
olaege
isl_output
.
c: pri
n
t_
b
as
i
c
_
set_c:
r
en
a
m
e
"dim" arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_local_s
p
ace
_
alloc_div: ren
a
me "dim" argume
n
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolaege
i
s
l
_spa
c
e_cow
:
re
n
ame "dim"
a
rgumen
t
to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
isl_spa
c
e_lift: rename "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_space_fla
t
ten: re
n
ame "dim" ar
g
ument to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
a
eg
e
isl_spa
c
e_
r
eset: rename "dim" argument to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
s
l
_space_zip: rename "dim"
a
rgument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
p
a
ce_unwrap: rename "
d
i
m" arg
u
ment to "
s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_space_wr
a
p: rename "d
i
m" argu
m
ent to "s
p
ac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
is
l
_
s
pace_is_wrapping:
r
e
n
ame "d
i
m
" ar
g
u
me
n
t to
"
spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdoolaeg
e
isl_space_from_
r
ange: rename "dim" arg
u
ment to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
a
ce_from_doma
i
n: ren
a
me "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_space
_
reverse:
rename "
d
im" argument to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_set_
d
i
m
_name: rename "
d
im" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doola
e
ge
is
l
_space_get_tuple_nam
e
:
renam
e
"dim" arg
u
men
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
isl_space_get_dim_name:
r
ename "dim" argument to "sp
a
c
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
s
l
_
space_s
e
t_tuple_name: re
n
a
m
e
"
d
im" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
laege
isl_space_
g
et_di
m
_
id: rename "dim" argument to "s
p
ac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_space_has_dim_id: ren
a
me "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_spac
e
_reset_tupl
e
_id:
ren
a
m
e "di
m
"
a
rgu
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_spac
e
_set
_
t
uple
_
id: renam
e
"dim" ar
g
ument to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_
s
pac
e
_
get_tup
l
e_
i
d: rename "d
i
m
"
a
r
g
u
m
ent to
"s
p
ac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
dool
a
ege
i
s
l
_space_
h
as_tuple_id: rename "dim" ar
g
ument to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_s
p
ac
e
.
c: offset: rename
"
dim"
a
rg
u
ment to
"spa
c
e"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
ege
isl_sp
a
ce_
d
up: r
e
name "dim" argument to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
ace_get_ctx: ren
a
me "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_fol
d
.
c:
q
p
o
lynomial_fold_al
l
oc:
r
ename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
is
l
_union
_
*_a
l
loc: rename "
d
im" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
is
l
_map
.
c
:
map
_
lex_gte:
r
e
n
a
me "dims" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ma
p
.
c: m
a
p_lex
_
l
te: rename "dim
s
" arg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
aege
isl_transitive_
c
lo
s
ure
.
c: co
n
struct_power_components
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
olaege
i
s
l_b
a
sic_set_nat_univ
e
rse: ren
a
m
e
"di
m
" argum
e
nt to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_map
.
c:
m
ap
_
lex_gte
_
first: re
n
ame "dims"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoola
e
ge
isl_
m
ap
.
c:
map_lex_lte_first: rename
"dims" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
laege
i
s
l
_
o
u
tput
.
c: pri
n
t_se
t
_
c: r
e
na
m
e "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
is
l
_transitive_
c
losur
e
.
c: floyd_war
s
hall: re
n
ame "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
laege
isl
_
transitive_clo
s
u
re
.
c:
floy
d
_warshall_with_gr
o
ups
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closur
e
.
c:
c
omp
u
te_incremental: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_
m
ap_alloc_space
:
rename "dim" argu
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaege
i
sl_basic_map_more_or_equal_at: rena
m
e "dim" argume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoo
l
ae
g
e
isl_basic_map_more_
a
t: rename "dim" ar
g
um
e
n
t
to
"
s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
erdo
o
l
a
eg
e
isl_
b
asic_map_less_or_equal_at: rename
"dim
"
ar
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
e
rdo
o
la
e
ge
isl
_
t
a
b_pip
.
c
: set_m
i
nim
u
m: ren
a
me "dim
"
a
r
gu
m
en
t
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_dim_ma
p
_dim
_
range:
r
e
nam
e
"
dim
"
arg
u
men
t
t
o
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
laege
isl_basi
c
_map_extend_space: re
n
ame "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_map_reset_space: rena
m
e
"dim
"
argu
m
ent
to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolae
g
e
i
s
l_space_dump d
e
clarati
o
n: rename
"
dim" argumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaege
isl_printer_print_space d
e
c
l
arati
o
n:
r
ename "d
i
m" argum
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_qpolynomial_*_
o
n
_
domain:
rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qpolynomial_
f
rom_affine: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
eg
e
i
sl_p
o
lynomi
a
l
.
c:
s
et_
d
iv
_
slice: rename "dim"
arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_qpolynomi
a
l_lift:
ren
a
m
e
"dim" argume
n
t
t
o "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_term_alloc:
r
e
name "dim" argumen
t
to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
t
r
a
ns
i
tive_
c
losu
r
e
.
c: construct_projected_componen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdo
o
laege
is
l
_space_find_d
i
m_by_id: re
n
ame
"
d
i
m
"
a
r
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
i
s
l
_
space
.
c: n
:
r
ename "
d
i
m" a
r
gu
m
ent to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
isl_sp
a
c
e
.
c: get_id: rena
m
e "dim" argume
n
t to "
s
pace
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
eg
e
isl_s
p
a
ce
.
c: set_
i
d: rename "dim" ar
g
ument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
o
l
aege
isl_spa
c
e
.
c: exten
d
_ids: rename "di
m
"
argum
e
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
s
l_
s
pace
.
c
: global_po
s
: rename "dim" argum
e
n
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
aege
is
l
_qpolynomial
_
al
l
oc: rename
"
d
im" argu
m
e
n
t to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaege
i
s
l_po
i
n
t_vo
i
d: rename "
d
im
"
a
rgument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoolaege
isl_
p
o
i
nt
_
z
ero: rename "dim" a
r
gument to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_point_alloc: re
n
ame "dim" argument to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_output
.
c
: print_base
:
rename "dim" a
r
gument t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolae
g
e
isl_output
.
c
:
pr
i
nt_omega_
p
arame
t
ers: rename "d
i
m"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Verdoolae
g
e
i
sl_ou
t
put
.
c: print
_
n
ested_tuple: r
e
n
ame
"local_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
olaege
i
s
l_
o
utput
.
c: print_n
e
ste
d
_var_list: rename "loc
a
l_di
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_out
p
ut
.
c:
p
o
s
2type
:
r
ename "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolae
g
e
i
s
l_
o
utput
.
c: count_same_name: rename "dim"
a
rgument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_bas
i
c
_map_na
t
_universe:
rena
m
e "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_b
e
rns
t
ein
.
c: vertex_coor
d
inate
:
r
ename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_
t
ransitive_cl
o
sure
.
c: increm
e
ntal_closure: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
o
olaege
is
l
_trans
i
t
i
ve
_
cl
o
s
ur
e
.
c:
c
onstruct_extended
_
path:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_
t
ransiti
v
e_clo
s
ure
.
c: incremen
t
al_on_entire_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaeg
e
isl
_
tran
s
i
tive_closure
.
c: incremen
t
: re
n
ame "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erd
o
olaege
isl_transitiv
e
_clos
u
re
.
c: equate_pa
r
ameter_to_length
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolaege
isl_trans
i
tive_closu
r
e
.
c:
path_alo
n
g_delta:
renam
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
i
s
l_transitive_
c
los
u
re
.
c
:
path_along_steps: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
sl_output
.
c: pri
n
t
_affine_c: rena
m
e "di
m
" argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
o
olaege
isl_
m
a
p
.
c: ne
g
_h
a
l
f
space: rename "dim"
a
rg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoola
e
ge
isl
_
map
.
c
:
nonne
g
_ha
l
fspa
c
e: rename "dim" arg
u
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_basic_map_identit
y
: r
e
n
a
me "dim"
a
rgument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c: basic_map_ide
n
t
ity: r
e
n
a
me "dims" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
o
olaeg
e
isl_ba
s
ic_map_from_constraint
_
matr
i
ces: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_space_drop_dims: rename
"di
m
" argument to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
l
a
ege
isl_farkas
.
c: isl_s
p
ace_solutions:
rename "di
m
"
a
rgument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoolaege
isl_far
k
as
.
c: i
s
l_space_unprefix: rename "dim"
a
rgumen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
la
e
ge
is
l
_farkas
.
c: isl_s
p
ace_
c
oef
f
ic
i
ents
:
r
e
name "di
m
"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
d
oolaege
isl_f
a
r
kas
.
c:
i
sl_space_prefix: rename
"
dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next