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: zero_sample: add memory management annotations
2017-04-24
Sven Verdoolaege
isl_
s
ample
.
c: zero_sample
:
a
d
d memory m
a
nagement annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ola
e
ge
isl_sample
.
c: sa
m
p
l
e_eq: add me
m
ory
m
anagem
e
nt annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ol
a
ege
isl_sa
m
ple
.
c: emp
t
y_sample: a
d
d
memory
management
annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c:
b
asic_set_
s
ample: add memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_output
.
c
:
print_h
a
l
f
_constrain
t
: add
m
em
o
ry managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
oola
e
ge
i
sl_o
u
tput
.
c: print_c
o
ns
t
ra
i
nt: add
memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
doolaege
isl_ma
p
_simplify
.
c
:
c
o
a
l
esce
_
or_drop_m
o
re_redundant_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaeg
e
isl_map_sim
p
lify
.
c
:
co
a
lesce_divs
:
a
dd memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_
s
implify
.
c: remove_depe
n
dent_vars:
a
dd memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
i
sl
_
map_s
i
mplif
y
.
c
:
r
e
m
ove_duplicat
e
_
d
ivs
:
add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_map_si
m
plify
.
c
:
div_is_re
d
undant: add memo
r
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_m
a
p_simplify
.
c: remove_redundant_divs:
add memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
_
simpl
i
fy
.
c: ok_to_eliminat
e
_div:
add
mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_map_simpl
i
fy
.
c: eliminate_divs_eq: add mem
o
ry
ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_simplify
.
c: drop_m
o
re_redundant_divs: add
mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
ool
a
ege
isl_ma
p
_sim
p
lify
.
c: n
o
r
malize
_
divs
:
add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoolaege
isl_
m
ap_s
i
m
p
lify
.
c: eliminate_divs_ineq:
a
d
d memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ma
p
_
s
implify
.
c: set_compute_elimination_index
:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoolaege
isl_map_
s
implify
.
c:
c
o
mpute_
e
l
imi
n
ation_in
d
ex
:
a
dd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map_simpli
f
y
.
c: set_reduced_
u
sing_equalit
i
es: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoola
e
g
e
is
l
_
m
ap_sim
p
lify
.
c
:
reduced_using_
e
qualit
i
es:
a
dd memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_m
a
p
_
simplify
.
c: isl_ba
s
ic_set_reduce_usi
n
g_equali
t
ies
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
is
l
_map_
s
implify
.
c: check_for_div_con
s
train
t
s:
a
d
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
olaege
isl_ma
p
_sim
p
li
f
y
.
c
:
set_div
_
from_lower_bound: a
d
d memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdool
a
eg
e
isl_map_simp
l
ify
.
c
: ok
_
to_set_div
_
from_bound: add
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
V
erdoolaege
isl_map_
s
implify
.
c
: set_
h
ash_ind
e
x: add memor
y
manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
laeg
e
is
l
_map
_
simplify
.
c: r
e
m
o
ve_sh
i
fted_const
r
ain
t
s: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
aege
isl_
m
ap
.
c: m
a
p_offset: add
memory manage
m
ent annota
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl
_
map
.
c: find_div:
add memor
y
m
a
na
g
ement a
n
notati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
oolae
g
e
i
sl_map
.
c: var_mor
e
: add me
m
ory
ma
n
agement
a
nnotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_
m
ap
.
c: var_less: a
d
d memory management
ann
o
ta
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoo
l
aege
isl_map
.
c: va
r
_equal: add
m
emory manageme
n
t annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c
:
b
a
si
c
_set_append_equaliti
e
s:
add
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_
m
ap
.
c
: basic_set_para
m
eter_preimage
:
add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_map
.
c
:
a
d
d_constra
i
n
ts: add memory
m
an
a
g
e
m
ent annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
ae
g
e
isl_lp
.
c: isl_
t
ab_solve_
l
p: add memory man
a
gem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
i
sl_ilp
.
c:
a
dd_bounds
:
add memor
y
ma
n
agem
e
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
isl_ilp
.
c:
u
ni
t
_box_base_point
s
: ad
d
m
e
m
or
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c: solve_ilp_search: add memory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_i
l
p
.
c
: initial_soluti
o
n: ad
d
mem
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
laege
isl_ilp
.
c
:
s
o
lve_ilp: add m
e
mory manageme
n
t
a
n
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
ege
isl_ilp
.
c: solv
e
_ilp_wi
t
h_eq: add memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_conv
e
x_hull
.
c: is_bound: add
memory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aege
i
sl_conv
e
x_
h
ull
.
c: add_bou
n
d: add me
m
o
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_c
o
n
vex_hull
.
c
:
add
_
bounds: add memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_convex_hu
l
l
.
c:
h
ash_basi
c
_set: add memory ma
n
agem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_conv
e
x_hul
l
.
c:
s
h_data_alloc
:
add
m
emory
m
an
a
g
e
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_convex_hull
.
c: uset_conve
x
_hull_wrap_b
o
unded: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
oolaege
isl_
c
onv
e
x_hull
.
c: comp
u
te_f
a
cet: add memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erdo
o
la
e
ge
isl_c
o
n
vex_hull
.
c: wrap_const
r
aints: add memo
r
y
m
a
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoolaege
isl_conv
e
x_hull
.
c: isl_s
e
t_add_bas
i
c_
s
et_e
q
uality:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoolaege
i
s
l_convex_hull
.
c: us
e
t_is_b
o
un
d
: add memory
m
a
n
age
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hull
.
c: extend: add
memo
r
y
manag
e
ment annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaeg
e
isl_convex_h
u
ll
.
c: common_cons
t
r
aints:
a
dd memory manag
e
me
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
ege
isl_convex_hul
l
.
c:
p
roto_hu
l
l
: ad
d
m
em
o
ry man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_convex_hull
.
c:
i
nitial_hull: add memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
is
l
_co
n
vex
_
hull
.
c:
i
nduced_line
a
lity_s
p
a
c
e: add
m
e
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_con
v
ex_hull
.
c: modulo_lineality: add memory m
a
nag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_convex_hul
l
.
c: conv
e
x_hull_1d: add
m
emory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
i
sl_c
o
nve
x
_hull
.
c: conv
e
x_
h
ul
l
_0d: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_convex_h
u
l
l
.
c: us
e
t_conv
e
x_hull: add mem
o
ry managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_co
n
vex_hull
.
c: homogeneous_map: add memory mana
g
em
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
i
s
l
_
c
o
n
ve
x
_hu
l
l
.
c:
valid_d
i
rection_lp: a
d
d memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
c
o
n
vex_hull
.
c: val
i
d_directi
o
n: add memory
m
anage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolaege
isl_conve
x
_hull
.
c
:
convex_hull_pai
r
_pointed: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_conve
x
_hul
l
.
c
: uset_c
o
nvex_h
u
l
l_wr
a
p
:
add m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_
c
onvex_hu
l
l
.
c: convex
_
h
u
ll_pai
r
_e
l
im:
a
dd memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_
c
onvex_hull
.
c: convex_h
u
ll_pair: a
d
d
memory manage
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
is
l
_con
v
ex_h
u
ll
.
c: modulo
_
affine_hull: add memor
y
ma
n
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
i
sl_conv
e
x_h
u
ll
.
c
:
uset_
c
ombined_lineal
i
ty_s
p
ac
e
: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
ool
a
ege
isl_
c
onvex_hull
.
c: uset_combined_lineal
i
ty_spac
e
:
r
ename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_space_
g
e
t
_tuple_n
a
me:
a
dd memory management annot
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolaege
isl_multi_pw_aff
_
l
e
x_{lt,gt}_map_on_space: fi
x
memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
Merg
e
bra
n
ch 'maint
'
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_map_move_d
i
ms: reset spac
e
s
e
ven if number
of v
a
riables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_basic_map_move_dims: reset spaces eve
n
if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolae
g
e
privately expor
t
isl_b
a
s
ic_map_reset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-13
S
v
en Ver
d
oo
l
a
ege
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_basic_map_drop_redundant_divs: drop explicit represe
n
t
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ver
d
oolaege
isl_transiti
v
e_closu
r
e
.
c: mo
v
e
i
s_eq_s
t
ride to is
l
_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven
V
erdoolaege
isl_map_si
m
plify
.
c: move som
e
functions
to isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ve
r
doolaege
isl_vertices
.
c: move isl_basic_set_s
e
t_integral t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoo
l
aege
isl_
c
onvex_hull
.
c: isl_*_s
e
t_rational
:
move
to is
l
_m
a
p
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoo
l
aege
isl_mat
.
c: move
isl_basi
c
_map_transform
_
dims to
i
s
l_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven V
e
rdoolaege
i
sl_mat
.
c
:
priv
a
tely e
x
p
o
rt i
s
l_mat
_
s
u
b_tr
a
nsform
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
ven Verdoolae
g
e
isl_aff
.
c: move isl_s
e
q_substitu
t
e to
i
sl_seq
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
Merg
e
b
ranc
h
'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
isl_qpolyn
o
m
ial_move_dims: reset space even if number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sve
n
Verdoolaege
isl_space_mov
e
_dims: consistently rese
t
s
o
u
rce and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
S
ven
V
e
r
doolaege
is
l
_
s
pace_move_dims:
r
ename "d
i
m
" argument
t
o "s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdool
a
ege
isl_basic
_
map_red
u
c
e_coeff
i
c
ients: only modify
a
single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
S
v
e
n
Verd
o
olaeg
e
dro
p
i
sl_map_im
p
l
i
c
i
t_equal
i
t
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
S
v
en Ve
r
doolae
g
e
isl_map_
s
implify
.
c
: fix typ
o
in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sv
e
n Verdoola
e
ge
isl
_
lp
.
c
: fix typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Ve
r
doolaege
d
oc: expla
i
n must dependences in
the res
u
lt of dataflo
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolaeg
e
isl_basic_
s
et_multiplicative_call: c
h
eck fo
r
empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven
V
e
r
do
o
laege
isl_bas
i
c
_
map_pr
o
ject_out: special case obviously empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven V
e
rdool
a
ege
isl_up
o
l
y
_
f
ree: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
S
ve
n
Verdoolae
g
e
isl_mor
p
h_free: retur
n
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
S
v
e
n Ver
d
oolae
g
e
isl_vertices_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next