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: sample_eq: add memory management annotations
2017-04-24
S
ven
V
e
r
d
ool
a
ege
isl_s
a
mple
.
c
: s
a
mple_eq: add memory manage
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_s
a
m
ple
.
c: empty_sample
:
add memory manag
e
ment ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: basic_set_s
a
mpl
e
: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_output
.
c:
p
rint
_
half_constraint: add m
e
mory ma
n
agem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_
o
utput
.
c: p
r
int_constr
a
int: add me
m
ory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aege
i
s
l_map_sim
p
l
i
f
y
.
c:
c
o
a
lesce_
o
r
_
drop_more_redundant_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoolaege
isl_
m
a
p_simplify
.
c: c
o
al
e
s
c
e_divs
:
add memo
r
y manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdool
a
e
g
e
isl_
m
ap_s
i
mplify
.
c
:
remo
v
e_dependent_v
a
r
s: ad
d
mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_map_simplify
.
c:
remov
e
_
d
uplic
a
te
_
divs: add m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoolaege
isl_map_
s
implify
.
c: div_is_redundant: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doolae
g
e
isl_ma
p
_simplify
.
c: remove_redundant_divs:
a
dd
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdool
a
ege
i
sl_map_simplify
.
c: ok_to_eliminate_div:
add memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolaege
isl_m
a
p_simplify
.
c
:
elimin
a
te_divs_eq
:
a
d
d mem
o
ry managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_ma
p
_simplify
.
c: drop_mo
r
e_r
e
d
u
nda
n
t
_divs: add memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoolaege
is
l
_map_simplify
.
c: normalize_divs: add
memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c:
eli
m
i
n
ate_divs_ineq: a
d
d memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl
_
m
a
p_simp
l
ify
.
c: set_
c
omp
u
te_elimination_index:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
is
l
_map_simpli
f
y
.
c: compute_eliminati
o
n_index: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
ege
isl_
m
a
p
_simplify
.
c: set_reduced_us
i
n
g_eq
u
alities: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_ma
p
_simplify
.
c: r
e
duced_us
i
ng
_
equalities: add mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
map_s
i
mplify
.
c: isl_ba
s
ic_set
_
redu
c
e_usin
g
_
e
quali
t
ies
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
laege
i
s
l
_
m
ap_
s
implify
.
c: check_for_
d
i
v
_
c
o
nstraints: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
is
l
_map_si
m
plify
.
c: s
e
t_div_from_lower
_
bo
u
n
d: a
d
d
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_
m
ap_simplify
.
c
:
o
k
_to_set_
d
i
v_from_bound: add memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
ege
isl_map_simplif
y
.
c:
s
e
t_hash_in
d
ex: ad
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolae
g
e
isl_map_simpl
i
f
y
.
c
:
r
emove_shifted_constraints: ad
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ma
p
.
c: map_offset: add mem
o
r
y
management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoola
e
ge
isl_map
.
c
:
find_div:
add memory management ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oolae
g
e
isl_map
.
c: var_mor
e
: add memory ma
n
agemen
t
a
nnot
a
tion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
aege
i
sl_map
.
c
: var_less: add
m
e
mory m
a
nagement a
n
nota
t
io
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdool
a
e
ge
isl_map
.
c: var_equal: add memory manag
e
ment
a
nno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolaege
isl_map
.
c:
basic_set
_
append_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
.
c
: b
a
sic_set_parameter_preimage: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
laege
i
s
l
_
m
a
p
.
c: add
_
cons
t
raints: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
i
s
l_lp
.
c:
isl_tab_solve_lp:
a
dd memory management
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
sl_ilp
.
c
:
add_bounds: add m
e
mory management annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
olaege
isl_il
p
.
c: unit_box_base_points:
a
dd memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
o
l
a
ege
is
l
_ilp
.
c:
s
o
l
ve_i
l
p_search: add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_ilp
.
c:
initi
a
l
_s
o
lutio
n
:
a
dd memory ma
n
agem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_ilp
.
c: solve_ilp
:
add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoo
l
aege
isl_ilp
.
c
: solve_ilp_with_e
q
: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
doolaege
i
s
l_
c
o
nvex_hu
l
l
.
c: i
s
_b
o
und: add memory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_
convex_hu
l
l
.
c: a
d
d_bound: a
d
d memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
sl_
c
onvex_hul
l
.
c: add_bounds:
a
d
d
m
emory
m
a
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_convex
_
h
ull
.
c: hash_basic_set: add memory mana
g
emen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolae
g
e
isl_co
n
vex_
h
ull
.
c: sh
_
data_a
l
loc:
a
dd
memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_convex_hull
.
c:
u
set_co
n
v
e
x_hull_wrap_bou
n
ded: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
is
l
_convex_
h
ull
.
c: compute_facet: add memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_convex
_
h
u
ll
.
c: wrap_con
s
traints: ad
d
m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
a
ege
i
s
l_convex_hull
.
c: is
l
_
s
et_add_
b
a
s
ic_set_equ
a
li
t
y
:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdool
a
ege
isl
_
co
n
vex_
h
u
l
l
.
c: uset_is_bound: add memory
m
anageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
er
d
oolaege
i
s
l_convex_hull
.
c: extend
:
add me
m
o
r
y
m
a
nagemen
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoo
l
a
e
ge
isl_c
o
nvex_hul
l
.
c: comm
o
n_constraints: add me
m
ory
m
a
n
age
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aeg
e
is
l
_
conv
e
x_hull
.
c: pro
t
o_h
u
ll: add memo
r
y
ma
n
ageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
l
aege
isl_c
o
n
vex_
h
ull
.
c: initi
a
l_h
u
ll:
a
d
d memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolaege
is
l
_convex_hull
.
c: ind
u
ced_linealit
y
_space: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_convex_hull
.
c: modulo_linealit
y
: add memory m
a
nag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
erdoolaege
isl_
c
onvex_hull
.
c: con
v
ex_hull_
1
d: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rd
o
ola
e
ge
is
l
_co
n
vex_hull
.
c: co
n
vex_hull_0d:
a
dd memory
m
ana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
o
ola
e
ge
isl_
c
onvex_h
u
ll
.
c
:
uset_convex_h
u
l
l
: add
m
emory mana
g
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
i
sl_convex_hull
.
c: hom
o
gen
e
ous_
m
ap:
add mem
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl
_
co
n
vex_
h
ull
.
c:
valid_direction_l
p
: ad
d
memory ma
n
agem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_convex_hull
.
c: valid_directi
o
n:
add memor
y
man
a
geme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_convex_hull
.
c:
c
o
n
ve
x
_hull_pair_pointed: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
ege
isl_con
v
ex_hu
l
l
.
c
:
uset_convex_
h
ull_wrap: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl
_
convex_hul
l
.
c: convex_hull_p
a
ir_e
l
im:
add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
e
r
doolaege
isl_conve
x
_hull
.
c
:
convex_hul
l
_pa
i
r: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
laege
i
s
l_convex_hull
.
c: modulo_affi
n
e
_hull: ad
d
memory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
oola
e
ge
i
s
l_convex_
h
ull
.
c: uset_comb
i
ned_line
a
lity_s
p
a
c
e: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl
_
c
o
nvex_h
u
ll
.
c:
uset_
c
ombined_linea
l
ity_spa
c
e
: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoolaege
isl_space_get_tuple_name: add me
m
ory manag
e
ment annotat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_multi_pw_af
f
_lex_
{
lt,gt}_map_on_space: fix
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
Merge branch
'
ma
i
nt
'
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_move_dims:
reset spaces e
v
en
if number
of variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basic_m
a
p_m
o
ve_dims: r
e
set space
s
even i
f
numb
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
pri
v
a
tely expor
t
isl_basic_map_reset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-13
S
v
en Verdoolaege
isl_basic_map_fro
m
_aff:
call gauss
on
c
onstruct
e
d basic map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-10
S
v
en
Verdool
a
ege
isl_basic
_
map_drop
_
redundant_divs
:
drop expli
c
i
t re
p
resentat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ve
r
doolaege
isl_transitive_closure
.
c: move is_
e
q_str
i
de to isl_m
a
p
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sv
e
n Ver
d
oolaeg
e
i
s
l_ma
p
_simplify
.
c: move
some functions to isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sve
n
Verdoola
e
ge
isl_
v
er
t
ices
.
c: move isl_basi
c
_set_set_
i
ntegral to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ve
r
doolaege
is
l
_
c
on
v
e
x_hull
.
c: isl
_
*_set_
r
ation
a
l: m
o
ve to isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
ven
Verdoolae
g
e
isl_mat
.
c: move isl_ba
s
ic_map_tra
n
sfor
m
_
d
ims to isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven
Verdoolaege
isl_ma
t
.
c: privately expor
t
isl_mat_sub_tr
a
nsf
o
r
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ve
r
d
o
olaege
isl_aff
.
c
:
move isl_
s
e
q
_substitute t
o
isl_s
e
q
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sv
e
n V
e
rdoolaege
Merge branch 'main
t
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
i
s
l_qpo
l
yno
m
ial_mo
v
e
_
d
ims: re
s
et s
p
a
ce even if nu
m
be
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verd
o
ola
e
ge
isl
_
spa
c
e_move_
d
ims: cons
i
stently re
s
et sou
r
ce
a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
ven Verdoolaege
isl_space_move_di
m
s: rename
"dim
"
ar
g
umen
t
to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoo
l
aege
isl_basic
_
map_reduce_c
o
efficients: only modif
y
a single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven
Verdoolaege
d
rop isl
_
map_implicit_equ
a
lities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdool
a
eg
e
i
s
l_
m
ap_simpli
f
y
.
c: fix
t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolaege
isl_
l
p
.
c: fix typ
o
in co
m
m
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdo
o
laege
doc: expla
i
n must
dep
e
ndence
s
i
n
th
e
result of dataflow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sve
n
Verdoolae
g
e
isl_basic_
s
et
_
mu
l
t
i
plicativ
e
_call: check for
e
mpty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolaege
isl_basic_map_pro
j
e
c
t_out: special
case obviously empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoolaege
isl_upol
y
_free
:
retur
n
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoo
l
aege
i
s
l_morph_f
r
ee:
return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoolaeg
e
isl_vertice
s
_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoola
e
ge
isl_vertices
.
c
:
free_vertex_list: r
e
turn N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next