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_copy: add memory management annotations
2017-04-24
Sven
Verd
o
olaege
i
s
l
_basic_set_c
o
py: add m
e
mory management annotat
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
ge
isl_basic_set_r
e
duc
e
d_bas
i
s: add mem
o
r
y
m
a
n
a
g
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_set_
s
ample_bounded:
a
d
d memory
managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_set_solve_ilp:
a
dd memory management annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_set_l
i
neality_space: add memory
m
an
a
ge
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_b
a
sic_set_to
t
al_
d
im: ad
d
memory management anno
t
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oolaege
isl
_
tab_pip
.
c: co
n
text_t
a
b
_
for_lexmin
:
add
memory
m
an
a
g
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoola
e
ge
isl_tab_pip
.
c: ineq_f
o
r
_div: add
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_t
a
b
_
pip
.
c: al
i
gn_context
_
divs: add memory mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Ve
r
doolaege
isl_tab_pi
p
.
c:
tab_for_lexmin: add mem
o
ry manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoola
e
ge
isl_tab_pip
.
c: drop_cons
t
a
nt_terms
:
add memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_sample
.
c: vec_concat: add m
e
mo
r
y management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdool
a
ege
isl_sa
m
ple
.
c: shift_cone: add me
m
o
ry m
a
nagem
e
nt annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c
:
round_up_in_cone: add memory
m
a
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: r
a
ti
o
n
a
l_sam
p
le:
a
dd memory ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: plug_
i
n: add memory management annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdo
o
laege
isl_sa
m
ple
.
c: gbr_sample: a
d
d memory managem
e
nt
a
nnot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoo
l
a
ege
is
l
_
s
ample
.
c: sample_bounded: a
d
d memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
e
rdoolaege
isl_sa
m
ple
.
c
: i
n
t
er
v
al_sample: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
i
s
l
_
sample
.
c
:
zero_sa
m
pl
e
: add me
m
o
ry manag
e
men
t
a
n
n
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: sample_eq: add
mem
o
ry ma
n
agement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
erdoolaeg
e
isl
_
sample
.
c: empty_sample: add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
is
l
_
s
ample
.
c: basic_set_sample: add memory manag
e
me
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
oolae
g
e
i
sl
_
output
.
c: print_half_constr
a
int: add memory mana
g
e
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erdo
o
laege
isl_output
.
c:
p
rint_c
o
n
s
traint: a
d
d memor
y
manage
m
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
er
d
oolaege
isl_
m
a
p_simplify
.
c: coalesce_or_
d
r
op_
m
ore_redundant_
d
ivs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
r
d
o
o
laege
i
s
l_m
a
p_sim
p
lify
.
c: coa
l
esce_divs: add memory
managem
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
oolaege
isl_map_simpl
i
fy
.
c:
remo
v
e_d
e
pendent_var
s
: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_map_s
i
m
p
lify
.
c: remo
v
e_duplicate
_
divs: ad
d
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoo
l
aege
isl_m
a
p_si
m
plify
.
c
:
di
v
_i
s
_redundant
:
add mem
o
ry
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_map_
s
implif
y
.
c: rem
o
ve_re
d
undant_divs: add
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaeg
e
isl_m
a
p_simpli
f
y
.
c: ok_to_eli
m
inate_div: a
d
d memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_map_simplif
y
.
c: elim
i
nate_divs_eq: a
d
d memo
r
y m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c
:
d
rop
_
more_
r
edunda
n
t
_divs: add me
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
isl_map_simp
l
ify
.
c: normalize_div
s
: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_
s
implify
.
c: eliminate_divs_ineq: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
aege
isl_map_simplify
.
c: set_compute_elimination_index:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_m
a
p
_
simplify
.
c: comput
e
_
elimination_index:
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
a
ege
isl_ma
p
_
s
implify
.
c
: set_reduced_usin
g
_e
q
ualit
i
e
s
: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map_s
i
m
p
lify
.
c:
reduced_using_eq
u
alit
i
es:
a
d
d memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map_si
m
pli
f
y
.
c: isl_
b
a
s
ic_set_r
e
duc
e
_using
_
eq
u
aliti
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
is
l
_map_simpli
f
y
.
c: check_for_div_constraint
s
:
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
isl_map_simpli
f
y
.
c
:
set_div_from_lower_bo
u
nd: ad
d
m
e
mory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
_
simplify
.
c: o
k
_
to_se
t
_
d
iv
_
from_bound: ad
d
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaeg
e
isl_map_
s
impl
i
f
y
.
c
: set
_
h
a
s
h_ind
e
x: add memory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
erdoolae
g
e
isl_
m
ap_
s
implify
.
c: remove_
s
hifte
d
_constraint
s
: ad
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_map
.
c: map
_
offset: add memory ma
n
agement annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_map
.
c: find_div: add memory
mana
g
ement ann
o
tatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map
.
c
:
var_more: add memory ma
n
agement
a
n
no
t
a
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl
_
map
.
c: var_
l
e
ss: ad
d
me
m
o
ry management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_
m
ap
.
c:
v
a
r_equ
a
l:
add memory m
a
n
a
gement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_m
a
p
.
c: b
a
sic
_
set_append_equ
a
lities: add
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_map
.
c: basic
_
set_p
a
rameter_preimage: add mem
o
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_ma
p
.
c:
add
_
const
r
a
ints: add m
e
mory manageme
n
t
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_
l
p
.
c: is
l
_
t
a
b_solve_lp: add memory management annota
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
oolaege
i
sl_ilp
.
c: a
d
d_bounds
:
add m
e
mory ma
n
agement annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
V
erdoolaege
isl_ilp
.
c: unit_box_base_points: add mem
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erdoolaege
isl_ilp
.
c
:
s
olv
e
_il
p
_s
e
arch: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_ilp
.
c: initi
a
l_solut
i
on: add
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoola
e
g
e
isl_ilp
.
c: so
l
ve_i
l
p
:
add memory management annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolae
g
e
i
s
l_il
p
.
c: solve_ilp_
w
ith_eq:
a
d
d
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_conv
e
x
_hull
.
c
:
is_boun
d
:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ve
r
doolaege
i
sl_convex_hull
.
c: a
d
d_bound: add memo
r
y management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdool
a
ege
isl_convex_
h
ull
.
c: add_bound
s
: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
olaege
i
sl
_
convex_h
u
ll
.
c
:
h
a
sh_basi
c
_set: a
d
d memory
m
anageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolae
g
e
isl_conv
e
x_hull
.
c:
sh_data_alloc
:
add memory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_c
o
nve
x
_hull
.
c: uset_convex_hull_wrap_bounded
:
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
ge
isl_convex_hul
l
.
c: c
o
mpute_fac
e
t: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoo
l
aege
isl_
c
onve
x
_hull
.
c: wrap_constrai
n
ts: add memory ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
olaege
isl_convex_hul
l
.
c: isl_se
t
_add_basi
c
_set_equality:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_co
n
vex_hull
.
c
:
uset
_
is_bound: add memo
r
y management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoolaege
isl_convex_hull
.
c: extend: a
d
d
m
emory
m
anagemen
t
annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erdoolaege
is
l
_con
v
ex_hu
l
l
.
c
: com
m
on_c
o
nstraint
s
:
a
dd memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_co
n
ve
x
_hull
.
c: p
r
oto_hull: add me
m
ory managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verd
o
olaege
isl_conv
e
x_hull
.
c
:
initial_hull: a
d
d memory mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_c
o
nvex_h
u
l
l
.
c: induced_lineality_spac
e
: add memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_convex_h
u
ll
.
c: mo
d
ulo_line
a
lity: ad
d
memory manage
m
en
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
s
l
_c
o
nvex_hull
.
c: convex_hull_1d:
a
d
d
m
e
m
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_convex_hull
.
c:
convex_hull_0
d
: add mem
o
ry manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_
c
onvex_hull
.
c:
uset_convex_
h
u
l
l
: add
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_convex_hu
l
l
.
c
:
homo
g
eneous_ma
p
: add mem
o
ry manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
d
ool
a
ege
isl_convex_hull
.
c: val
i
d_direct
i
on_lp: add memory ma
n
age
m
en
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
is
l
_c
o
nv
e
x_hu
l
l
.
c: valid_direc
t
ion: add memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_
c
o
n
v
ex_hull
.
c:
co
n
vex_hull_
p
a
i
r_
p
oi
n
ted: add me
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaeg
e
isl_con
v
ex_hull
.
c: uset_convex
_
hull_wrap
:
add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doola
e
ge
isl_conve
x
_
h
ull
.
c: convex_hull_pair
_
elim: add
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolaege
i
s
l_
c
on
v
ex_hull
.
c: convex_hul
l
_pai
r
: add m
e
m
ory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoo
l
aege
isl_convex_hull
.
c: mod
u
lo
_
affine_hull: a
d
d m
e
m
ory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ve
r
d
ool
a
ege
is
l
_convex_hull
.
c
: uset_combine
d
_li
n
eality_space: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
a
ege
is
l
_convex_hull
.
c: uset_combin
e
d_lineality_sp
a
ce: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
aege
isl_space_get_tupl
e
_name: a
d
d
memo
r
y
management
a
nnota
t
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
i
sl_mult
i
_pw_af
f
_l
e
x_{
l
t,gt}
_
map_o
n
_spa
c
e: fix m
e
mory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ol
a
ege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_
m
a
p
_
move_di
m
s: reset
s
paces even if
number of variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oolaeg
e
isl_basic_m
a
p
_
mov
e
_dims:
r
eset
s
paces even i
f
number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
privately e
x
por
t
isl_ba
s
ic
_
map_
r
eset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-13
S
ven
Ve
r
doo
l
aege
isl_basic
_
map
_
from_aff:
call gauss
o
n constructed
basic
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-10
Sven Ver
d
o
olaege
isl_
b
asic
_
map_
d
rop_redunda
n
t_d
i
vs: drop explicit r
e
presentat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
S
ve
n
Verd
o
ola
e
g
e
i
s
l_trans
i
t
i
v
e
_closure
.
c: move
is_eq_stride to isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
S
v
en
Ver
d
oolaege
is
l
_
m
ap
_
sim
p
lify
.
c:
m
ove some functions to isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next