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_oppose: reuse isl_map_check_range
2018-08-22
Sven
Verdoolaege
isl_constr
a
int_get_bound: impose stricter ch
e
ck f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_basi
c
_set_
f
r
o
m
_c
o
nstraint: i
m
pose stricter check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolae
g
e
i
s
l_set_alloc
_
space: impo
s
e
s
tricter che
c
k
f
or
set
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_s
p
ace_underly
i
ng:
r
eturn set space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_basic_set_preimage: use isl_basic_set_
a
dd_dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdo
o
lae
g
e
is
l
_union_*_set_h
a
s_dim:
r
en
a
me to isl_union_*
_
set_has_spac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdool
a
eg
e
isl_unio
n
_
*
_
s
et_
h
as_dim: rename "dim" variable t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl
_
af
f
.
c: p
w
_aff_gte
_
set
:
rename "
d
im" vari
a
ble to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_set_flatten_map: r
e
name "di
m
" variables to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdo
o
l
a
ege
isl_tra
n
si
t
ive_clo
s
ure
.
c: union_flo
y
d_warsh
a
l
l_on_list
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
is
l
_space_lift:
r
ename "dim" varia
b
le to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doola
e
ge
i
sl_space_join: rename "dim" variab
l
e
t
o "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oolaege
i
s
l_space_alloc: rena
m
e "dim" variable t
o
"spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
ge
is
l
_
lo
c
al_space_offset:
r
ename "di
m
" vari
a
b
le to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_transi
t
ive_closure
.
c: construct
_
power: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doola
e
g
e
isl_map
.
c: ma
p
_di
m
_
o
pt: ren
a
me "dim" var
i
able to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_s
e
t_solutio
n
s: rename "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_basic_se
t
_coefficients: renam
e
"d
i
m" variable
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oola
e
ge
isl
_
s
e
t_lift: rename "dim" va
r
iable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c
: m
a
p_apply_range: rename "dim" variable
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_basic_se
t
_sample_
p
oint: re
n
ame "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoo
l
aege
isl_facto
r
izer_groups: rename "dim" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_ba
s
ic_
s
et_lift:
renam
e
"dim
"
vari
a
ble to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
s
l_basic
_
map_add_
c
onstraint:
r
e
nam
e
"dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
is
l
_be
r
nstein
.
c: be
r
n
s
tei
n
_coefficients_cell: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_map_reaching_path_lengths: r
e
name
"dim" vari
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
eg
e
isl_map_power: rename "dim
"
variabl
e
s to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qpol
y
nomial_as_p
o
l
y
no
m
i
a
l_
o
n
_
domain: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
ege
isl_union_pw_*_from_
p
w
_*: ren
a
me "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_bound
.
c: g
u
arded_poly_bou
n
d: rename "dim" v
a
r
ia
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
ae
g
e
isl_range
.
c
: propagate_
o
n
_
bound_pair: rename "di
m
"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
lae
g
e
i
s
l_range
.
c: monot
o
nicity
:
re
n
ame "dim" var
i
abl
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_range
.
c: has
_
s
i
gn:
renam
e
"dim"
v
ariabl
e
to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_
b
ern
s
tein
.
c: bernstein_coe
f
ficient
s
_base: ren
a
me
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
t
ab_pip
.
c: split_domain: rename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map_apply_pw_qpolynomia
l
_fold: re
n
ame
"dim" varia
b
le
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_map_
d
eltas_map: renam
e
"domain_
d
im"
var
i
able t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_tra
n
s
i
tive
_
closure
.
c: add_lengt
h
: rename "dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
t
ransitive_
c
losure
.
c: set_path
_
len
g
t
h
:
rena
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Ve
r
doolaege
isl_tr
a
nsi
t
ive_clos
u
re
.
c: path
_
along_delta:: re
n
ame
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verd
o
olaege
isl_basic_map_r
a
nge_pr
o
duct:
r
ename "dim" varia
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
aege
isl_ba
s
ic_map_p
r
oduct: re
n
ame "dim" variable to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_basic_m
a
p_deltas_map: rename "d
i
m"
variable
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_m
a
p
.
c: compute_divs: rename "
d
im" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laege
isl_basic_ma
p
_range_map:
rename "dim
"
variable
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
e
rdoolaege
isl_b
a
si
c
_ma
p
_domain_map: rename "
d
im" vari
a
ble
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaeg
e
isl_
b
a
s
i
c
_m
a
p_apply_range: r
e
name
"
dim" variable t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
ge
isl_local_space_all
o
c
:
r
en
a
m
e
"dim" variable t
o
"sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_fl
o
w
.
c sch
e
d_
i
nfo_allo
c
: rena
m
e "dim
"
v
a
riable
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
farkas
.
c: isl_spa
c
e_coefficients: ren
a
me
"dim
_
para
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_space_underlyi
n
g: r
e
name "dim" arg
u
ment to
"
spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_b
a
sic_map_less_at: rename "d
i
m
" argument t
o
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoo
l
aege
isl_basic_
m
ap_eq
u
al: r
e
name
"
dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl
_
outp
u
t
.
c: print_bas
i
c_set_c:
r
ename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
olaege
isl_loc
a
l
_
sp
a
ce_a
l
loc_div: rename "di
m
"
a
r
gument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaege
isl_space
_
co
w
: r
e
n
a
me "dim"
a
rgument to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
s
l
_
space_lift:
r
ename "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl
_
s
p
ace_flatten: rename "dim"
a
r
gu
m
ent to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaege
isl_space_reset: rename "
d
im"
a
rgument
t
o "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
doolaege
isl_spa
c
e_
z
ip: rename "dim" ar
g
ument to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_unwrap: re
n
a
me "dim" ar
g
umen
t
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
sl
_
space
_
wrap: re
n
a
m
e
"
d
im"
a
rgumen
t
to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
r
d
o
o
laeg
e
isl_space_is_w
r
apping
:
rename "dim
"
argument
t
o
"
s
p
ace
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
e
ge
i
sl_space_fro
m
_range: 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_from_d
o
main:
r
ename
"dim" argumen
t
to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laeg
e
is
l
_space_rev
e
rse: rename "dim"
a
rgument to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
do
o
la
e
ge
isl_spac
e
_set
_
dim_name: rename "dim" argume
n
t to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
aege
is
l
_sp
a
ce_
g
et_tuple_name: rename "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
pace_ge
t
_dim_name: rename
"d
i
m" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoo
l
ae
g
e
isl_
s
pace_
s
et_tuple_na
m
e: rename
"
dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_space_
g
et_dim_id: rename "dim"
a
rgu
m
ent to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolaege
isl_space
_
has_dim_id: rena
m
e
"
dim" arg
u
ment to "
s
pac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
isl_spa
c
e_reset_tuple_id: re
n
ame "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oola
e
g
e
isl
_
space_
s
e
t
_t
u
p
le_id
:
r
e
name "d
i
m"
a
rgument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdo
o
laege
isl_space_g
e
t_tuple_id
:
rename "dim"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erd
o
olaeg
e
is
l
_
s
pace_has
_
tu
p
le_id: rename "dim" argument
t
o "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
.
c:
o
f
f
s
e
t: rename "dim" ar
g
u
m
ent to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_
d
up
:
re
n
a
m
e "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
e
rdoolaege
i
s
l_spac
e
_get_ctx: rename "dim" argum
e
nt to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_fold
.
c: qpol
y
n
o
m
ial_fold
_
al
l
oc: rename
"
dim"
argumen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
laege
isl_
u
n
i
on_*_allo
c
: renam
e
"dim" argument to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
s
l_map
.
c: map_lex_gte: rename "dim
s
" argu
m
en
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_map
.
c: map_lex_lte: rename "dims" a
r
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oolaeg
e
i
sl_t
r
ansitive_closure
.
c: c
o
n
s
tru
c
t_power_com
p
onen
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verdool
a
ege
isl_
b
asic_set_n
a
t_universe: rena
m
e "dim" argume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_m
a
p
.
c:
m
ap_lex_gte_f
i
r
st: ren
a
me
"dim
s
" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
ool
a
ege
i
s
l_map
.
c
: map_le
x
_lte_first: rename "
d
i
m
s" argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_output
.
c:
pr
i
nt_set_c: rena
m
e "d
i
m
" ar
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_transitive_c
l
osure
.
c: floyd_warsh
a
ll: re
n
ame
"
di
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_tra
n
s
itive_closure
.
c
:
floyd_warsh
a
ll_with_groups
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl
_
transitive_
c
losure
.
c: compute_inc
r
ement
a
l: ren
a
me
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
isl
_
basi
c
_
map_
a
lloc_sp
a
c
e: ren
a
m
e
"d
i
m
"
argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolaege
isl_basic_map_mor
e
_or_equal
_
at: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaege
isl_b
a
sic_map_more_at: rena
m
e
"
dim" a
r
gument to
"
s
pa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ba
s
ic_map_less_or_equal_at:
rename "dim" ar
g
u
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
s
l_tab_p
i
p
.
c: set_minimum: ren
a
me "dim" arg
u
ment
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
ola
e
ge
is
l
_
d
im_m
a
p
_
di
m
_range: rename "d
i
m"
a
rgum
e
nt
t
o "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
r
doolaege
i
sl_basic_map_exten
d
_space:
r
ename
"
dim" arg
u
men
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
olaege
is
l
_map_reset_s
p
ace: rename
"
d
i
m
"
argum
e
nt to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
spa
c
e_dump declara
t
i
o
n: ren
a
m
e
"dim" a
r
gument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next