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
Sven
Ve
r
doolaeg
e
isl_sample
.
c:
s
am
p
le_e
q
: add me
m
ory management anno
t
ati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_s
a
mple
.
c: empty
_
sa
m
ple: add me
m
ory management annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_samp
l
e
.
c: b
a
si
c
_set_s
a
m
ple: a
d
d memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaeg
e
isl_
o
utput
.
c: p
r
int_half_constraint: add memory
m
an
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdo
o
laeg
e
i
sl_output
.
c: prin
t
_constraint: add memo
r
y managem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoolaege
isl_map_si
m
plify
.
c:
coalesce_
o
r_drop_
m
ore_redundan
t
_d
i
vs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
e
rdoolaeg
e
isl_map
_
simplify
.
c: coalesce_di
v
s: add memory man
a
gemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
ege
is
l
_map_
s
implify
.
c
: remove_dependent_
v
ars: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_
m
ap_simpli
f
y
.
c
: remo
v
e_dup
l
icat
e
_divs
:
add mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdoolaege
isl_map_
s
implify
.
c: div_is_redund
a
n
t
: add me
m
ory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_
s
implify
.
c: remove_redund
a
nt_
d
ivs: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c: ok_to_
e
liminat
e
_div: a
d
d memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl
_
map
_
simplify
.
c: elim
i
nate_divs_eq: add memor
y
manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
a
e
ge
isl_ma
p
_sim
p
lify
.
c: dro
p
_m
o
re
_
r
e
dun
d
ant_div
s
:
add
m
emo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c: normalize_di
v
s: add me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_
m
ap_s
i
mplify
.
c:
el
i
minate_divs_i
n
e
q
: add m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdool
a
ege
i
s
l_map_simplify
.
c: se
t
_comp
u
te_e
l
imination_inde
x
:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_
m
ap_simp
l
ify
.
c: compute
_
elimination_ind
e
x
:
ad
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaeg
e
isl_map_simplify
.
c
: s
e
t_red
u
ced_usin
g
_equa
l
i
ties: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_sim
p
lify
.
c: redu
c
ed_using_equalities: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoola
e
ge
is
l
_m
a
p_simplify
.
c: isl_basic_s
e
t_reduce_using_equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_
m
ap_
s
imp
l
ify
.
c: ch
e
ck_for_div_constraints: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_map_simplify
.
c: set_d
i
v
_
from_low
e
r_bound: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
doolae
g
e
is
l
_map_
s
im
p
lify
.
c: ok
_
to_set_di
v
_from_bound: add
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_map_sim
p
l
ify
.
c: set_hash_in
d
e
x
: add memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_map_simplify
.
c
:
re
m
ove_
s
hi
f
ted_c
o
nstraints: ad
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c: ma
p
_o
f
fset: add m
e
mory manage
m
ent an
n
otation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verd
o
olaege
isl
_
map
.
c: f
i
n
d_div:
add memory m
a
nag
e
ment an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
m
ap
.
c: var_mo
r
e
: a
d
d m
e
mory manag
e
m
e
nt
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map
.
c: var_le
s
s:
add memor
y
man
a
gement a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoola
e
ge
isl_ma
p
.
c: var
_
equal: ad
d
memory management
a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoo
l
aege
i
s
l_map
.
c
: basic_set_ap
p
end_equa
l
i
t
ie
s
:
add m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c: basic_set_parameter_preimage:
a
dd memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
aege
isl_ma
p
.
c:
a
d
d_constraints:
a
d
d
memory managem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_lp
.
c:
isl_tab_solve_lp: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
ge
is
l
_ilp
.
c:
add_bo
u
n
d
s: add mem
o
ry man
a
gement a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_ilp
.
c
: un
i
t_box_base_
p
oints: add mem
o
ry
manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
ola
e
ge
isl_ilp
.
c
:
solve_
i
lp_search: add
m
emory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
o
l
aege
isl_ilp
.
c: i
n
itial_s
o
l
u
tio
n
: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_
i
l
p
.
c:
s
olve_ilp: add memory man
a
g
e
ment
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oola
e
ge
isl
_
ilp
.
c: solve_ilp_wit
h
_eq:
add memory man
a
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_convex
_
hul
l
.
c: is_bound: add memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_
c
o
n
vex_hull
.
c: add_
b
ound
:
add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoo
l
aege
i
s
l_
c
on
v
ex_hull
.
c: add_bo
u
nds: add memor
y
mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolaege
i
sl_convex_hull
.
c: hash_basic_set: add m
e
m
ory
m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl
_
con
v
ex_
h
ull
.
c: sh_
d
ata_alloc: add m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_con
v
ex
_
hul
l
.
c: uset_convex_hull_wrap_bounded: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
isl_convex_hull
.
c
:
compute_facet: add
memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_convex
_
hu
l
l
.
c
: wra
p
_constrain
t
s
:
ad
d
memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_c
o
nv
e
x_hu
l
l
.
c: isl_set
_
a
dd_basic_set_e
q
u
ality:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_con
v
ex_hull
.
c: uset_is_bound: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_conve
x
_hull
.
c: extend: a
d
d memory management annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_convex
_
h
u
l
l
.
c
:
co
m
mon_constrain
t
s: add memory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hull
.
c:
p
roto_hu
l
l: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolae
g
e
isl_convex_hull
.
c:
i
nitial_hull
:
add m
e
mor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_conv
e
x_hu
l
l
.
c: induced_line
a
lity_
s
pace: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
e
rdoolae
g
e
is
l
_convex_hul
l
.
c: modulo_line
a
lity:
a
dd
m
emory
m
anageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_co
n
vex_hull
.
c
: convex_hull_1d: add mem
o
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoo
l
ae
g
e
isl
_
convex
_
hull
.
c: convex
_
hul
l
_0d:
a
dd
memory manage
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_co
n
vex_
h
ul
l
.
c
: us
e
t_convex
_
hull: add
m
emory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_conve
x
_hull
.
c
:
homog
e
ne
o
us_map
:
add
m
emory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdool
a
ege
isl_convex_hull
.
c: va
l
id_d
i
rection_lp: add memor
y
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
s
l_convex_hull
.
c
:
v
a
lid_d
i
rection
:
add memory ma
n
ag
e
me
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
o
l
aege
isl_convex_hull
.
c
:
convex_hull_
p
air_
p
ointed: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
aege
isl_con
v
ex_hull
.
c:
uset_
c
o
nvex_hull
_
wra
p
: add memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
aege
isl_c
o
nvex_hull
.
c:
convex_hu
l
l_p
a
i
r
_elim: ad
d
memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_convex_
h
ull
.
c
: co
n
ve
x
_hull_pair: a
d
d memory
manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_convex_hull
.
c
:
m
o
dulo_affine_hull: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_convex_hul
l
.
c: uset_comb
i
n
ed_
l
in
e
ality_spac
e
: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaeg
e
isl_co
n
vex
_
h
u
ll
.
c: uset_combined_lin
e
ality_space: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_space_get_tuple_n
a
me:
a
dd me
m
ory managemen
t
annotation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_mult
i
_
pw_aff_l
e
x_
{
lt,gt}_map_
o
n
_spa
c
e: fix memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
ae
g
e
isl_
m
ap_move_di
m
s: res
e
t spac
e
s even if
n
umb
e
r of variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_basic_map_move_dims: r
e
set spaces even if n
u
m
b
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolae
g
e
priv
a
tely
e
xpo
r
t is
l
_basic_map_reset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-13
Sven Verdoo
l
aege
is
l
_
b
asic_map_from_af
f
:
c
all ga
u
ss on con
s
truct
e
d basic map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-10
Sven V
e
rdoolaege
i
sl_basic_map_drop_r
e
d
u
n
d
an
t
_di
v
s: drop e
x
p
l
i
cit repres
e
ntat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolae
g
e
isl_tr
a
nsitive_clo
s
ure
.
c:
m
o
ve is_eq_stride to isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ver
d
oolae
g
e
isl_map_simplify
.
c: move some functions to is
l
_
map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven
Verdoola
e
ge
isl_vertices
.
c: move isl
_
basic_set_
s
et_integr
a
l t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
isl_convex
_
h
u
ll
.
c: isl_*_set_rati
o
n
a
l: m
o
ve to i
s
l_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaeg
e
isl
_
m
at
.
c: move isl_basic_map_trans
f
orm_d
i
ms
to isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sve
n
Verdoolaege
i
sl_mat
.
c: privately
e
xpor
t
is
l
_mat
_
sub_transform
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sv
e
n Verdoolaege
i
sl_
a
ff
.
c: mo
v
e
i
s
l_
s
e
q
_subst
i
tut
e
to i
s
l
_s
e
q
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
Merge
b
ranch '
m
aint
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoola
e
ge
isl_qpoly
n
omial_mov
e
_dims: reset space even if
n
umber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoo
l
aege
is
l
_space
_
move_dims: consistent
l
y res
e
t sourc
e
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ver
d
o
olaege
isl_
s
pace_move_dims: rename "dim" argume
n
t t
o
"s
p
ac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdool
a
ege
isl_basic_ma
p
_red
u
ce_
c
oeffi
c
ien
t
s
: only modify a single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Ve
r
doo
l
aege
d
rop isl_map_implici
t
_equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verd
o
olae
g
e
isl_m
a
p_
s
implify
.
c: fix typo
i
n
c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
S
v
en Verdoolaeg
e
isl_lp
.
c
:
fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sv
e
n Verdoolae
g
e
d
oc: explain must depe
n
de
n
c
es in the result o
f
dataflow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolaege
isl
_
basic_set_mul
t
iplicative_call: chec
k
f
o
r empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolaege
isl
_
basic_map_pr
o
ject_out: speci
a
l cas
e
obviously empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoolaeg
e
is
l
_upoly_free: return N
U
L
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Ver
d
oolae
g
e
isl_morph_free
:
r
eturn N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verd
o
o
l
aege
is
l
_vertices_
f
ree: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoo
l
aege
is
l
_vertices
.
c: free_vertex_list: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next