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_basic_set_recession_cone: add memory management annotations
2017-04-24
Sven
V
e
rdoolaege
isl_basic_set
_
recessio
n
_cone: a
d
d me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolaege
isl_bas
i
c
_set_from_const
r
a
i
nt: add memor
y
managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
i
sl_basic_
s
et_
c
ow:
a
dd memory management
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
a
ege
isl_bas
i
c_se
t
_o
f
fset:
a
dd memor
y
management annotat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ver
d
oolaege
isl_basic_se
t
_co
p
y: a
d
d
memory man
a
g
e
ment annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
isl_ba
s
ic_set
_
reduc
e
d_basis
:
a
d
d memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
sl_basic
_
s
et_sample_
b
ounded: add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_basic_
s
et_sol
v
e_ilp: add mem
o
r
y
managemen
t
ann
o
ta
t
io
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdo
o
l
aege
isl_basic_set_
l
i
ne
a
l
ity_space:
a
dd memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_basic_set_total_dim: ad
d
memory management a
n
no
t
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_tab_pip
.
c: co
n
text_tab_for_l
e
xmin: add memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
i
s
l
_
tab_pi
p
.
c:
ineq_for
_
div: ad
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_tab_pip
.
c: align_cont
e
xt_div
s
:
a
dd m
e
mo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_tab_pip
.
c
:
tab_for_lexmin: add memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoolaege
isl_
t
ab_pip
.
c:
drop_constant_ter
m
s: add memo
r
y manage
m
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoo
l
aege
isl_sample
.
c: v
e
c_concat:
a
dd m
e
mory management
a
nnotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_sample
.
c:
s
hift_cone: add mem
o
ry
m
an
a
gement
a
nno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_sample
.
c: r
o
u
n
d_up_in_
c
one: add memor
y
manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdo
o
laege
isl_samp
l
e
.
c:
r
a
t
i
o
n
al_sample: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
olaege
isl_s
a
mple
.
c: plug_in:
ad
d
m
e
mory
m
anage
m
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
i
s
l_s
a
mple
.
c
:
gbr_
s
ample: add
m
emory management
annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oo
l
a
e
ge
is
l
_sample
.
c:
s
ample_bound
e
d
:
a
d
d
memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoolae
g
e
isl_sam
p
le
.
c: interval
_
sample: add mem
o
ry
m
a
nag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_sample
.
c: ze
r
o_sample: add memo
r
y management annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: sample_eq: add memory mana
g
em
e
nt annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c:
e
mpty_
s
a
m
ple: add me
m
o
ry management annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoo
l
ae
g
e
i
sl_sample
.
c
: ba
s
ic_set_sample: add memor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaeg
e
isl_output
.
c
:
p
r
int_half_c
o
nst
r
aint: add memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
laeg
e
i
sl_o
u
t
p
ut
.
c: pr
i
nt_constraint
:
add memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_map_sim
p
lify
.
c: coalesce_or
_
d
r
op
_
more_redundant_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n V
e
rdoolaege
isl_map_
s
implif
y
.
c: c
o
ales
c
e_divs:
add memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl
_
map_simplify
.
c
:
remove_depen
d
ent_
v
ars: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoolaege
isl_map_s
i
mp
l
if
y
.
c: remove_du
p
licate
_
d
i
vs: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
l
aege
isl_map
_
simplify
.
c:
d
iv
_
is_redu
n
dant
:
add me
m
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map
_
simplify
.
c: remove_redundant_d
i
vs: add memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
laege
isl
_
map_s
i
mplif
y
.
c: ok_
t
o
_
eliminate_di
v
: add mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_m
a
p_simp
l
ify
.
c
: eli
m
inate_div
s
_eq: add
m
emor
y
m
anag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
oolaege
i
s
l_map_simplify
.
c
:
dro
p
_
m
ore_re
d
undant_divs: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdool
a
ege
isl_map_simplify
.
c
: normalize_divs: a
d
d memory manage
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c: eliminate_divs_ineq: add
m
e
m
o
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_map_simplify
.
c: set_compute
_
e
limination_ind
e
x:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_m
a
p_simpl
i
fy
.
c: comput
e
_e
l
i
m
ina
t
ion_index:
add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
i
sl_
m
ap_simplify
.
c: se
t
_reduced_using_e
q
ualities: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_map_simplify
.
c:
reduc
e
d_
u
sin
g
_equal
i
ties: add
m
em
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplif
y
.
c: isl_basic_set_reduce_using_equa
l
i
t
ies
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
olaeg
e
isl
_
map_s
i
mplify
.
c: check
_
f
or_div_const
r
aints: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoola
e
g
e
isl_map_simplify
.
c: set_div
_
from_
l
owe
r
_bo
u
nd: add
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doolaege
isl_m
a
p
_
simplify
.
c:
ok_to_set_div_from_bound: add m
e
mo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_sim
p
lify
.
c: set_hash_index:
add memor
y
ma
n
ageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
s
l_ma
p
_
s
impl
i
fy
.
c: remove_shifte
d
_constrain
t
s
: a
d
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_map
.
c: map
_
o
ffset:
a
dd memory manage
m
e
nt annot
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c: find_d
i
v: add memory management
a
nnotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_map
.
c: var_mor
e
:
add memory m
a
nagement a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_map
.
c:
v
a
r
_
less
:
add memory management annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c: var_equal: add
mem
o
ry manageme
n
t
an
n
ot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_map
.
c
:
bas
i
c_se
t
_append_equali
t
i
e
s: add memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_map
.
c
: basic_set_par
a
m
eter_preimage: add
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map
.
c: add_c
o
nstraints: add memo
r
y
management an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_lp
.
c: isl_tab_
s
o
l
ve_lp: add memory m
a
nagement ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_ilp
.
c: add_bounds: a
d
d memory management ann
o
t
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_i
l
p
.
c: unit
_
box_ba
s
e_points: ad
d
m
e
mory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ve
r
do
o
laege
isl_ilp
.
c: solve_ilp_searc
h
: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c: ini
t
ial_solution:
a
dd mem
o
r
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c: solve_i
l
p:
add memory mana
g
e
m
ent
a
nno
t
ati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c: solve_ilp
_
with_eq: a
d
d memory
manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doolaege
isl
_
convex_h
u
ll
.
c: is_bo
u
nd: add memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_conve
x
_
h
ull
.
c
:
add_b
o
und: add memory ma
n
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
ola
e
g
e
isl_c
o
n
v
e
x
_hu
l
l
.
c: add_bounds: a
d
d mem
o
ry manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolae
g
e
isl_convex_hull
.
c: hash_basic_set: add memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoo
l
a
ege
is
l
_convex_hull
.
c: sh
_
data_alloc: add memo
r
y m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_convex_hull
.
c:
u
set_con
v
ex_h
u
ll_wr
a
p_bou
n
ded: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_convex_hul
l
.
c: compute_facet: a
d
d memory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoolaege
i
sl
_
co
n
vex_hull
.
c
:
wrap_constraints: add memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_convex_hull
.
c: i
s
l_
s
et_
a
dd_ba
s
ic_set_equality:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verd
o
ol
a
eg
e
i
sl_convex_h
u
ll
.
c: uset_is_bound: ad
d
m
e
mor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_convex_hull
.
c: extend:
ad
d
mem
o
ry mana
g
eme
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_con
v
ex_
h
u
l
l
.
c
:
c
o
mmon_
c
o
nstraints
:
add memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_convex_
h
ull
.
c:
p
roto_hull: add mem
o
ry manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
d
o
olaeg
e
i
sl_con
v
e
x_hull
.
c: i
n
itial_hull:
a
dd me
m
o
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
aege
isl_convex_hull
.
c: indu
c
ed_li
n
e
a
lity_space: ad
d
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoo
l
a
e
ge
i
s
l_convex_hu
l
l
.
c: modulo_lineality: add
m
e
mory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoo
l
aege
isl_convex_hull
.
c
: co
n
vex_hull_1d: ad
d
memory
manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
is
l
_convex_hull
.
c
: convex
_
h
ull_0d: add
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
o
o
laege
isl_con
v
ex_hu
l
l
.
c: uset
_
convex_hull: a
d
d memory
m
a
n
agem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoo
l
aeg
e
isl_convex_hull
.
c: homogeneous_map: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolaege
isl_convex
_
hull
.
c: valid_di
r
ectio
n
_lp: add memory
m
a
nag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_co
n
vex_hu
l
l
.
c: v
a
lid_direction: add memo
r
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
a
ege
isl_convex_hull
.
c: co
n
vex_hull_pair_pointed: add
m
em
o
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
s
l_convex_h
u
ll
.
c:
uset_
c
onvex_hull_wrap:
a
dd m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ver
d
oo
l
aege
i
sl_convex_hull
.
c: convex_hull_
p
air_e
l
im: a
d
d memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_c
o
nvex_hull
.
c: conv
e
x_hull_pair: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
d
oolaege
is
l
_
c
o
nvex_hull
.
c: modul
o
_affine_hull: add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
r
doolaege
i
s
l
_
c
o
n
v
e
x
_
hull
.
c
:
use
t
_comb
i
n
e
d_lineali
t
y_space:
a
dd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verd
o
ola
e
ge
isl_convex_hull
.
c: uset_co
m
b
i
ned_lineality_
s
pace
:
renam
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
laege
isl_s
p
ace_get_tuple_name: add memory managem
e
nt annotat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoo
l
aege
isl_mult
i
_p
w
_
aff_lex_{lt
,
gt}_map_on_s
p
ace: f
i
x memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ver
d
o
ola
e
g
e
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoolaege
isl_ma
p
_mov
e
_dims: reset
s
p
a
c
es even
i
f numbe
r
of
variabl
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l
_
basic_m
a
p_move_dims
:
reset spaces ev
e
n if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
privately
e
xport
i
sl_basic_m
a
p_reset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next