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: un_op: use isl_union_map_get_ctx
2017-05-17
Sven Verdo
o
la
e
ge
isl
_
uni
o
n_ma
p
.
c: u
n
_op: use isl_union
_
map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rd
o
olaege
is
l
_union_map
.
c: inplace: use i
s
l_union_map_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven
Verdoolaege
isl_union_map
.
c: co
n
d_un_op: u
s
e isl_union_map_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n V
e
rdoolae
g
e
isl_union_map_factor_r
a
nge: use isl_map_is_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oolaege
isl
_
union_map_fac
t
or
_
domain: us
e
isl_map_
i
s_prod
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
ve
n
Verdoolaeg
e
add
isl_ma
p
_
i
s_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
o
o
laeg
e
i
s
l_
s
pace_can_zip: extract out isl_
s
pa
c
e_is_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
isl_space_can_zip:
r
e
n
ame
"
dim" argument
t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
ve
n
V
erd
o
olaege
isl_scheduler
.
c: count_ma
p
_constr
a
i
nts: use isl_b
a
sic_set_n_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
ola
e
ge
isl_scheduler
.
c
:
add_constrai
n
t
s
_dim_map: use isl_basic_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolaege
i
s
l_sch
e
duler: ext
r
act out shared
add_const
r
a
i
nts_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
i
sl_
s
c
h
e
du
l
er
.
c
:
compu
t
e
_
w
eights:
u
se
is
l
_basic_map
_
n_e
q
uality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
add
i
s
l_basic_s
e
t_n_inequality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oolaege
add
i
s
l_basic_map_n_inequ
a
lity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
ad
d
isl
_
basic_set_n_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
a
d
d isl_b
a
sic_map_n_equ
a
lity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Ver
d
ool
a
ege
isl_scheduler
.
c: fix
w
hi
t
espac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolaeg
e
isl_sched
u
l
e
r
.
c: no
n
_neg_lexm
i
n:
i
mprove doc
u
mentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolae
g
e
isl
_
schedule
r
.
c:
c
larify that space of isl_s
c
hed_node
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olaege
isl_scheduler
.
c: f
i
x d
o
cume
n
tation of i
n
ter_dim_map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
e
g
e
include/isl/map
.
h
:
drop no
t
e about memory
management
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Ve
r
doolaege
isl_map
_
simplif
y
.
c: fix typo
s
i
n c
o
m
m
en
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoola
e
ge
isl_mo
r
p
h
.
c: fix
typos
i
n comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
is
l
_c
o
alesce
.
c:
f
i
x
t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
doc: fix
typo in description of schedule_split_sc
a
l
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
isl
_
list_templ
.
c: fix har
m
less
t
ypo in code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-27
Sven V
e
r
d
oolaege
c
o
nf
i
gure
.
a
c: drop -gspl
i
t-dwarf f
r
o
m
l
lvm
-
conf
i
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-26
S
v
en Verdoola
e
ge
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2017-04-26
Sven Ver
d
ool
a
ege
s
c
heduler:
fi
x
c
heck
i
ng conditional
v
a
lidit
y
con
s
t
raints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-26
Sv
e
n Verdoola
e
ge
i
s
l_space_map_from_set: accep
t
NULL p
o
i
n
ter on zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-26
Sven Verdo
o
laege
isl_spac
e
_map_from_s
e
t: ren
a
me "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_right_in
v
erse: a
d
d memory
m
ana
g
ement anno
t
ation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoo
l
a
e
ge
isl_mat_copy: add memory man
a
gem
e
n
t
annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
is
l
_mat_unimodular_complete: add memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
i
s
l_mat_parameter_com
p
r
essio
n
: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_mat_transpo
s
e:
a
d
d
memory
ma
n
a
gement annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
r
dool
a
ege
i
s
l_mat_inverse_product: add memory
m
anagement annotat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_mat_li
n
_to_
a
ff:
add memory manage
m
ent an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoolaege
isl_mat_swap_row
s
: add m
e
m
ory man
a
ge
m
en
t
a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
olaege
i
s
l
_
mat_left_hermit
e
: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolaege
isl_m
a
t_
a
ff_direct
_
sum: add
m
em
o
ry ma
n
agement annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_mat_swap_cols: ad
d
memor
y
manag
e
ment annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_vec_m
a
t
_
p
r
oduct:
a
dd
m
emory mana
g
e
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdool
a
ege
isl_mat
_
vec_prod
u
ct: add m
e
mory ma
n
agement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
ae
g
e
is
l
_
m
ap_copy: add memory m
a
nagement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Ver
d
ool
a
e
ge
i
s
l
_
m
ap
_
cow: add memory management annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map_
f
rom_bas
i
c_map: ad
d
memory
m
an
a
gement
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoo
l
a
ege
isl_map_floordiv: add memory man
a
gement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_compute_divs: ad
d
memory
m
anagement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdool
a
e
g
e
isl_map_r
e
move_empty
_
part
s
: add memory manage
m
ent anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_map_coalesce: add memory
m
anagement annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
i
s
l_
m
ap_domain: add
memory manageme
n
t
annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_map_range
:
add memory
management
ann
o
tat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oolaege
isl_ma
p
_reverse:
a
d
d
memory management
a
nnota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
isl_map_n_
*
: a
d
d
m
emory manag
e
m
e
nt
a
n
notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_map_drop: add memory managemen
t
an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaeg
e
i
sl_map_fix_si: add memory
ma
n
ageme
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolae
g
e
isl_
m
ap_sum: add
m
emory
management anno
t
ation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
m
ap_gro
w
: add memory ma
n
age
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_
m
ap_remove_dims: add memo
r
y manage
m
e
nt annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_neg:
add memo
r
y mana
g
eme
n
t annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
erdoola
e
ge
isl_map_
c
onve
x
_
h
u
l
l: ad
d
m
emory m
a
na
g
ement annot
a
t
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaeg
e
i
s
l_
s
e
t_bounde
d
_simple_hu
l
l: add
memo
r
y m
a
n
a
geme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
i
sl_set_copy: add m
e
mor
y
manage
m
ent annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
e
r
d
o
ola
e
g
e
isl_se
t
_cow: a
d
d
memory
m
anagement
annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
lae
g
e
isl_set_
f
rom_bas
i
c_set: add me
m
ory ma
n
age
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
is
l
_s
e
t_d
r
op: add memory manage
m
ent an
n
otati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_
basic_{
s
et,map}_alloc_ine
q
ual
i
ty: add me
m
o
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_basic_map_
c
ow: add
m
emory
m
anagement annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_
basic_map
_
un
i
on: ad
d
m
e
m
or
y
managem
e
nt an
n
o
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
d
o
olaege
isl_
b
asic_map_deltas: add memory man
a
gement a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl
_
b
asic_m
a
p_sum: add memory m
a
nagement
an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
is
l
_basic_map_gi
s
t:
a
dd memory ma
n
agem
e
nt annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_
b
a
sic_map_compu
t
e_divs:
a
dd m
e
mory management annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_basic_map_a
f
fine
_
hull
:
ad
d
memory manage
m
ent annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl
_
ba
s
ic_map_det
e
ct_eq
u
ali
t
i
es: add memory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_bas
i
c_map_intersec
t
:
a
d
d memory manag
e
ment annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aege
isl_basic
_
map_
r
ev
e
r
se: add memory manag
e
ment a
n
n
o
ta
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_basic_map_copy:
a
d
d
memory manage
m
ent
a
nnot
a
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rd
o
olae
g
e
isl_basic_map_normal
i
ze: ad
d
m
emory man
a
gemen
t
annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basic_map_set_t
o
_
e
mpty: add memory m
a
n
ageme
n
t annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
sl_basic_map_eliminate_vars:
add
m
e
m
ory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
i
s
l_b
a
s
i
c_map_nor
m
alize_constraints: add memory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
doolaege
isl_basic_map_simp
l
i
f
y:
add mem
o
r
y
management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdo
o
laege
isl_basic_map_finalize: add me
m
ory management annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaeg
e
is
l
_b
a
sic_map_orde
r
_d
i
vs: ad
d
memory manageme
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoo
l
aege
is
l
_basic
_
m
ap_neg:
add mem
o
ry management
a
nnotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl
_
basic_map_i
m
plic
i
t_equalities: ad
d
memory m
a
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_gauss: add memory management anno
t
a
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoolaege
i
s
l
_
b
a
sic_map_fix_si: add me
m
ory management
a
nnotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
s
l_
b
a
sic_
m
ap_floordiv: add memor
y
management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_basic_map_solve_lp:
a
dd memor
y
manageme
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
i
sl_ba
s
ic_m
a
p
_drop:
a
dd
m
em
o
r
y management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
i
s
l
_
basic
_
map_prod
u
ct: add
memory management a
n
not
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
i
s
l_basi
c
_
m
a
p
_
intersect_range: add
m
emory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_b
a
s
i
c_map_inters
e
ct_domain
:
add memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doola
e
g
e
isl_bas
i
c
_
map_ext
e
nd
_
s
pace
:
ad
d
m
e
mory m
a
nagem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
isl_basic_ma
p
_
dup
:
a
d
d
m
emory
m
anagement annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Ve
r
doolae
g
e
isl
_
basic_map_remove_dims: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_b
a
sic
_
map_total_d
i
m
:
ad
d
mem
o
ry manag
e
me
n
t
a
n
n
otation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next