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_union_map.c: cond_un_op: use isl_union_map_get_ctx
2017-05-17
S
v
en Verd
o
olae
g
e
i
s
l_union_map
.
c: cond_un_op: use isl_union_ma
p
_ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
o
o
laege
isl_unio
n
_map_fact
o
r_range: use
isl_map_is_produ
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
ola
e
ge
i
s
l
_union_map_f
a
ct
o
r_domain: use isl
_
map_is_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
V
erdoola
e
ge
a
dd isl_m
a
p_is_produ
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Ve
r
doolaeg
e
isl_space_c
a
n_zip: extract out isl_
s
pace_is
_
pr
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoolaeg
e
isl_space_ca
n
_
zip:
re
n
ame "dim
"
argument
t
o
"
space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n Ve
r
d
oolaege
isl_sch
e
duler
.
c
: count_map
_
constraints: use isl_basic_set_n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
isl_sche
d
uler
.
c
: add
_
constra
i
nts_di
m
_map: use is
l
_basic_set
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_schedu
l
er: extract out shared add_
c
o
nstrai
n
ts_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdoolaege
i
sl
_
sch
e
duler
.
c: compute_weights: use
i
s
l_b
a
s
ic_map_n_equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolae
g
e
add
isl_bas
i
c_
s
et_n_i
n
eq
u
a
lity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolae
g
e
add isl_basic
_
map_n_inequalit
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaeg
e
add i
s
l_basic_set_n_equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
r
d
o
o
laege
a
dd isl_basic_map_n_equali
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
is
l
_
s
cheduler
.
c: fix whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdo
o
laege
isl_scheduler
.
c
: n
o
n_neg_lexmin: im
p
r
ove document
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
isl_schedul
e
r
.
c:
cla
r
ify
t
hat spac
e
of isl_sched_node
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en
V
erdoo
l
aege
i
sl
_
scheduler
.
c
: fix docu
m
entation of inter_di
m
_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoolae
g
e
include/isl/map
.
h: drop
n
o
te ab
o
u
t
memory management
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n Verdo
o
laege
isl_t
a
b_pi
p
.
c:
fix typos i
n
comme
n
ts
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rd
o
olae
g
e
isl_sch
e
duler
.
c: fix typo i
n
com
m
ent
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
s
l_map_simplify
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
sl_morph
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erd
o
olaege
i
sl_
f
l
o
w
.
c: fi
x
t
ypos i
n
comm
e
n
ts
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolae
g
e
isl_
c
oal
e
sc
e
.
c: fix typ
o
in c
o
mmen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n Ve
r
doolaege
doc: fix typo
in des
c
ription
of schedule_s
p
lit
_
scaled
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdoolaeg
e
isl_list_t
e
mpl
.
c
: fi
x
har
m
l
e
s
s
typo in code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
Me
r
ge branch 'maint
'
commit
|
commitdiff
|
tree
2017-05-17
Tobias G
r
osser
cpp: do not mark boolean(isl_b
o
ol) construct
o
r as explicit
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
T
o
b
ias Grosser
cpp: ex
p
licitly
m
anage isl_bool return v
a
l
u
e
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-16
Sven Verdoolaege
isl_scheduler
.
c: add_i
n
ter_va
l
i
dity_constraints: av
o
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
To
b
i
a
s Grosser
isl_val
_
is
_
one
s
hould retu
r
n
i
sl_bool_fa
l
s
e
f
o
r
nan
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-08
Sven Verdoola
e
ge
interface/python
.
cc: fix typo i
n
troduced in pre
v
ious
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-05
Tobias Gr
o
sser
python:
make string parsing and r
e
turn
i
ng
P
yth
o
n 3
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verdoolaege
i
sl_tab_basic_set_non_trivial_lexmin: only add
z
eroing
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-05
Sven
V
erdoolaege
isl_tab_basic_set_non_trivial_
l
exmin: reinitialize
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoo
l
aege
interface/isl
.
py
.
top
:
expli
c
i
tly cast self
.
ptr o
f
Co
n
t
ext
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven V
e
r
d
o
olaege
python interfac
e
: also
p
rint argument
t
ypes for *_
c
opy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ve
r
d
oolaege
interf
a
ce: generator::gen
e
rator: extra
c
t
out shared
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-04-27
Sven Verdoolaege
con
f
igure
.
ac: d
r
o
p -gs
p
l
it-
d
war
f
from llvm-config
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
Tobi
a
s Gr
o
s
s
er
cpp: support methods and constructors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gr
o
sser
cpp: generate C
+
+ wrapper
c
lasses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
generat
o
r: add missing
n
ewl
i
ne aft
e
r
p
rinti
n
g th
e
die
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
Armin Größlinger
add command line options f
o
r
o
ut
p
ut l
a
nguage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
Armin Groesslinger
T
u
r
n py
t
hon
genera
t
or in
t
o a
subc
l
a
s
s of
generator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
Armin Gr
o
esslinger
split
i
nterface gener
a
tor in generic and python-specific
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Grosser
pyth
o
n: drop
spurious
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sve
n
Verdoolaege
Me
r
ge branch '
m
a
int
'
commit
|
commitdiff
|
tree
2017-04-26
S
ven Verdoolaege
scheduler:
f
ix checking conditional val
i
dit
y
constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sven Verdoolaege
isl_space_map_from_
s
et:
accep
t
NULL pointer on z
e
ro
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sve
n
Verdoo
l
aege
i
sl_space
_
map_from_set:
rena
m
e "d
i
m" argument to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_ri
g
ht_in
v
e
r
se
:
add memor
y
management an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
is
l
_m
a
t_
c
opy: add memo
r
y
managemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
olaeg
e
isl_
m
at_unimod
u
l
a
r
_comple
t
e: a
d
d memory m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
ae
g
e
isl_mat_parameter
_
c
o
mpression: add memory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_mat_transpo
s
e: add me
m
o
r
y manag
e
ment a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_inverse
_
produc
t
: add mem
o
ry manageme
n
t
ann
o
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoola
e
g
e
is
l
_
m
at_lin_to_af
f
:
ad
d
memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
a
ege
isl_mat_swap_rows: add memory ma
n
agement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_mat_left
_
h
ermite
:
a
dd memory mana
g
ement annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
mat_aff_direct
_
sum: a
d
d mem
o
ry m
a
nagemen
t
a
n
notat
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoo
l
aege
isl_mat_swap_cols: a
d
d mem
o
ry management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_vec_
m
at_pr
o
duct: add memory man
a
gement anno
t
ation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_vec_product: add memory management an
n
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
s
l_map_copy: add mem
o
ry manageme
n
t
a
nno
t
at
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
s
l
_
map_co
w
: add memor
y
m
anagemen
t
annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_fro
m
_basic_map: add memory
management ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
m
a
p_floordiv: add memory manageme
n
t annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
lae
g
e
i
s
l_map_
c
om
p
ute_divs: a
d
d memory
m
a
nagement
a
nnotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
l
a
ege
isl_map_remove_empty_par
t
s: ad
d
memory 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_map_co
a
le
s
ce: add memory management annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_
m
ap_domain:
add memory mana
g
em
e
n
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_range: add
memory ma
n
agement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
a
e
ge
isl_ma
p
_reverse:
add memory management annotati
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_m
a
p_n_*: ad
d
memory m
a
nagement
annotat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_map_d
r
op: a
d
d memo
r
y m
a
nagement a
n
n
o
t
ation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_
m
ap_fix_si: a
d
d memory management
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_m
a
p_sum: add
m
e
mory ma
n
a
g
ement a
n
nota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_ma
p
_grow: add memor
y
manage
m
ent an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_remove_d
i
ms: add mem
o
r
y
management annotat
i
on
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_
m
ap_neg: add m
e
mory manageme
n
t anno
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
i
sl_m
a
p_c
o
nvex_
h
ul
l
: add mem
o
ry ma
n
agement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
is
l
_se
t
_bounde
d
_simple_hull: ad
d
m
emory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_set_copy: add
memory management annota
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
doolae
g
e
i
s
l_
s
et_cow:
a
dd mem
o
ry manag
e
me
n
t
annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_set_from_basic
_
set: add memory
m
anage
m
ent annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl
_
set_drop:
add
m
e
mory management
a
nnot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_ba
s
ic_{set,map}_a
l
loc_
i
nequality: a
d
d
memory manag
e
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl
_
basic
_
map_c
o
w: add memory man
a
g
ement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aeg
e
isl_basic_map
_
union: ad
d
memory management
a
nnotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
V
erdoolaege
isl_basic_ma
p
_delta
s
: add memo
r
y manageme
n
t an
n
ot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
d
o
olaege
i
s
l_basi
c
_map_sum: a
d
d
memo
r
y
m
a
nagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_b
a
si
c
_map_g
i
st
:
add memory manag
e
ment annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_basic_map_compute
_
divs: add memory
management ann
o
ta
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
s
l_basic_map_affine_hull: add memor
y
manag
e
ment ann
o
tation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolae
g
e
i
s
l
_basic
_
map_de
t
ect_equa
l
ities: add memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_b
a
sic_map_inters
e
ct
:
add memor
y
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basic
_
ma
p
_
r
ever
s
e
:
add memo
r
y management
annot
a
tio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoolaege
i
s
l_basic_
m
ap_cop
y
:
a
dd
memory manag
e
ment annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolae
g
e
i
sl_basi
c
_map_normalize: add memory
m
ana
g
ement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next