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_reduced_basis: add memory management annotations
2017-04-24
Sven Verdoolaege
i
sl_ba
s
i
c
_set_reduced_basis:
a
dd memory managem
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoola
e
ge
isl_bas
i
c_s
e
t_samp
l
e_bou
n
ded
:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
r
doolae
g
e
isl
_
b
a
sic_set_
s
olve_ilp
:
add memory ma
n
agement annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_basic_set_lineal
i
ty_space
:
add memory mana
g
emen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
ol
a
ege
isl_basic_set_total_dim: a
d
d memory ma
n
agement
anno
t
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
do
o
laege
is
l
_tab_p
i
p
.
c: context_tab_fo
r
_
l
exmin: add memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaeg
e
isl_
t
ab_pi
p
.
c
:
ine
q
_fo
r
_div: ad
d
mem
o
ry manage
m
en
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l
_
tab_pip
.
c
:
a
l
ign_context_divs: add
m
emor
y
manag
e
men
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
sl_
t
ab_
p
ip
.
c: tab_for_lexmin:
a
dd memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
tab_pip
.
c:
drop_constant
_
te
r
ms: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
ol
a
e
g
e
isl_sample
.
c
:
vec_concat: add
m
emory
managemen
t
a
n
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_sample
.
c:
shift_c
o
ne
:
a
d
d me
m
o
r
y
ma
n
agement a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_samp
l
e
.
c: ro
u
n
d
_u
p
_in_co
n
e: add memory m
a
nagemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaeg
e
isl_
s
ample
.
c: rati
o
nal_sample
:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
sample
.
c: pl
u
g_in:
a
d
d
m
e
mo
r
y man
a
gement a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sampl
e
.
c: gbr_sample: add memory
m
anagement annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoo
l
aeg
e
isl_samp
l
e
.
c: sample_bounded: add memory ma
n
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaeg
e
i
sl_sample
.
c:
interval_samp
l
e: a
d
d
memory m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olae
g
e
isl_sampl
e
.
c
: zero_sa
m
ple: ad
d
me
m
ory ma
n
agement a
n
n
o
tati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl
_
sample
.
c
: sampl
e
_eq: add memory
m
anage
m
ent annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaeg
e
isl_sam
p
le
.
c: empt
y
_sa
m
ple:
add mem
o
ry
m
anagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_s
a
mple
.
c: basic_set_sample
:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdo
o
lae
g
e
isl_output
.
c
:
print_half_c
o
n
straint: add mem
o
ry m
a
nage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolae
g
e
isl_out
p
ut
.
c: print_con
s
trai
n
t: add memory manag
e
men
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map_simplify
.
c: coalesce
_
or_drop_more_redundant_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_map_simpli
f
y
.
c: coalesce_
d
i
v
s: add me
m
o
r
y mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oolaege
i
sl_
m
ap_sim
p
l
if
y
.
c: rem
o
ve_depen
d
ent_va
r
s: a
d
d mem
o
ry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdo
o
laeg
e
isl_map_sim
p
lify
.
c: remove_duplicate_divs: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_m
a
p
_
simpli
f
y
.
c: div_is_redundant: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
i
sl_map_
s
im
p
li
f
y
.
c: remove_redundant_divs
:
add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
aeg
e
is
l
_map_simplify
.
c
:
o
k_to_
e
limin
a
te
_
d
i
v
:
a
dd memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_simplif
y
.
c:
e
liminate_di
v
s
_
eq: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_
m
a
p
_simplify
.
c
: drop_more_redunda
n
t_divs: add me
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
la
e
g
e
isl_
m
ap_si
m
plify
.
c: normalize_divs: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoolaege
i
sl
_
m
ap_simplify
.
c: eliminate_divs_ineq: add memor
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_m
a
p_sim
p
lify
.
c: set_compute_eliminat
i
o
n_index:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map_simplify
.
c: compute_eli
m
ination_inde
x
: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ma
p
_simplify
.
c: set_reduce
d
_using_eq
u
alities: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map_simplify
.
c
:
r
e
duced_using_equalities: add me
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_map_simplif
y
.
c
: isl_basic_set_reduce_using_equa
l
ities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
s
l_map_simplify
.
c: check_for_div_constrai
n
ts: ad
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoolae
g
e
isl_map_sim
p
lify
.
c: set_div_from_lowe
r
_bound
:
add memor
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdo
o
laege
i
sl_map_simplify
.
c: ok_to_set_div_fro
m
_bo
u
n
d
:
add memor
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdo
o
l
a
ege
isl_map
_
s
impl
i
fy
.
c: set_hash_i
n
dex:
a
dd memo
r
y
m
an
a
gemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
o
l
aege
isl_m
a
p
_
simplif
y
.
c: remove_shift
e
d_constraints: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl
_
m
a
p
.
c: map_
o
f
f
s
et:
add memory manag
e
m
ent 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_div:
add memory manage
m
ent annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_ma
p
.
c: va
r
_more: add mem
o
ry ma
n
agement annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
olaege
isl_map
.
c:
var_l
e
ss: add memory managem
e
nt a
n
no
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
s
l_map
.
c: var_eq
u
al:
a
dd memory ma
n
agement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
isl_m
a
p
.
c: basic_
s
et
_
appen
d
_equaliti
e
s: add memor
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
laege
isl_
m
ap
.
c: b
a
sic_s
e
t_
p
arameter_p
r
eimage:
add
m
em
o
ry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c:
a
d
d_
c
on
s
traints: add memory man
a
ge
m
ent annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_lp
.
c: isl_tab_solve_lp: add memory manag
e
ment a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaeg
e
isl_ilp
.
c: add_bounds: add
m
emory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
aege
isl
_
il
p
.
c: unit_box_base_poin
t
s: ad
d
m
e
m
ory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
o
laege
isl_ilp
.
c
:
solve_ilp_se
a
rc
h
: add m
e
mory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erdoolaege
isl_ilp
.
c: i
n
i
t
ial_so
l
utio
n
: add mem
o
ry
m
anage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_i
l
p
.
c:
solve_ilp: add memory man
a
gement annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
is
l
_ilp
.
c:
s
ol
v
e
_ilp_
w
ith_eq:
add memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_convex_hull
.
c: is_bound: add memor
y
ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
is
l
_convex_hull
.
c: add_bound: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
olaeg
e
isl_conve
x
_hu
l
l
.
c:
a
d
d
_
b
ounds: add me
m
ory m
a
na
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
laege
i
sl_convex_hull
.
c: hash
_
basic_set: add memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doolaege
isl_con
v
ex_hull
.
c
:
sh_data_a
l
loc: add m
e
mory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_convex_h
u
ll
.
c: uset
_
c
onvex_hu
l
l
_
wrap_b
o
unded: a
d
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_c
o
nvex_
h
ull
.
c: com
p
ute_fa
c
et: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_c
o
nvex_hull
.
c: wrap_constraints: add
m
emo
r
y manag
e
men
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaeg
e
isl_convex_
h
ull
.
c: is
l
_
set_a
d
d_basi
c
_set_eq
u
a
l
ity:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
o
olaege
isl
_
conve
x
_hul
l
.
c: u
s
et_
i
s
_
b
ound: add memory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
r
doolaege
is
l
_convex_hull
.
c: extend: add me
m
ory
managemen
t
annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hull
.
c: common
_
constr
a
i
nts
:
add me
m
ory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaeg
e
i
s
l
_
convex_hull
.
c:
p
roto_hull: add
memo
r
y ma
n
age
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
dool
a
ege
isl_
c
o
nvex_hull
.
c: initial_hull: add memory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verd
o
o
l
aege
isl_convex_hull
.
c: i
n
du
c
ed_l
i
ne
a
lity_space: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_convex
_
hu
l
l
.
c:
m
odulo_lineal
i
ty: add me
m
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdool
a
ege
isl_convex_hull
.
c: c
o
nvex_hull_1d: add mem
o
ry manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl
_
convex_hull
.
c
:
conv
e
x_hu
l
l_0d: add memory
ma
n
a
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_convex_
h
ul
l
.
c: uset_convex_hull: add memory ma
n
a
g
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolae
g
e
isl_convex_hull
.
c: homoge
n
eous_
m
ap: add memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex
_
hull
.
c: valid_
d
i
r
ection_lp: add
m
emor
y
m
a
n
agem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
laege
i
s
l_convex_h
u
ll
.
c:
valid_direction: add
m
e
mory man
a
g
em
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_convex_hull
.
c: con
v
e
x
_
h
ull_pair_
p
ointed: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ver
d
oolaege
isl_convex_hull
.
c:
uset_con
v
ex_hul
l
_w
r
ap: add
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
i
s
l_
c
onvex_hull
.
c
:
convex_hull_pair_eli
m
:
a
d
d memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hull
.
c
:
convex_hull_pair: add m
e
mo
r
y
managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
doolaege
isl_convex_hu
l
l
.
c: modulo
_
affine_hu
l
l: a
d
d m
e
m
o
ry mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ol
a
ege
isl_convex_hul
l
.
c: uset_combined_li
n
eality_space: ad
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_conve
x
_
h
ull
.
c: uset_combine
d
_linea
l
ity_spa
c
e: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_space_ge
t
_tuple_name: ad
d
memory management annotation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaeg
e
isl_multi_pw_
a
ff_
l
e
x_{lt,gt}_map_on_spa
c
e: f
i
x memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_mo
v
e_
d
i
m
s: r
e
set spaces ev
e
n if number
of variable
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
laeg
e
isl_basi
c
_
m
a
p
_move_dims: reset spaces eve
n
if
number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoola
e
ge
p
rivately export isl_basic
_
map_reset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-13
Sven
V
erdoolaege
is
l
_basic_map_from_aff:
c
all g
a
u
ss on co
n
structed basic m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-10
Sven
Verdo
o
laege
isl_basic_map_drop_re
d
u
nd
a
nt_divs: drop exp
l
ici
t
represe
n
t
a
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ve
r
doolaege
isl_transitive_
c
losure
.
c
: move is_eq_stride to i
s
l
_
map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
i
s
l_
m
ap_simplify
.
c: move some
functions to isl_
m
a
p
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
isl_vert
i
ces
.
c: mo
v
e
i
sl_ba
s
ic_set_set_
i
nte
g
ral to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next