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_simplify.c: coalesce_divs: add memory management annotations
2017-04-24
S
ven Verdoolaege
isl_map_si
m
p
l
ify
.
c: coalesce_divs: add memory
m
ana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdool
a
ege
isl
_
map_simplify
.
c: remove
_
dep
e
ndent_var
s
: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoolaege
is
l
_map_simplify
.
c
: remove_duplicate_d
i
vs: add
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
sl_map_simplify
.
c: div_is_redundant: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
_
simplify
.
c: remove_redundant_di
v
s: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
la
e
ge
isl_map_simplify
.
c: ok
_
to_eliminat
e
_div: a
d
d m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
lae
g
e
isl_ma
p
_simpl
i
fy
.
c: el
i
minate_d
i
vs_eq: add memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_map_simpl
i
fy
.
c: d
r
op_more_redunda
n
t
_
d
i
vs: add m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
s
l_map_simpl
i
f
y
.
c: normali
z
e_
d
ivs: a
d
d m
e
mory
manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdo
o
l
a
ege
isl_map_s
i
mp
l
ify
.
c: elimi
n
ate_div
s
_ineq: a
d
d
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ma
p
_simp
l
i
f
y
.
c: set_
c
ompute_elimination
_
index:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map_simplify
.
c: co
m
p
ute_el
i
m
ination_
i
ndex: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_map
_
sim
p
l
i
fy
.
c: set_reduced_using_equal
i
ties: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_m
a
p_simpli
f
y
.
c: reduced_u
s
ing_e
q
ualities: add
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoo
l
ae
g
e
isl_
m
a
p
_
s
i
m
plify
.
c: isl_ba
s
ic_set_reduce
_
using_
e
q
u
alities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_map_
s
implify
.
c: check_for
_
div_constra
i
nts
:
add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doolaege
isl_map_simplify
.
c: set_div_from_lower_bound:
a
d
d memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_si
m
plify
.
c
:
ok_to_set_di
v
_from_bou
n
d:
add m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl
_
map_simplify
.
c: set
_
has
h
_index: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl
_
map_simplify
.
c: r
e
move_shi
f
ted_co
n
straints: ad
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verd
o
ol
a
e
ge
i
s
l_m
a
p
.
c: ma
p
_off
s
et: add
memory
management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
la
e
ge
isl_m
a
p
.
c
:
f
i
nd_div: ad
d
mem
o
ry management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
sl_map
.
c: var_mo
r
e
: add memo
r
y managemen
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_map
.
c: v
a
r_less: add m
e
mory ma
n
agement annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_map
.
c
: va
r
_e
q
ual: a
d
d m
e
m
ory
management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_m
a
p
.
c
: ba
s
ic_set_
a
ppend_eq
u
alities: add
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
i
s
l_map
.
c
:
ba
s
ic_set_parameter_p
r
eima
g
e: add memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map
.
c: add_con
s
t
r
ai
n
ts: add mem
o
ry
management annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoo
l
aege
i
s
l_lp
.
c: isl_tab_sol
v
e_lp: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_il
p
.
c: add_boun
d
s: a
d
d
m
e
m
ory m
a
nage
m
ent
a
nnot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
erdoolaege
isl
_
ilp
.
c
:
unit_
b
ox_
b
ase_points: add me
m
ory m
a
n
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
i
l
p
.
c: solve_
i
lp_s
e
a
r
ch: a
d
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl
_
ilp
.
c: initial_solution: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_ilp
.
c: solve_i
l
p:
add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoo
l
ae
g
e
isl_i
l
p
.
c
:
solve_ilp_with_eq: add memor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdo
o
laege
isl_convex_hull
.
c: i
s
_
b
ound:
a
dd memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolaege
isl_
c
on
v
ex_hull
.
c: add_bound: add memory
managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl
_
conv
e
x
_
hul
l
.
c:
add_bou
n
ds: add me
m
or
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
aeg
e
isl_conve
x
_
h
ull
.
c: hash_basic_
s
e
t: ad
d
m
e
mory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex
_
hull
.
c
:
sh_data_alloc: ad
d
memory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdo
o
l
aege
isl_convex_hull
.
c: uset_convex_hull_wrap_bounded:
a
dd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdool
a
ege
isl_convex_h
u
l
l
.
c: compute_facet: add memory man
a
gem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
ae
g
e
isl_convex_h
u
l
l
.
c
:
wrap_constraints: add mem
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
is
l
_convex_hull
.
c
: isl_set_ad
d
_basic_set_equality:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
is
l
_
c
onvex
_
hu
l
l
.
c: uset_is_bound: ad
d
memory ma
n
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
ool
a
e
g
e
isl_c
o
n
v
ex_
h
ull
.
c: extend
:
ad
d
m
emory mana
g
ement annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdo
o
laege
isl
_
convex_
h
ull
.
c: common_
c
onstraints: add memory manage
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_co
n
vex_hull
.
c: proto_hull:
a
dd memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
a
e
ge
is
l
_convex_hull
.
c
:
i
n
itial_hull: add m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_convex
_
hull
.
c: indu
c
ed_lineality_space: add mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_c
o
nv
e
x_hull
.
c: modulo_
l
ine
a
lit
y
: add memory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
i
s
l_convex_hull
.
c
:
conv
e
x_
h
ull_1d: add memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoo
l
a
e
ge
isl_convex_
h
ul
l
.
c: conv
e
x_hull_0d
:
add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_con
v
ex_hull
.
c: u
s
et
_
co
n
vex_hull: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaeg
e
i
s
l_convex_h
u
ll
.
c: homogeneou
s
_
m
a
p: a
d
d memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_convex
_
hull
.
c:
v
alid_direct
i
on_
l
p
:
add memo
r
y m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaeg
e
isl_convex_hu
l
l
.
c
: valid_direction: add memory m
a
nagemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_con
v
ex_hull
.
c:
c
onvex_hul
l
_pair_pointed:
a
dd memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
laege
i
s
l_convex_hul
l
.
c: uset_convex_
h
u
ll_wr
a
p: add
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_convex_hu
l
l
.
c: convex_hull_pair_elim: a
d
d memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_convex_hull
.
c: convex_hull_pair: add memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ver
d
oolaege
isl_convex_hul
l
.
c: m
o
dul
o
_a
f
fi
n
e_hull:
add m
e
mo
r
y ma
n
a
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_convex_hul
l
.
c: uset_combi
n
ed
_
line
a
lit
y
_
space:
a
d
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_convex_hull
.
c
:
us
e
t_co
m
b
i
ned_lin
e
ality_spac
e
:
r
ename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
d
oolaege
i
sl_spa
c
e_get_tuple_
n
ame: a
d
d memory
management annota
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_mul
t
i
_pw_aff_lex_
{
lt
,
gt}_map_on_space: fix memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
Merge bra
n
ch 'main
t
'
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_map_move_dims: reset s
p
ace
s
even if numbe
r
o
f
variable
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
l
aege
isl_basic_map_move_dims: reset spaces even if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
privately
e
xpo
r
t isl_basic
_
map_reset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-13
S
v
en Ver
d
oolaege
isl_basic_map_from
_
aff: call gauss on constructed basic map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-10
Sven Verdoolaege
isl_bas
i
c_map_drop_redun
d
ant_divs: drop explici
t
representat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven V
e
r
doolaege
isl_tr
a
nsiti
v
e_
c
lo
s
ure
.
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 Ve
r
d
o
o
la
e
g
e
isl_map_simplify
.
c
:
move some
f
unctions
to
is
l
_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sve
n
Verdoo
l
a
ege
isl_vertic
e
s
.
c
:
m
ove is
l
_ba
s
ic_set_set_integral to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
ve
n
Verdoo
l
aege
i
sl_con
v
ex_hull
.
c: isl_*_set_r
a
tional: move to
i
sl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ve
r
doolaege
isl_mat
.
c
: move
i
s
l_basic_map_transform_dims
t
o isl_
m
ap
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
ven Verdoola
e
g
e
isl_mat
.
c:
privately
export isl_mat_s
u
b_
t
ransform
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ve
r
doolaege
isl_aff
.
c:
mov
e
isl_seq_subs
t
itute to isl_s
e
q
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sve
n
Verdoolaege
Mer
g
e
branch '
m
aint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
ven Verdoolaege
isl_qpolynomial_mo
v
e_dims: rese
t
s
p
a
ce even if nu
m
ber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
i
sl_space_
m
ove_
d
i
ms: cons
i
sten
t
ly reset source and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
isl_space_move_
d
ims: rename "dim" arg
u
ment to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven V
e
rdoo
l
aege
isl_b
a
sic_map_reduce_
c
o
e
fficients:
o
nly modify a single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
S
ve
n
V
e
rdoo
l
aege
drop i
s
l_
m
ap_implicit_equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sve
n
Ver
d
oolaege
isl_map_simplify
.
c: fi
x
typo
in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
S
ven Verdoolaege
i
sl
_
lp
.
c
:
fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sv
e
n Verdoolaege
doc: exp
l
ain must
d
ep
e
ndences in t
h
e result of
d
ataflow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven
V
erdool
a
ege
isl_basic_se
t
_multi
p
licative
_
ca
l
l: check for
e
mp
t
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
S
ven Verdoolaege
i
sl_ba
s
ic_map_p
r
oj
e
ct_out: spe
c
ial case obviously
e
mpty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven V
e
rd
o
olae
g
e
i
sl_upoly_free: return
N
ULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Ve
r
d
o
o
laege
isl_morph
_
free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoolaege
i
s
l_vertices_
f
ree: return
N
ULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Ve
r
doo
l
a
ege
isl_
v
ertices
.
c
: free_vertex_list: re
t
urn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Tobias Gros
s
er
le
t
isl_
p
oint
_
f
ree ret
u
rn
a
N
U
LL
p
ointer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
S
ven Verd
o
olaeg
e
add isl_aff_
l
t_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoolaege
add isl_aff
_
lt_b
a
sic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sve
n
Ve
r
d
oolaege
add
i
sl_aff_gt_
b
asic_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sve
n
Verdoolaege
isl_aff_neg_basic
_
se
t
: extract o
u
t
i
sl_aff
_
pos
_
basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-10
Sven
Verdoolae
g
e
ex
p
licitly mar
k
isl_s
e
t_alig
n
_divs a
n
d isl_map_
a
lign
_
divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next