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
Sven V
e
rdoolae
g
e
i
s
l_u
n
ion_
m
ap
.
c: cond_un_o
p
: use isl_union_m
a
p_get
_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
ol
a
ege
isl_union_map_fac
t
or_range: use i
s
l_map_is_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
rdo
o
la
e
g
e
isl
_
union_map_f
a
ctor_domain: u
s
e isl_
m
ap_is_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
ve
n
Verdoola
e
g
e
add isl_map_is_
p
roduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
r
d
o
olaege
is
l
_spac
e
_
c
an_
z
ip: ext
r
a
c
t
ou
t
isl_space_
i
s_produc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
V
e
r
doolaege
is
l
_sp
a
c
e_can_zip: rename "dim"
argument to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oola
e
ge
is
l
_scheduler
.
c: c
o
unt_map_cons
t
raints:
u
s
e
isl_basic_set_n_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en
Verdoolae
g
e
isl_sche
d
uler
.
c: add_
c
onstraints_dim_map: use isl_basic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
o
laege
isl_scheduler: extract out share
d
add_const
r
a
ints_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
r
doolaege
i
s
l_scheduler
.
c: c
o
mpute_weights: use isl_basic_map_n_e
q
uality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n
Verdoo
l
aege
ad
d
isl_basic_set_n_inequality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oolaege
add isl_basi
c
_map_n_inequality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
ol
a
ege
a
d
d
isl_basic_
s
et
_
n_
e
quality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
r
doolaege
add isl_basic
_
map_n_
e
quality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olaeg
e
isl_sched
u
l
e
r
.
c: fix whi
t
espace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_sch
e
duler
.
c: non
_
n
e
g_lexmin: improve documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
dool
a
ege
isl_schedul
e
r
.
c: clar
i
fy that s
p
a
c
e of i
s
l_sched_node
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n Verd
o
olaege
isl_s
c
heduler
.
c:
fix d
o
cumen
t
ation of
inter_dim_m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdo
o
l
a
e
ge
includ
e
/isl/map
.
h
:
drop note
about mem
o
ry management
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolae
g
e
isl
_
map_s
i
mplif
y
.
c
:
fix typos in commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
d
oolaege
i
sl_morph
.
c: fix typ
o
s
in commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
r
doolaege
i
sl_coalesce
.
c: f
i
x typ
o
i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
d
o
c
: fix typo in
description of s
c
h
edule_sp
l
it_scaled
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_list_
t
e
mpl
.
c: fix har
m
less typo in code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-27
Sven Verdo
o
la
e
ge
config
u
r
e
.
a
c
:
d
r
o
p -gspli
t
-dwarf fr
o
m ll
v
m-config
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-26
Sven V
e
rdoolaeg
e
Merge
branch
'maint'
commit
|
commitdiff
|
tree
2017-04-26
Sv
e
n Verdoolaege
schedule
r
: fix chec
k
ing c
o
nditiona
l
validity constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-26
Sv
e
n Verdoolaege
isl_
s
pace
_
map_from_set:
a
ccept
N
U
L
L
point
e
r on zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-26
Sve
n
Verdoo
l
a
eg
e
i
s
l_space_m
a
p
_
from_set: rename "
d
im"
argumen
t
t
o
"
s
pace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ver
d
o
o
laege
isl_mat_rig
h
t_inverse: add memory managem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
ae
g
e
isl_mat_co
p
y
:
a
dd
m
emory m
a
n
a
gement a
n
notat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl
_
mat_unim
o
d
ul
a
r
_
complete: ad
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doolaeg
e
isl_mat
_
pa
r
ameter_co
m
pression: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_mat_transpose: add
m
emory management
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_inv
e
rse_produ
c
t
: a
d
d
m
emory
managem
e
nt a
n
notati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_mat_lin_to_af
f
: add
memory managem
e
nt annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
i
sl_mat_swap_rows: add
m
e
mory managem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_
m
at_left_hermite: add memory management annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_mat_
a
ff_direct_sum
:
add m
e
mory
ma
n
agement
a
nn
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_swap_cols: ad
d
memory
m
anag
e
ment
annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaeg
e
isl_vec_mat_pr
o
duct: add memor
y
management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_mat_
v
ec_product:
a
dd m
e
mory manag
e
me
n
t annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
er
d
ool
a
ege
isl_map_copy: a
d
d mem
o
ry manag
e
m
e
nt anno
t
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaeg
e
isl_map_c
o
w
:
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 Verdoolaege
i
s
l_map_f
r
om_
b
a
sic
_
map: a
d
d
memo
r
y management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoo
l
a
ege
isl_ma
p
_floordiv: add memory management anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map_compute_divs: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Ve
r
do
o
lae
g
e
isl_m
a
p_remove_empty_pa
r
ts: add m
e
mor
y
manage
m
ent annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n V
e
rdo
o
laege
i
s
l_
m
ap_coalesce: add memory
m
anage
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_m
a
p_domain: a
d
d memory manageme
n
t a
n
notation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
isl_map_
r
ange:
a
dd memory management annota
t
io
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
r
doolaege
i
sl_map_r
e
v
e
r
se:
a
d
d
m
emory
mana
g
e
m
en
t
annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
s
l_map_n_*: a
d
d
memo
r
y m
a
nage
m
ent annot
a
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_map_dro
p
: add
m
emory
m
an
a
gem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
i
s
l
_map_fix_si: add memory manage
m
ent
annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_map_sum: a
d
d memory manag
e
ment anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
m
a
p
_grow: add memory manageme
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_remo
v
e
_
d
ims
:
add m
e
mor
y
m
a
nagement a
n
n
ota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_map_ne
g
:
add memory
m
an
a
g
eme
n
t anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map_convex_hull: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
i
s
l_se
t
_
b
o
unded_
s
imp
l
e_
h
u
ll: add memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoo
l
ae
g
e
i
s
l_set_copy:
a
dd memo
r
y management annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_set_cow:
add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
e
r
doolaege
isl_set_from
_
bas
i
c
_
s
e
t
: a
d
d memory mana
g
ement a
n
notat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
i
sl_set_drop: add memor
y
mana
g
emen
t
a
n
notat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaeg
e
isl_basic_{set
,
map}_alloc_
i
nequality: add memory m
a
na
g
e
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Ve
r
doolaege
isl_basic_
m
ap_cow: add
m
emory
manage
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoo
l
ae
g
e
i
sl_
b
as
i
c
_
map_union: add memor
y
manageme
n
t an
n
o
t
atio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oolaege
isl_basic_m
a
p_delt
a
s
:
a
dd memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rd
o
olaege
isl_basi
c
_map_sum: add m
e
mory man
a
g
e
ment annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_
basic_map_gist: add memory
m
a
n
agement annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoo
l
aege
isl_basi
c
_
m
ap_compute_divs: add memory manage
m
ent annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_b
a
sic_map
_
affine_hull: add mem
o
ry manage
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoo
l
aege
i
s
l_basic_
m
ap_detect_equa
l
ities: add memory m
a
n
a
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_basic_
m
ap_intersect:
a
dd memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aeg
e
isl_basic_map_re
v
e
r
se: add memory managemen
t
annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_b
a
sic_map_copy: ad
d
memory managem
e
nt
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoolaege
isl
_
bas
i
c_map_normalize: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
basic_map_set
_
to_e
m
p
ty
:
ad
d
memory m
a
nag
e
ment annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aeg
e
isl_bas
i
c_map_eliminate_
v
ars: a
d
d memory mana
g
eme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
o
l
a
ege
isl_basic_map_n
o
rmalize_const
r
aints: a
d
d memory
man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoo
l
aeg
e
is
l
_basic_map_si
m
plify: add m
e
mory mana
g
em
e
nt
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
l
a
e
g
e
isl_ba
s
i
c
_map
_
finalize:
a
d
d
memory manag
e
ment
a
n
nota
t
io
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdo
o
laege
isl_basic_
m
ap_ord
e
r_divs: add mem
o
r
y management annot
a
t
i
on
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_basic_map
_
n
eg: add memory managemen
t
ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
i
s
l
_
basi
c
_map_i
m
plicit_equalities: a
d
d memo
r
y m
a
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
i
s
l_basic_map_gauss: add me
m
o
ry managemen
t
a
nn
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
is
l
_
basic_m
a
p_f
i
x_si: ad
d
memory managem
e
nt a
n
not
a
tion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaeg
e
isl_b
a
s
ic_map_
f
loord
i
v:
a
dd
m
emory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdo
o
laege
isl_b
a
sic_m
a
p_solve_lp: add memory managemen
t
annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
o
o
laege
isl_b
a
sic_map_drop
:
a
d
d
m
emory manag
e
ment annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ve
r
doolaege
isl_b
a
sic_ma
p
_product: add
memo
r
y manage
m
ent an
n
otation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_basic_map_intersect_range: add me
m
ory mana
g
e
men
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdo
o
lae
g
e
isl_b
a
sic_ma
p
_inters
e
ct_do
m
ai
n
: add
m
emor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_basic_ma
p
_extend_space
:
add memory
management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
is
l
_basic_ma
p
_dup: add
memory manage
m
en
t
annotati
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_re
m
ove_dims: add memor
y
manag
e
ment annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_
b
asic_map_total_di
m
:
add memory management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
aege
is
l
_basi
c
_
set_rec
e
ssion_cone:
add memory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_
b
asic_set_from
_
constraint: add
m
e
m
ory m
a
nageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next