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_scheduler.c: non_neg_lexmin: improve documentation
2017-05-17
S
v
e
n
V
e
rdoolaege
isl_
s
cheduler
.
c: non_neg_l
e
xmin: improve d
o
c
u
ment
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
i
sl_schedu
l
er
.
c: clarify that space of isl_sched
_
n
ode
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoolaege
isl_scheduler
.
c: fi
x
docume
n
tation of inter_dim
_
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
r
d
oolaege
include/isl/map
.
h
:
d
r
op
note about m
e
m
o
r
y manage
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_tab_p
i
p
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoo
l
aeg
e
isl_scheduler
.
c: fix ty
p
o
i
n co
m
ment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
is
l
_map_sim
p
lify
.
c: fix ty
p
os in c
o
mmen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
isl_
m
o
rph
.
c
:
fi
x
typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
ol
a
ege
i
s
l_flo
w
.
c
: fi
x
typos in comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verd
o
ola
e
ge
isl_coalesce
.
c:
fix
typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
doc: fix typo i
n
descri
p
tion
of schedule_sp
l
it_scale
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_li
s
t_templ
.
c:
fix har
m
less ty
p
o in code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
Merge
br
a
nch 'maint'
commit
|
commitdiff
|
tree
2017-05-16
Sve
n
Verdoolaege
isl_sch
e
du
l
er
.
c
:
add_inter_validit
y
_constraints: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-08
Sven
V
erdoo
l
aeg
e
i
nterf
a
ce/python
.
cc: fix typo intr
o
d
u
ced
in pr
e
v
ious
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-05
Sven
Verd
o
olaeg
e
isl_
t
ab_basic_set_no
n
_trivial_lexmin: onl
y
add zeroing
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-05
Sven
Verdo
o
la
e
ge
i
sl_ta
b
_basi
c
_
s
et_non_trivial_lexmin
:
rei
n
itiali
z
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
i
n
terfa
c
e
/
isl
.
py
.
top: e
x
plicitly cas
t
se
l
f
.
ptr of
C
ontext
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoola
e
ge
p
y
thon
i
nterface:
a
l
s
o
p
r
int arg
u
m
e
nt
t
ypes
for *_co
p
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven V
e
rdoola
e
ge
interface: gene
r
ator::generator: extrac
t
o
u
t shared
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-04-27
Sven Verdoolaeg
e
co
n
f
igure
.
a
c: drop -gsplit-dwarf from llvm-con
f
ig
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sven Verdoolaege
M
e
r
g
e
br
a
nch
'
main
t
'
commit
|
commitdiff
|
tree
2017-04-26
Sven Verdoolaege
s
cheduler: fi
x
ch
e
c
k
ing conditional val
i
dity constra
i
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sv
e
n Verdoolaege
i
s
l
_
s
pa
c
e_
m
ap_from_s
e
t: accept NUL
L
pointer on zer
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sv
e
n Ver
d
oolaege
isl_space_map_from
_
set:
r
e
n
ame
"
dim" argument to
"
space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_r
i
ght_inver
s
e
:
add memory man
a
g
e
m
ent annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
s
l
_
m
at_copy: a
d
d
memory management a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
laeg
e
isl_mat_unimodular_complete: add mem
o
ry
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_mat_paramet
e
r_com
p
ression:
add mem
o
ry
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
oo
l
a
ege
isl_
m
at_trans
p
ose: add memor
y
mana
g
ement annot
a
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
dool
a
ege
isl_mat_inverse_p
r
oduct: ad
d
memory management a
n
nota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
lae
g
e
isl_mat_lin_to_aff:
a
d
d me
m
ory management
anno
t
ation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_mat_swap_
r
ows: add me
m
o
ry management an
n
o
t
ati
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_left_hermite: add memory
m
anageme
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
ge
isl_mat_aff_direct_
s
u
m
: add memory
m
anagement annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
isl_mat_swap_
c
ols: add memory management
a
nnot
a
ti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rd
o
olaege
i
s
l
_vec_mat_product: add m
e
m
o
ry management annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rdoolaege
i
sl_ma
t
_vec_p
r
oduct: add memory m
a
na
g
e
ment annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_map_copy: add memory
m
anagement an
n
o
t
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
i
sl_
m
a
p
_
cow: add memory mana
g
e
m
ent annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_ma
p
_f
r
om_basic_map: add
mem
o
ry
m
a
nagement ann
o
tatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
erdoolaege
is
l
_
m
ap_flo
o
rdiv:
add memory
m
anagement annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_map_compute_divs: a
d
d me
m
ory mana
g
ement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_remove_empt
y
_pa
r
ts: ad
d
memory ma
n
agem
e
nt annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaeg
e
i
sl_map_coale
s
c
e
: add m
e
mory
m
a
nagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l
_
map_d
o
mai
n
: add memory mana
g
ement annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_map_range: add memor
y
m
a
nagemen
t
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_re
v
erse: add
m
emo
r
y manage
m
ent annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoo
l
aege
isl_map_n_
*
: add memo
r
y ma
n
age
m
en
t
annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_
d
rop: add
m
emory management
a
nnot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_map_fix_si: ad
d
memory m
a
n
agement a
n
notati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_
m
ap
_
sum: add memory management
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_grow: add
memory manag
e
ment annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verd
o
olaege
isl_map_r
e
move
_
d
ims: add mem
o
ry man
a
geme
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_
n
e
g:
add
m
e
m
o
ry man
a
gement
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
i
s
l_map_convex_hull: add
m
emor
y
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_set_bou
n
ded_simpl
e
_
h
ull
:
add memo
r
y man
a
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
i
s
l_s
e
t_co
p
y: add memo
r
y
m
a
n
ageme
n
t a
n
n
otatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_set_cow: add me
m
ory manage
m
e
n
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_set_from_basic
_
set: add memory m
a
nage
m
e
nt annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_set_
d
rop:
add memor
y
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolae
g
e
is
l
_bas
i
c_{se
t
,map}_alloc_inequality: add me
m
ory man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoo
l
aege
isl_ba
s
ic_map_co
w
: add me
m
ory mana
g
ement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
basic_map_union:
add m
e
mory management annotati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doola
e
ge
isl_ba
s
ic_
m
ap_delt
a
s: add mem
o
ry management
a
n
no
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoolaege
isl_basic_ma
p
_sum: add memory management a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Ve
r
doo
l
aege
isl_basic_
m
ap_gist: a
d
d
m
emo
r
y
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_bas
i
c_m
a
p_
c
om
p
ute_divs: add memory m
a
nagement anno
t
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_basic_map_affin
e
_h
u
l
l: add
m
e
m
o
ry management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_basic
_
map_det
e
ct_equalities: add
m
emory m
a
n
a
ge
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic
_
map
_
interse
c
t
: a
d
d memory management
annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolaege
isl_basic_map_re
v
e
r
se: add memor
y
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_basi
c
_map_copy:
add
m
emory management
a
nnotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdo
o
laege
isl_basic_map_normalize: ad
d
memory m
a
n
a
gemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_basic_ma
p
_
s
et_to_empty: add m
e
m
o
ry manageme
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_e
l
iminate
_
va
r
s:
add memory man
a
g
e
me
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_bas
i
c_
m
ap_normali
z
e_constraints: add memory
m
anagemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
do
o
l
a
eg
e
i
s
l_basic
_
map_s
i
mplify: add
memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_basic_map_finalize: add
memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
is
l
_basic_ma
p
_order_divs: add memory m
a
nagement
annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_b
a
sic_map_neg: add memory management annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_basic_map
_
i
m
plici
t
_equalities: add m
e
mo
r
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_
m
ap_
g
auss: a
d
d
mem
o
r
y manag
e
ment ann
o
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdool
a
ege
isl_bas
i
c_map_fix_si: add memory manage
m
ent an
n
otat
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoola
e
ge
i
sl
_
b
asic
_
ma
p
_f
l
oordiv: add m
e
mo
r
y management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_b
a
s
ic_map_sol
v
e_lp: add memory management
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_basic_map_drop: add memory management a
n
nota
t
ion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_basic_ma
p
_pr
o
d
uct: ad
d
memory management annota
t
io
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoo
l
aege
isl_basic_map_intersect_ran
g
e: add m
e
mory mana
g
eme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oola
e
ge
isl_basic_m
a
p_
i
ntersect_domain: add
memory m
a
nag
e
m
en
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoo
l
aege
isl_basi
c
_map_extend_
s
pace:
a
d
d mem
o
ry management
a
n
notatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
olaege
i
s
l_basic_
m
ap_dup: add
m
emory management an
n
otation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoola
e
g
e
i
sl_ba
s
ic_
m
ap_rem
o
v
e
_dims: add memory manage
m
ent annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoo
l
aege
isl
_
basic
_
map_t
o
tal_dim: add
memory mana
g
emen
t
ann
o
t
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
i
s
l_basi
c
_s
e
t_rece
s
sion_cone: add memory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
i
s
l_basic_s
e
t_from
_
constra
i
nt:
a
dd
m
emory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_s
e
t_cow: add memory management a
n
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaeg
e
isl_
b
asic_set_offse
t
: a
d
d memory manag
e
men
t
annotation
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_basic_se
t
_copy: add memory
m
anagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_
s
et_reduced
_
basis: a
d
d
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next