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_range_product: rename "dim" variable to "space"
2018-08-22
Sven Ve
r
dool
a
e
g
e
isl
_
basic_map_ran
g
e_product: rename "di
m
" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
isl_bas
i
c_map_product: r
e
na
m
e
"d
i
m" variable to "
s
pa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl
_
ba
s
ic_map_delta
s
_map: rename
"dim" varia
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oola
e
ge
isl_ma
p
.
c
:
c
o
mp
u
t
e_divs: rena
m
e "dim" v
a
r
iable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolae
g
e
isl_
b
asi
c
_map
_
r
a
n
ge_map: rename "dim" variabl
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
la
e
ge
is
l
_bas
i
c_
m
ap_domain_m
a
p: rena
m
e
"dim"
v
a
r
i
a
ble to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_basic_map_apply_rang
e
: rename
"
di
m
"
variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rd
o
olaege
isl_local_space_al
l
oc: rename "dim" va
r
iabl
e
to
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_flow
.
c sched_info_
a
l
l
oc:
rename "
d
im"
variab
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
i
sl_farkas
.
c: isl_space_coefficients: rename "dim_param
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laeg
e
isl_space_un
d
erlying
:
rena
m
e "
d
i
m" ar
g
umen
t
to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
i
s
l_ba
s
i
c
_map_
l
ess_at: r
e
name "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
is
l
_
basic_map_equal: rename "dim" arg
u
ment to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_output
.
c: p
r
int
_
b
a
sic_set_c: rename "
d
i
m
" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_local_sp
a
ce_alloc_div: re
n
ame "dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdool
a
ege
isl_space_cow: rename
"
dim" argument
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
la
e
g
e
isl
_
sp
a
ce_lift: r
e
nam
e
"dim" argum
e
nt to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaeg
e
isl_spa
c
e_flatten: rename "dim" argume
n
t
to "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_reset
:
re
n
a
m
e
"
dim" a
r
gume
n
t to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
d
oolaege
i
s
l_sp
a
ce_zip: ren
a
m
e
"dim
"
argument to "spa
c
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
o
olaege
isl_s
p
ace_unwra
p
: rename "
d
im" argument to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
d
o
olaege
i
s
l
_spa
c
e
_wrap
:
rename
"dim" argument
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
s
l_space_i
s
_wrappi
n
g: renam
e
"dim"
a
rgu
m
ent to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verd
o
ol
a
ege
isl_space_from
_
range
:
r
ename "dim"
a
rgument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_space_from_domain: rena
m
e "dim"
a
r
gum
e
n
t
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_re
v
erse: r
e
name "di
m
"
argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
isl_space_set_dim_name: rename "dim" argument to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
l
aege
i
s
l_space_get
_
tuple
_
name: rena
m
e "dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_get_dim_na
m
e: rename "di
m
" a
r
gument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaege
i
s
l_space_set_tup
l
e_nam
e
:
rename "dim"
a
rgument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
is
l
_space_get_dim_id: r
e
name "dim"
a
rgument to
"
spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
is
l
_space_ha
s
_dim_
i
d: re
n
ame "d
i
m" argume
n
t to "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_space_reset_
t
u
p
le_id
:
rena
m
e "dim" argument t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_space_set_tuple_id
:
rena
m
e "dim" arg
u
m
e
nt to
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
pace_get_tuple_id: r
e
name "dim" argument to
"spa
c
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_space_has_
t
u
ple_id: r
e
n
ame
"dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_s
p
ace
.
c: offset: re
n
a
me "dim" argument
t
o "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaege
isl_sp
a
ce_dup: re
n
ame "dim" a
r
gume
n
t to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolae
g
e
i
s
l
_space_get_ctx: r
e
name "dim" argument to
"sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_
f
old
.
c
: qpolynomial_fold_allo
c
: r
e
name "
d
i
m" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_union_*_alloc:
ren
a
me "dim"
argument
t
o "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verdoolaege
isl_map
.
c:
m
ap_lex_gte
:
r
e
n
am
e
"
dims"
a
rgu
m
ent to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
sl_map
.
c
:
m
a
p
_
lex_lte: rename
"
dims" argumen
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l_trans
i
tiv
e
_
c
losure
.
c
:
c
o
nstruct_pow
e
r
_components
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_set_na
t
_univers
e
: ren
a
me "dim"
a
rg
u
ment to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
ge
isl_map
.
c:
m
ap_lex
_
gte_fir
s
t:
r
en
a
me "dims" argu
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
m
ap
.
c: map_le
x
_
lte_first:
rename "dims"
ar
g
um
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_output
.
c: pr
i
n
t
_set_c: ren
a
me "
d
im"
argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl
_
transitive_closure
.
c: floyd_w
a
r
s
hal
l
: r
e
n
a
me
"
dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oolaege
i
s
l_tran
s
itive_closure
.
c
:
floyd_warshall_wit
h
_
g
r
oups
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_tra
n
sitive_c
l
osure
.
c: compute_inc
r
ement
a
l:
rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_basi
c
_map_alloc_space: rename
"dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolae
g
e
isl_basic_map_more
_
or_equ
a
l_at: rename "di
m
" arg
u
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
ol
a
ege
isl
_
basic_map_more_a
t
: rename "dim" argument to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_le
s
s_or_
e
qual_at: rename
"
dim" argume
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoola
e
ge
isl_tab_pip
.
c: set_minimu
m
: rename "dim"
a
rgument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
s
l_dim
_
map_dim_range:
r
en
a
me "dim" argu
m
ent to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
isl
_
basic_
m
ap_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
isl_map_reset_spa
c
e: rename "dim
"
argumen
t
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
space_dump d
e
claration: re
n
ame "dim" a
r
gument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
l
a
ege
isl_printer_pr
i
nt_s
p
ace declaration: rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_qpoly
n
omial_*_on_
d
omai
n
: rename "di
m
" arg
u
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaeg
e
isl_qpo
l
ynom
i
al_f
r
om_affin
e
:
ren
a
me "
d
im" ar
g
ument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_polynomial
.
c: se
t
_div_
s
l
i
c
e
:
re
n
ame "dim"
argu
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_qpolynomial_lift: rename
"dim"
a
rgument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_term_alloc: rename "dim" ar
g
umen
t
t
o "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolae
g
e
isl_transitiv
e
_c
l
osure
.
c
: construct_pro
j
ected_compo
n
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
d
oolaege
i
s
l
_
space_find
_
dim_
b
y_id: rename "di
m
" argument t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
.
c:
n
: r
e
n
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
V
e
rdoola
e
ge
isl
_
s
pace
.
c: get_
i
d: rename "dim" argum
e
nt to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
e
g
e
isl_space
.
c: set_id: rename "dim"
a
rgument to "
s
pac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
ac
e
.
c:
e
xte
n
d_ids: ren
a
me "d
i
m" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
isl
_
space
.
c: global_pos: rename "d
i
m" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl
_
qpolynomial_a
l
lo
c
:
r
e
n
ame "dim" argument t
o
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_poi
n
t_void: r
e
name "di
m
"
argu
m
ent to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl
_
point_zero: rename "dim"
a
rgument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_point_allo
c
: rename "dim" ar
g
u
m
ent to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_output
.
c: prin
t
_bas
e
: rename "d
i
m" argument t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_ou
t
put
.
c: print_omega_parameters: rename "dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
s
l_outp
u
t
.
c: p
r
int_
n
ested_
t
uple: r
e
n
a
me
"
lo
c
al_dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
output
.
c
:
print_nested_var_list: renam
e
"lo
c
al_d
i
m
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
ege
isl_outpu
t
.
c: pos2ty
p
e: renam
e
"di
m
" argum
e
nt to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oola
e
ge
isl
_
output
.
c: count_same_name: renam
e
"dim"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
ge
isl_basic_ma
p
_nat_universe: r
e
name
"dim" a
r
gument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
isl_bern
s
tein
.
c: vertex_coordinate: rename "dim
"
arg
u
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolaeg
e
isl_transitive_closure
.
c:
i
ncr
e
mental_closure
:
rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
eg
e
isl_tra
n
s
i
tive_clo
s
ure
.
c:
c
o
n
struct_extended_path:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdo
o
la
e
ge
i
s
l_transitive_c
l
o
s
ure
.
c:
i
ncremental_o
n
_
e
ntire_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_t
r
an
s
itive_
c
los
u
re
.
c
:
in
c
r
e
men
t
:
r
ename "dim"
a
rgument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_transitive_closure
.
c
:
e
quate
_
parame
t
er_
t
o_len
g
th
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
sl_transitive_cl
o
su
r
e
.
c: pat
h
_along_del
t
a
:
rena
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_transitive_c
l
osure
.
c: path_al
o
ng_steps: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_output
.
c: pr
i
nt_affine_c:
rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oola
e
ge
isl
_
map
.
c: n
e
g_half
s
pace:
rename "dim" a
r
g
u
ment
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaeg
e
isl_map
.
c: nonneg_halfspace: rename "dim"
argum
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olae
g
e
isl_
b
a
s
ic_map_identity: rename "
d
im" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_map
.
c: basic_map_id
e
nti
t
y:
r
e
name "dims" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
laege
i
s
l_basic_m
a
p
_from_constraint
_
matrices: r
e
n
a
m
e
"
dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_space_dr
o
p_di
m
s: rename "
d
im" argument to
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doo
l
aege
is
l
_fa
r
kas
.
c: isl_space_solutions: rename "dim" argume
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next