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 Verd
o
o
l
aege
i
sl_sample
.
c
: s
a
m
ple_eq: a
d
d memory management a
n
n
ot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoo
l
aege
isl_
s
a
m
ple
.
c:
e
mpty_sam
p
l
e
: add memory
m
anagement annot
a
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolae
g
e
i
s
l_samp
l
e
.
c: basic_set_sampl
e
: add memory ma
n
ageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
i
sl_output
.
c: print_half_constrai
n
t: add m
e
mory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
is
l
_
o
utput
.
c: print_constrain
t
: add memory mana
g
emen
t
.
.
.
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: co
a
l
esce_or_drop_
m
ore_redundant_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
oolaeg
e
isl
_
map_simplify
.
c
:
coalesce_divs: add memory m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_m
a
p_simplify
.
c: remove_
d
ependent
_
v
ars: a
d
d memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_map_simplify
.
c
: remov
e
_duplicate_divs: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
olae
g
e
i
s
l_map
_
simplify
.
c: div
_
is_re
d
unda
n
t: add me
m
or
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
is
l
_ma
p
_s
i
m
p
lify
.
c:
r
e
m
ove_redundan
t
_divs: add mem
o
ry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl
_
map_simpli
f
y
.
c: ok_to_eliminat
e
_div: ad
d
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c: el
i
minate_div
s
_e
q
: a
d
d
m
e
mory
m
a
n
a
gem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ve
r
doola
e
ge
isl_ma
p
_sim
p
l
ify
.
c:
d
rop_more_red
u
ndant_divs: add
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
map_simplify
.
c: nor
m
alize_d
i
vs
:
add memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ver
d
o
olaege
isl_ma
p
_simpl
i
fy
.
c: eliminate_
d
i
vs_ineq: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
l
ae
g
e
isl_map_
s
implify
.
c: set_
c
ompu
t
e
_
elimi
n
ation_inde
x
:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oolaege
isl_map_simplify
.
c: compute_
e
liminat
i
on_index: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_sim
p
l
ify
.
c: set_r
e
duced_using_equ
a
liti
e
s: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
dool
a
ege
isl_map_simplify
.
c:
r
educed_u
s
ing_equal
i
t
i
es: add memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaeg
e
isl_map_simplif
y
.
c: isl_basic_set_
r
educe_usin
g
_equa
l
ities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
is
l
_map_simplify
.
c
:
check_for_div_co
n
straint
s
: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
o
l
ae
g
e
isl_map_
s
implify
.
c: set_div_f
r
om_lo
w
er_bound: add me
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_map_simplify
.
c
:
ok_to_se
t
_d
i
v_fr
o
m_bo
u
nd: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_map_simplif
y
.
c: set_h
a
sh_index:
a
dd memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_
m
ap_simplify
.
c
: rem
o
v
e
_
shifted_c
o
nstraints
:
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_map
.
c: map_offset
:
add memor
y
m
a
n
ag
e
ment ann
o
ta
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_ma
p
.
c
:
find_
d
i
v
: a
d
d memor
y
management ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdo
o
lae
g
e
isl_m
a
p
.
c: var_more: add memory manage
m
ent annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
is
l
_map
.
c: va
r
_less: add memory manageme
n
t annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
.
c: var_equal: add
memo
r
y
m
a
n
a
geme
n
t annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_map
.
c
:
basic
_
set_append_equalities: add memor
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolae
g
e
isl
_
map
.
c: basic_set
_
parame
t
e
r
_pr
e
i
m
a
ge
:
add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rdoolaege
isl_
m
a
p
.
c:
ad
d
_constrai
n
ts: add memory manage
m
en
t
annotati
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
aege
isl_
l
p
.
c: i
s
l_tab_solv
e
_lp: add memory management
annot
a
t
io
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c:
add_bounds: add memo
r
y management annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
d
o
o
laege
isl_i
l
p
.
c: unit_box
_
base_po
i
nt
s
: add m
e
mory
manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdool
a
ege
isl_ilp
.
c: solve_ilp_search: add memory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolae
g
e
isl_il
p
.
c
:
initial_solution: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl
_
ilp
.
c
: solve_ilp: add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdo
o
la
e
ge
i
sl_ilp
.
c: solve_ilp_wi
t
h_eq: add me
m
ory man
a
gem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoo
l
aege
isl_co
n
vex_hull
.
c: is_bound: add mem
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
sl_convex_hu
l
l
.
c: add_
b
ound: add memo
r
y
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolae
g
e
isl_convex_hull
.
c: a
d
d_bounds: add memory ma
n
ag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
laege
isl
_
c
onvex_
h
u
l
l
.
c: hash
_
basic
_
set: a
d
d
memo
r
y managem
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoo
l
aege
i
s
l
_convex_hull
.
c
: sh_data_alloc: ad
d
memory ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
ege
isl_convex_
h
u
l
l
.
c: uset_convex_hul
l
_wrap
_
bounded
:
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_co
n
vex_hull
.
c
: compute_facet: add memory
m
anageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_h
u
ll
.
c
:
wrap
_
constraints:
add memory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_c
o
nvex_hull
.
c:
i
sl_set_add_b
a
sic_
s
et_equality:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolae
g
e
isl_convex_hul
l
.
c: uset_is_bo
u
nd: add
m
emory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hull
.
c: exten
d
: add memory man
a
ge
m
ent annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_con
v
e
x
_hul
l
.
c: common_constrai
n
ts: add me
m
ory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolae
g
e
isl_convex_hull
.
c
:
p
rot
o
_h
u
ll: add memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
is
l
_
convex_h
u
ll
.
c: initi
a
l_hu
l
l: add memor
y
mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doolaege
is
l
_convex_
h
ull
.
c: induced_lineality_space: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
oolaege
isl_conv
e
x
_
hull
.
c: mo
d
ulo_li
n
eal
i
ty: a
d
d memory
m
anag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_con
v
ex_hull
.
c: c
o
n
v
ex_hull
_
1d:
a
d
d
m
emory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoola
e
ge
isl_convex_hu
l
l
.
c: convex_hu
l
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_hull
.
c: us
e
t
_convex_
h
ull: add memory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
ge
i
sl_convex
_
hull
.
c: homogene
o
us_m
a
p: add memory manag
e
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
i
sl_con
v
ex_hull
.
c:
vali
d
_direction
_
lp: add memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
isl_conv
e
x_h
u
ll
.
c: valid_directio
n
: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdo
o
l
a
e
ge
isl_c
o
nvex_hull
.
c:
convex_hull
_
pair
_
pointed: add mem
o
ry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_conve
x
_hull
.
c: uset_convex_hull_w
r
a
p: add
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
doolaege
isl_convex_hull
.
c: convex_hull_pair_elim: add
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoo
l
ae
g
e
isl_con
v
ex_hull
.
c: co
n
vex_hull_pair
:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rdoolaege
isl_conv
e
x
_hull
.
c: modulo_affine_hull: add me
m
o
ry m
a
na
g
e
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
sl_c
o
nvex_hull
.
c
:
uset_
c
ombi
n
ed_lin
e
ality_space: ad
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdool
a
ege
isl_convex_hull
.
c: uset_
c
ombined_lineality_spac
e
: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
i
sl
_
space_get_tuple_name
:
add me
m
ory management annot
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_multi_pw
_
af
f
_lex_{l
t
,gt
}
_map_on
_
s
pace:
f
ix memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erdoola
e
ge
Merge
branch
'
m
a
i
nt'
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoo
l
ae
g
e
isl_map_move_d
i
ms: re
s
et spaces ev
e
n i
f
num
b
er of var
i
abl
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_
b
asic_m
a
p_move_
d
ims: reset space
s
even i
f
n
umber
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
privat
e
ly export isl
_
ba
s
i
c_map_reset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-13
Sven Verdo
o
laeg
e
i
sl_basic_map_from_aff: call
g
a
u
ss on con
s
tr
u
cted basi
c
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-10
S
ven Verdoolaege
i
sl_basic_map_drop_redundant_
d
ivs: drop explicit rep
r
es
e
ntat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sve
n
Verdoola
e
ge
is
l
_transitive_closure
.
c: move is_eq_stride to is
l
_
m
ap
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sv
e
n Verdoolae
g
e
isl
_
map
_
simplify
.
c: move some
f
unctions
to isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
S
v
en V
e
rdoolaege
isl_vertices
.
c
:
mov
e
isl_ba
s
i
c_
s
et
_
set_int
e
gral to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
isl_co
n
v
ex_h
u
ll
.
c
:
isl_
*
_s
e
t
_
rational
:
move t
o
isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sv
e
n Verdoo
l
a
e
ge
isl_mat
.
c: move is
l
_basi
c
_ma
p
_tra
n
sform_dims to isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdo
o
laege
i
s
l_m
a
t
.
c: privately
e
xport isl_mat_sub_transform
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
i
s
l
_aff
.
c
: mo
v
e
i
sl_seq_substitute to isl_
s
eq
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven V
e
rdoolaege
Merge branch
'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
is
l
_qpolynomial_m
o
ve_dim
s
: res
e
t space even i
f
nu
m
ber
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdool
a
e
g
e
isl_spa
c
e_m
o
ve
_
dims: consist
e
ntly r
e
set source and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
S
v
e
n
Verdoolaege
isl_space
_
move_dims
:
rename "
d
im" argumen
t
to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
S
v
en
V
erdoolaege
isl_basic_map_redu
c
e_c
o
efficien
t
s: o
n
ly modify a
single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolaege
drop isl_map_im
p
licit_
e
qua
l
ities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolaege
isl_map_simplify
.
c: fix
typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
S
ven Verdoolaege
isl_lp
.
c:
f
ix typo
i
n
comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven V
e
rdoolaege
doc: explain must
dependen
c
es
i
n the result of dataflow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdool
a
ege
is
l
_basi
c
_set_
m
ultiplicative_call: che
c
k for emp
t
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven V
e
rdoola
e
ge
isl_basi
c
_map_project_
o
ut: s
p
ecial cas
e
obv
i
ous
l
y
e
mpty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
Sve
n
Verdoolaege
is
l
_
u
poly_free: return
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoo
l
aege
isl_mo
r
ph_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdo
o
laege
isl_vertices_fr
e
e: retur
n
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
S
v
en Verdoolaege
isl_vertices
.
c:
f
r
ee_vertex_l
i
st: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next