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_copy: add memory management annotations
2017-04-24
S
v
en Verdoolaege
isl_
s
et_copy: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_set_cow: ad
d
memory man
a
gement annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ve
r
d
o
o
laege
isl_set_from
_
basic
_
set: ad
d
memory manage
m
ent annotat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_set_drop: add memory man
a
g
ement an
n
ota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdo
o
laege
isl_basic_{set,
m
ap}_al
l
oc_inequal
i
t
y: add
memo
r
y manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basic_ma
p
_cow:
add memory
m
anagement an
n
ota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_union: a
d
d m
e
mor
y
management a
n
notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_basic_ma
p
_delta
s
: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_basic_map_su
m
: add m
e
mory management annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
is
l
_basic_m
a
p
_
gist:
a
d
d
memor
y
mana
g
ement annota
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
olaege
isl_basic_map
_
com
p
ute_divs:
a
dd memory
management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oola
e
ge
isl_bas
i
c_
m
ap_
a
ff
i
ne_hull: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_basi
c
_map_detect_equalities
:
add memor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
erdoolaege
isl_ba
s
ic_map_
i
n
t
ersec
t
:
a
dd memo
r
y manag
e
ment annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
b
asic_m
a
p_reve
r
se:
a
dd
m
emory
m
anagem
e
nt annot
a
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
olaege
is
l
_basic
_
ma
p
_c
o
p
y: add memory managem
e
nt a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_basic_map_normalize: add
m
emory man
a
gement ann
o
tatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoola
e
g
e
isl_basic_map_set_to
_
empty: add
m
e
m
or
y
manageme
n
t
a
n
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basic_ma
p
_eliminate_vars
:
add mem
o
r
y
m
anageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
l
a
ege
isl_basic
_
m
a
p_n
o
rma
l
ize_cons
t
ra
i
nts: a
d
d memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
dool
a
ege
isl_b
a
sic_
m
a
p
_si
m
plify: add me
m
ory manag
e
ment anno
t
ation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
aege
isl_basic_m
a
p_fi
n
a
l
i
z
e: add memory management ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_basic_map
_
order_di
v
s: add memory
m
ana
g
ement annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_
m
ap_ne
g
: add memory manageme
n
t ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_basic_
m
a
p
_im
p
licit_equalities: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic
_
m
a
p_g
a
uss
:
add
m
emory manag
e
ment annot
a
ti
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_basic_map_fix_si
:
ad
d
m
e
m
o
r
y management a
n
notatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
sl_basic_
m
ap
_
f
l
oordiv: add memory management annot
a
tio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_basic_map
_
solv
e
_lp: ad
d
me
m
ory manag
e
ment anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
is
l
_basic_
m
ap_drop
:
add
m
emory manage
m
e
n
t
annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_basic_map_product:
a
dd memor
y
m
anagement a
n
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_basic_map
_
i
nt
e
rsect_ra
n
ge: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map
_
intersect_domain: ad
d
m
emory manag
e
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoo
l
aeg
e
isl_basic_map_extend_
s
pace: add memo
r
y managem
e
n
t
a
nn
o
tation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoolaege
i
sl
_
basic_
m
ap_dup: add memory
manage
m
e
n
t annota
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
olaege
isl_ba
s
ic_map_remove_dims: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
a
e
ge
isl_basic_m
a
p
_
total_dim:
add memory ma
n
a
g
e
ment annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdo
o
la
e
ge
isl_bas
i
c_set_recession_con
e
: ad
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_set
_
from_con
s
traint:
ad
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
eg
e
i
sl_
b
a
sic_set_cow: add memor
y
managem
e
n
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
laege
isl_basi
c
_
s
et_off
s
et: add
memory management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_b
a
s
ic
_
set_
c
opy: add memory manag
e
me
n
t ann
o
tat
i
on
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl
_
basic_set_reduced_basis: ad
d
memory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoolaege
isl_ba
s
ic_set_sample_bounded: ad
d
me
m
ory man
a
gem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
b
a
sic_set_solve_ilp: a
d
d
memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
i
sl
_
basic_se
t
_li
n
eality_space:
a
dd memor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
la
e
g
e
isl_basic
_
set_total
_
di
m
: add memory manageme
n
t annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_tab_pip
.
c: context_
t
ab_for_le
x
min: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
e
rdoolaege
isl_tab_pip
.
c: ineq_for_d
i
v: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_tab_pip
.
c: al
i
g
n_context_di
v
s: add
mem
o
ry ma
n
ag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdo
o
l
aege
isl_ta
b
_pip
.
c: tab_for_lexmin
:
add memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_tab_pip
.
c: drop_constant_t
e
rms: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_sample
.
c:
v
ec_concat:
a
d
d memory manag
e
ment annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
ool
a
ege
isl_sample
.
c
: sh
i
f
t
_co
n
e:
add m
e
m
ory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verd
o
ol
a
ege
i
s
l_sample
.
c:
r
ound
_
up_in_cone: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_samp
l
e
.
c: rational_sample: add memor
y
ma
n
ag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoo
l
a
ege
isl_s
a
m
p
le
.
c: plug_in: add mem
o
r
y manag
e
me
n
t annot
a
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: gbr
_
sample:
a
d
d memory management ann
o
t
a
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_sam
p
le
.
c
: sample_bounde
d
: add
m
e
mory m
a
nagem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: inter
v
al_sample: add m
e
mor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_sample
.
c: zero_sa
m
ple: add memo
r
y m
a
nagement
annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdo
o
l
aege
isl
_
sample
.
c:
s
ample_eq
:
add mem
o
r
y
management annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sampl
e
.
c
: empty_sam
p
le: add me
m
ory
ma
n
a
g
em
e
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
oola
e
ge
isl
_
s
a
mp
l
e
.
c:
basic_set_sample: ad
d
memory
man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
s
l_output
.
c: pr
i
nt_
h
alf_constr
a
in
t
: add me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
i
sl_
o
utput
.
c
:
p
rint_cons
t
rain
t
: add
m
e
mo
r
y m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_map_simplify
.
c
:
coalesce_or_
d
rop_m
o
re
_
redundant_
d
ivs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_map_s
i
mplify
.
c: coales
c
e_divs: add m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_ma
p
_sim
p
lify
.
c:
remove_dependent_vars: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_map_
s
impl
i
fy
.
c: remove_duplicate
_
div
s
: add
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolaege
isl_map
_
simplify
.
c: div
_
is_redundan
t
: ad
d
memory m
a
nagemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
ae
g
e
isl_map_s
i
mp
l
ify
.
c:
remove_redundant_divs: a
d
d
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
l
a
e
g
e
isl_map_si
m
plif
y
.
c: ok_
t
o_
e
liminate_div: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
is
l
_
m
ap_simplify
.
c:
e
liminate_divs
_
eq:
add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c: drop_m
o
re_redund
a
nt_divs: ad
d
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdool
a
ege
isl_map_simplify
.
c:
normalize_divs: add memory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ve
r
d
o
o
l
a
e
ge
isl_map_simplify
.
c: elim
i
nate_divs_ineq: add mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_map_si
m
plify
.
c: set_com
p
ute
_
elimination_index:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdo
o
laege
isl
_
m
ap_si
m
plify
.
c: co
m
pute_elimination
_
i
ndex:
add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
lae
g
e
isl_map_simplify
.
c: set_re
d
u
c
ed_using
_
equalities: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ver
d
oo
l
aege
isl_map_simpli
f
y
.
c
:
reduce
d
_usi
n
g_e
q
u
al
i
tie
s
: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rdool
a
ege
isl_map_simplify
.
c: isl_b
a
s
ic_set_
r
e
d
uce_using_equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdo
o
laege
isl_map_simplify
.
c: chec
k
_for_div_cons
t
raints: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
ol
a
ege
isl_map_simplify
.
c
:
set_div_from_lower_b
o
und: add memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laeg
e
isl_ma
p
_sim
p
li
f
y
.
c:
ok_t
o
_
s
et_d
i
v_from_bound: add
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_simplify
.
c: set_ha
s
h_index: add memory m
a
nage
m
en
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoola
e
ge
isl_map_sim
p
lify
.
c: remove_shifted_con
s
tra
i
nt
s
:
add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_ma
p
.
c: map_off
s
e
t
:
add memor
y
manag
e
ment an
n
ot
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
i
s
l_map
.
c: find_div: add memory management
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl
_
map
.
c:
v
ar_mo
r
e
:
add memory m
a
nagement an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
la
e
ge
isl_map
.
c:
var_less
:
a
d
d
memory ma
n
a
g
ement annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rdoo
l
a
e
ge
isl_map
.
c: var_equal: add memory man
a
gement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdool
a
ege
i
sl_
m
ap
.
c: basic_set_append_equalities: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
is
l
_m
a
p
.
c: bas
i
c_
s
et_paramet
e
r_pr
e
i
mage
:
add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoola
e
ge
i
s
l_map
.
c: add_constraints:
a
d
d memory management annot
a
tio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aeg
e
isl_lp
.
c: isl_tab_solve_l
p
: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolaeg
e
isl_ilp
.
c: add_bounds: a
d
d
m
emory management
annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c: unit_box_bas
e
_
points: add
m
emory
manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
olaege
isl_ilp
.
c: sol
v
e_ilp_search:
a
d
d
memory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c:
initial_so
l
ution:
add memory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next