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_transitive_closure.c: path_along_delta:: rename "dim" variable to "space"
2018-08-22
Sven V
e
r
d
oolae
g
e
isl_transi
t
i
v
e
_
closure
.
c: pa
t
h_
a
long_delta:: r
e
name
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doo
l
ae
g
e
isl_b
a
s
i
c_map_range_
p
roduct:
rename "
d
i
m"
va
r
iable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_basic_map_
p
rodu
c
t: renam
e
"dim"
v
ariable
t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_ba
s
ic_map_deltas_map: rena
m
e "dim"
v
ariable
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olae
g
e
isl_ma
p
.
c
: compute_divs:
r
ename "dim"
varia
b
l
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_
m
ap_r
a
n
g
e_map: rena
m
e "dim"
vari
a
ble to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basi
c
_map
_
do
m
ain_map: rename "di
m
"
v
ari
a
ble to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
i
sl_basi
c
_map
_
apply_ra
n
g
e:
rename
"
dim
"
variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
erdoolaege
is
l
_local_
s
pace_alloc: rename "dim
"
variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_
f
low
.
c s
c
hed_
i
n
f
o_alloc: rename "dim" v
a
r
iab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_farkas
.
c: isl_space
_
coefficients: rename
"di
m
_
param
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
l
a
ege
isl_space_underlyi
n
g: rename "dim"
argu
m
ent t
o
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_
m
ap_less_a
t
: re
n
a
m
e "dim
"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
laege
isl_basic_
m
a
p_equal: rename "dim" argument to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
a
ege
isl_outp
u
t
.
c: pr
i
nt_bas
i
c_
s
e
t
_c: r
e
name "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaeg
e
is
l
_local_space_alloc_div: rename "
d
im" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
s
l_space_cow: rename "dim" ar
g
umen
t
t
o
"spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
space_lift: rename
"
d
im" ar
g
ument to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oola
e
ge
i
sl_space_flatten: 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_r
e
set: rena
m
e "dim
"
argument to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_space_zip
:
r
e
name "dim
"
argu
m
ent
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
laege
isl_space_unwrap:
r
e
n
ame "
d
im" argu
m
e
n
t
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
ege
isl_space_wrap:
rename "
d
im" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoola
e
g
e
isl_space_is_wrappin
g
:
r
e
n
ame "dim" argument to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
ool
a
eg
e
is
l
_space_from_r
a
n
g
e
:
rename "dim
"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_f
r
om_domain:
r
ename "dim" ar
g
ument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolae
g
e
isl_space_
r
everse: ren
a
me "
d
im" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
i
s
l_space_set_dim_na
m
e
: 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_get_tuple_name
:
rename
"d
i
m" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_space_get_dim_na
m
e: r
e
name "
d
im" argument
t
o "
s
pace
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_space_set_tuple_name:
r
ena
m
e "dim
"
a
r
gument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_
space_get_dim
_
id: rename "dim
"
a
r
gument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
ge
isl_space_has_dim_id: ren
a
me "dim" argument to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_
s
pace_reset_tup
l
e_i
d
: rename "dim" ar
g
u
ment
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oolaege
isl_space_se
t
_
t
upl
e
_id: rename "dim
"
argument to
"sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolaege
isl_s
p
ac
e
_get_tuple_i
d
:
rename
"dim" argument to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_space
_
ha
s
_tuple_
i
d:
rena
m
e "dim
"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
e
ge
isl_
s
pace
.
c:
offset
:
re
n
ame "dim" argument to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l_s
p
ace_dup: rename
"
dim" argument to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdoolaege
i
sl_space_get_ctx:
r
e
name "dim" argument
t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Ve
r
doolaege
i
s
l_fold
.
c: qpolynomial_fold_alloc: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
isl_union_*_alloc: ren
a
m
e
"dim" argument
to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_m
a
p
.
c: map_lex
_
gte: r
e
name "dims" argu
m
en
t
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aeg
e
i
sl_map
.
c:
map_
l
ex_l
t
e: rename "dims" argumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
is
l
_t
r
ansi
t
ive
_
clo
s
ure
.
c:
c
onstruct_
p
ower_componen
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
isl_basic_
s
et_nat_univ
e
rs
e
: rename
"dim" ar
g
ument
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
i
s
l_map
.
c: map
_
lex_
g
t
e
_first:
r
ename
"
dims" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
a
e
ge
isl_map
.
c: map_lex_lte_
f
i
rst: r
e
name
"
dims" argumen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_output
.
c:
p
r
i
nt_set_c: rename "dim"
a
r
g
ument
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaeg
e
isl_tran
s
itive_closure
.
c: floyd_warshall: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
i
sl_t
r
ansitive_closure
.
c
: flo
y
d_warshal
l
_wi
t
h_
g
roups
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
o
olaege
isl_trans
i
tive_closure
.
c: co
m
pute_incremental: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
b
asic_
m
a
p
_alloc_space: re
n
ame "dim"
a
rg
u
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verd
o
olaege
isl
_
bas
i
c_map_more_or_equal_at: ren
a
me "dim" argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoo
l
aege
isl_ba
s
ic
_
ma
p
_more_a
t
: rename "di
m
"
a
r
g
um
e
n
t
t
o "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaeg
e
isl_basic_map_less_or
_
e
q
ual_at: rena
m
e "d
i
m
" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_tab_pip
.
c: set_m
i
nimum: rename "di
m
" argument
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoo
l
aege
isl_dim_m
a
p_dim_range: 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
S
ven Verdoolaege
isl_basic_map_extend_space:
r
e
name "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aeg
e
isl_map_
r
eset_space: rename "d
i
m" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_spac
e
_dump decla
r
ation:
rename "dim
"
argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_
p
rint
e
r_print_space d
e
clara
t
ion: rename "dim" argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoo
l
aege
isl_qpolyno
m
ial_*_on_domain: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_qpolyn
o
m
i
al_
f
rom_affine: rena
m
e "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
s
l_polynomial
.
c: set_d
i
v_slice: rename "
d
im
"
a
r
g
u
me
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doo
l
aege
isl_qpolynomi
a
l_li
f
t:
rename "dim" a
r
g
u
ment to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_t
e
rm_al
l
oc: ren
a
me "dim
"
ar
g
ument t
o
"sp
a
ce
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_trans
i
ti
v
e_closure
.
c: con
s
truct_projected_component
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sp
a
ce_f
i
n
d
_
dim_by_id:
rename "dim
"
argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_space
.
c:
n: rename "dim" argument t
o
"s
p
ac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_spac
e
.
c: get_id
:
rename "d
i
m" arg
u
ment to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_space
.
c: se
t
_
id: rename
"
dim" arg
u
ment to "spa
c
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
aege
is
l
_s
p
a
ce
.
c: ext
e
nd_ids: ren
a
m
e
"
dim" ar
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oolaege
isl_space
.
c:
g
lob
a
l
_
p
os: rename "dim" arg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
s
l_qpolynomia
l
_alloc: rename "d
i
m" argumen
t
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_poi
n
t_vo
i
d:
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
v
e
n Verdoo
l
aege
isl_point_zero: r
e
name "dim" ar
g
ument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
is
l
_point_
a
lloc:
ren
a
m
e
"dim" arg
u
ment t
o
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_
o
utput
.
c: print_base: rename "dim" arg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
is
l
_output
.
c: print_om
e
g
a_parameters: rename "dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l_output
.
c
:
print_
n
est
e
d_tuple:
rename "local_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
e
g
e
is
l
_o
u
tpu
t
.
c: print_
n
ested_var_list:
renam
e
"local_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoola
e
g
e
i
s
l_outpu
t
.
c:
pos2typ
e
: 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
V
erdo
o
laege
isl_
o
u
t
put
.
c: count_same_name: re
n
a
m
e
"
dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoola
e
ge
i
sl_basic_map
_
nat_universe: rename "dim" ar
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolae
g
e
isl
_
b
e
r
nstein
.
c: vertex
_
co
o
rdinate: rena
m
e "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_transiti
v
e_closure
.
c: incr
e
men
t
a
l
_closure: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_transitive_closure
.
c: co
n
struct_ext
e
n
d
e
d_p
a
th:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
ae
g
e
isl_transitive_cl
o
sure
.
c: i
n
c
r
emen
t
al_on_entire_
d
o
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_transit
i
ve_c
l
o
s
ure
.
c: incremen
t
: rename
"dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_
t
ransiti
v
e_closure
.
c: e
q
uate_parameter_to_length
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doola
e
g
e
isl_tra
n
sitive_closure
.
c: p
a
th_along
_
delta: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_transit
i
v
e
_closure
.
c
:
path_along
_
steps: ren
a
me
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_output
.
c: print_affine
_
c: r
e
nam
e
"di
m
" a
r
gumen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c:
ne
g
_halfspace: renam
e
"dim" argume
n
t t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
ge
isl_map
.
c: nonne
g
_halfspace: r
e
name "dim" arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_identity: rena
m
e "dim"
a
r
gument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
e
rdoolaeg
e
isl_map
.
c: basic_map_identity:
re
n
ame "dims" arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_
m
ap_
f
rom_cons
t
ra
i
nt_
m
a
t
r
i
ces: rename
"dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdo
o
laege
is
l
_
s
p
ace_drop_dims: rename "d
i
m
" argument to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next