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_map_simplify.c: fix typos in comments
2017-05-17
Sven Verdo
o
laege
isl_map_s
i
mplify
.
c: fix t
y
po
s
in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolaege
isl_morph
.
c: fix typos in comm
e
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven
Ver
d
oolaege
isl_flow
.
c: fix typ
o
s in
comme
n
ts
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Ver
d
oolaege
isl_coale
s
ce
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaeg
e
doc: fix t
y
po in de
s
crip
t
i
o
n of
s
chedule_split
_
s
c
aled
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaeg
e
is
l
_list_
t
e
m
pl
.
c: fix h
a
rmless typo in cod
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Ve
r
do
o
laeg
e
M
e
rge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2017-05-16
S
v
en Verdoolaeg
e
isl_scheduler
.
c: add_
i
nte
r
_
v
alidity_constraints: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-08
Sven Verdoo
l
aege
interface/python
.
cc: fix typo
i
n
t
roduced in
p
r
evio
u
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verdoo
l
aege
isl_tab_basic_set_no
n
_trivial_lexmin:
o
nly
add zeroing
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-05
Sve
n
Verdoolaege
isl_ta
b
_ba
s
i
c
_set
_
non_t
r
ivial_le
x
min
:
r
einit
i
aliz
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verd
o
olaege
interface/isl
.
py
.
top: explicitly cast
sel
f
.
p
t
r o
f
Context
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven
V
e
rdoolaege
pyt
h
o
n interface: al
s
o
print
argument types for *_copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verd
o
ol
a
ege
interface: generator::gene
r
at
o
r: extract out
sh
a
red
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-04-27
S
ven Ver
d
o
olaege
configure
.
ac: drop
-
gsplit-
d
warf f
r
om llvm-config
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sven
V
erd
o
o
laege
M
erg
e
branch
'maint'
commit
|
commitdiff
|
tree
2017-04-26
S
ven Ver
d
oolaeg
e
schedu
l
er: fi
x
c
hecking con
d
itional va
l
idity const
r
aints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sven Ve
r
d
o
olaege
isl_s
p
ace_ma
p
_from_set
:
accept N
U
L
L
po
i
n
t
er on ze
r
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-26
Sven Verdoolaege
is
l
_
spac
e
_m
a
p_from_se
t
:
rename
"
di
m
" argument
to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
r
do
o
lae
g
e
isl_mat_ri
g
ht_
i
nverse:
add memory manag
e
ment
a
nn
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
i
s
l_mat_cop
y
: add
memo
r
y managem
e
nt annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdoolaege
isl_mat_unimodular_complete
:
add memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_parame
t
e
r_compression:
a
dd
memory
mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_m
a
t_
t
r
a
nspo
s
e: add
mem
o
r
y
ma
n
agement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_m
a
t_inverse_product: add me
m
ory management
a
nnot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
doo
l
a
ege
isl_mat_
l
in_to_
a
ff: add memory ma
n
agement annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mat_swap_rows: add memor
y
manageme
n
t
annot
a
ti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_ma
t
_left_hermite: add memory management annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoolaege
i
sl_m
a
t_aff_d
i
rect_su
m
:
ad
d
m
e
m
o
r
y
ma
n
a
g
e
ment ann
o
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_mat_swap_cols:
a
dd memor
y
management ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoo
l
aege
isl_vec_mat_p
r
oduct: add memory manageme
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl
_
m
at_vec_prod
u
ct: add
memory managemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
o
l
aege
isl_map_copy
:
add memory manageme
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolaege
i
s
l_map_cow: add memory manage
m
ent annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaeg
e
isl_map_from_basic_map: add memory management a
n
n
o
tation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
r
doo
l
a
e
ge
isl
_
map_floordiv
:
add m
e
m
o
ry m
a
nagement annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ma
p
_c
o
mpute_divs:
a
dd memory manageme
n
t annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_remove_empty_p
a
rts
:
add memory m
a
nagement
a
n
nota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
s
l_map_coalesce: add memory manag
e
ment annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaeg
e
isl_map_domain: add memory
m
anagemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
do
o
lae
g
e
isl
_
map_range:
a
d
d
memor
y
m
a
n
a
ge
m
ent an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_map_reverse:
a
dd memory
m
anagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
d
o
ola
e
ge
isl
_
m
a
p_n_*: add memory m
a
nagement a
n
nota
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_map_drop:
a
dd m
e
m
o
ry man
a
gement annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
i
sl_map_fix_si: add me
m
ory manage
m
ent annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_
m
ap
_
sum:
a
dd
m
emory man
a
gement
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoo
l
aege
isl_map_grow: a
d
d memory mana
g
ement annot
a
tio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoola
e
ge
i
sl_m
a
p_remove_dims: add memo
r
y management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
doolae
g
e
isl_map_
n
eg
:
add
memory man
a
g
ement annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdo
o
laege
isl_map_
c
onvex
_
h
u
ll:
add
memory
m
anagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_s
e
t
_boun
d
e
d_simple_
h
ull: add
m
emo
r
y m
a
n
a
ge
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_se
t
_c
o
p
y: add memory m
a
na
g
e
m
ent annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_set_cow:
add memor
y
manag
e
ment annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
lae
g
e
is
l
_set_from_basic
_
s
et
:
add memo
r
y management
a
n
no
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_se
t
_dr
o
p: ad
d
m
e
m
ory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
laege
is
l
_basic
_
{set,map}_all
o
c_
i
nequality: add
memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_basic_map_cow: add memory mana
g
em
e
nt a
n
no
t
at
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_ba
s
ic_map_union: ad
d
memory management annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
r
d
o
olaege
isl_basic
_
map_deltas: add memory
management anno
t
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaeg
e
isl_
b
asic_map_s
u
m
: add memory management
a
nnot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
i
s
l_basic_map_gist: ad
d
memory managem
e
nt annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaeg
e
isl
_
basi
c
_
map
_
compute_divs: a
d
d memor
y
m
a
nagement annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_basic
_
map_aff
i
ne_hull: add mem
o
ry management annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
aege
isl_
b
asi
c
_map_de
t
ect_equalities:
add memory managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map
_
intersec
t
: add memor
y
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_b
a
sic_map_rev
e
r
se: add memory
m
ana
g
ement
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_
b
asic_map_c
o
p
y
:
a
dd m
e
mory managemen
t
annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_basic
_
map
_
normalize
:
ad
d
memory
m
a
na
g
e
m
ent annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaeg
e
isl_basic
_
map_
s
et_to_empty: add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdool
a
ege
i
s
l_basic_m
a
p_elimi
n
ate_va
r
s: add memory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basi
c
_ma
p
_normalize_c
o
nstraints: a
d
d memory
m
a
n
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_b
a
s
i
c
_
map_simplify: add
m
emory management annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdo
o
l
a
eg
e
isl_ba
s
i
c_ma
p
_final
i
ze: add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaeg
e
isl_basi
c
_map
_
order_divs
:
a
d
d memory management ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basic
_
map_neg: add m
e
mory
mana
g
ement annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
laege
isl_bas
i
c
_
map_i
m
p
li
c
it_equalities:
add mem
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
ool
a
ege
i
sl_basi
c
_m
a
p_g
a
uss: add memo
r
y
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdool
a
ege
i
sl_basic_map_fix_si: add memory ma
n
ag
e
ment an
n
o
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basi
c
_map_fl
o
o
r
div: add m
e
m
o
r
y
management a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_basic_map_solve_lp: add memor
y
ma
n
age
m
ent annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Ver
d
oolaege
isl_basi
c
_map_drop
:
add memory mana
g
em
e
nt annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
e
ge
isl_b
a
sic_map_pr
o
duct: add me
m
ory man
a
gement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_bas
i
c_ma
p
_intersect
_
range: add memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
oolaege
is
l
_b
a
sic_map_intersect_domain: add
m
em
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl
_
b
asic_map_extend_space: add memory
management annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doola
e
ge
isl_basic
_
m
ap_dup:
a
dd memor
y
ma
n
ag
e
ment annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Ver
d
oolaege
isl_basic_
m
a
p
_remove_dims: add m
e
mory managem
e
nt annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
s
l_basic_map_total_
d
im
:
a
dd memory
m
anagement annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_basic_set_recession_co
n
e: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
i
s
l_basic
_
set_from_constraint: add m
e
mory
m
an
a
geme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolae
g
e
isl_basic_set_
c
o
w:
a
dd memory managemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
sl
_
ba
s
ic_set_offset: add memory management anno
t
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doola
e
ge
isl_basic_set_
c
opy: add memor
y
ma
n
agemen
t
annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoolae
g
e
isl_basic_s
e
t_reduced_basis: a
d
d memo
r
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_basic_
s
et_s
a
mple_
b
ounded: add memory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
aege
isl_
b
asic_set_s
o
lve
_
ilp: add memory m
a
nage
m
ent annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
olaeg
e
i
sl_basic
_
set_linea
l
ity_spa
c
e: add
m
em
o
ry manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoola
e
g
e
isl_basic_set_total_di
m
: add
memory ma
n
agement annot
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_tab_pip
.
c: context_ta
b
_for_lexmin: add
memory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aege
isl_tab_
p
ip
.
c: ineq_for_div: a
d
d memory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next