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_set_cow: add memory management annotations
2017-04-24
Sven Verdoolaege
i
sl_s
e
t_cow
:
add
memory managemen
t
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doola
e
ge
isl_set_from_basic_
s
et: add memory
manag
e
ment annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoola
e
ge
isl_
s
et_drop:
a
d
d
memory manag
e
m
ent an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laeg
e
i
s
l_basic_
{
set,map}_alloc_
i
ne
q
uality: add memory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_cow: add me
m
ory mana
g
ement
a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_basic_
m
ap_union: add me
m
o
r
y
m
anagement ann
o
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoo
l
aege
isl_basic_map_deltas: add memory ma
n
agement
a
nnotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
dool
a
eg
e
isl_basi
c
_map
_
su
m
:
a
dd
m
e
mor
y
manag
e
m
ent annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_basic
_
m
ap_
g
ist
:
add memo
r
y
m
a
n
agement
annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaeg
e
isl_basic
_
m
a
p_com
p
ute_divs: add
m
emor
y
m
a
nagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
do
o
l
a
e
ge
isl_basic
_
map_aff
i
ne_hull: add memory mana
g
ement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoolae
g
e
is
l
_basic
_
map_detect_equalities: ad
d
memory managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ver
d
oolaege
is
l
_basic_map_intersect: add memory man
a
gement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
er
d
oola
e
ge
isl_
b
asic_ma
p
_
r
e
ver
s
e: a
d
d memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_basic_map_copy: add memory
managem
e
nt an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoolaege
isl_basi
c
_
map_nor
m
al
i
ze: add memory managemen
t
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
sl_bas
i
c_map_set_to_empty: a
d
d
memo
r
y
m
anagement
ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
er
d
oo
l
aege
isl_basic_map_eliminate_
v
ar
s
: add m
e
mory m
a
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
d
o
o
laege
isl_basi
c
_map_n
o
rmalize_c
o
nstraints: add memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl
_
basic_m
a
p
_simpli
f
y: add m
e
mory man
a
gement ann
o
ta
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ve
r
doolaege
isl_
b
as
i
c_map_finalize:
a
dd mem
o
ry manageme
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doolaege
i
s
l_basic_ma
p
_order_divs
:
a
d
d memory managemen
t
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_b
a
sic_map_n
e
g: add mem
o
ry management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl
_
b
a
sic_map_imp
l
icit_e
q
uali
t
ies: add memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
isl_basic_map_gauss: add
m
e
mory manag
e
m
e
nt ann
o
t
a
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
erdoolaege
isl_basic
_
map_fix_si: add mem
o
ry management annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_basic_m
a
p_floordiv:
a
dd me
m
ory
m
anagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_b
a
s
ic_m
a
p_solve_lp:
add mem
o
r
y
managem
e
nt annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basi
c
_map_d
r
o
p
:
a
d
d
m
e
mory
management a
n
notat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdoolaege
isl_basic_map_product: a
d
d memo
r
y
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_basic_map_inters
e
ct_r
a
ng
e
: add memo
r
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_b
a
sic_
m
ap_in
t
erse
c
t_domain: add memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolae
g
e
is
l
_basic_map_exten
d
_space:
a
dd memory manageme
n
t an
n
o
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_basic_
m
ap_dup: add me
m
ory manageme
n
t
a
nnot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_bas
i
c_map_remo
v
e
_
dims: add memory m
a
nag
e
ment annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
i
s
l_ba
s
ic_map_
t
otal_dim: add memory management annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
b
a
sic_set
_
rec
e
ssi
o
n_cone: add memory ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ola
e
ge
is
l
_
b
asic_se
t
_f
r
om_constr
a
int: add
memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_basic_set_cow: add mem
o
ry management an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolae
g
e
isl_b
a
sic_s
e
t_offset: add memory management annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
bas
i
c_set_copy: add
m
emory mana
g
e
ment annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_bas
i
c
_
set
_
reduc
e
d_b
a
si
s
:
a
dd memory manag
e
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_basic_se
t
_s
a
mple
_
bounde
d
:
a
dd me
m
ory managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdo
o
laege
i
sl
_
basic
_
set_s
o
lve_ilp: ad
d
memory m
a
nageme
n
t
a
nn
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoolaege
isl_
b
asic_set_lineality_spac
e
: a
d
d memory m
a
na
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolae
g
e
isl_bas
i
c_set_total_dim: a
d
d memory ma
n
agement an
n
o
t
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolae
g
e
isl_tab_pip
.
c: context_tab
_
f
o
r
_lex
m
in:
a
dd m
e
mo
r
y managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_tab_pip
.
c: ineq_fo
r
_div:
a
dd
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_ta
b
_
pip
.
c: alig
n
_context_divs
:
add memory man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolae
g
e
is
l
_tab
_
pip
.
c: tab_for_lexmin: add memory
m
a
n
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_tab_pip
.
c: dr
o
p_cons
t
ant_
t
er
m
s: add mem
o
ry manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_sample
.
c
:
v
ec_c
o
ncat: add m
e
mory
man
a
gement annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_sample
.
c: s
h
ift_cone:
add memor
y
m
an
a
gement annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doola
e
ge
i
sl_sam
p
le
.
c: rou
n
d_up_in_cone: add memory
m
anage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Ver
d
oolaege
i
s
l
_
sample
.
c: rational_sample
:
ad
d
me
m
o
ry mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: plug_in:
add memory m
a
nagement a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
l
aege
isl_sa
m
ple
.
c: gbr_sample: add
m
e
mory management
a
nnota
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoo
l
aege
isl_samp
l
e
.
c: sa
m
ple
_
b
o
unded: add memo
r
y management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_sample
.
c: interval_sample: ad
d
memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
e
ge
isl_sample
.
c: zero_
s
ample: ad
d
mem
o
r
y
m
a
nagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_sample
.
c: sa
m
ple_eq: add memory management anno
t
a
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
olaege
isl_s
a
mple
.
c: e
m
pty_sa
m
ple: add m
e
mory
m
a
n
agement annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oolaege
isl_sam
p
l
e
.
c: basic_set_sampl
e
: add
m
emory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_
o
utput
.
c: p
r
in
t
_half
_
constraint:
add
m
e
mory
mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdool
a
ege
isl
_
output
.
c: print_constrain
t
: ad
d
m
e
mory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
sl_ma
p
_simplif
y
.
c: co
a
lesce_or
_
drop_m
o
re_redund
a
nt_div
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aeg
e
isl_map_simp
l
ify
.
c:
coalesce_divs: add memory manage
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
a
ege
isl_map_si
m
p
l
ify
.
c: r
e
move_depende
n
t
_
vars: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verd
o
olaege
i
s
l_map_sim
p
l
i
fy
.
c
: remove
_
duplicate_divs: add m
e
mory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ola
e
ge
is
l
_map_simplify
.
c: div_is_redundant: a
d
d
m
emory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_m
a
p_simplify
.
c: remove_redundant_divs: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_
m
ap_si
m
p
l
ify
.
c
: ok_to_e
l
i
m
inate
_
d
i
v: add
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
isl_
m
a
p
_simp
l
ify
.
c: eliminat
e
_divs_eq: add
m
emory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_map_simplify
.
c: drop_more_redunda
n
t
_
d
ivs: add memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
i
s
l_map_simpli
f
y
.
c: normaliz
e
_div
s
: 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
_
simpli
f
y
.
c: el
i
minate_divs_ineq: add
m
em
o
ry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_m
a
p_simplify
.
c
: set
_
comput
e
_elimin
a
t
i
on
_
in
d
ex:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olae
g
e
isl_map_simplify
.
c
:
compute_elimination_i
n
dex: a
d
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_map_s
i
m
plify
.
c:
s
et_reduced_using_equa
l
i
t
ies: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
d
o
ola
e
ge
isl_
m
ap_simplify
.
c: reduced_
u
sing_equaliti
e
s: add
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
olaege
isl_ma
p
_
s
i
mplify
.
c:
is
l
_basic_
s
et
_
redu
c
e_
u
s
i
ng_equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
olaege
isl_map_simplify
.
c: check_for_d
i
v_con
s
traints: ad
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
s
l_map_simplify
.
c: set_div_fr
o
m_
l
ower_bound: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_map_si
m
plify
.
c
:
ok_to_set_d
i
v
_from_bou
n
d
:
add m
e
mory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdo
o
laege
i
s
l_map_simplify
.
c:
s
et_
h
ash_index: add memory
m
an
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_m
a
p_simp
l
i
fy
.
c:
r
em
o
v
e_shifted_constrai
n
ts: a
d
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdoolaege
isl_map
.
c
: map
_
o
f
fset: ad
d
memor
y
managem
e
nt annot
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
is
l
_map
.
c: find_div: add memory
m
a
n
agement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolae
g
e
is
l
_map
.
c: var
_
m
o
re: ad
d
mem
o
ry m
a
nage
m
e
nt annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolaege
isl_map
.
c:
var_less: a
d
d memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
dool
a
eg
e
is
l
_map
.
c: var_e
q
ual: add memory m
a
nagement a
n
n
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
i
sl
_
map
.
c: basic_set_append_equa
l
i
t
ies: add
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoola
e
g
e
isl_map
.
c
: ba
s
i
c
_set_parameter_preimage: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ver
d
oolaege
isl_map
.
c: add_
c
onstra
i
n
t
s:
add memory
m
a
n
agement annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoo
l
aege
isl_lp
.
c: isl_tab_solve_lp: add mem
o
ry ma
n
a
gement annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdoo
l
aege
i
sl_ilp
.
c
: add_bou
n
ds: add memory mana
g
em
e
nt annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_ilp
.
c: u
n
it_box_bas
e
_points: add
m
emory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
is
l
_ilp
.
c: s
o
lve_ilp_sea
r
ch: add
m
emory ma
n
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Ver
d
o
ol
a
ege
isl_il
p
.
c: initial_solu
t
ion: add
m
e
mory
m
a
n
agemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c: solve_ilp: add
mem
o
ry manag
e
m
ent annot
a
ti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next