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_basic_map_copy: add memory management annotations
2017-04-24
Sven Ve
r
doolae
g
e
isl
_
basic_m
a
p
_copy: add
m
emory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_basic_map_normalize: add mem
o
ry managemen
t
a
nnotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl
_
b
a
sic_map_set
_
t
o
_empty: ad
d
memory
mana
g
ement
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_b
a
s
i
c_map_eliminate_var
s
: add memory
mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
s
l_bas
i
c_map
_
normaliz
e
_co
n
straints
:
add
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doola
e
ge
i
sl_bas
i
c_map_si
m
plify
:
add memory management a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_basi
c
_map_fin
a
liz
e
: add memory
managemen
t
an
n
otatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl
_
b
asi
c
_
m
ap_order_divs
:
a
dd
m
emo
r
y management an
n
ota
t
ion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoolaege
i
sl_basic_map_neg: add memory management a
n
notation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
o
laege
isl_basi
c
_map_implic
i
t_equalities
:
add memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_ba
s
ic_map_gauss: add memory management
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
i
sl_basic_map_
f
i
x
_si: ad
d
memory management
a
nnotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Ver
d
oolaege
i
s
l_b
a
s
ic_map
_
f
l
o
ordiv: add memory
managemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
oola
e
ge
isl_basic_map_solve_lp: add memory
m
anagement annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoo
l
aege
isl
_
basic
_
m
a
p
_drop:
a
dd memory management annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic
_
m
a
p_pr
o
d
u
c
t: add m
e
mory management
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
i
sl_ba
s
ic
_
m
a
p_in
t
ersect_range:
add m
e
mory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_
b
asic_map_inter
s
ect_domain: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_
b
asi
c
_m
a
p_extend_sp
a
ce: add memory
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdo
o
laege
isl_basic_map_dup: add me
m
ory m
a
n
a
ge
m
ent annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaeg
e
isl_basic_map_remo
v
e_d
i
ms: add
m
e
m
or
y
management annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
i
sl_
b
asic
_
map
_
total_d
i
m: add mem
o
ry
m
anage
m
en
t
annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
oolaege
isl
_
b
asic_set_recession_con
e
:
add memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Ver
d
ool
a
ege
isl_basic_set_
f
rom_constrai
n
t
: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdo
o
laege
isl_basic_set_cow: add m
e
mor
y
management ann
o
ta
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_set_off
s
et: add memory management annotat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_basic_set_cop
y
: add memory m
a
nagemen
t
an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_basic_set_reduce
d
_bas
i
s: add me
m
or
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoolaege
isl_basic_set_sample
_
bou
n
ded: add
m
emory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdool
a
ege
i
sl_b
a
sic
_
s
et_solve_ilp: add memory mana
g
e
men
t
an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ve
r
doolaeg
e
i
s
l_basic_set_lineality_space: add
memory m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoolaege
isl_basic_set_total_dim: add mem
o
ry management annotati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoola
e
ge
isl_ta
b
_pip
.
c: context
_
tab_for_lexmin: add memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_t
a
b_pip
.
c: ineq
_
f
or_div: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoolaege
isl_
t
ab_pip
.
c: a
l
i
g
n_context_divs: ad
d
memor
y
m
anag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_tab_pip
.
c: ta
b
_
for
_
lexm
i
n: add
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_tab_pi
p
.
c: drop
_
cons
t
ant_terms: add me
m
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erdoolaege
i
sl
_
sample
.
c: vec_con
c
at: add mem
o
ry management annotat
i
on
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
s
ample
.
c: sh
i
ft_cone: ad
d
mem
o
ry ma
n
agement
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
ae
g
e
isl_s
a
mple
.
c: r
o
und_up_in_cone:
add
memo
r
y mana
g
e
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doolaege
isl_s
a
mple
.
c: rational_sa
m
ple:
ad
d
m
e
mory ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
oolaeg
e
isl_sa
m
pl
e
.
c: plug_in: add
m
emory management annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_sampl
e
.
c: gbr_s
a
mple: add memory man
a
gement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoolaege
isl_sample
.
c: sam
p
le_bounded:
a
d
d memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ve
r
doolaege
isl_sample
.
c:
i
nterval_sample
:
add m
e
mo
r
y manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_sample
.
c: zero_sample: ad
d
mem
o
ry
m
anagement a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_s
a
mple
.
c: sample_e
q
: add memory managem
e
n
t
a
n
no
t
ation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sa
m
ple
.
c: emp
t
y_s
a
mple:
add memory management
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoola
e
ge
isl_
s
ample
.
c: basic_set_sample: add m
e
mory m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_
o
u
tput
.
c: print_half_cons
t
raint:
add memory managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
sl_output
.
c
: p
r
int_constr
a
i
nt: add memory man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_map_simplify
.
c: coalesce_or_d
r
op_more_redunda
n
t_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
ool
a
ege
is
l
_map_simplify
.
c: coale
s
ce_divs: a
d
d memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdool
a
ege
is
l
_map_si
m
plify
.
c: remove_de
p
endent_vars: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdool
a
ege
isl_m
a
p_simp
l
ify
.
c
: r
e
move_duplicate_divs: add
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
erdo
o
laege
isl
_
m
a
p_si
m
p
l
ify
.
c: div_is_redundant: add memory
mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doola
e
ge
i
s
l_map_simpli
f
y
.
c:
r
e
move_redundan
t
_di
v
s: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
i
sl_map_simp
l
ify
.
c: ok_to_
e
liminate_div: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
d
o
o
l
aeg
e
i
s
l_map_simplify
.
c
:
elim
i
n
a
te_divs_
e
q: add
m
emory ma
n
a
g
e
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoolaege
isl_map_simp
l
if
y
.
c: drop_mor
e
_redundant_d
i
vs:
ad
d
m
e
mory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ma
p
_simp
l
ify
.
c:
normalize_divs: add memory man
a
geme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
a
ege
isl_map_
s
implify
.
c:
e
lim
i
nate_div
s
_ineq: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_ma
p
_simplify
.
c: set_compute_e
l
i
mination
_
index:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_map_simplify
.
c
:
compute_e
l
iminati
o
n_i
n
dex: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doolaege
isl_
m
ap_simpl
i
fy
.
c
: set_reduced_using_equalities: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_
m
a
p
_
s
im
p
lify
.
c: r
e
duced_using_equ
a
l
itie
s
:
add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_map_simplify
.
c
:
isl_bas
i
c_set_reduce_using_equa
l
itie
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map_simplify
.
c
:
check_for_
d
iv_c
o
nstraints:
a
d
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
a
ege
isl
_
map_
s
im
p
lify
.
c: set_div_from_lo
w
e
r
_bound: add
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c: ok_t
o
_set_div_from_bound: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
i
s
l_map_simplify
.
c:
s
e
t
_
h
ash_
i
ndex: add
m
emory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doolae
g
e
isl
_
map_s
i
mpli
f
y
.
c: r
e
move_shifte
d
_con
s
tra
i
nts: a
d
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Ver
d
oola
e
ge
isl_map
.
c: map_offset
:
add memo
r
y management a
n
not
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdo
o
laege
isl
_
m
a
p
.
c: find_div: add memory m
a
n
a
gement annot
a
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoo
l
a
ege
isl_map
.
c: v
a
r_
m
ore: a
d
d me
m
ory management ann
o
tati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c:
var_l
e
ss: add memory man
a
gement a
n
no
t
atio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ver
d
oolae
g
e
isl_map
.
c: var
_
equal: ad
d
memory managemen
t
annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rdoolaege
isl_map
.
c: ba
s
ic_s
e
t_
a
ppend_equali
t
ies:
a
dd mem
o
ry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
o
laege
i
sl_map
.
c:
b
a
sic_set_parameter_preimage: a
d
d memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdo
o
lae
g
e
isl_map
.
c: add_constraints: add memor
y
ma
n
agement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
olaege
isl_lp
.
c: isl_tab_s
o
lv
e
_lp: add memory management annot
a
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doolaege
is
l
_ilp
.
c
:
ad
d
_
b
ounds: ad
d
memor
y
manageme
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
sl_ilp
.
c: unit_box_base_points: ad
d
m
e
mory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_ilp
.
c: sol
v
e_il
p
_search:
ad
d
memor
y
mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaeg
e
isl_ilp
.
c: initial_soluti
o
n: ad
d
memory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c: solve_i
l
p
:
add m
e
mory
m
anagem
e
n
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
d
o
o
l
aeg
e
isl_ilp
.
c:
s
olve_ilp_with_eq: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
doolaege
isl_convex_
h
ull
.
c: is_boun
d
:
a
dd
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
aege
isl_convex_hull
.
c: add_
b
ound: add memory ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_convex_
h
ull
.
c: ad
d
_bounds: a
d
d
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoola
e
ge
is
l
_convex_hull
.
c:
hash_basic_set: ad
d
memor
y
man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
i
sl_convex_hull
.
c: sh_data_alloc: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdo
o
l
a
ege
isl_c
o
nvex_hu
l
l
.
c: uset_
c
onvex_hull_wrap_bo
u
nded: ad
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_convex_hull
.
c:
c
omp
u
te_fac
e
t: a
d
d memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
l
aege
isl_co
n
vex_hull
.
c: wr
a
p_constrai
n
ts: add memory mana
g
e
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
laege
is
l
_conv
e
x_
h
u
l
l
.
c:
i
s
l_set_add_basic_set_equality:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
c
onvex_hull
.
c: u
s
et_i
s
_
bound: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
i
s
l
_
c
onvex_hull
.
c
: extend: add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hull
.
c
: com
m
on
_
c
ons
t
raints: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
aege
isl_con
v
ex
_
hull
.
c
:
p
r
oto_hul
l
: add mem
o
ry manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next