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_space_reset: rename "dim" argument to "space"
2018-08-22
S
v
en Verdool
a
e
g
e
isl_s
p
ace_reset: renam
e
"d
i
m" argume
n
t to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
is
l
_space_zip: rename "d
i
m" argu
m
ent to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_space_unwrap: rename "d
i
m"
a
rgument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoo
l
aege
isl_spa
c
e_
w
r
ap
:
rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_
s
pace_is_
w
rapping:
rename "di
m
" argument to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
isl_sp
a
ce_from_ra
n
g
e
: rename "dim" argu
m
ent to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
laege
isl_space_fro
m
_
d
omain
:
rename "dim"
a
rg
u
ment to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_reverse:
r
ename "d
i
m
" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_sp
a
ce_set_dim_name: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rd
o
o
laeg
e
i
s
l
_space_g
e
t_tuple_name:
re
n
ame "dim" argum
e
nt to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_space_get_dim_na
m
e:
r
e
n
a
me "di
m
" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
sl_spac
e
_
s
et_tuple_nam
e
: r
e
name "dim" argu
m
ent to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
o
olaege
isl_space_g
e
t_
d
im_i
d
:
re
n
ame "dim" arg
u
ment t
o
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_has_dim_id
:
re
n
a
me "dim" argument
t
o
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdoolaege
i
s
l_sp
a
c
e
_re
s
et_t
u
ple_
i
d
: r
e
name "dim" arg
u
ment to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
isl_space_set_t
u
ple_id: rename "dim"
argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_spa
c
e_
g
et_tuple_id: rename "dim" argument
t
o "s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
olaege
i
s
l
_
space
_
has
_
t
u
ple
_
i
d
: rename "dim" a
r
gument to "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
.
c: offset: rename "dim" argument to
"space"
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
ge
isl_s
p
ace_dup: rename "dim" argu
m
ent to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
V
erdool
a
ege
isl_space_get_c
t
x: rename
"
dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_fold
.
c:
q
polynomial_fold_alloc: r
e
name "
d
im" a
r
gume
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rd
o
olaege
isl_un
i
on_*_a
l
loc: rename "dim" argume
n
t to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
m
a
p
.
c: map_lex_gte: rename "dims" argum
e
n
t t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c
: map_lex_lte: r
e
na
m
e "
d
ims" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
o
l
aeg
e
i
s
l_transitive_
c
losure
.
c: construc
t
_po
w
er_c
o
m
p
onents
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
isl
_
basi
c
_set_nat_u
n
iverse
:
rename "dim" arg
u
ment to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_map
.
c: map_lex_gt
e
_first: rena
m
e "dims" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoo
l
aege
isl_ma
p
.
c
:
m
ap_
l
ex_lte_
f
ir
s
t: ren
a
me
"d
i
ms" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_o
u
tput
.
c: p
r
int_set_c: rename "dim" ar
g
ument t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
l
a
eg
e
i
s
l_tr
a
n
si
t
ive_closure
.
c
: floyd_warshall: rename "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
transit
i
ve_c
l
os
u
re
.
c
: floyd_warshall_with_groups
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdoo
l
aege
i
s
l_transitive_closure
.
c: compute_in
c
reme
n
tal: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_basic_ma
p
_all
o
c_sp
a
ce: rename "dim"
a
r
gument
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolae
g
e
isl_bas
i
c_map_m
o
re_or_equal_at: rename "dim" a
r
gumen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_m
a
p_mor
e
_at: r
e
name "di
m
"
a
r
gum
e
nt to
"sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdool
a
ege
isl_b
a
sic_map_less_or_equ
a
l_at: rena
m
e "
d
im" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoola
e
g
e
isl_tab_
p
ip
.
c: se
t
_
minimum: rename "d
i
m
" argume
n
t to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoola
e
ge
i
s
l_dim_map_dim_range: rename "dim" argument
to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolaege
isl_basic_map_exte
n
d_spac
e
: rename "d
i
m" argumen
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_map_
r
eset_
s
p
ace: r
e
name "dim
"
argu
m
ent
t
o "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_s
p
a
c
e_dump d
e
claration:
r
e
name "dim"
a
rg
u
ment t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_p
r
inter_print_space
d
eclara
t
ion: rename "dim
"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_qpolyno
m
ial_*_on_domain: r
e
name "dim" argum
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
is
l
_qpoly
n
omial_from_affine: rename "dim" arg
u
men
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_polynomial
.
c
: set_di
v
_sl
i
ce: re
n
ame "
d
im" argum
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_qpol
y
nomial_lift: rename
"
dim" argumen
t
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Ve
r
doo
l
aege
i
s
l
_
term_alloc: rename "dim" argument to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doolaege
isl
_
transitive_cl
o
sure
.
c: const
r
uct
_
projecte
d
_
c
ompo
n
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_
s
p
a
ce_find_dim_by
_
i
d
: rename "dim" argument
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdo
o
laege
isl_
s
p
a
ce
.
c:
n: renam
e
"d
i
m"
argu
m
ent t
o
"
s
pa
c
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_space
.
c:
g
et_id: rename "dim" a
r
gument to "sp
a
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
ola
e
g
e
isl
_
spac
e
.
c: set_id: rename "dim" arg
u
ment to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
s
l_space
.
c: extend_
i
d
s
:
rename "dim" argument
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdo
o
laege
isl_space
.
c: global
_
pos:
re
n
ame
"
dim" argu
m
en
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdool
a
ege
is
l
_
q
p
o
l
y
nomi
a
l_alloc
:
rena
m
e "di
m
" argumen
t
to
"
space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n V
e
rdoo
l
a
ege
isl_point_void: rename
"dim" argument to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olaege
i
s
l
_
p
oint_zero:
r
ename "dim" argument t
o
"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
_poi
n
t
_
alloc:
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 Verdo
o
laege
isl_output
.
c: p
r
int_b
a
se:
r
e
n
a
me "
d
im" argumen
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doolaege
is
l
_output
.
c: print_om
e
ga_pa
r
ameters:
renam
e
"
d
im"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
o
utpu
t
.
c:
p
r
int_nested_tuple: rename "local_dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
ola
e
ge
isl_outp
u
t
.
c
: pri
n
t_nest
e
d_var_lis
t
: rename "local_dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
isl
_
output
.
c: pos2type: rename "dim"
argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_output
.
c: c
o
unt_same_
n
am
e
: rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_basic_
m
ap
_
nat_univer
s
e:
r
e
n
ame "dim
"
argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_be
r
nste
i
n
.
c
:
v
e
r
tex
_
coordinate
:
renam
e
"dim" ar
g
u
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_tr
a
nsitive_clos
u
re
.
c:
increme
n
tal_clo
s
ure:
rena
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closu
r
e
.
c: cons
t
r
uct_ex
t
ended_p
a
th:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
ge
is
l
_transitive_closure
.
c: incremental_on_e
n
tire_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_t
r
ansi
t
ive_closu
r
e
.
c
:
increment: rename "dim
"
argume
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_transitive_closure
.
c:
e
q
u
ate_parame
t
er_to_
l
ength
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_tra
n
sitive_closure
.
c
:
path
_
along_d
e
lt
a
:
ren
a
me
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_transitive_c
l
osur
e
.
c: p
a
th
_
along_steps: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_output
.
c: pri
n
t_affine_c
:
r
ename "dim
"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolae
g
e
i
sl_
m
ap
.
c:
n
eg_halfspace: r
e
n
a
me "dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_map
.
c
:
nonneg_halfspac
e
:
renam
e
"dim" argume
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_b
a
sic_map_iden
t
ity:
rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c: basic_map
_
identity: rename "dims
"
arg
u
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oolaege
isl_basic_map_from_constraint_matrices:
renam
e
"dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
isl_s
p
ac
e
_dro
p
_dims: renam
e
"
dim" a
r
gum
e
nt to
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verd
o
olaege
isl_
f
arkas
.
c
:
isl_space_solutions: re
n
am
e
"di
m
"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oolaege
i
s
l_f
a
rkas
.
c: is
l
_space_unprefix:
r
e
n
a
me "di
m
" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
sl
_
f
a
rka
s
.
c: isl
_
space_co
e
ffic
i
en
t
s:
r
en
a
me "dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
o
o
l
a
ege
isl_fark
a
s
.
c: isl_s
p
ac
e
_prefix: rename "dim"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
d
oolaege
isl_d
i
m_m
a
p_dim:
ren
a
me "dim" argume
n
t
t
o
"
s
p
ac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaege
isl_
s
pace_di
m
: ren
a
me "dim" argum
e
n
t to "
s
pac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verdo
o
laege
isl_tran
s
i
t
i
ve_
c
los
u
re
.
c; increm
e
ntal_on_entire_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_con
s
tr
a
int_set_coeffi
c
i
e
nt_si:
r
emov
e
duplicate
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
o
laege
isl_co
n
st
r
aint_
s
et_coe
f
fici
e
n
t: remove duplicate isl_c
o
ns
t
ra
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
is
l
_tab
.
c
; ineq_for_div: add memory
m
anagement annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ver
d
oolaege
isl_ba
s
ic_map_alloc_space: add
mem
o
ry man
a
gem
e
nt anno
t
ation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
S
ve
n
V
erdo
o
laege
isl_
m
ap
.
c
:
compute_di
v
s: add m
e
m
ory manag
e
ment annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
Verdoolaege
isl_
b
asi
c
_map_fix_pos_s
i
: add memory mana
g
e
m
en
t
annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verd
o
olaeg
e
i
s
l_basic_map_domain: add memory managem
e
nt annotati
o
ns
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
i
sl_
c
onstraint_dim: add
m
emory management annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ver
d
oolaege
isl_
b
asic_map_ad
d
_div_
c
o
nstraints: ad
d
memor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
is
l
_tab_p
i
p
.
c: f
i
n
d
_
context
_
div: a
d
d mem
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en V
e
rdoolae
g
e
isl_map_simplif
y
.
c
:
div_find_coalesce
:
add memory
ma
n
agem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_basic_map_offset
:
add
m
emory management
annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next