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_space_align_params: rename "dim" arguments to "space"
2017-05-25
Sven
V
erdoolaege
a
d
d is
l
_
u
n
ion_set_get_basic_set_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ve
r
doolae
g
e
isl_*
_
li
s
t_co
n
cat:
special case
p
re-allocated list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
a
d
d
i
s
l_union_{map,set}_remove_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
ad
d
isl_basic_set_l
i
st_coe
f
ficient
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaeg
e
add is
l
_lis
t
_*_map_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
V
erdoolaege
isl_list_temp
l
.
c:
e
xt
r
act out shared isl_l
i
st_*_check_in
d
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
i
s
l_sc
h
ed_graph:
add identifier to com
p
ressed
nodes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add
isl_
b
asic_set_variable_com
p
ression_with_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ver
d
o
o
laeg
e
isl_b
a
s
i
c_set_variabl
e
_compression: rena
m
e "dim" varia
b
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erd
o
o
laege
isl_sched
_
gr
a
ph
:
ignore parameters in id
e
ntif
i
cat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
sl_schedule
r
.
c:
n
ode_has_s
p
ace: rename "dim" var
i
able
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ve
r
dool
a
ege
isl_scheduler
.
c: gr
a
p
h
_find_node: rename
"
di
m
" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_
s
pace_get_tuple_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_space
_
get_{hash,domain_hash}:
o
nly
h
ash in parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl_hash_{space,
s
pace_doma
i
n}: extrac
t
out
shared p
a
rameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
eg
e
isl_space
_
get_hash: rename "dim" arg
u
ment
t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
test_
i
nputs
/
co
d
egen/{atomic,separate}
.
*: ex
p
licitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdo
o
laege
isl_schedule_constraints_
c
ompute_sc
h
edule: do not merge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
s
l
_union_map
.
c: rena
m
e
cond_un_o
p
to un_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
Ve
r
doola
e
ge
i
sl_un
i
on_map
.
c
:
un_op: implemen
t
in t
e
rms of cond
_
un_op
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en
V
erd
o
olaege
isl_union_map
.
c: i
n
place: i
m
plement
in term
s
of cond_un_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
l
a
ege
isl_union_ma
p
.
c: cond_un_op: unify c
a
l
l
backs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoo
l
aege
isl_
u
n
i
on_map
.
c: cond_u
n
_op: d
r
op needless error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
isl_union_map
.
c
:
cond_
u
n_op: use is
l
_union_map
_
g
e
t_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaeg
e
isl_un
i
on_map
.
c:
un_op: use is
l
_union_map_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_union_map
.
c: inpl
a
ce: use isl
_
union_map_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven V
e
rdoolaege
i
s
l_uni
o
n_map
.
c: cond_un_op: use isl_union_map_get_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Ve
r
doolaege
isl_union_ma
p
_fac
t
or_range:
u
s
e
isl_map_
i
s_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
lae
g
e
isl_union_
m
a
p
_facto
r
_doma
i
n: use isl_map_is_pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
add
isl_map_
i
s
_
product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_
s
pac
e
_ca
n
_zip
:
extract ou
t
isl_s
p
ace_is_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl
_
space_
c
an_zip: re
n
ame "
d
im" argument to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
g
e
isl_sc
h
e
d
u
ler
.
c: count
_
ma
p
_co
n
s
t
raints: us
e
isl_bas
i
c_set_n
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
i
s
l_scheduler
.
c: add_co
n
straints_
d
im
_
map: use isl_basic_s
e
t_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
is
l
_sch
e
duler:
e
x
t
ract out shared ad
d
_c
o
nstraints_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Ver
d
oolae
g
e
i
s
l_scheduler
.
c: c
o
mpute_weights: use isl_basi
c
_map
_
n_equalit
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoola
e
ge
ad
d
isl_b
a
s
i
c
_set_n_inequality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
ol
a
e
ge
add i
s
l_basi
c
_map_n_inequality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdool
a
ege
add is
l
_basi
c
_
set_n_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
d
oola
e
g
e
add isl_basic_
m
a
p
_
n_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
isl_schedu
l
er
.
c
:
fix
w
hitespac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Ve
r
d
oolaege
isl_sche
d
uler
.
c
: non_neg_
l
exmin
:
improve documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolae
g
e
isl
_
schedule
r
.
c: clarify t
h
a
t space of
i
s
l_sched_node
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oolaege
i
s
l_s
c
heduler
.
c:
f
ix documenta
t
ion
o
f inter_dim_
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdo
o
laege
in
c
lude
/
i
s
l/map
.
h: drop note about memory ma
n
ageme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verd
o
o
laege
isl_map_si
m
plify
.
c: fix typos i
n
comm
e
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_morph
.
c: fix typos in co
m
men
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolae
g
e
isl_
c
oalesc
e
.
c
:
f
ix typo
i
n co
m
me
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
do
c
: fix typo in description of schedule_spli
t
_scaled
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
Ve
r
doolae
g
e
i
sl_list_tem
p
l
.
c: fix har
m
le
s
s typo in code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-27
S
v
e
n
Verdoolaege
config
u
re
.
ac:
d
rop -gsp
l
it-dwarf from
llvm-config
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-26
Sven
V
erdoolae
g
e
Merg
e
branch 'maint
'
commit
|
commitdiff
|
tree
2017-04-26
Sv
e
n Ve
r
doolaege
scheduler: fix
che
c
king conditional validity
c
o
nst
r
aints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-26
Sven Verdoolaege
isl_sp
a
ce_map_from_set: accept NULL po
i
n
t
er on zero
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-26
Sven Verdoolaeg
e
isl_s
p
ace_map
_
from_set: rename
"dim" argument t
o
"space
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_mat_right_invers
e
:
add m
e
mory ma
n
agement annotat
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_mat_c
o
py
:
add m
e
mory mana
g
ement annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rd
o
olaege
isl_mat_unimodular_complete:
add m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
i
s
l
_
m
a
t_param
e
ter_compression: add mem
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_mat_transpose: ad
d
memory
m
a
nag
e
ment annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_mat_inverse_product: add memory manage
m
e
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl
_
mat_lin_to_aff: add mem
o
ry mana
g
ement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_
m
at_s
w
ap_
r
o
w
s
:
add memor
y
management an
n
ot
a
ti
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 management
an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl
_
mat_aff_direct_sum:
add memory m
a
nagement a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_mat
_
swap_c
o
l
s: add memory management
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
vec_mat_prod
u
ct: add memory management
annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
laeg
e
isl_mat_vec_product: add
m
e
mory manag
e
m
e
nt annot
a
tio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_co
p
y: add memo
r
y management annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_
c
ow: add
memory mana
g
ement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_ma
p
_from_basic_map: ad
d
memo
r
y management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aege
i
s
l_map_
f
loord
i
v: add mem
o
r
y
m
anagement annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_ma
p
_co
m
p
u
te_d
i
vs: ad
d
memory management anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
ege
i
s
l_m
a
p
_
remove
_
empty_parts:
a
dd memory management ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_coale
s
ce: add memory ma
n
agement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
map_do
m
ain:
a
dd memo
r
y
managem
e
nt ann
o
t
a
tio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
i
sl_map
_
ra
n
ge:
a
dd memory m
a
nagement a
n
notatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl
_
map_revers
e
: add mem
o
ry m
a
nagement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
ege
i
sl_map
_
n_*: ad
d
memory management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
m
ap_drop: add
memo
r
y man
a
gement ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolae
g
e
isl_map_
f
ix_si: add memory manage
m
e
nt annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_sum: add memory manage
m
ent annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doolaege
isl_map_grow:
a
dd
memory managem
e
nt annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_map_remove_d
i
ms:
add memory
management ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_map
_
neg: add
m
emory management a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_ma
p
_
c
onvex_hull: ad
d
memory management annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl
_
s
et_boun
d
ed_simple_hull: add memo
r
y man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_set_copy: a
d
d memo
r
y
managem
e
nt an
n
otati
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_s
e
t_cow: add
m
e
m
ory
management
a
nn
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_set_from_
b
a
sic_set: add m
e
mo
r
y management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoolaeg
e
is
l
_
s
et_drop: ad
d
memory management annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Ve
r
doolaege
isl_b
a
s
i
c
_
{s
e
t,map}_alloc_inequality: add memory manage
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_bas
i
c_m
a
p_co
w
:
add
me
m
ory mana
g
ement a
n
notat
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
l
a
eg
e
isl_
b
asic_map_union: add memory m
a
nageme
n
t annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
oolaege
isl_basic_map_d
e
lt
a
s
:
a
d
d memory mana
g
e
m
ent
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoo
l
aege
isl_bas
i
c
_
map_s
u
m: ad
d
m
emory m
a
nagement annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolae
g
e
isl_basic_
m
ap_gist:
a
dd memor
y
management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoo
l
aege
is
l
_
basic_map_compute_divs: add
m
emory manag
e
ment anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_basi
c
_map_aff
i
ne_hull: add memory mana
g
ement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Ver
d
ool
a
ege
isl_b
a
sic_map_detect
_
equalities: add memory m
a
nage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next