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
Sve
n
Verdoolaege
isl_
b
asic_set
_
r
e
c
ession_cone: add me
m
ory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
ola
e
ge
isl_basic
_
set_fr
o
m_con
s
tra
i
nt: a
d
d
memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_basi
c
_set_cow: add memory manag
e
m
e
nt
a
n
n
otatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaeg
e
isl_b
a
sic_set_offset: add memory
m
anagem
e
nt annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basi
c
_set_copy: add memory ma
n
a
g
ement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_basic_set_reduced_basis: ad
d
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
b
asic_
s
e
t
_sample_bo
u
nded: add memor
y
ma
n
agem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl
_
basic_set
_
solve_ilp:
a
dd memory manage
m
ent annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_basic_set
_
li
n
e
a
lity_s
p
ace:
a
dd
memory m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
sl_basic_set_total_dim: add m
e
mor
y
man
a
geme
n
t annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_tab_
p
ip
.
c
: context
_
tab_for_lexm
i
n: add
memor
y
mana
g
emen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_tab_p
i
p
.
c
: ineq_f
o
r_div: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ve
r
dool
a
ege
isl_tab_pip
.
c:
align_context_divs: add mem
o
ry
ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_tab_pip
.
c: tab_for_lexm
i
n:
a
dd
memory ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rdoolaege
isl_tab_pip
.
c: dr
o
p_co
n
s
ta
n
t_
t
e
r
m
s
: a
d
d memory m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oola
e
ge
i
s
l_sample
.
c:
v
ec
_
concat: add memory manage
m
ent annot
a
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaeg
e
isl_sam
p
le
.
c: shift
_
cone: add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdo
o
laege
isl_sample
.
c: round
_
up_
i
n_cone: add memory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_sample
.
c
: rational_sa
m
ple: add memory mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Ver
d
o
o
laege
isl_sample
.
c: plug_
i
n:
add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl
_
s
a
m
ple
.
c: gb
r
_sa
m
pl
e
: add memory management a
n
nota
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: sa
m
ple_bounded: ad
d
m
emory man
a
ge
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
olaege
i
s
l_sample
.
c: int
e
rva
l
_sam
p
le: add memory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
i
s
l
_sample
.
c: z
e
ro_sample: ad
d
me
m
ory mana
g
em
e
nt annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_
s
ample
.
c
: sample_eq: add
m
emory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verd
o
olaege
isl_samp
l
e
.
c:
e
m
p
ty
_
sam
p
le: add memory management
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl
_
sampl
e
.
c
: basi
c
_set
_
sample: add memory manag
e
men
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Ve
r
doolaege
is
l
_
o
utput
.
c: pr
i
nt_half_constraint: a
d
d memory mana
g
e
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laeg
e
is
l
_output
.
c:
p
rint_constraint: a
d
d memory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_map_simp
l
i
f
y
.
c: c
o
a
l
es
c
e_or_drop_more_redundant_di
v
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdo
o
laeg
e
isl_
m
ap_
s
implify
.
c: coalesce_divs: add
mem
o
ry manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_map
_
s
impl
i
fy
.
c: re
m
ove_dependent_
v
a
r
s: ad
d
m
em
o
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl
_
map_
s
im
p
lify
.
c
:
remove_dupli
c
ate_di
v
s: add me
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
o
laege
i
sl_map_s
i
mplify
.
c: div_is
_
r
e
dundant:
a
d
d memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoola
e
g
e
isl_map_si
m
plify
.
c: remove
_
red
u
nd
a
nt_divs:
add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laeg
e
isl_map_simplify
.
c: ok_to_
e
l
i
minate_div: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_map_simplify
.
c:
e
liminate_divs_e
q
: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ma
p
_
s
imp
l
ify
.
c:
drop_
m
ore_redundant_divs: add
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_map_simpli
f
y
.
c: n
o
rmalize_divs:
add memory mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
l
aeg
e
isl_ma
p
_simplify
.
c: elimin
a
te_div
s
_
i
n
eq: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
aege
isl_map
_
simplify
.
c: set_co
m
p
u
te_elimination_index:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
map_
s
i
mplify
.
c: c
o
m
pute_elimination_inde
x
: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdoolaege
isl_map_simpl
i
fy
.
c: set_re
d
uced_using_equ
a
lities: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_
s
i
m
pli
f
y
.
c:
r
educ
e
d_using
_
equalities:
add
m
e
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolae
g
e
isl_map_simplify
.
c: isl_
b
a
s
ic_set_redu
c
e_using_equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
i
s
l_map_simp
l
ify
.
c:
c
heck_
f
or_div_constraints: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
isl
_
map_simp
l
if
y
.
c
:
set
_
d
iv_
f
rom_
l
ower_bound: add
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ver
d
ool
a
ege
is
l
_
map_si
m
plify
.
c: o
k
_to_
s
et_div_from_bou
n
d: add memor
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdo
o
lae
g
e
isl_
m
ap_s
i
m
pli
f
y
.
c: set_hash_index:
a
dd
m
emory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoolae
g
e
isl_map_simplify
.
c:
r
e
move_shifte
d
_cons
t
raint
s
:
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map
.
c: map_offs
e
t: a
d
d
me
m
ory management annotati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c:
find_div: add memory manag
e
men
t
ann
o
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
i
s
l_
m
a
p
.
c: va
r
_more: a
d
d memory
m
a
n
a
g
ement
a
nnotati
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
i
s
l
_
map
.
c:
v
ar_less: a
d
d
memo
r
y managem
e
nt annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_map
.
c:
v
ar_equa
l
: add memory m
a
n
ag
e
ment annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaeg
e
isl_map
.
c: basic_set_app
e
nd_equa
l
it
i
es: add m
e
mory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoola
e
ge
i
s
l_map
.
c: basic_set_param
e
ter_preim
a
ge: a
d
d
memor
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoola
e
ge
isl
_
map
.
c
: add_constr
a
ints
:
add memory
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_lp
.
c: isl_ta
b
_
s
olve_lp: add me
m
ory mana
g
ement annot
a
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdool
a
ege
is
l
_ilp
.
c:
add
_
bounds: add memory
ma
n
ag
e
m
e
nt ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdo
o
laeg
e
isl_ilp
.
c: unit_bo
x
_base_point
s
: add memo
r
y management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oolaege
isl_ilp
.
c
:
solv
e
_
ilp_sea
r
ch: ad
d
memory
m
anagemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_i
l
p
.
c: init
i
al
_
solution
:
add memory
m
a
n
age
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_
i
lp
.
c: solve_ilp: add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
a
ege
isl_il
p
.
c: so
l
ve_ilp_
w
ith_eq: add memory
manage
m
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Ver
d
oolaege
isl_
c
onvex_hull
.
c:
i
s
_bound: add memory manag
e
m
en
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
l
aege
i
s
l_convex_hull
.
c: a
d
d
_bo
u
n
d: add mem
o
ry
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
e
g
e
isl_convex_hull
.
c: add_bounds
:
add memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolae
g
e
isl_convex_hull
.
c: has
h
_b
a
sic_set: add mem
o
ry
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoolae
g
e
isl
_
convex_hull
.
c:
sh_data
_
al
l
oc: add memory mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolae
g
e
isl_convex_hull
.
c:
uset
_
convex
_
h
u
l
l
_
wrap_bounded: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_convex_h
u
ll
.
c: co
m
pute
_
facet:
a
d
d
me
m
ory man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_convex_hull
.
c: wrap_c
o
n
straints: add
memory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
aege
isl
_
convex_hu
l
l
.
c: isl_se
t
_ad
d
_basic_set_equality:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
is
l
_convex_hull
.
c: us
e
t
_
is_b
o
u
n
d: ad
d
memo
r
y manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
lae
g
e
isl_co
n
vex_hull
.
c: exte
n
d: add memory management anno
t
ation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
r
d
oolaege
isl_convex
_
hull
.
c
:
com
m
on_constraints: add memory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdo
o
laege
i
sl_c
o
nvex
_
hull
.
c: prot
o
_hull: add memory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doo
l
ae
g
e
is
l
_convex_hull
.
c:
i
niti
a
l_hul
l
: add
m
emory ma
n
ag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl
_
convex_hull
.
c: induc
e
d
_
lineality_spac
e
:
add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
oo
l
aege
isl_co
n
vex_hull
.
c: m
o
du
l
o_lineality: add mem
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
l
aeg
e
isl_co
n
ve
x
_
hu
l
l
.
c: conve
x
_
hu
l
l_1d: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
lae
g
e
is
l
_co
n
v
e
x
_hull
.
c:
convex_h
u
ll_0d: add
mem
o
r
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
olaege
isl_convex_hull
.
c: u
s
et_convex_hull: add me
m
ory
m
ana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
l
aege
isl
_
c
o
nv
e
x_
h
u
l
l
.
c: homogeneous_map:
add
m
e
mory m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hull
.
c: valid_dire
c
tion
_
lp: add memory man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
l
aege
isl_
c
onvex_hull
.
c: valid_direction: add
m
e
m
ory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
i
s
l_convex
_
hu
l
l
.
c: conve
x
_hull_pair
_
pointed
:
add
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_c
o
nv
e
x_hull
.
c:
uset_convex_hull_wrap: ad
d
m
e
mory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl
_
convex_
h
ull
.
c
: convex_hull_pair
_
elim: add m
e
mory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_convex_h
u
ll
.
c: convex
_
hull_pair:
a
dd memory manage
m
en
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolae
g
e
i
s
l_convex_hull
.
c: modulo
_
affine_hull: add mem
o
ry ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdo
o
laege
is
l
_convex_hull
.
c:
u
set_co
m
bine
d
_linea
l
ity_space: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_convex_hul
l
.
c: use
t
_combin
e
d_li
n
eality_spac
e
: re
n
a
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl
_
spac
e
_get
_
tuple_nam
e
: add me
m
ory managemen
t
annotation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_multi_pw
_
aff_lex_{
l
t,gt}_map_
o
n_spa
c
e: fix memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
M
erge branch
'
ma
i
nt'
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdoolaege
i
sl_
m
ap_move_
d
ims: r
e
s
e
t
spaces
e
ven i
f
numbe
r
o
f
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erd
o
olaege
is
l
_ba
s
ic_
m
ap_m
o
ve_dims: reset space
s
even
if
n
umber
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
privately exp
o
rt i
s
l_basic_map_rese
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next