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_map_n_*: add memory management annotation
2017-04-24
Sven Verdool
a
ege
isl_map_n_*
:
add
memory man
a
gement
a
n
n
otation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoo
l
aege
isl_map_drop:
a
dd
m
emory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoola
e
ge
isl
_
map_fi
x
_si: add memory
m
ana
g
e
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_m
a
p_s
u
m: add memory management annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
i
s
l
_
map_
g
ro
w
:
add memory m
a
nagement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaeg
e
isl_map_remove
_
di
m
s:
a
dd
mem
o
ry
m
ana
g
e
ment annot
a
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_ne
g
: add memory management
a
nnot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_map_
c
onvex_hu
l
l:
a
dd memo
r
y manag
e
m
e
n
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolae
g
e
is
l
_set_bounded_simple_hull: add memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_s
e
t_copy: a
d
d memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
oola
e
ge
i
s
l
_set_cow
:
add memory man
a
g
e
me
n
t ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
isl
_
se
t
_from_
b
as
i
c_
s
et: add
m
emory ma
n
agement a
n
n
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_
s
et_drop
:
add memor
y
managem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_{se
t
,
map
}
_
a
lloc_inequality
:
add memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_b
a
sic_map_cow: ad
d
memo
r
y manage
m
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_basic_map_union: add memory management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
er
d
oolae
g
e
is
l
_
bas
i
c
_map_de
l
ta
s
: add memory man
a
g
em
e
n
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_ma
p
_
s
um
:
add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_basic_map_
g
ist: add memory
m
anagement annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_basi
c
_map
_
c
o
mpute_divs: add memory managemen
t
ann
o
ta
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_basi
c
_map_affin
e
_hu
l
l: add mem
o
ry
m
anagem
e
nt
anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_basic_map_d
e
tect_
e
q
ualities: ad
d
m
emory man
a
gem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map
_
intersect: add memory man
a
gement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
aege
i
s
l_bas
i
c_map_reverse: add mem
o
ry
management anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ba
s
i
c
_ma
p
_copy: add memo
r
y
m
anagement
annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_basic_map_no
r
malize: add memory management
a
nnot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oo
l
aege
isl
_
basic_map_
s
et_t
o
_empty: add
m
emory
m
anag
e
me
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
s
l
_
b
asic_map_eliminate_vars: add
m
emory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
basi
c
_
map_nor
m
a
l
ize_
c
onstraints: add memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_basic_map_simplify: a
d
d memor
y
managem
e
nt an
n
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_basic_map_finaliz
e
: add
memory management annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
erdoolaege
isl_basic_map_order_d
i
vs:
a
dd memory management anno
t
ati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ve
r
d
oolaeg
e
isl_basi
c
_
map_ne
g
: add memory managem
e
nt annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoola
e
ge
i
sl_b
a
sic_map_implicit_equalities: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_bas
i
c_map_gauss: ad
d
mem
o
ry management anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
basic_map_fix_si: add memory m
a
nagem
e
n
t ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
eg
e
is
l
_b
a
sic_map
_
floor
d
iv: add me
m
ory management annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_basic_map_
s
olve_lp: add
m
e
m
ory m
a
nagement an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_basic_map_drop: add memory
management
a
nnot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_basi
c
_
m
a
p
_
p
r
oduct
:
add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_b
a
s
i
c_
m
ap_inte
r
sect
_
rang
e
: ad
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl
_
basic_map_int
e
rsect_domain: add
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laeg
e
isl_basic_map_ex
t
end_space: a
d
d
m
em
o
ry manage
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doolaege
isl_
b
as
i
c_map_dup: add memory management a
n
n
o
ta
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
i
sl_basic_m
a
p_remove_dims
:
add m
e
mory mana
g
ement anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoola
e
ge
isl_ba
s
i
c
_map_
t
ota
l
_dim: add memo
r
y ma
n
a
g
ement ann
o
tation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl
_
basic_set
_
re
c
e
s
s
i
on_cone:
add memory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoolaege
isl_basic_
s
et
_
f
r
o
m_co
n
s
t
raint:
a
dd
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl
_
basic_s
e
t_cow: add memory mana
g
ement
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verd
o
olaeg
e
isl
_
basic_
s
e
t_
o
ffse
t
: add memory man
a
gement a
n
notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
i
s
l_basic_set_c
o
py: a
d
d me
m
ory manag
e
ment
a
nn
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_basic_set_red
u
ced_b
a
sis: add m
e
mory m
a
nagem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoola
e
ge
isl_bas
i
c_set_sample_bounded:
a
d
d
me
m
o
r
y m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_basic
_
set_solve_ilp: add me
m
ory management anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaeg
e
isl_basic_set_lineality_
s
pace: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolae
g
e
i
sl_basic_s
e
t_total_dim
:
add m
e
mory manag
e
ment annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdo
o
laege
i
sl_t
a
b_pip
.
c
: c
o
n
t
e
x
t_tab_for_lexmin:
a
dd
m
e
mo
r
y manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_tab_pip
.
c
:
ineq_for_div: add memo
r
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_tab_pip
.
c: align_context_d
i
vs: add
m
em
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
i
s
l_tab_
p
ip
.
c: tab_
f
or_lex
m
i
n: add mem
o
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdo
o
laege
isl
_
ta
b
_pip
.
c: d
r
op_const
a
nt_terms:
a
dd
m
emory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: vec_
c
oncat: add memo
r
y manag
e
m
e
nt annota
t
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ver
d
oolaege
isl_sample
.
c: shi
f
t_cone
:
add me
m
ory management
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoola
e
ge
i
sl
_
sample
.
c: round_
u
p_in_cone: add
memory
m
anag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ola
e
ge
isl_s
a
m
p
l
e
.
c:
rati
o
nal_sample: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_sam
p
le
.
c: plu
g
_
in: add memory man
a
gement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sam
p
le
.
c
: gbr_sample:
a
dd memory management ann
o
t
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoola
e
ge
i
s
l_sample
.
c: samp
l
e_bounded: add
m
emo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: interval_sample: add m
e
mo
r
y
m
anag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoo
l
aege
isl_sample
.
c: zero_sample: add memory management
annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_
s
ample
.
c
:
sample_eq:
a
dd memory management an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
olaeg
e
isl_sample
.
c
:
empty_sample: add mem
o
ry man
a
gement annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_sample
.
c:
basic_
s
e
t
_sample: a
d
d memory
m
a
nagem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_output
.
c
:
p
rint_half_co
n
s
t
raint: add me
m
ory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
i
s
l_output
.
c: pr
i
n
t
_constrai
n
t: add memory m
a
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolae
g
e
i
s
l_map_simplify
.
c: coalesce_or_dr
o
p
_m
o
re_re
d
undant_d
i
v
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_m
a
p_simplify
.
c: coa
l
esce_di
v
s: add me
m
ory m
a
n
ag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdoolaege
isl
_
m
a
p
_simplify
.
c: rem
o
ve_dependen
t
_vars: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
_
s
implify
.
c: remove_dupl
i
cat
e
_divs:
a
dd memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_map_s
i
m
p
lify
.
c: div_is_red
u
n
d
ant: add memory
m
ana
g
em
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
i
sl_m
a
p_simp
l
i
f
y
.
c: remove_redundant_divs: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
erdoolae
g
e
isl_map_simplify
.
c: ok_t
o
_elimin
a
te_div: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_m
a
p
_si
m
plify
.
c: elimi
n
a
te_d
i
vs_eq
:
ad
d
memory
manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
_
simplify
.
c:
d
r
o
p
_mo
r
e_red
u
ndant_
d
ivs: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
e
rdoo
l
aege
isl
_
m
a
p_simplify
.
c
: normalize_d
i
vs: add memor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl
_
map_simpli
f
y
.
c
: eliminate_divs_ineq: ad
d
m
emo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ve
r
doolaege
isl_map_s
i
mplify
.
c
:
set_compute_eliminatio
n
_index
:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
dool
a
ege
isl_map
_
simpli
f
y
.
c: compute_eli
m
i
nation_ind
e
x
:
a
dd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_map_simplify
.
c
: set_reduced_usin
g
_equalit
i
es: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_si
m
p
lify
.
c
: redu
c
ed_usin
g
_equalities: add me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_
s
impli
f
y
.
c
:
is
l
_ba
s
ic_set_reduce
_
using_equ
a
lities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_s
i
mplif
y
.
c: check_for_d
i
v_con
s
trai
n
t
s: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_map_
s
i
m
plif
y
.
c: set_div_from_low
e
r_bound: a
d
d memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdoo
l
aege
isl_map_
s
impli
f
y
.
c:
ok_to_set_div_from_bound: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolae
g
e
isl_map
_
simplify
.
c: set_hash_index: add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verd
o
ol
a
e
ge
isl_map_si
m
plify
.
c
: re
m
ove
_
s
h
ifted_constraints: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdo
o
laege
isl_
m
ap
.
c:
m
a
p
_o
f
fset: add me
m
o
ry managem
e
n
t a
n
notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdoolaege
i
s
l_
m
ap
.
c: find_div: add memor
y
m
anagement annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
i
s
l
_map
.
c
:
var_mor
e
: add memory m
a
nagement annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
aege
isl_map
.
c: var_less: add memory management
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next