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 Verdoola
e
ge
isl
_
s
et_cow: a
d
d memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdool
a
eg
e
isl_set_from_basic
_
set: add memory man
a
gement annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoolaeg
e
isl_set_drop: ad
d
memory m
a
nagement annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_basic_{se
t
,map}_alloc_inequal
i
t
y
: add memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_ba
s
i
c
_
m
ap_cow: add memory
m
anagement annot
a
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_union
:
add memor
y
managemen
t
ann
o
ta
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erdool
a
e
ge
isl_basic_map_deltas:
a
d
d
memory
man
a
gement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
ool
a
ege
isl_b
a
sic_map_sum: ad
d
m
e
mory management ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
eg
e
isl_basic_map_gist: add memory m
a
nagement annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
r
doolaege
isl_
b
asic_map_comp
u
te_
d
iv
s
: add
m
emory management an
n
ot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_bas
i
c_map_affine
_
hu
l
l: add memory
management an
n
otation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_basic_map
_
det
e
ct_equalit
i
es
:
ad
d
m
e
m
o
r
y
manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Ve
r
dool
a
ege
isl_basic_map_intersec
t
:
add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_basic_map_rever
s
e:
a
d
d
memory manag
e
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
e
r
doo
l
aege
i
s
l_bas
i
c_m
a
p
_
cop
y
:
a
dd memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
isl_basic_map_normalize: a
d
d mem
o
ry management annot
a
ti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_basic_map_set_t
o
_empty:
a
d
d
m
e
mory management annotat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doola
e
ge
isl_basic
_
m
a
p
_eli
m
i
nate_vars:
add memory
m
a
na
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_ba
s
ic_map_no
r
mali
z
e_cons
t
raint
s
: add mem
o
ry manage
m
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_basic_map
_
s
implify: add memo
r
y mana
g
ement annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
i
sl_basic_map_final
i
ze: add mem
o
ry man
a
g
ement a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_b
a
sic_map_or
d
er_divs
:
add
m
emory management an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoo
l
a
e
ge
isl_basic_map_neg: a
d
d memory man
a
g
e
m
e
n
t annota
t
i
on
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
oolaege
isl_b
a
sic_map_i
m
p
l
icit_
e
qualit
i
es: add
m
em
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolae
g
e
isl_bas
i
c_map_ga
u
s
s: add m
e
mory manag
e
ment an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_ba
s
ic_map_
f
ix_si:
a
dd memory
m
anagem
e
n
t
annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
a
ege
isl_basi
c
_
m
ap_floordiv: a
d
d m
e
mory
mana
g
ement annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
i
s
l_basic_map_so
l
ve_lp:
add mem
o
ry management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_
basi
c
_map_drop: add m
e
mory ma
n
agem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Ver
d
o
olaege
isl_b
a
sic_map_product
:
a
d
d
memory manageme
n
t anno
t
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basic
_
ma
p
_intersect_rang
e
:
add
m
emory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ba
s
ic_
m
ap_
i
ntersec
t
_domain: add memo
r
y manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
basic_map_
e
xtend_spa
c
e:
a
dd memory management annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_b
a
s
i
c
_
map_dup
:
add memo
r
y management
a
n
not
a
tio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Ve
r
doolae
g
e
isl_basic_map
_
remove_d
i
ms: a
d
d memory management
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaeg
e
is
l
_
basi
c
_map_tot
a
l
_
dim:
add memory managemen
t
ann
o
tation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_s
e
t_recessio
n
_co
n
e: add
m
e
mory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_basic_set
_
from_c
o
nstraint: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
is
l
_basic_set_cow:
a
dd
memory
man
a
g
e
m
ent annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdoo
l
aege
isl_b
a
sic_set_offset: add memor
y
management an
n
o
tat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl
_
basic_set
_
cop
y
: add mem
o
ry mana
g
ement
an
n
o
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aege
isl_ba
s
ic_s
e
t_
r
educ
e
d_bas
i
s: add memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_basi
c
_set_s
a
mple_bounde
d
: add m
e
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolae
g
e
isl_b
a
si
c
_set_solve_ilp: add me
m
ory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_
b
asic_set
_
lineal
i
t
y
_s
p
ace:
add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolaege
i
s
l_
b
a
sic_
s
et_tot
a
l_dim:
add memory management a
n
n
ota
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ol
a
ege
isl
_
tab_pi
p
.
c: c
o
nte
x
t_tab_for_le
x
min: add memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
ae
g
e
isl_tab_pip
.
c:
i
neq_fo
r
_di
v
: add memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_tab
_
pip
.
c: align_co
n
text_
d
ivs
:
a
dd m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl
_
tab_
p
ip
.
c: tab_for_lexmin
:
add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
i
sl_tab_pip
.
c: drop_consta
n
t
_
t
e
rms: add memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoo
l
aeg
e
i
sl_sample
.
c: vec_concat: add
m
emory management a
n
notati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_sam
p
le
.
c: shift_cone: add memor
y
management annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_sample
.
c: roun
d
_up_in_cone: add me
m
o
ry m
a
n
a
g
e
m
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
i
s
l
_samp
l
e
.
c
:
rationa
l
_
s
amp
l
e: add memory ma
n
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoola
e
ge
isl_samp
l
e
.
c:
plug_in: add memory m
a
nagement annota
t
io
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaeg
e
isl
_
s
a
mple
.
c: gbr_sample: add memor
y
m
a
n
agement annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Ve
r
d
oolaege
isl_sam
p
le
.
c: sample
_
boun
d
ed: add memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sampl
e
.
c: i
n
terval_sam
p
le:
a
dd memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: ze
r
o_samp
l
e: a
d
d memory management
annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c:
s
ample_eq: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
ege
is
l
_sample
.
c: empty_sample:
a
dd
m
e
mory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_sample
.
c:
b
a
sic_s
e
t
_
s
ample: a
d
d memory m
a
n
a
geme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_output
.
c: print
_
half_constr
a
in
t
: add memory
m
an
a
gem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_o
u
tput
.
c
:
print_constr
a
int: add m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_
m
ap_simp
l
ify
.
c: coalesce_or_drop_more_redun
d
ant_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_simp
l
i
f
y
.
c: coalesc
e
_divs: add me
m
ory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
olaege
i
sl_map_simplify
.
c:
r
emove_dependent_vars: ad
d
m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
d
o
o
l
aege
isl_map_simplify
.
c: rem
o
ve_
d
up
l
i
cate_div
s
:
add memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
g
e
isl_ma
p
_si
m
p
l
i
fy
.
c: div
_
is_redu
n
dant:
a
dd
m
emory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c: re
m
ove_redundant_divs:
a
dd memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_map_simpl
i
f
y
.
c: ok_to_eliminat
e
_div: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aege
isl_map_
s
implify
.
c: eliminat
e
_di
v
s_eq: add memory
m
anagemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
i
sl_ma
p
_
s
impli
f
y
.
c
:
drop_more_redundant
_
divs: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
la
e
ge
isl_map_
s
implify
.
c: normal
i
ze_div
s
:
add
m
emo
r
y
m
an
a
g
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
m
ap_simplify
.
c: eliminate_div
s
_ineq: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaeg
e
isl_map_simplify
.
c: set_
c
ompu
t
e_elimin
a
tion_index:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rdoolae
g
e
is
l
_map
_
simplify
.
c: compute_elimi
n
a
t
ion_inde
x
:
a
dd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_map_simplify
.
c: set_reduced_using_
e
qual
i
t
i
es: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdool
a
ege
isl_
m
ap
_
sim
p
lif
y
.
c
: reduced_usi
n
g_e
q
ualities: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_map_simplify
.
c: isl_bas
i
c_
s
e
t_reduc
e
_using_e
q
uali
t
ies
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_
m
ap_simplify
.
c: check_for_div_constrain
t
s: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
isl_map_simplify
.
c: set_div_from_lower_bound:
add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
is
l
_map
_
simplify
.
c: ok_to_s
e
t
_
d
i
v_f
r
o
m_bound: add me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map_simpli
f
y
.
c: set_hash_index
:
add memor
y
man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
oolaege
is
l
_map_simpl
i
f
y
.
c
:
remove_shifte
d
_con
s
traints: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
ool
a
ege
i
s
l_map
.
c: map_
o
ffs
e
t:
a
dd memory management
annot
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
ege
isl
_
ma
p
.
c: f
i
n
d_div: add memory ma
n
agement annot
a
t
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_map
.
c: var_m
o
r
e
: add
m
emor
y
management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
isl_map
.
c: var_
l
ess: add m
e
mo
r
y
manageme
n
t
a
n
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_map
.
c
:
v
a
r_equal: add
m
e
m
ory m
a
na
g
e
m
e
nt annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_map
.
c: bas
i
c
_set_append_equalities: ad
d
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoola
e
g
e
isl_ma
p
.
c:
b
as
i
c_s
e
t_parame
t
er_preimag
e
: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
sl_map
.
c
:
add_constraint
s
: add memory man
a
ge
m
ent annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
erdoo
l
a
ege
isl
_
lp
.
c
:
i
sl_t
a
b_solve_lp
:
a
d
d memo
r
y
manageme
n
t annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ve
r
doolaege
isl_ilp
.
c: add_bounds: a
d
d memor
y
management an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verd
o
olae
g
e
is
l
_il
p
.
c: un
i
t_bo
x
_bas
e
_poin
t
s
: a
d
d memory man
a
ge
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoolaege
is
l
_ilp
.
c: sol
v
e_ilp_sea
r
ch: add memo
r
y managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c:
initial_soluti
o
n:
ad
d
m
e
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c
:
solve_ilp: add memory
m
a
nagement a
n
notation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next