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
S
v
e
n
Verdoolaege
isl_sa
m
ple
.
c: zero
_
sample
:
add
m
emory man
a
gemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdo
o
laege
isl_sample
.
c: sample_eq:
a
dd memory mana
g
em
e
nt a
n
nota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
is
l
_sample
.
c: empty_sa
m
ple: add memory management annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_samp
l
e
.
c: ba
s
ic_set_sample: add
m
e
mory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rdoolaeg
e
i
s
l
_output
.
c:
p
r
i
nt_h
a
lf_co
n
st
r
aint: ad
d
memory ma
n
agem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
o
utput
.
c
:
pri
n
t_const
r
aint
:
add
mem
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rdoolaege
isl_map
_
simpli
f
y
.
c: co
a
l
esce_o
r
_drop_mor
e
_redundant_d
i
vs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
e
rdoo
l
aege
isl_map_simplify
.
c
:
coalesce_divs: add
m
em
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdool
a
ege
i
s
l_map
_
simplify
.
c: r
e
move_dependent_var
s
:
add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoola
e
ge
isl_map_simplify
.
c: remove_duplicate_divs: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_map_simplify
.
c: div_is_redunda
n
t:
a
dd memory mana
g
e
m
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl
_
map_simplif
y
.
c: remove_redu
n
d
a
nt
_
divs: add me
m
or
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
i
sl_map_simplify
.
c: ok_to_eli
m
i
n
ate_d
i
v: add memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ol
a
ege
isl_map_
s
imp
l
ify
.
c: elim
i
nate_d
i
vs_eq: add m
e
mory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map_
s
implify
.
c
: dro
p
_m
o
re_redundant_d
i
v
s: add m
e
mory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oola
e
ge
isl_map_s
i
mplify
.
c: normal
i
ze_divs: add memory managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_
m
ap_simplif
y
.
c: elimi
n
ate_di
v
s_ineq:
a
dd
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_m
a
p_
s
implify
.
c: set
_
compute_elimin
a
ti
o
n_
i
ndex:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
ege
isl_map_simplif
y
.
c: comp
u
te_elimination_index: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
oolaege
isl_map_simplif
y
.
c: set_red
u
c
e
d_using_eq
u
alities: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_sim
p
lif
y
.
c: reduc
e
d_u
s
ing_equa
l
ities:
a
d
d memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ver
d
oolaege
i
sl_m
a
p
_
s
implify
.
c: is
l
_basic_se
t
_r
e
duce_using_equa
l
ities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map
_
simp
l
ify
.
c: check_for_d
i
v_constraints: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verd
o
o
lae
g
e
isl_
m
ap_sim
p
lify
.
c: set_div_from_lower_bound: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ve
r
doolaeg
e
i
sl_
m
ap_sim
p
lify
.
c
:
ok_
t
o_set_di
v
_from_boun
d
: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolae
g
e
i
sl_map_simplify
.
c: se
t
_
ha
s
h_
i
nd
e
x: add mem
o
ry ma
n
a
g
e
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplif
y
.
c: remove_shifted_c
o
nstraints
:
a
dd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
map
.
c: ma
p
_offset: add
m
emory mana
g
ement annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verd
o
olaege
isl_map
.
c:
f
i
nd_di
v
: add memor
y
manageme
n
t annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c: va
r
_more: add memory management
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_
m
ap
.
c
:
var_less: add memory manageme
n
t anno
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c: var_equal
:
add memory
m
anagement
a
n
n
ota
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
aege
isl_
m
ap
.
c: ba
s
i
c
_set_append_equa
l
ities:
add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_ma
p
.
c: basic_set_paramete
r
_preimage: add
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map
.
c:
add_co
n
s
t
r
a
in
t
s: add memory manag
e
ment annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doola
e
ge
isl_lp
.
c: isl_tab_solve_lp
:
a
d
d
m
e
mory ma
n
agement annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
i
sl_ilp
.
c: add_
b
o
u
n
ds: add memory manag
e
m
ent anno
t
a
t
ion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
i
sl_ilp
.
c: un
i
t_box_base_points: add
m
emory
m
anag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_
i
lp
.
c: solve_ilp_search
:
add
m
emory manag
e
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_ilp
.
c: initial_
s
oluti
o
n: a
d
d memory mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoola
e
ge
isl_ilp
.
c: solve_i
l
p:
a
d
d memor
y
management anno
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl
_
ilp
.
c: solv
e
_ilp_with_eq:
a
dd memory ma
n
agem
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doolaege
isl
_
co
n
vex_hull
.
c: is_bound
:
add memory managem
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoola
e
ge
isl_convex_hull
.
c
: add_bo
u
nd: add m
e
m
ory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_conve
x
_hull
.
c
: add_bounds: add mem
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdool
a
e
g
e
isl_convex_hull
.
c:
h
ash
_
basic_se
t
:
add mem
o
ry ma
n
agemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaeg
e
i
s
l_convex_hul
l
.
c
:
sh_data_alloc:
a
dd memor
y
ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
e
ge
isl_convex_hull
.
c: uset_con
v
ex_hull
_
wra
p
_b
o
und
e
d: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
c
onv
e
x_hull
.
c: compute_fa
c
et: add memory
manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolaege
isl_convex_hull
.
c:
wrap_co
n
str
a
i
nts: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_conve
x
_hull
.
c
:
isl_se
t
_add_basic_set_equality:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
convex_hull
.
c: u
s
e
t_is_bound: add mem
o
ry
man
a
gem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_convex_hul
l
.
c: extend:
a
dd memory man
a
g
e
ment annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ver
d
oo
l
ae
g
e
isl_c
o
n
v
ex_hull
.
c: common_
c
onst
r
ain
t
s: add m
e
m
ory man
a
gemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdo
o
la
e
ge
i
sl_convex_hull
.
c: proto_hull: add me
m
ory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_convex_
h
u
l
l
.
c: initial_hull:
a
d
d
m
emory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_h
u
ll
.
c:
i
n
d
uced
_
lineality_space: add m
e
mo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_convex_hull
.
c
: modulo_lineali
t
y: add memory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl
_
con
v
ex_h
u
ll
.
c: convex_hu
l
l_1d: 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_con
v
ex_
h
ull
.
c
: convex_h
u
l
l_0d: add memory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
c
onvex_hull
.
c: uset_convex_hul
l
:
ad
d
memory m
a
na
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hull
.
c:
h
omogeneous_map: ad
d
mem
o
ry m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_convex_hull
.
c: valid_direct
i
on_lp: add me
m
ory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolae
g
e
isl_co
n
vex_hull
.
c: valid_direction: add m
e
mory mana
g
e
men
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l
_convex
_
hu
l
l
.
c:
conv
e
x_hull_pair_p
o
inted: add memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
i
s
l_convex_
h
u
ll
.
c: us
e
t
_
convex_hull_wr
a
p: add
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdoolaege
isl_convex_
h
u
l
l
.
c: convex_hul
l
_p
a
ir_elim
:
add me
m
o
ry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_convex_hull
.
c: convex_h
u
ll_pair: add memory
m
an
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doolaege
isl_
c
onvex_hull
.
c: modulo_
a
ffine_hull: a
d
d me
m
ory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoolaege
i
s
l_convex_h
u
ll
.
c
: uset_combi
n
ed_li
n
eali
t
y_s
p
ace:
a
dd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
i
sl_conve
x
_hull
.
c: uset_combi
n
e
d_linea
l
ity_space
:
renam
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
i
s
l_space_
g
et_tuple_name: add
me
m
ory management an
n
otation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl
_
m
ulti_pw_
a
ff_lex_{lt
,
gt}_
m
ap_on_sp
a
ce: fi
x
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_map_m
o
v
e
_dim
s
: reset
spac
e
s even if number o
f
v
a
riables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
is
l
_basic_map_move_d
i
ms: reset spaces even if number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
privately e
x
port isl_
b
asic_
m
ap
_
reset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-13
Sven V
e
rdool
a
e
ge
isl_basic_map_from_aff: call gauss on const
r
ucted basic map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-10
Sven Verdoolaege
i
sl_
b
a
s
i
c_map_dr
o
p
_
red
u
ndan
t
_
divs:
dr
o
p explicit repre
s
e
n
tat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
isl
_
t
r
ans
i
tive_closure
.
c
: move is_eq_stride to isl_m
a
p
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
S
v
e
n
Verdoola
e
ge
isl_map_simplify
.
c:
m
ove so
m
e
f
unctions to isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven V
e
rdoolaege
isl_vertices
.
c:
m
ove
i
sl_basic_set_set_integral to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
S
ven Verd
o
olaege
isl_conve
x
_
hull
.
c: isl_*
_
set_rational: move to isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sve
n
Verdo
o
laege
isl_mat
.
c:
m
ove isl_basic_ma
p
_tr
a
nsfo
r
m_dims to is
l
_
map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdo
o
lae
g
e
isl_mat
.
c: p
r
ivatel
y
expo
r
t
isl_mat_sub_tr
a
nsform
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
S
v
e
n Verdo
o
laeg
e
isl_
a
f
f
.
c:
mov
e
isl_seq
_
substitu
t
e to
isl_seq
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven V
e
rdoola
e
ge
Mer
g
e branch
'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
S
ven Verdoo
l
aege
isl_qpolynomial_move_dims:
r
eset spac
e
even if
n
umb
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
i
s
l_space_mov
e
_dims: cons
i
stent
l
y reset so
u
r
c
e and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ver
d
ool
a
ege
isl_sp
a
ce_move
_
d
i
ms: rename "dim" a
r
gumen
t
to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
S
v
e
n
Ver
d
oolaeg
e
isl_bas
i
c_map_reduce_coeffic
i
ents
:
only modify a single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolae
g
e
d
rop i
s
l_map_imp
l
icit_equa
l
ities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdool
a
eg
e
isl_map_simplify
.
c: fi
x
typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven
V
erdoolaege
isl_lp
.
c
:
fix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolae
g
e
doc: ex
p
lain must dependen
c
es i
n
the resul
t
of d
a
taflow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven Ve
r
doolaege
isl_basic_set_multiplica
t
ive
_
call: check for
e
mpty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sve
n
V
e
rdoolaege
isl_basic_map_project_out: special case
obviousl
y
e
m
pty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
S
ven V
e
rdoo
l
aege
isl_upoly_
f
ree: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoolaege
i
sl_morp
h
_free: return N
U
LL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
S
ven Verd
o
olaege
isl
_
ve
r
tices_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next