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
Merge branch 'maint'
2017-04-24
Sven Verdo
o
l
a
ege
isl_o
u
tput
.
c: prin
t
_half_const
r
a
int: a
d
d
m
emory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_output
.
c
: prin
t
_const
r
aint: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c: coalesce_or
_
drop_mor
e
_
r
edundant_
d
i
v
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
is
l
_map_
s
imp
l
ify
.
c:
c
oa
l
e
s
ce_divs: a
d
d memo
r
y mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
o
l
aege
isl_map_sim
p
lify
.
c: remo
v
e
_depende
n
t_vars:
a
dd memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map
_
simplify
.
c: remove_
d
upl
i
cate_divs: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
g
e
isl_map_simplify
.
c
:
div_
i
s_redu
n
da
n
t: add m
e
mory
mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ver
d
oolaeg
e
i
s
l_m
a
p_sim
p
lify
.
c: remove_redundant_divs: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verd
o
olaeg
e
is
l
_map_simpli
f
y
.
c
:
o
k_
t
o_e
l
imi
n
ate
_
div: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
d
o
olaege
isl
_
map_simplify
.
c
:
elim
i
nate_divs_eq: add
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
laege
isl_ma
p
_si
m
plify
.
c: dr
o
p_mo
r
e_r
e
dundant_divs: a
d
d memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoolaeg
e
i
sl_map_si
m
plify
.
c
:
normalize_divs: add memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
eg
e
isl_map_sim
p
lify
.
c: eliminate_d
i
vs_ineq: add mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdool
a
ege
isl
_
m
a
p
_
simp
l
ify
.
c:
set_compute
_
elimination_index
:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolae
g
e
i
s
l_map_sim
p
lify
.
c: c
o
mpute_elim
i
natio
n
_
i
ndex: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
_
sim
p
lify
.
c:
s
et_reduced_
u
sing_equalities: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
laege
isl_
m
ap
_
sim
p
lify
.
c: reduced_us
i
ng_equa
l
i
ties: a
d
d memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map_simplify
.
c: isl_basic_set_red
u
c
e_using_equali
t
i
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
i
s
l_
m
a
p_simplify
.
c: che
c
k_for_div_constraints: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoo
l
a
ege
i
sl_map_simplify
.
c: set_div_f
r
o
m
_lowe
r
_boun
d
: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_map_simplify
.
c: ok_to_set_d
i
v_from
_
bound:
a
d
d
m
emor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaeg
e
isl_map_simpli
f
y
.
c: set_hash_index: add me
m
ory ma
n
agem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map_simplify
.
c: re
m
o
v
e_shifted_constraints
:
add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdool
a
ege
isl_map
.
c
:
m
a
p
_of
f
se
t
: a
d
d
m
emory m
a
na
g
ement annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolae
g
e
i
sl_
m
ap
.
c: find_div: add memo
r
y m
a
nagement
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_map
.
c
:
var
_
mor
e
: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Ver
d
oolaege
isl_m
a
p
.
c: var
_
less: a
d
d memory
m
anagement a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_map
.
c:
va
r
_
e
qual:
add memory ma
n
a
gement annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_
m
ap
.
c:
b
asic_set_a
p
pend_e
q
ualities: add m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
o
laege
isl_map
.
c: basic_se
t
_parameter_preimage: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c: a
d
d_constrai
n
t
s:
a
dd memory m
a
nagement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl
_
lp
.
c: i
s
l
_
tab_
s
o
lve_lp: add me
m
ory m
a
nagem
e
n
t an
n
otat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolae
g
e
i
sl_
i
lp
.
c: add_bo
u
nds: a
d
d me
m
ory mana
g
ement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_
i
l
p
.
c: unit_box_base_poi
n
t
s
: add
m
emory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erdoolaege
isl_ilp
.
c
:
solv
e
_il
p
_sea
r
ch: add memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_i
l
p
.
c: initial_s
o
l
u
tio
n
: add memor
y
manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
i
s
l_ilp
.
c: sol
v
e_
i
lp: add mem
o
ry management annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ve
r
do
o
laege
isl_ilp
.
c: solve_il
p
_wi
t
h_e
q
: add memory
m
anageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_convex_hull
.
c: is_
b
ound: ad
d
memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
ol
a
ege
isl_convex_hu
l
l
.
c: add
_
bound:
add memory managem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
olaege
isl_conve
x
_hu
l
l
.
c: add_bo
u
nds: add memory ma
n
agemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_conve
x
_h
u
ll
.
c
:
h
ash_basi
c
_set: add memory man
a
gemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
c
onvex
_
hull
.
c
:
sh_da
t
a_alloc: add memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
doolae
g
e
i
s
l_conve
x
_hull
.
c
:
uset_convex
_
h
ull
_
w
r
ap_bounded:
a
dd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_convex
_
hul
l
.
c: compute_facet: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_c
o
nvex_hull
.
c:
w
rap_constraints: ad
d
memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
convex_
h
ull
.
c: isl_set_add_basic_set_
e
qua
l
i
t
y
:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doola
e
ge
isl_
c
onv
e
x_hu
l
l
.
c
:
uset_is_bound: add mem
o
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
l
a
ege
isl_co
n
vex_h
u
ll
.
c
:
e
x
tend: add memo
r
y manag
e
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
e
ge
isl_convex_hull
.
c: common_constra
i
nts: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
i
sl_convex_hull
.
c: proto_hul
l
: a
d
d memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
ae
g
e
isl_c
o
n
vex_hull
.
c:
i
nitial_hull: add memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_c
o
n
vex
_
hull
.
c: induced_lineali
t
y_space: add memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
oo
l
aege
isl_convex_hull
.
c
: mo
d
u
lo_lineality:
add
memory
manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoolaege
is
l
_con
v
ex_hu
l
l
.
c: convex_hull_1d: add
m
emory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_conve
x
_hull
.
c: convex_hull_0d: a
d
d memo
r
y ma
n
agem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
erdoolaege
isl_convex_hull
.
c
:
uset_conv
e
x_hull: add memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoolaege
i
sl_co
n
vex_hull
.
c: h
o
mogeneous_m
a
p: add mem
o
r
y
ma
n
a
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verd
o
olaege
isl_convex_hull
.
c: valid_direction_lp: add m
e
m
ory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verd
o
olaege
isl_convex_hul
l
.
c: valid_direct
i
on: a
d
d memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_con
v
ex_hull
.
c:
co
n
v
e
x_hu
l
l_pair_p
o
inted: ad
d
mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_convex_hull
.
c: uset_convex_
h
u
ll_wrap: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_convex_hu
l
l
.
c: con
v
ex_hull_pair_elim: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ver
d
oolae
g
e
isl_
c
onvex_hull
.
c:
conve
x
_hull_
p
air:
a
dd memory m
a
n
age
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl
_
convex_hull
.
c
:
m
o
dulo_af
f
i
ne_hull:
a
dd memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_convex_hull
.
c: uset_combined_
l
ineality_
s
p
a
c
e
:
add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoola
e
ge
isl_convex_hull
.
c:
uset_combined_li
n
eali
t
y
_sp
a
ce:
rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoola
e
ge
isl_s
p
ace_get_tu
p
le_
n
am
e
:
a
dd memory
management an
n
ot
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_m
u
lti_
p
w_aff_lex_{lt,gt
}
_map_on_space: fix memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
Merg
e
branch
'
maint'
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_map_mo
v
e
_dims:
r
e
set spaces even if numbe
r
o
f variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map
_
move_dims: reset spac
e
s even
i
f number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaeg
e
private
l
y expor
t
isl
_
basic_
m
ap_rese
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-13
S
v
en Ve
r
doo
l
aege
isl_basic_map_from_af
f
: ca
l
l
gauss on constructed basic map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-10
Sven Verd
o
olaege
i
s
l_basic_map_drop_red
u
ndant_d
i
vs:
drop
explici
t
representat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdo
o
laege
isl
_
tra
n
sitive_closur
e
.
c: move
i
s
_
e
q
_stride
to isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
ven Verdoo
l
ae
g
e
isl_map_simpl
i
f
y
.
c: move som
e
functions to isl_ma
p
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
v
en
V
erdoola
e
ge
is
l
_
v
ertices
.
c
:
move i
s
l_basic_set_set_integral to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
ven Verdoolaege
isl_convex_hull
.
c: isl
_
*_se
t
_r
a
tional: move
t
o isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven
V
e
rdoolaeg
e
isl_mat
.
c: move
isl_basic_map_t
r
a
n
sform_dims to isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
v
en
Verdoolae
g
e
isl
_
ma
t
.
c: privately ex
p
ort
is
l
_
mat_sub_transform
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sv
e
n Verdoolaege
isl_aff
.
c: mov
e
isl_
s
eq_s
u
b
s
titut
e
to isl_seq
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
v
e
n
Verdoolaege
M
e
rge br
a
nch
'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven V
e
rd
o
o
l
aege
is
l
_qpo
l
yno
m
i
a
l_move_dims: reset
s
pace even i
f
n
u
m
b
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
isl_space_move
_
dims: consistent
l
y reset source a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
v
e
n V
e
rdool
a
ege
isl_spa
c
e_move
_
di
m
s:
r
e
name
"dim"
argum
e
nt to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
isl_basic_map_reduce_coe
f
ficient
s
: only m
o
d
i
fy a sing
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
S
ven Verdoo
l
aeg
e
drop is
l
_map_impli
c
it_equalit
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdo
o
laeg
e
isl_map_simplify
.
c: fix typo
i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
S
v
en Verdoolaege
i
s
l_lp
.
c: f
i
x typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sv
e
n Verdo
o
laege
doc: explai
n
must
dependences in the result of dataflow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven
V
e
r
do
o
laege
isl_basic_set_multip
l
icat
i
ve_
c
all: check f
o
r
empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Ve
r
doo
l
aege
isl_
b
asic_map_p
r
oj
e
ct_out: special case obviously
e
mpty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoolaege
is
l
_up
o
l
y
_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Ver
d
oola
e
ge
isl_morph_f
r
ee
:
r
e
turn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
S
v
en Ve
r
dool
a
e
g
e
is
l
_vertic
e
s_free: return NU
L
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdo
o
l
aege
isl_ver
t
ices
.
c: free_ve
r
tex_l
i
st: ret
u
rn N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
S
v
en Verdool
a
ege
add isl_a
f
f_lt_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdo
o
laege
ad
d
i
sl_a
f
f
_
lt_ba
s
i
c
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verd
o
o
l
aege
add isl_aff_gt_b
a
s
i
c_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next