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_sample.c: basic_set_sample: add memory management annotations
2017-04-24
Sven
Verdoolae
g
e
isl_sa
m
p
l
e
.
c: basi
c
_
set_sample: a
d
d memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_output
.
c: print_half_constra
i
nt: add
memory
manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_output
.
c:
p
rint_co
n
s
traint: add memory mana
g
eme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_
m
a
p_simplify
.
c: coal
e
sce_or_drop
_
mor
e
_
r
edunda
n
t
_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdool
a
ege
isl_map_simplify
.
c: coal
e
sce_divs: a
d
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
aege
isl_map_
s
implify
.
c:
r
e
mo
v
e_d
e
pendent_vars: add memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_m
a
p_simplify
.
c: remove_dup
l
icate_divs: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_map_si
m
plify
.
c: div_is_
r
edundant: ad
d
memory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_m
a
p_sim
p
lify
.
c
: remove_re
d
undan
t
_divs: a
d
d me
m
o
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
i
s
l_map_simplify
.
c: ok_to_eliminate_div: a
d
d
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoo
l
a
ege
isl
_
map_si
m
p
l
i
f
y
.
c: eli
m
inat
e
_divs_eq: ad
d
m
emory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c: drop_mor
e
_red
u
n
d
ant_divs:
add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
is
l
_ma
p
_simplify
.
c: normalize_divs
:
a
dd memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_map_simplify
.
c: e
l
iminate_divs
_
i
neq: add m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoo
l
ae
g
e
isl_map_simplify
.
c: set_compu
t
e_e
l
imination_index:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoo
l
aeg
e
isl_m
a
p_simplify
.
c: compute_eliminat
i
on_index: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_simplify
.
c
:
se
t
_reduced_usi
n
g_equa
l
ities: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_map_simplify
.
c: reduc
e
d_using_equalities: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ver
d
oolaege
isl_map_simpl
i
fy
.
c: isl_basic_set_reduce_
u
sing
_
e
q
ualities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdool
a
ege
isl_map_simplify
.
c: check_for_div
_
const
r
a
ints
:
a
d
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oola
e
ge
isl
_
map
_
sim
p
l
ify
.
c: set_
d
iv_from_lower_bou
n
d
: add
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_simplify
.
c
:
ok_
t
o_set_div_from_bound: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_map_simplify
.
c: set_has
h
_index
:
add memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verd
o
olaege
isl_map_simp
l
ify
.
c: remove_shifted_constra
i
nts: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
olae
g
e
isl_
m
ap
.
c: ma
p
_
off
s
et: add
me
m
ory
management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_m
a
p
.
c
: find_div: a
d
d memory mana
g
ement
a
n
n
otation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_map
.
c: var_more
:
a
d
d
memo
r
y management annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aege
is
l
_m
a
p
.
c
:
v
a
r_less: add
memory manage
m
ent annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c: v
a
r_equal: add
m
emo
r
y man
a
gement a
n
n
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map
.
c: bas
i
c_
s
et
_
a
ppend_equ
a
lities: a
d
d me
m
o
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
is
l
_map
.
c: b
a
s
ic_
s
e
t_parameter_preimage: add
me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
ge
isl_map
.
c: add_constraints: add memo
r
y mana
g
ement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_l
p
.
c: isl_t
a
b_solve_lp:
add memory managem
e
n
t anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
aeg
e
isl_ilp
.
c: ad
d
_
b
ounds: add me
m
o
r
y management
ann
o
tation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_i
l
p
.
c: uni
t
_box_base_points:
add
memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoolaege
isl
_
ilp
.
c
:
solve_ilp_sea
r
c
h: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
V
e
rdool
a
ege
i
s
l
_i
l
p
.
c: initial_solution: add m
e
mory
man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
s
l_
i
lp
.
c: solve_ilp: add memor
y
management an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_ilp
.
c
:
solve_ilp_with_eq: add
m
emory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hull
.
c: is_bound
:
add memo
r
y manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_conve
x
_hull
.
c: add
_
bound: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_convex_hull
.
c: add_bo
u
n
ds: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolae
g
e
isl_con
v
ex_hull
.
c: ha
s
h_
b
asic_set: a
d
d memory manag
e
men
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
con
v
ex_hull
.
c: sh_data_alloc: add
m
e
mory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
isl_convex_
h
ul
l
.
c: uset_c
o
nvex_hull_w
r
ap_boun
d
e
d: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doolaeg
e
i
s
l_
c
onvex_hull
.
c: com
p
ute_face
t
: add m
e
mory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
olaege
isl_convex_hull
.
c: wrap_constraints
:
add memory
ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_convex_hu
l
l
.
c: isl_set_add
_
b
a
s
i
c
_set_
e
qua
l
ity:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
i
s
l_convex_hull
.
c: uset_is_bound: add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_convex
_
hull
.
c: extend: add m
e
mory manage
m
ent ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_con
v
ex_hull
.
c: commo
n
_cons
t
raints: ad
d
m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
isl_conve
x
_h
u
ll
.
c:
proto
_
h
u
ll: add memory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_convex_h
u
ll
.
c: initial_hull: add m
e
m
ory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_convex
_
h
ull
.
c: indu
c
ed_lineality_sp
a
ce: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
oolaeg
e
isl_convex_
h
ull
.
c: modulo_lineali
t
y: add mem
o
ry m
a
na
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoola
e
ge
isl
_
c
onvex_hull
.
c: co
n
vex
_
hull_1
d
: add memory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaeg
e
isl_co
n
vex_hull
.
c
: convex_hu
l
l_0d: ad
d
memo
r
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_convex_hull
.
c: uset
_
con
v
ex_hull: a
d
d memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
i
s
l
_
convex
_
hull
.
c: homog
e
neous_map: add memory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_convex_hull
.
c
:
vali
d
_di
r
ection_
l
p:
a
dd m
e
mory manag
e
m
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_convex_hull
.
c: valid_direc
t
i
on: add memory
mana
g
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Ve
r
doola
e
ge
isl_convex
_
hull
.
c
:
convex_hull_pair_
p
o
inte
d
: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_co
n
vex_hull
.
c: uset_convex_
h
ull_wrap: a
d
d
m
em
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
o
o
lae
g
e
isl_conv
e
x_
h
ull
.
c: conv
e
x
_
hull_pa
i
r_elim:
add memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
e
g
e
isl_convex_hu
l
l
.
c: convex_h
u
l
l_pair
:
a
dd mem
o
ry managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaeg
e
isl_convex_hull
.
c: modulo
_
af
f
in
e
_h
u
ll: add mem
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoola
e
g
e
isl_
c
o
nvex_h
u
l
l
.
c: uset_combi
n
ed_lineality_space: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaeg
e
isl_con
v
ex_h
u
ll
.
c
: u
s
et_combined_lineali
t
y_spa
c
e: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_space_
g
et_tu
p
le
_
n
a
me: add
m
emory manag
e
ment
a
nn
o
tati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_multi_pw_aff_lex_
{
lt,gt}_map
_
on_space: fix
m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
la
e
ge
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
ege
isl_
m
ap
_
move_dims
:
r
e
s
e
t spac
e
s even if number of variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_ba
s
ic_map_move_d
i
ms: reset spaces e
v
en if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
p
riv
a
t
el
y
e
xport isl_basi
c
_map_reset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-13
Sven
Ve
r
doolaege
isl
_
basic_map_
f
rom_aff: call gauss on co
n
structed basic map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-10
Sven V
e
rd
o
ola
e
ge
isl_basic_ma
p
_drop_
r
e
d
undant_divs: dr
o
p explicit repre
s
entat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ver
d
o
olaege
isl_transitive_closure
.
c
: move is_e
q
_strid
e
to i
s
l_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
v
e
n
V
e
rdoolaege
isl_map_sim
p
l
i
fy
.
c: m
o
ve some functions
t
o
i
sl_
m
ap
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven
V
e
r
doolaege
isl_
v
e
rtices
.
c: m
o
ve is
l
_basic_set_set_integra
l
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven
Ver
d
oolae
g
e
isl_con
v
ex_hull
.
c:
is
l
_
*_set_rational: m
o
v
e
to isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
v
en Verdoolaege
isl_mat
.
c
:
m
ove isl_basic_
m
ap_
t
ransfo
r
m_dims
t
o isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
isl_mat
.
c:
p
r
i
v
at
e
ly expo
r
t
isl_mat_sub_transfo
r
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
is
l
_aff
.
c: m
o
ve
i
s
l_seq
_
substitute t
o
i
s
l
_
seq
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
ven Ve
r
doolaege
Merge branch
'
ma
i
nt'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
v
en Verdoolaege
is
l
_qpoly
n
omial
_
move_dims: re
s
et space even
i
f
num
b
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sv
e
n
Verdoo
l
a
ege
isl_
s
pace_mo
v
e_dims: consisten
t
ly rese
t
sou
r
ce and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdo
o
laege
isl_space_move_di
m
s
:
ren
a
me "dim" arg
u
me
n
t
t
o "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
v
en Verdool
a
e
g
e
isl_
b
asic_ma
p
_r
e
d
u
ce
_
coefficie
n
ts: only modify a single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sve
n
Verdoolaege
dr
o
p isl_m
a
p
_
i
mp
l
icit_equa
l
ities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolaege
isl_m
a
p_simplify
.
c: fix typo in com
m
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
S
v
en
V
e
r
d
oo
l
a
e
ge
isl
_
lp
.
c
: fix
t
y
po i
n
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdo
o
laege
doc: expl
a
i
n m
u
st depe
n
dences
in
t
he
resu
l
t
o
f
d
a
taflow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolaege
isl_basic_set_multipli
c
a
t
ive
_
call: che
c
k
for em
p
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolaege
is
l
_basic
_
map_project_out: special
c
ase obviousl
y
em
p
t
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoolaege
isl_upoly_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven V
e
rdo
o
laege
isl_morph_f
r
ee: re
t
u
rn NU
L
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoolaege
isl_ver
t
ic
e
s_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoolaege
isl_vertices
.
c: free_vertex_li
s
t: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Grosser
l
et isl_point
_
free return a NULL p
o
inter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoolaege
a
d
d isl_aff_lt_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next