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_schedule_node.c: extension_from_domain: use isl_bool for local variable
2018-08-22
Sven
Verdoolaege
isl
_
s
pace_set_tuple_name: re
n
am
e
"dim" argu
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_g
e
t_dim_id: rename "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_has_d
i
m
_
id: rename "dim" argument to "
s
p
ace
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl
_
space_res
e
t_tuple_i
d
: rename "dim" argume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
erdo
o
laege
isl_sp
a
ce_set_tupl
e
_id: ren
a
me "dim" ar
g
ument 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_get_tuple_id:
r
ename "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olaege
isl_space_h
a
s_tuple_id: re
n
ame "dim" ar
g
ument
t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
p
ace
.
c: o
f
fs
e
t
:
rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_space_du
p
:
ren
a
me "dim" argume
n
t to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_spa
c
e_get_ctx: rename "dim" argu
m
en
t
to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl
_
fold
.
c: qpolyn
o
mial_fold_a
l
loc: ren
a
me "dim
"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_union_
*
_a
l
l
o
c: r
e
name
"dim" argument to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
la
e
ge
isl_m
a
p
.
c: map_lex_gte: rename "dims"
a
rgument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_map
.
c:
m
ap_lex_lte: rename "dim
s
"
a
rgument
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
la
e
ge
isl_transitive
_
closure
.
c:
co
n
struct_power_components
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_basi
c
_
s
e
t_nat_universe: renam
e
"dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdool
a
eg
e
isl_m
a
p
.
c: map_
l
ex_
g
te_fir
s
t: r
e
na
m
e "dim
s
" argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
olaege
isl_map
.
c: map_le
x
_lte_
f
irst: rename
"
dims" argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_ou
t
p
u
t
.
c
:
print_set
_
c: rename "dim
"
arg
u
m
e
n
t
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdo
o
laege
isl
_
transitiv
e
_
c
l
osure
.
c
: floyd
_
wa
r
shall: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
lae
g
e
isl_
t
ransitive_
c
losure
.
c
:
f
l
oyd_warsh
a
l
l
_with_groups
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_
t
ransitive_closure
.
c:
compu
t
e_increment
a
l: rena
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_ba
s
ic_map_alloc
_
space: renam
e
"dim" a
r
gume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
is
l
_
b
asic
_
map_more_or
_
e
q
ual_at
:
rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_b
a
sic_map_more_at: renam
e
"dim"
a
rgument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_
b
asic_map_l
e
ss_o
r
_equal_at
:
r
en
a
me "dim"
ar
g
u
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
laeg
e
isl_tab_
p
ip
.
c: set_
m
ini
m
um: rename "dim"
a
rgume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
i
s
l
_dim_map_dim_range: rename
"
dim" argument t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_
e
x
tend_space: rename "di
m
"
argument
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
m
a
p_reset_sp
a
c
e
:
r
en
a
me "dim" argumen
t
t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_dump declar
a
tion:
r
ename "
d
im" a
r
gume
n
t t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
isl_print
e
r_print_s
p
ace declarat
i
on: rename "dim" arg
u
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qpolynomial_*_on_domain: rena
m
e "dim
"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_qp
o
lynomial_from_affi
n
e:
r
ename "
d
i
m
"
ar
g
u
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl
_
polyno
m
ial
.
c: set_div_slice: rename "dim
"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_q
p
ol
y
nomial_lift: rename
"
dim" a
r
gume
n
t to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_term_alloc: ren
a
me "dim"
a
r
g
ument to
"spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
laege
is
l
_
tr
a
ns
i
tive_closure
.
c: construct_projected_compo
n
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
_
find_
d
im_by_i
d
:
r
e
name "dim" argu
m
ent
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doo
l
ae
g
e
isl_s
p
ace
.
c:
n
: renam
e
"dim" argu
m
ent t
o
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
i
s
l_
s
pace
.
c: get
_
id: rename "dim" arg
u
me
n
t
to
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_s
p
a
c
e
.
c:
s
e
t
_id: rename
"dim" ar
g
ument to "
s
p
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_space
.
c: ex
t
end_ids: rename "
d
im" argume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolaege
i
s
l
_
sp
a
ce
.
c:
g
lob
a
l_pos:
rename "dim" argu
m
en
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaeg
e
isl_qpol
y
n
o
mia
l
_alloc: rename "
d
im
"
argument to "s
p
ac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaege
i
sl_point_void: rename
"dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaeg
e
isl_p
o
int_zero:
r
ename "dim" argument to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Verdool
a
ege
isl
_
point_a
l
loc: rename "dim" ar
g
umen
t
to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
l
a
e
ge
isl
_
output
.
c: print_b
a
se: rename "dim" a
r
gu
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_output
.
c: prin
t
_omega_paramet
e
rs: renam
e
"dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
is
l
_output
.
c:
print_nested_tuple
:
r
e
name "local_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolaege
i
sl
_
o
u
tp
u
t
.
c:
pr
i
nt_ne
s
ted_var_
l
is
t
: rename "local_
d
im
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_out
p
ut
.
c: pos2type: rename "
d
im" argu
m
ent t
o
"
spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaege
isl_o
u
tput
.
c: count_same_n
a
me
:
rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_b
a
sic_m
a
p_nat_
u
n
i
verse:
re
n
ame "
d
i
m
" argu
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
is
l
_bernstein
.
c: vertex_coo
r
di
n
ate: rena
m
e "d
i
m" ar
g
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdool
a
ege
isl_t
r
ansit
i
v
e
_closure
.
c: increme
n
tal_clo
s
u
re: rena
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaege
isl_t
r
ansitive_closur
e
.
c: con
s
truct_
e
x
tend
e
d_path:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
aege
isl_transitive_closure
.
c: in
c
remental_on_entire_
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_transitive_closure
.
c: i
n
c
r
emen
t
: re
n
ame "dim" arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_tran
s
i
t
ive_closure
.
c
:
equ
a
te_paramete
r
_to_length
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdoolaege
isl_transitive_closure
.
c: path_along_
d
e
l
ta: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdool
a
e
ge
isl_
t
r
a
n
sitive_
c
l
osu
r
e
.
c
:
path
_
along_st
e
p
s
:
rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolaege
isl_
o
utput
.
c: print
_
affi
n
e
_
c:
r
ename "
d
im" a
r
gu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_ma
p
.
c: neg
_
h
alfspace:
r
ename "dim" argument
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
doo
l
aege
isl_map
.
c
:
nonneg_halfspace: rename "
d
im" ar
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
s
l_basic
_
m
a
p_id
e
ntity: rename "d
i
m" ar
g
ument to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
isl_ma
p
.
c: basic_map_ident
i
ty: ren
a
m
e
"dims"
a
rgument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ba
s
i
c
_map_from_
c
onstraint_matrice
s
: rename
"dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olae
g
e
isl_space_drop_dims: 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_farkas
.
c: isl_space_soluti
o
n
s
: rename "dim
"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oolaege
isl_
f
a
r
k
a
s
.
c: isl_spa
c
e_u
n
prefix: rena
m
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_farkas
.
c
:
isl_space_coefficie
n
ts: rename "dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaege
isl_farkas
.
c
:
i
s
l
_
space_prefix:
r
ename "dim"
argume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
l
aege
i
s
l_dim_map_dim: rename "
d
im" argument to
"spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_di
m
: ren
a
me "
d
im" ar
g
um
e
nt
to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
V
erdoolaege
is
l
_transitive
_
closure
.
c; incremental_
o
n_entire_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_constraint_set_coefficient_
s
i:
r
emove duplicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
lae
g
e
isl_c
o
nstraint_set_coefficient: remove duplicate isl_constra
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sv
e
n Verdoolaege
isl_tab
.
c;
ineq_
f
or_di
v
: add
memory management annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoola
e
ge
is
l
_basic_map_al
l
oc_space: add memory ma
n
agem
e
n
t
annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
Verdo
o
laege
isl_m
a
p
.
c
: comput
e
_
d
ivs: add memory m
a
nagem
e
n
t annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verd
o
olaege
i
s
l_basic_m
a
p
_
fix_pos_si:
a
d
d memory
m
a
n
a
gement annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
ven Verdool
a
ege
isl_basic_map_domain
:
add
m
emory management annot
a
tions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_constrain
t
_dim: a
d
d
mem
o
ry ma
n
agement annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_basic_map_add_div_constr
a
ints: add me
m
or
y
m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ve
r
doolae
g
e
isl_tab_pip
.
c
:
find_context_div: add mem
o
r
y
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verd
o
ol
a
e
g
e
isl_map_
s
i
m
p
lify
.
c: di
v
_find_coalesce: add memor
y
ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
e
rdoolae
g
e
isl_basi
c
_
m
ap
_
offset:
a
d
d
memory m
a
nagem
e
nt
a
nno
t
ation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
i
sl_convex_hull
.
c: set_bounds:
add memory managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
V
e
rdoola
e
ge
p
ol
y
tope_
s
can
.
c
; isl_
b
asic_set_scan_s
a
mples: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoo
l
ae
g
e
pip
.
c: to
_
parameter_
d
omain:
a
dd memory man
a
gement anno
t
ation
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
ven Verdoolaege
isl_con
v
ex_
h
ull
.
c: isl_basic_set_add_e
q
uali
t
y:
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_
e
qual
i
ties
.
c
:
compress_variabl
e
s:
a
dd memor
y
manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
Ver
d
o
olaege
i
s
l_affine_h
u
ll
.
c: uset_affi
n
e_hull_bounded
:
add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
e
r
doolaege
i
sl
_
a
f
fine_hull
.
c: affi
n
e_h
u
ll: add memory mana
g
emen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdool
a
ege
isl_affine_h
u
ll
.
c:
transform_c
o
lumn: add memory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
ven V
e
rdo
o
laege
is
l
_
a
ff
i
ne_hull
.
c: construct_
c
o
lumn: a
d
d m
e
mory managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolae
g
e
isl_map
.
c
:
a
dd_d
i
vs: add memory managem
e
nt annot
a
t
ions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ve
r
doolaeg
e
i
s
l_map
.
c
:
basic_map_
i
nit
:
a
d
d me
m
ory
man
a
ge
m
ent anno
t
ations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next