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_map_neg: add memory management annotations
2017-04-24
Sve
n
V
e
rdoola
e
ge
isl_
b
asic_map_ne
g
: add me
m
ory management anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
laege
isl_bas
i
c_map_impl
i
ci
t
_equalities: ad
d
memory m
a
nag
e
me
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
do
o
laege
isl_basic_map_gauss: add memory management
a
n
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_bas
i
c_map
_
fix_si: add
me
m
ory ma
n
agement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
o
laege
isl_basic_map_floordiv: add memory management
a
nno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
eg
e
is
l
_basic_map_solve_l
p
: add m
e
mory man
a
gement annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoola
e
ge
isl_
b
a
s
ic_
m
ap_d
r
op:
a
d
d memory management ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_b
a
sic_map_produc
t
:
add memory management anno
t
at
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Ver
d
oolaege
isl_ba
s
i
c
_map
_
interse
c
t_range: add me
m
ory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
i
sl_basic_map_
i
nte
r
sect_domain: add
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_basic_m
a
p_
e
xt
e
nd_s
p
ace: a
d
d
memory
management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_basic_map_dup
:
add
mem
o
ry management ann
o
t
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ve
r
doo
l
aege
isl_b
a
sic_
m
a
p_remo
v
e_dims: add memory ma
n
agement
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_basic_map_total_di
m
:
ad
d
memory management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_b
a
sic_set_
r
ecession_cone
:
add memory man
a
gem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
aege
is
l
_
b
asic_
s
et_fro
m
_
c
onstraint: add memo
r
y
ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoola
e
ge
isl_b
a
si
c
_set_cow: add
memory management
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
e
g
e
isl_basic_
s
et_
o
ff
s
et: add memory management a
n
notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basi
c
_set_copy: a
d
d memory
m
anage
m
ent a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdo
o
lae
g
e
isl_basi
c
_set_redu
c
e
d
_basis: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_basic_set_sa
m
ple_bounded
:
add
m
emory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdool
a
ege
isl_basic_set_
s
olve_ilp: add m
e
mory management annot
a
tion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoolaege
isl_basic_
s
et_l
i
neali
t
y_space
:
add me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_basic_set_t
o
tal_dim:
add memory manageme
n
t
annot
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolae
g
e
isl_tab_p
i
p
.
c: contex
t
_
t
ab_fo
r
_lexmin
:
add memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_tab_pip
.
c: ineq_for_div: add memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdool
a
eg
e
isl_tab
_
p
i
p
.
c
:
align
_
context_
d
ivs: add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ol
a
ege
i
sl_tab_p
i
p
.
c: tab_for_lexmin: a
d
d memor
y
man
a
gem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
e
r
dool
a
ege
is
l
_ta
b
_
p
i
p
.
c: dr
o
p_con
s
tant_term
s
:
add
memory
manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rd
o
ola
e
g
e
isl_sample
.
c: vec_concat: add memor
y
m
a
nagemen
t
annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_sample
.
c
: shift_co
n
e: add memory manageme
n
t anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
i
sl_sample
.
c: round_up_in_co
n
e
:
add memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: rational_sample: add memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_sample
.
c: p
l
ug_in:
a
d
d memory
man
a
gement annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_sa
m
ple
.
c: g
b
r_sample: a
d
d mem
o
ry
management a
n
nota
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
doolae
g
e
isl_s
a
mple
.
c: sample_bounde
d
: add memory
m
a
n
ag
e
m
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdo
o
laege
i
sl_sample
.
c: int
e
rval_sample: add memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
i
s
l_
s
amp
l
e
.
c
: z
e
ro
_
sample: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_sample
.
c: sam
p
l
e_eq: add me
m
o
r
y mana
g
ement an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
i
sl_
s
a
m
ple
.
c:
e
mp
t
y_sample: add memory management annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ve
r
dool
a
eg
e
isl_sample
.
c: basic_s
e
t_s
a
mple: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_output
.
c: p
r
int_half_
c
ons
t
raint: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolae
g
e
i
s
l
_output
.
c:
p
rint_constraint: add
memory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_map_sim
p
lify
.
c: coalesce
_
or_drop_more_redundant_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_s
i
mplif
y
.
c:
c
oalesce_di
v
s: ad
d
memory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_map
_
simp
l
ify
.
c: r
e
move_depende
n
t_vars: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
i
s
l_map_simplify
.
c
: r
e
move_
d
u
plicate_div
s
: add
m
em
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoola
e
ge
i
sl_map_simplify
.
c: di
v
_is_redundan
t
: add
m
emory
m
anagemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
laege
isl_map_sim
p
l
i
f
y
.
c: remove_
r
edun
d
ant_divs: add
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ver
d
oo
l
a
ege
isl_map_simplify
.
c: ok_to_e
l
imi
n
ate
_
div: a
d
d me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_ma
p
_
s
impli
f
y
.
c
:
elim
i
nate_divs_eq: add
m
emory ma
n
a
ge
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
is
l
_
map_simplify
.
c
:
dro
p
_more_redundant_divs: a
d
d memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdo
o
laege
i
sl_
m
ap
_
simpl
i
fy
.
c: n
o
rmal
i
z
e
_divs: a
d
d
m
emory ma
n
age
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ver
d
oolaege
isl_map_simplif
y
.
c: eliminate
_
div
s
_ineq
:
add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
isl_map_si
m
plify
.
c
:
set_compute_
e
limi
n
ation
_
index:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_map_simplify
.
c: compute_elimination_index: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map_simp
l
ify
.
c: set_red
u
c
e
d
_
u
sin
g
_equal
i
ti
e
s: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ver
d
oola
e
ge
isl_map_simplify
.
c: re
d
u
c
ed_using_e
q
ualiti
e
s
:
add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoola
e
ge
isl_map_simplify
.
c
:
is
l
_basic_set_
r
educe_
u
sing
_
e
q
ualities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_map_
s
implify
.
c: c
h
ec
k
_for
_
d
iv_con
s
trai
n
ts:
a
dd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
olaege
isl_
m
a
p
_simplify
.
c
:
set_div_
f
rom_lower_
b
oun
d
:
add
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdoolaeg
e
isl
_
map_simplify
.
c: ok
_
to_set_div_from_bound: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdool
a
eg
e
is
l
_map_simplify
.
c: set_hash_index: add
m
emory m
a
n
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_map_simplify
.
c: remov
e
_shift
e
d
_constraint
s
: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c: map_
o
ff
s
e
t
:
add
memory mana
g
ement anno
t
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_map
.
c: find_d
i
v: a
d
d memor
y
management annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
is
l
_
m
ap
.
c: var
_
m
ore:
a
dd memory
m
anagement an
n
otatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
a
e
g
e
i
sl
_
map
.
c: v
a
r_l
e
s
s: ad
d
memory manage
m
ent annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
i
sl_map
.
c: var_equal:
a
dd memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_map
.
c: ba
s
i
c
_set_append_equa
l
ities: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
i
s
l_map
.
c: basic_set_par
a
mete
r
_pre
i
mage: ad
d
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoola
e
ge
i
s
l_map
.
c: ad
d
_c
o
n
s
train
t
s: add
m
e
m
ory managem
e
nt ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
i
sl_lp
.
c: i
s
l_tab_sol
v
e_l
p
: add mem
o
r
y
m
anagement
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c: add
_
bounds: add
m
e
m
o
ry mana
g
ement anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoo
l
aege
i
s
l_ilp
.
c
:
u
nit
_
box_b
a
se
_
po
i
n
ts: add memory ma
n
a
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
r
d
oolaege
isl
_
ilp
.
c: solve_i
l
p_searc
h
: add
m
e
m
o
r
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_ilp
.
c:
initial_solut
i
o
n: add
m
e
mory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
olae
g
e
isl_ilp
.
c: sol
v
e_ilp: add memory managem
e
nt ann
o
tat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ve
r
doo
l
aege
isl_
i
lp
.
c: solve_ilp
_
with_
e
q: ad
d
memory managem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_conve
x
_
hull
.
c:
is_b
o
und
:
ad
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoola
e
ge
isl_conve
x
_hull
.
c:
a
dd_bound: add me
m
ory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
l
aege
i
s
l
_
c
o
nvex_hull
.
c:
a
d
d_bounds: add
m
emory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
ege
isl_convex_hull
.
c: hash_b
a
sic_set: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_c
o
nvex_hull
.
c: sh_data_alloc: a
d
d memo
r
y
managem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_convex_hull
.
c: u
s
et_co
n
ve
x
_hull_wrap_bounded: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdo
o
laege
isl_convex_hull
.
c: compute
_
facet: add m
e
m
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_convex
_
hu
l
l
.
c
:
wrap_const
r
aints: add
memory man
a
ge
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
co
n
vex_hull
.
c: isl_
s
e
t
_
a
dd_basic_se
t
_
e
quality:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_co
n
v
e
x
_hull
.
c: uset_is_bo
u
n
d: add memory
m
anagem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doolaege
i
sl_convex
_
hu
l
l
.
c: ext
e
nd: add memory mana
g
ement annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_conve
x
_h
u
l
l
.
c
:
common_constraints: add
m
emory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
laege
isl_convex_hull
.
c
:
proto_hull: add me
m
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
laege
isl_conv
e
x_hul
l
.
c: ini
t
i
al
_
h
ull:
add memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
oolaege
isl_con
v
ex_hull
.
c
:
induced_lineali
t
y
_
s
pace: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoo
l
aege
isl_convex_hull
.
c: modulo_lin
e
a
l
ity: add memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
ae
g
e
isl_convex_hu
l
l
.
c:
convex
_
hull_1d: add
memor
y
ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rdoola
e
ge
isl_conve
x
_
h
ull
.
c: c
o
nvex_hull_0d: add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_conve
x
_hu
l
l
.
c: us
e
t_convex_hu
l
l: add memory m
a
nage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_co
n
vex_hull
.
c:
homogeneous_m
a
p
:
add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_convex_hull
.
c: valid_directio
n
_lp:
add
m
emory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next