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
add isl_space_get_tuple_hash
2017-05-25
Sven Verdoolaege
add
i
sl_spac
e
_
get_
t
uple_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_space_get_{hash
,
domain_hash}: on
l
y
hash in par
a
meters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
d
o
o
la
e
ge
isl_
h
ash_{
s
pace,s
p
ace_domain}: extract out
s
h
a
r
ed para
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verd
o
olaege
isl_space_get_hash: rename
"
dim" a
r
gument to "space
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
doolaege
tes
t
_inputs/co
d
e
g
e
n
/{atomic,separa
t
e
}
.
*
:
explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-25
Tobia
s
Gros
s
er
cpp: add
unit
t
ests
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
inte
r
face: make lan
g
uage bin
d
i
n
gs depend on all relevant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
in
t
erface/Makefile
.
a
m
: drop
t
est targ
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_sched
u
le_constrai
n
ts_compute_sc
h
edule: do n
o
t merge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdo
o
laege
isl_unio
n
_map
.
c: rename cond_un_op to u
n
_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oo
l
a
e
ge
isl_union_ma
p
.
c
: u
n
_op:
i
mple
m
ent in ter
m
s of
con
d
_u
n
_op
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
isl_union_
m
ap
.
c: inpla
c
e: imple
m
en
t
in terms of
c
ond_un_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oolae
g
e
i
s
l_union_map
.
c: cond_un_op: unify ca
l
l
b
acks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
is
l
_union_m
a
p
.
c
:
c
o
nd
_
un_o
p
: drop needless error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Ver
d
o
olaege
isl_union_map
.
c: cond_un_op
:
use isl_u
n
ion_ma
p
_get_sp
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolaege
isl_union
_
m
a
p
.
c: un_op: use isl
_
union
_
map_get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_union_map
.
c:
i
n
pla
c
e:
use isl
_
u
nion_
m
ap_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_union_map
.
c: co
n
d_un_op
:
use isl_union_
m
a
p_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
isl_
u
nion_
m
ap_fa
c
tor_range: use
isl_map_
i
s_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
i
s
l
_uni
o
n_map_factor_doma
i
n: use isl_map_is_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
add isl_map_is_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
isl_spa
c
e_
c
an_zip: extract out isl_space_i
s
_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolaege
isl_space
_
can_
z
ip:
r
ena
m
e
"dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
V
e
rdo
o
laege
i
sl_scheduler
.
c: cou
n
t_ma
p
_constra
i
nts
:
use isl_basi
c
_set_n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolaege
isl_scheduler
.
c
: add_
c
o
n
str
a
ints_dim_map: use
isl_basic_s
e
t_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
sl
_
sc
h
eduler: ext
r
a
c
t out
s
hared add_c
o
nstraints_dim_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
g
e
isl_s
c
heduler
.
c
:
compute
_
weigh
t
s: us
e
isl_basic_map_n
_
equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdo
o
laege
a
d
d
i
sl_bas
i
c_set
_
n_ine
q
ual
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
ven
V
erdoola
e
ge
a
dd
i
sl_basic_
m
ap_
n
_ineq
u
ality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Ve
r
doolaege
ad
d
isl_basic_set_n_equ
a
lity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
r
d
oolaege
add isl_basic_map_n_equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
isl_scheduler
.
c
:
fix white
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olaege
isl_scheduler
.
c: non_neg_lexm
i
n: im
p
r
o
v
e documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Ve
r
doo
l
aeg
e
isl_sc
h
edule
r
.
c
:
clari
f
y that space of isl_sched_node
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
ve
n
Verdoolaege
isl
_
schedule
r
.
c: fix docu
m
entat
i
on of inter_dim_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
e
g
e
include
/
i
sl/m
a
p
.
h
:
drop note
abo
u
t memo
r
y
m
anagement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_tab_
p
ip
.
c: fix typo
s
i
n
comment
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
rdoolae
g
e
i
s
l_schedu
l
er
.
c: fix t
y
po in c
o
mment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doola
e
ge
isl_map_simplify
.
c:
fi
x
t
ypos
i
n
comm
e
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
is
l
_
m
o
r
p
h
.
c: fix ty
p
os in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoolaege
isl_flow
.
c: fix typ
o
s in comment
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olae
g
e
isl_coalesce
.
c
:
fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
doc: f
i
x typo in de
s
c
ript
i
on
o
f sc
h
edule_split_scale
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_lis
t
_templ
.
c: fix ha
r
mless
typo in c
o
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolaege
Merge
b
ran
c
h
'
maint'
commit
|
commitdiff
|
tree
2017-05-17
Tobias Grosser
cpp: d
o
not m
a
rk boolean(isl_bool) construc
t
or as explic
i
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
Tobia
s
Gr
o
sser
c
pp:
explicitly manage isl_bool
r
eturn values
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-16
Sv
e
n Verdoolaeg
e
i
s
l_sch
e
d
u
ler
.
c: a
d
d
_inter_validity_const
r
ai
n
t
s
: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-11
To
b
i
a
s Grosser
isl_val_
i
s_o
n
e
shou
l
d retur
n
isl
_
bool
_
fa
l
se for nan
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-08
Sve
n
Ver
d
oolae
g
e
interface/pyth
o
n
.
cc: fix typo
introduced in pr
e
vious
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-05
Tob
i
as Gros
s
er
python: make st
r
ing parsi
n
g and
r
eturning Python 3
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verdo
o
laege
is
l
_tab_basi
c
_set_non_t
r
ivial
_
lex
m
in: onl
y
add zeroi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verdoo
l
ae
g
e
isl_ta
b
_b
a
sic_set_n
o
n
_
tri
v
ial_lex
m
in: rein
i
tiali
z
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoo
l
aege
inter
f
ace
/
isl
.
py
.
to
p
: explicitl
y
ca
s
t
s
elf
.
ptr of Context
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sve
n
V
e
rdool
a
ege
pytho
n
int
e
rface: also print argument t
y
pes f
o
r
*_c
o
p
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ve
r
doolaege
i
n
t
erface: generat
o
r:
:
generator: e
x
tra
c
t out shared
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-04-27
Sv
e
n Ver
d
oo
l
aege
c
onfigure
.
ac: drop -
g
split-
d
warf from l
l
v
m-config
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
Tobias Gro
s
ser
c
p
p
: support methods and con
s
tructors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
Grosser
cpp: generat
e
C++ wrapper clas
s
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
To
b
ias Grosser
g
e
nerator: add miss
i
ng ne
w
l
ine a
f
ter printing the
die
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
Armin Gr
ö
ßlinge
r
add comma
n
d
line options
f
or output l
a
ngua
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
Armin Gr
o
esslinger
Turn python gen
e
ra
t
or int
o
a s
u
b
class of gener
a
tor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
Armin Groesslinger
s
p
li
t
interface gene
r
ator in generic and pyt
h
o
n
-
s
pec
i
fic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-27
Tobias
Grosser
python: drop
spurious space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sven
V
e
r
doolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-04-26
S
ven V
e
rdo
o
laege
scheduler
:
fix
c
hecking c
o
nditional validi
t
y
constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sven Ve
r
d
oolaege
i
sl_space_map_from_set: accept
NU
L
L po
i
nter o
n
zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sv
e
n Verdoolaege
isl_space_m
a
p_
f
rom_set:
rename "dim" arg
u
ment to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoola
e
g
e
i
sl_mat_right_inverse:
add memory management
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
isl
_
ma
t
_c
o
p
y
: add m
e
mory
m
anag
e
m
e
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_mat_
u
nimodula
r
_comple
t
e: add
m
emory
m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
d
oolaege
isl_mat_parameter_co
m
pression:
a
dd me
m
ory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_m
a
t_transpose: add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_inver
s
e_product: ad
d
memory m
a
nagemen
t
annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_mat_lin_to_aff: add
mem
o
ry management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_m
a
t
_s
w
ap_ro
w
s
: add memory managem
e
nt annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_m
a
t_
l
eft_hermite: add
me
m
ory management
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ol
a
ege
isl_m
a
t_aff_
d
irect_s
u
m: a
d
d memory ma
n
agem
e
nt
a
n
no
t
a
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
lae
g
e
isl
_
mat_swap_c
o
ls: add
m
emory
m
anage
m
e
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erdoolaeg
e
is
l
_vec_mat_
p
roduct: add
m
emory man
a
gement annot
a
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoolae
g
e
isl_mat_v
e
c_product: add
m
emory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoo
l
aege
isl_
m
ap_copy: add m
e
m
ory management annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_
m
a
p
_
cow: add memory
m
a
n
agemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
isl_map_f
r
om_basi
c
_map: add memory
m
a
nagement
a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_map_floordiv: add memory
management annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_
c
om
p
ute_div
s
: add memory manage
m
ent
a
nnota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdo
o
lae
g
e
isl_map_remove_
e
mpty_par
t
s:
add mem
o
ry management an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_coalesce: add me
m
ory ma
n
agement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdool
a
ege
i
s
l_map_do
m
ain: a
d
d memory manageme
n
t
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Ver
d
oolaeg
e
i
s
l_ma
p
_ran
g
e: ad
d
mem
o
ry manag
e
m
e
n
t
a
nnotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_map_reve
r
s
e
:
add mem
o
ry managem
e
nt annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoola
e
ge
isl_map_n
_
*:
a
d
d m
e
mor
y
manag
e
ment annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_ma
p
_d
r
o
p: add
memo
r
y
ma
n
agement annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_map_f
i
x_si: ad
d
memory managem
e
nt annotat
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdo
o
laege
isl_m
a
p_sum: add memory management a
n
notat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl
_
map_
g
row: a
d
d
memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_remove_d
i
ms: add memory
m
anagement annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
e
g
e
isl_map
_
ne
g
:
a
dd m
e
mory manag
e
ment annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_
m
ap_convex_h
u
ll:
ad
d
memory managemen
t
an
n
otatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_set_bounded_simpl
e
_hull
:
add memor
y
m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next