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_mat_right_inverse: add memory management annotations
2017-04-24
Sven Verdo
o
la
e
ge
isl_mat_right_
i
nverse: add
m
emo
r
y man
a
geme
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
laege
is
l
_m
a
t_copy: add memor
y
management
a
n
nota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolae
g
e
isl_
m
a
t
_unimodular_complete
:
a
dd memory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n V
e
rdoo
l
aeg
e
isl_m
a
t_p
a
rameter_compression: add
m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_transpose: ad
d
memor
y
m
anageme
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_mat_i
n
verse_p
r
oduct: add memory manag
e
ment annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_
m
at_lin_
t
o_aff: add memo
r
y m
a
nagem
e
nt
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_mat_swap
_
r
o
ws: add memo
r
y manage
m
en
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_mat_left_hermite: add me
m
o
r
y mana
g
em
e
n
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_ma
t
_aff_direct_sum:
add m
e
m
ory manageme
n
t
annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
a
ege
isl_mat_swap_cols
:
add memory manag
e
ment annotat
i
on
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_vec_m
a
t_product: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ver
d
oolaeg
e
i
s
l
_mat_
v
ec_product: add mem
o
r
y
man
a
gement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
a
e
ge
isl_map_copy: add me
m
o
ry
m
anagement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doolaege
isl_map
_
cow
:
add
m
emory mana
g
ement anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doo
l
aege
isl_map_from_basic_map: add
m
e
m
ory management
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
aege
i
s
l
_
m
ap_floordiv: add
memory mana
g
ement an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_map_compute_div
s
:
ad
d
memory ma
n
agement
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
laeg
e
isl_map_remove_emp
t
y_pa
r
ts: add memory
mana
g
em
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolae
g
e
isl_map_coale
s
ce: add m
e
mory
m
anagement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
oolaege
isl_
m
ap_domain: add me
m
or
y
mana
g
ement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
oolaege
isl_map_range: add memory man
a
gement anno
t
ation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_map_
r
everse: add memory mana
g
emen
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doolaege
isl_map_n_
*
: add memory ma
n
ag
e
ment ann
o
ta
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
erdoolaege
isl_map_dr
o
p: ad
d
m
emory management
a
nnotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
l
aeg
e
is
l
_map_fix_si: add memory mana
g
ement an
n
otat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Ve
r
doo
l
aege
isl_map_sum: add memor
y
management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_
g
r
ow: add me
m
ory
m
a
n
ag
e
ment annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdo
o
laege
isl_m
a
p_remove
_
di
m
s: ad
d
memory management ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Ver
d
o
o
laege
isl_m
a
p
_n
e
g: add memory
m
ana
g
e
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_
m
ap_conv
e
x_hull: add me
m
ory manage
m
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_set_bounded_simple_hull: add
m
emory mana
g
em
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl
_
set
_
c
opy: add memory m
a
n
age
m
ent
ann
o
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoola
e
ge
isl
_
set_cow:
add
m
emory
managem
e
nt annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
olaege
isl_set_from_b
a
si
c
_set:
a
dd memory managem
e
n
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rd
o
olaeg
e
isl_s
e
t_
d
r
o
p
:
add memory man
a
gement a
n
no
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_bas
i
c
_{se
t
,map}
_
alloc_in
e
quali
t
y: ad
d
memor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl
_
ba
s
ic_map_
c
ow: add
memory
management annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
erdoolaege
i
sl_bas
i
c_map_uni
o
n:
a
dd
memory man
a
gement annotatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoola
e
ge
i
s
l_basic_map_
d
eltas: add
memory manageme
n
t an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdool
a
ege
isl_basic_map_sum:
a
dd
m
emory m
a
nagement a
n
not
a
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
ege
isl_basic_ma
p
_
gist
:
add me
m
ory man
a
ge
m
ent annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl
_
ba
s
i
c_map_com
p
ute_divs: add
m
emory management anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdool
a
ege
isl_b
a
sic
_
map_a
f
fine_h
u
ll: ad
d
me
m
ory
manag
e
ment annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
aege
isl_basi
c
_
m
ap_detect_e
q
ualities: add memor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oola
e
ge
is
l
_basic_map_i
n
tersect:
add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
l
aege
isl_basic_map_revers
e
: add memory
manag
e
men
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
sl_
b
a
sic_ma
p
_co
p
y: add me
m
ory management
an
n
o
t
ati
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoola
e
ge
isl_basic_map_normalize: add memory manag
e
men
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolae
g
e
isl_ba
s
ic_map_set_to_empty: a
d
d memory
man
a
g
ement annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_basi
c
_map_elimi
n
at
e
_v
a
rs: add me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_basic_map_normalize_constraints:
a
dd memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoola
e
ge
isl_
b
asic_map_simplify: ad
d
memory managem
e
n
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ba
s
ic_map_
f
i
nal
i
ze: add memory m
a
n
a
g
e
men
t
a
n
n
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_basic_map_order_divs
:
add me
m
ory ma
n
a
g
e
m
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
ool
a
e
ge
isl_basic
_
map
_
neg:
a
dd memo
r
y manag
e
ment anno
t
ation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdo
o
lae
g
e
isl_basic_
m
ap_implicit_equal
i
tie
s
:
add m
e
mory mana
g
eme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doola
e
ge
isl_basic_
m
ap_gauss
:
add
m
emor
y
management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_basic_map_fix_
s
i
:
ad
d
memo
r
y mana
g
eme
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_basic_
m
ap
_
flo
o
rdiv: add mem
o
ry management
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
la
e
ge
isl_basic_map_so
l
ve_lp: add me
m
ory manag
e
m
ent annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolae
g
e
isl_basic_map_drop: add me
m
or
y
ma
n
a
g
em
e
nt annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erdoolaege
isl
_
b
asi
c
_m
a
p
_
p
r
oduct: add memory
m
an
a
gem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_basic_map_
i
n
t
e
rsect_
r
a
n
ge: add memory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdo
o
laege
isl_basic_m
a
p_in
t
er
s
e
c
t_d
o
m
ain
:
a
dd mem
o
r
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_
b
asic_map_ext
e
nd_space: add
memo
r
y ma
n
agement
a
nno
t
a
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdoola
e
ge
isl_basic_m
a
p_dup: add memory m
a
na
g
ement an
n
otatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_basic_map_
r
emove_di
m
s:
a
d
d memor
y
m
anagement annotat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolae
g
e
isl_basic_map_total_dim:
a
dd me
m
ory management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
l
aege
isl_ba
s
ic_set_recession_cone: add memory mana
g
e
men
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Ver
d
oolaege
isl_b
a
sic_set_from_constrai
n
t:
add mem
o
ry ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoo
l
aege
isl_basic_se
t
_cow: add memory m
a
n
a
gem
e
nt
ann
o
tati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_set
_
offset: add memory
m
anage
m
ent annotat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
e
rdoolaege
isl
_
basic
_
se
t
_copy
:
add memory mana
g
ement a
n
notati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_ba
s
ic_set_
r
e
duced_
b
a
sis:
add memory ma
n
a
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
olaege
isl_basic_set_sample_bounded: add me
m
or
y
mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_ba
s
ic_set_solv
e
_ilp: add memory management a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ba
s
i
c
_
set_lineal
i
t
y
_space: add mem
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_basic_set_total_dim: add memo
r
y
management annot
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolae
g
e
isl_tab_pip
.
c
: cont
e
x
t
_tab_fo
r
_lexm
i
n:
a
dd memo
r
y man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_tab_pip
.
c: in
e
q_fo
r
_
d
iv: add m
e
mory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
i
sl_
t
ab_pip
.
c
:
align_context_
d
ivs: add memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
eg
e
is
l
_tab_pip
.
c: t
a
b_f
o
r_l
e
xmin: add memory managem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoo
l
aege
i
sl_tab_pip
.
c:
d
r
o
p_const
a
n
t_terms: add memory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
sl_samp
l
e
.
c: vec_co
n
cat: add memo
r
y management
annot
a
tion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoolaege
isl_sample
.
c: shift_co
n
e: add memory manageme
n
t
anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoo
l
a
ege
isl_sample
.
c: round_up_in_cone: add memory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_sample
.
c:
r
ational_
s
amp
l
e: add memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
doolaege
isl_sample
.
c: plug_in: ad
d
m
emory mana
g
ement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
i
sl_sample
.
c:
g
br_s
a
mple: add mem
o
ry
m
ana
g
eme
n
t a
n
no
t
a
ti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laeg
e
isl_sa
m
ple
.
c: sample_
b
o
u
nded:
a
dd memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_samp
l
e
.
c: interval_sa
m
ple: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
doolaege
i
sl_sample
.
c:
zero_sa
m
ple: add m
e
mory manage
m
ent annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_sa
m
p
le
.
c: sample_eq: add
memo
r
y management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdool
a
e
g
e
isl_
s
ample
.
c: empty_sample: add memory managemen
t
annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
i
s
l_
s
a
m
p
l
e
.
c
:
b
asic_set_
s
amp
l
e: add memory ma
n
a
gem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdool
a
ege
isl_output
.
c: p
r
i
nt_half_
c
o
n
s
traint: add mem
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
isl_o
u
tput
.
c
:
print_constrai
n
t:
add memo
r
y
m
a
n
ag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
V
e
rdoolae
g
e
i
s
l_m
a
p_
s
imp
l
ify
.
c:
c
oa
l
e
s
c
e
_or
_
drop_mo
r
e_redun
d
ant_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map_simplify
.
c: coalesce_divs: add
m
emory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next