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
interface: make language bindings depend on all relevant headers
2017-05-25
Sven V
e
rdoolaege
interfac
e
:
m
ake
l
angu
a
ge bindings depend on
all r
e
lev
a
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
interface/Makefile
.
am: drop test target
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolae
g
e
isl_schedu
l
e_constraints_
c
ompute_schedule: do no
t
merge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolaege
isl_
u
nion_
m
a
p
.
c: r
e
n
am
e
con
d
_un
_
op to un_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_union
_
m
ap
.
c: un
_
op: impleme
n
t in
t
e
rms o
f
cond_un_op
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_uni
o
n
_map
.
c: inplace:
i
mplem
e
nt in terms o
f
cond_u
n
_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdool
a
ege
isl_un
i
on_map
.
c
:
cond_
u
n_
o
p:
uni
f
y callbacks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olaege
isl_u
n
ion_map
.
c: con
d
_un
_
o
p
: drop needless error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
o
l
a
eg
e
isl_
u
nion_m
a
p
.
c: co
n
d_un_op: use isl_union_map_get_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
is
l
_union_map
.
c: un_op: use isl_
u
nion_
m
ap_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n
V
e
rd
o
olae
g
e
isl
_
unio
n
_map
.
c: inplac
e
:
u
s
e
i
sl_union_map_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_uni
o
n
_
map
.
c: cond_un_op: us
e
i
sl_union_map_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolaege
i
s
l
_
union_map_
f
actor_range:
u
s
e
isl_map_is_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdo
o
laege
is
l
_union_map_f
a
ctor_domai
n
:
use
i
s
l_map_is_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoolaege
add isl_
m
a
p
_is_p
r
o
d
u
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olae
g
e
isl_space_can_zip: extrac
t
out isl_space_
i
s_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n
Verdoolaege
isl_
s
pace
_
can_zip:
r
enam
e
"
d
im
"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Ver
d
o
o
laege
isl_sche
d
uler
.
c: co
u
nt_map_co
n
strain
t
s
: use isl_basic_set_n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oolaege
isl_schedul
e
r
.
c: add_con
s
trai
n
ts_dim_map
:
use isl_bas
i
c_se
t
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
isl_scheduler: ex
t
ract
o
ut shared
a
dd
_
c
onstr
a
i
n
ts_dim_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_scheduler
.
c: com
p
ute_w
e
igh
t
s: us
e
isl_basic_map_n
_
equ
a
lit
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
add isl_basic_set_n
_
i
ne
q
ua
l
i
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
add is
l
_basic_map_n_inequality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n Verdoolaege
add isl_basic_
s
et_n_equalit
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
add isl_ba
s
ic_map_n_e
q
uality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olaege
i
s
l_scheduler
.
c: fix whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_
s
che
d
uler
.
c:
no
n
_neg_lexmin: improve documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolaege
isl_scheduler
.
c: cl
a
rify
that space
o
f isl_sched_node
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoo
l
aege
isl_s
c
heduler
.
c: f
i
x
do
c
umentation
of inter_dim_
m
ap
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
include/i
s
l/map
.
h: drop note about memory
m
anagement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
r
doolae
g
e
isl_tab
_
pip
.
c: fix typos i
n
c
o
mments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoola
e
ge
isl_scheduler
.
c: fix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
i
s
l
_
ma
p
_simplify
.
c: fix
t
y
pos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdoolaeg
e
isl_morph
.
c: fi
x
ty
p
os i
n
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoola
e
ge
isl_flow
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaeg
e
i
sl_c
o
al
e
s
c
e
.
c: fix typo in
comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolae
g
e
doc: f
i
x typo in descript
i
on of sc
h
edule_sp
l
it_scaled
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n
Verdo
o
lae
g
e
isl_list_templ
.
c: fix har
m
less
t
ypo
i
n code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verd
o
olaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-05-16
Sven Verdoola
e
g
e
i
s
l_scheduler
.
c: ad
d
_inter_valid
i
ty_c
o
nstraints:
a
void
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-08
Sven Verdoo
l
a
ege
interface/
p
ython
.
cc: fix ty
p
o introduced in previous
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verdo
o
laege
isl_
t
ab
_
basi
c
_set_n
o
n_t
r
iv
i
al_lexmin: on
l
y add
z
e
roing
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verdoolaege
isl_tab_basic_set
_
n
on_
t
rivial_lexmin: r
e
initialize
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
in
t
er
f
ace/isl
.
py
.
top:
expli
c
i
tly cast self
.
ptr of C
o
nte
x
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ve
r
doolaege
p
yth
o
n interface: als
o
pri
n
t argumen
t
types for *_copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
S
ve
n
Verdoolaege
int
e
rf
a
ce
:
ge
n
e
r
at
o
r::
g
enerator: extract out
shared
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-04-27
S
ven
Verdoo
l
aege
config
u
re
.
ac
:
drop -gs
p
lit-dwar
f
fr
o
m llvm-config
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sven V
e
rdoolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2017-04-26
Sven Verdoolaege
scheduler: fix checki
n
g
conditional validity constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sven V
e
rdoolaege
isl_space_
m
ap_from_set:
a
ccept NULL
p
ointer on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sven Verdoola
e
ge
isl_space_map_fro
m
_se
t
:
r
ename "dim" a
r
gument to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoola
e
g
e
isl_mat_right_in
v
erse: add memor
y
managem
e
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
i
s
l_m
a
t_copy: add m
e
mory mana
g
ement ann
o
ta
t
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl
_
m
at_unimodular_comple
t
e: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_paramete
r
_compression: add
memory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoola
e
ge
isl_
m
at_tr
a
ns
p
o
s
e
: add memory mana
g
ement
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_in
v
erse_prod
u
ct: add me
m
ory management annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaeg
e
isl
_
mat_lin_to_
a
ff: add memory
m
a
nagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdo
o
laege
i
sl_mat_
s
wap_rows: ad
d
memo
r
y manag
e
ment annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_mat_l
e
ft_he
r
mite: add memory managem
e
nt annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ve
r
do
o
laege
isl_m
a
t_aff_direct_sum: add memory m
a
nagemen
t
a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
dool
a
ege
isl_
m
at_swa
p
_cols
:
add memory manage
m
ent an
n
otation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoola
e
ge
isl_vec_mat_product: ad
d
memory man
a
gement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaeg
e
isl_m
a
t
_vec_prod
u
ct
:
add me
m
ory
m
a
nagement annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_map_copy: add
m
emo
r
y
manage
m
ent a
n
nota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoolae
g
e
isl
_
map_cow: ad
d
memory
m
anagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map_from_basic_map: add
memory management an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdoolaeg
e
isl_map_floordiv: ad
d
m
e
mory ma
n
a
gem
e
nt
a
nnotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
l
a
ege
i
s
l
_map_
c
ompute_divs: add me
m
ory ma
n
agement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolae
g
e
isl_map_remove_
e
mpty_parts: ad
d
memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_coalesce
:
add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
_
domain:
a
dd
memor
y
manageme
n
t anno
t
ation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
la
e
ge
i
s
l
_
map_range: add
me
m
ory management annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_map_reverse: a
d
d memory management ann
o
ta
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdool
a
ege
isl_map_n_*: add memory m
a
nageme
n
t annotati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl
_
map_drop: add
m
e
mory management annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
sl_
m
a
p
_fix_
s
i: a
d
d memory manag
e
ment annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
laege
i
sl
_
map
_
su
m
: ad
d
m
em
o
ry man
a
gement
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verd
o
o
lae
g
e
isl_map
_
grow: a
d
d
m
emor
y
mana
g
e
m
e
n
t
anno
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_r
e
move_d
i
m
s:
add memory management an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_neg: ad
d
memory management annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_ma
p
_con
v
ex_hull: add memo
r
y
ma
n
agement a
n
notation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
is
l
_set_bounded
_
simple_h
u
ll: add me
m
or
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_set_co
p
y: add memory
m
a
n
a
g
e
ment annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ola
e
ge
isl_set_co
w
:
a
dd memory m
a
nageme
n
t a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
i
s
l_set_from_
b
asi
c
_set
:
ad
d
m
emor
y
ma
n
agement
annotati
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_set_
d
rop: add
memor
y
mana
g
eme
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_basic_{set,
m
ap}_alloc_ine
q
u
a
l
i
ty: ad
d
memory man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_basic_map_
c
o
w
: add me
m
ory
management annot
a
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
g
e
isl_basic_
m
ap
_
u
nio
n
: add memory
management annotat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
la
e
ge
i
sl_bas
i
c_map_d
e
l
tas: add memory ma
n
agement a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoo
l
ae
g
e
isl_
b
asic_map_sum: add memory ma
n
age
m
e
nt ann
o
ta
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_m
a
p_
g
i
s
t
: a
d
d memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
lae
g
e
isl
_
basi
c
_map_compute_divs: add memory m
a
n
a
gement a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdo
o
laege
isl
_
basi
c
_map_a
f
fine_hul
l
: add memory man
a
gement a
n
notati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_basic_ma
p
_dete
c
t
_
equali
t
i
es: add memor
y
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_in
t
ersect:
a
d
d
me
m
ory man
a
gement annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basic_map_rev
e
r
s
e:
add memory
m
anagement a
n
no
t
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olae
g
e
isl_basic_ma
p
_copy: add
m
emory
m
ana
g
e
m
en
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_normalize: a
d
d me
m
ory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next