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_get_tuple_name: rename "dim" argument to "space"
2018-08-22
Sve
n
Verdoolaege
isl_space_g
e
t_tuple
_
name: rename "
d
im" argu
m
e
nt to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oolae
g
e
isl_space_ge
t
_dim
_
na
m
e: rename
"
dim" argu
m
ent to
"
s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
sl
_
space_set_tup
l
e_na
m
e: rename
"
dim" arg
u
ment
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl
_
spac
e
_
get_
d
im_id: rename "dim" argument t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaeg
e
isl_space_has_dim_id:
r
ename "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_space_reset_tuple_id: rename
"dim" argumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_set_t
u
ple_id: renam
e
"d
i
m
"
arg
u
ment to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdool
a
e
g
e
isl_space_get_tuple
_
id
:
rename "dim" argumen
t
t
o
"spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_has_tuple_id: rename "dim
"
argument
to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_spac
e
.
c: offset
:
renam
e
"dim" arg
u
ment to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_spac
e
_
d
up
:
rename
"
dim" argume
n
t to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_
s
pace_ge
t
_ctx:
rename "
d
im" argum
e
nt to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_fold
.
c: qpo
l
ynomial_fol
d
_alloc: rena
m
e
"
d
i
m"
a
rgument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_union_*_alloc:
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
e
rdoolaege
is
l
_
map
.
c: ma
p
_lex_gte:
rename
"dims
"
argu
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdo
o
laege
isl_map
.
c:
m
a
p
_lex_lte: rename "d
i
ms"
a
rgum
e
nt to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_tra
n
sitive_closur
e
.
c: const
r
uct_pow
e
r_
c
omponents
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
la
e
ge
isl_b
a
sic
_
s
e
t
_nat_universe: r
e
na
m
e
"
dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
m
ap
.
c: map_lex_
g
t
e
_first: renam
e
"dims"
a
rgument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
isl_ma
p
.
c: m
a
p
_lex_lte_fir
s
t: ren
a
me "dims" argum
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_outp
u
t
.
c
: print_s
e
t_c: r
e
n
am
e
"d
i
m" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl
_
tra
n
s
itive_clos
u
re
.
c
: floyd_warshall: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolae
g
e
isl_
t
ransitive
_
closure
.
c: floyd_warsha
l
l
_with_groups
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
isl_transi
t
iv
e
_clo
s
ure
.
c: compute_
i
ncr
e
m
ental: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
s
l_basic_map_alloc_space: rename "dim" argum
e
nt to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_bas
i
c_map_more_or_
e
qual
_
a
t
: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oola
e
ge
isl_basic_map_m
o
re_
a
t
:
re
n
a
me "dim" argu
m
en
t
to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_
b
a
sic_map_less_or_equal_at: r
e
name "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oolaege
i
sl_tab_pip
.
c: s
e
t_minimum: rena
m
e
"d
i
m" argumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolaege
isl_di
m
_map_
d
im_range: rename "dim" arg
u
ment to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
ege
is
l
_basi
c
_map_extend_s
p
a
c
e:
rename
"dim
"
ar
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_map_r
e
se
t
_space:
rename "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oolaeg
e
is
l
_space_dump declaratio
n
: renam
e
"di
m
"
a
rgumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
o
laege
i
sl_printer_print_sp
a
c
e
de
c
laration: rename "dim" ar
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qpolynomia
l
_
*_on_dom
a
in: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdool
a
ege
i
sl_qpolynomial
_
from_
a
ffin
e
: rename
"
di
m
" argum
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolae
g
e
isl_pol
y
no
m
ial
.
c:
set
_
div_slice
:
r
e
name
"
dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaeg
e
isl_qpo
l
ynom
i
al_lift: rename "d
i
m" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_te
r
m_allo
c
: rename
"
dim"
a
r
gument to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_tr
a
n
s
it
i
ve_closur
e
.
c
: cons
t
r
u
ct_project
e
d_
c
ompo
n
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
isl_spac
e
_fin
d
_d
i
m_by_id: rename "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sp
a
ce
.
c
:
n: renam
e
"
d
i
m
"
argument to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oolaege
isl_space
.
c: get_id: renam
e
"dim" argumen
t
to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
isl_space
.
c:
set_id: rename
"
dim" arg
u
ment
t
o "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
laege
isl_space
.
c: exten
d
_ids:
rename
"
dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_spa
c
e
.
c
: glo
b
al
_
po
s
:
rename "dim" arg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
is
l
_q
p
olynomial_alloc: ren
a
me "d
i
m"
a
r
gument
t
o
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oolaege
i
s
l_p
o
int_vo
i
d:
rename "d
i
m" arg
u
ment to
"
s
p
ac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_point_
z
ero: rename
"
dim" a
r
gument
t
o "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
g
e
isl_
p
oi
n
t
_alloc: renam
e
"d
i
m
"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_
output
.
c:
p
rint_base: renam
e
"dim" arg
u
men
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doolae
g
e
i
sl_ou
t
put
.
c: pr
i
nt_omega_parameters: rena
m
e
"dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_out
p
ut
.
c: print_ne
s
te
d
_tuple: rename "lo
c
a
l
_
dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_output
.
c: print_nested_v
a
r_
l
i
st: rename "local_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_output
.
c: pos2t
y
pe: renam
e
"dim" argument
t
o
"sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olae
g
e
isl_outpu
t
.
c
:
count_same_name: rename "dim" a
r
gument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_basic_map_nat_unive
r
se: renam
e
"dim
"
a
r
gument t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
i
sl_b
e
rnstein
.
c: vertex_
c
oordinate: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
sl_
t
ransitive_
c
lo
s
ure
.
c: incrementa
l
_closure
:
rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
ege
isl_t
r
an
s
i
t
ive_clos
u
re
.
c: construct
_
extended_
p
ath:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
erdoolaege
isl_t
r
ans
i
tive_closure
.
c
:
incremental_
o
n_entire_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
dool
a
ege
isl_transitive_closure
.
c: i
n
cre
m
ent: re
n
ame "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdool
a
e
ge
isl
_
transitive_closure
.
c
:
equate_parameter_to_length
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_transitive_clo
s
u
re
.
c
:
path_alon
g
_delta: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_t
r
a
n
s
itive_clo
s
ure
.
c
: path_a
l
ong_step
s
:
ren
a
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oola
e
ge
is
l
_o
u
tput
.
c
: print_affine_c: rename
"
di
m
" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_map
.
c: neg_halfspace: rename
"
dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_map
.
c: nonneg_
h
alfspace: rename
"
dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_ba
s
ic
_
map_identity: rename
"
dim" arg
u
men
t
to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaege
isl
_
map
.
c: basic_map_ide
n
tity: rename "dims" a
r
g
u
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_basic_map_from_c
o
nst
r
aint
_
matrices:
rename
"di
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
s
l_space_dro
p
_dims: r
e
n
a
m
e "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 Ve
r
dool
a
e
g
e
is
l
_farkas
.
c: isl_spa
c
e
_
solutions: rena
m
e "dim" a
r
gument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_fa
r
kas
.
c: isl
_
space_unprefix
:
rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
V
e
rd
o
olaege
isl_farkas
.
c: i
s
l_space_co
e
ffi
c
i
ent
s
:
rename "d
i
m"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_farkas
.
c: isl_space_prefix: rename
"dim" a
r
gum
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
s
l
_
d
im_
m
ap_dim: 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_spac
e
_dim: re
n
ame "dim" argume
n
t to
"
space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
is
l
_transitive_
c
losure
.
c; incremental_on_en
t
ire_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
i
s
l_constraint_set_
c
oeffic
i
en
t
_si: rem
o
ve du
p
l
i
c
ate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl
_
cons
t
raint_
s
e
t
_c
o
efficient: remove d
u
plicate isl_
c
o
nstra
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_tab
.
c
; in
e
q_for_div: ad
d
memo
r
y manageme
n
t
annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven V
e
rdoolaege
isl_basic_ma
p
_al
l
oc_spac
e
: add memory manage
m
ent
an
n
otation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
ven Verdoolaege
i
sl_map
.
c: compute_divs: add memory manageme
n
t an
n
otations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
Verdoolaege
isl_bas
i
c_map_fix_pos_si: add me
m
o
r
y
man
a
gemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoolaege
i
sl_basi
c
_ma
p
_domai
n
: a
d
d mem
o
ry
m
a
na
g
eme
n
t an
n
otations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
i
s
l_constra
i
nt_dim: add memory m
a
nagement
annot
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
e
n Verdo
o
laege
isl_
b
asic
_
map_add_div_constrain
t
s: add
m
e
mory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Ve
r
d
o
o
laege
i
s
l_tab_p
i
p
.
c: find_co
n
text_div
:
add memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_map
_
simplify
.
c:
d
iv_find_c
o
alesce:
a
dd memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_basic_map_off
s
et: add
m
em
o
r
y
management a
n
no
t
ation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
is
l
_
convex_hull
.
c:
s
et_bounds: ad
d
m
e
mory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ve
r
d
o
olaege
p
olyt
o
pe_scan
.
c; isl_b
a
sic_set_s
c
an_samples: add mem
o
ry
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
pip
.
c:
to_pa
r
ameter_domain: add
m
emory man
a
gement annot
a
tio
n
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verd
o
o
laege
isl_co
n
vex_hull
.
c: isl_basic
_
set_add_equality: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verd
o
olae
g
e
isl_equ
a
l
ities
.
c: comp
r
ess_va
r
iables: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ve
r
doolaege
isl_
a
f
fine_hull
.
c: uset_affine_hull_bo
u
nded:
a
dd memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
Verdoolaege
isl
_
affine_h
u
ll
.
c: aff
i
ne_hull: add memo
r
y management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
ve
n
V
e
rdoolae
g
e
i
sl_affin
e
_hull
.
c: tra
n
sform_col
u
mn:
a
dd mem
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
i
sl_a
f
f
i
ne_hull
.
c: co
n
struct_colu
m
n: add memo
r
y manag
e
me
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next