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_bounded: add memory management annotations
2017-04-24
Sven V
e
rdoolaege
isl_sample
.
c
:
sample_boun
d
ed: add memory
m
an
a
ge
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sa
m
ple
.
c: interval_sample:
add
m
emory ma
n
a
g
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ve
r
d
o
o
la
e
ge
isl_sample
.
c: zero_sample: add
memory manageme
n
t
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
olaege
isl_sample
.
c
:
sam
p
le_eq: add mem
o
ry
m
anagement a
n
notation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
g
e
isl_sample
.
c
: empty_sample: add memory
m
anagement anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdool
a
eg
e
isl_sam
p
l
e
.
c: basi
c
_
s
et_sampl
e
:
a
dd me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoola
e
ge
isl_output
.
c: print_half
_
con
s
tra
i
n
t:
a
dd memo
r
y m
a
nagem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdool
a
ege
isl_output
.
c: pr
i
nt_co
n
s
traint: a
d
d
memory
m
a
na
g
em
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_map_s
i
mplify
.
c: coalesce_or_
d
rop_more_redundant_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
laege
isl_map
_
simpli
f
y
.
c
:
co
a
lesc
e
_di
v
s
:
add mem
o
ry mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoola
e
ge
i
sl_map_simplify
.
c: remove_dependent
_
vars: add memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ve
r
doo
l
ae
g
e
is
l
_map_simplify
.
c: remove_dupl
i
cate_divs: add
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
d
oolaege
is
l
_map_si
m
plify
.
c:
div_is_redundant:
a
dd m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoola
e
ge
isl_map
_
s
i
mplify
.
c: remove_redunda
n
t_div
s
: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Ve
r
doolaege
isl_map
_
si
m
pl
i
fy
.
c: ok_to_e
l
iminate_div: ad
d
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_map
_
simpl
i
fy
.
c:
e
l
i
min
a
t
e
_divs_eq:
a
dd memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_map_simplify
.
c:
d
rop_more_redund
a
nt_d
i
vs:
a
dd
m
emory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
e
r
doolaege
isl_map_simplify
.
c: norma
l
ize_divs: ad
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
s
l_map_si
m
plify
.
c: eliminate_divs_ineq: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_map_simpl
i
f
y
.
c
: set_compute
_
elimination_index:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoo
l
aege
isl_map_simplify
.
c: compute_elimination_i
n
dex: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
laege
i
s
l_map_simplify
.
c:
set_re
d
uced
_
using_e
q
ual
i
ties:
add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ve
r
d
oo
l
aege
isl_m
a
p
_
s
i
m
pl
i
fy
.
c: red
u
ce
d
_u
s
ing_equalities:
add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_ma
p
_simpl
i
fy
.
c
:
isl_basic
_
s
et_reduce_using_e
q
u
a
l
i
ties
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
erdoolaege
isl_map_simplify
.
c: c
h
eck
_
for_div
_
constraints: ad
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_
m
ap_simpli
f
y
.
c:
s
e
t
_div_from_lower_bound:
a
dd
m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simpl
i
fy
.
c: ok
_
to_se
t
_div_from_bound: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
olaege
is
l
_map_simp
l
ify
.
c: se
t
_hash_i
n
dex: add
memory ma
n
agem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_ma
p
_s
i
mplify
.
c:
r
emo
v
e_shifte
d
_constraints: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
is
l
_map
.
c
: map_offset
:
ad
d
memory managemen
t
annota
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdo
o
l
a
e
ge
isl_m
a
p
.
c: find_div: add mem
o
ry manage
m
en
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl
_
m
ap
.
c: var
_
more: add mem
o
ry ma
n
agemen
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoolaege
isl_map
.
c: var_less: add memo
r
y manag
e
ment anno
t
a
ti
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
is
l
_map
.
c: var_e
q
ual
:
add memory manageme
n
t
a
nnot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
is
l
_ma
p
.
c
: basic_set_append_eq
u
alities: add mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
la
e
ge
i
s
l_m
a
p
.
c: bas
i
c
_set_parameter_preimage: add mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
erdoolaege
isl_map
.
c:
a
dd
_
constraints: 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
olae
g
e
isl
_
l
p
.
c: isl_t
a
b_s
o
lv
e
_lp:
a
dd
m
e
m
o
r
y managemen
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
d
o
o
laeg
e
is
l
_ilp
.
c:
add_bounds: ad
d
m
e
mory m
a
nagement a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoo
l
aege
isl_ilp
.
c: unit_
b
ox_
b
ase
_
po
i
nts:
add me
m
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c: so
l
ve_ilp_se
a
r
c
h:
ad
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_i
l
p
.
c
:
initial_s
o
lution
:
add memor
y
man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
is
l
_ilp
.
c: solve_ilp
:
add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_i
l
p
.
c
: solve_ilp_with_eq:
add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hu
l
l
.
c
: is_bound: add m
e
mory
m
an
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_convex_
h
ul
l
.
c: add_bound: add
m
emor
y
managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ve
r
dool
a
ege
isl_con
v
ex_hull
.
c: add_bounds:
a
d
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_
c
o
nvex_hul
l
.
c: hash_basic_set: add memor
y
managem
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: sh_data_alloc: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
e
rdoolae
g
e
isl_
c
on
v
ex_hull
.
c: uset_
c
onve
x
_hull_w
r
ap_bounded: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoo
l
aege
isl_convex_hull
.
c: compute_facet: a
d
d
m
em
o
ry ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoo
l
aege
is
l
_
convex_hull
.
c: wrap_constraints: add memo
r
y
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoo
l
aege
i
s
l_convex_h
u
ll
.
c: isl_set_add_basic
_
s
e
t_e
q
uality:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
dool
a
ege
isl_
c
onvex_hull
.
c:
us
e
t_
i
s_bou
n
d: add me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_convex_hull
.
c: extend: add memory manageme
n
t
an
n
o
t
a
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_h
u
l
l
.
c
: co
m
mon_c
o
nstraints: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
i
sl
_
c
o
nvex_hull
.
c: proto_hull: a
d
d memor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_c
o
nve
x
_h
u
ll
.
c: initial_hull
:
add memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_convex
_
hull
.
c: in
d
uced_lineali
t
y_s
p
ace: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_
c
onvex_hull
.
c: mod
u
lo_li
n
eality
:
add
m
emory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_convex_hul
l
.
c: convex_h
u
l
l
_1d: add mem
o
r
y
m
anageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_conve
x
_hull
.
c: convex_hull_0d: add memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_conve
x
_hull
.
c: us
e
t_convex_h
u
ll: add memory
man
a
geme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
erdoola
e
ge
isl_co
n
vex_h
u
ll
.
c: homogeneous
_
map:
add memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
s
l_convex_hull
.
c: va
l
id_directio
n
_l
p
: add me
m
or
y
ma
n
age
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
c
onvex_hull
.
c: valid_direction: add
memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_convex_hull
.
c:
c
onvex_hull_pair_p
o
inted: a
d
d memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
i
s
l_
c
onv
e
x_hull
.
c: uset_
c
onv
e
x_hull_wrap:
a
d
d m
e
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_convex_hull
.
c: convex_hu
l
l_pair_elim: add memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
lae
g
e
i
sl
_
c
onvex_hull
.
c:
c
on
v
ex_hu
l
l_
p
air: ad
d
memor
y
mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoolaege
isl_convex_hull
.
c: modu
l
o_affine_hul
l
:
add memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolaege
isl_convex_hull
.
c: uset_combin
e
d_lineality_
s
pace: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_convex_hull
.
c: uset_
c
ombi
n
e
d
_linealit
y
_space: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
erdoola
e
ge
isl_s
p
ace_get_tuple_name: add
m
emory managem
e
nt annotat
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_
m
ult
i
_p
w
_af
f
_lex_{lt,gt}_map_on_s
p
ace: fix
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoolaege
Merge br
a
n
ch 'maint'
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
aege
isl_map_move_dims: reset spaces ev
e
n if numbe
r
o
f
v
a
riab
l
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basic
_
map_move_dims: reset space
s
e
v
en
if
n
umber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
p
riv
a
tel
y
export isl_basic_
m
ap_res
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-13
Sven Verdoo
l
aege
isl_b
a
sic_ma
p
_from_aff: call gauss on con
s
tructed basic map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-10
Sven Verdoolaege
isl_basic_map
_
drop
_
redundant_
d
i
v
s: drop explicit re
p
resentat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ve
r
doola
e
ge
isl_transitiv
e
_closur
e
.
c: m
o
ve i
s
_eq_
s
tride to isl_
m
ap
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaeg
e
isl_map_s
i
mpl
i
fy
.
c: move some functions to
i
sl_ma
p
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sve
n
Verdool
a
ege
i
sl_vertices
.
c: move isl_b
a
sic_set_set_integral
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdo
o
laege
i
s
l_convex
_
h
u
ll
.
c:
isl_*_set
_
rati
o
nal: move to
i
sl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
i
s
l
_mat
.
c
:
move
i
sl_basi
c
_
m
ap_
t
ran
s
form_d
i
ms to
isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven V
e
rdoolaege
is
l
_mat
.
c: priv
a
tely exp
o
rt
isl_mat_sub_trans
f
orm
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sve
n
Verdoolaege
isl
_
aff
.
c: mov
e
i
s
l_
s
e
q_substitute
t
o isl_seq
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sve
n
Ve
r
doola
e
ge
Merge bra
n
ch
'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolae
g
e
i
sl_qp
o
lynomi
a
l_move_
d
ims: rese
t
space even if numbe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ver
d
oolaeg
e
isl_s
p
ac
e
_mov
e
_dims: co
n
sistently r
e
s
et
s
ource an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdool
a
ege
i
s
l_space_move_dims: rename "dim" arg
u
m
e
n
t to "
s
pace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-23
Sven
V
e
r
doolaeg
e
isl_basic_map_reduce_coeffici
e
nt
s
: only mod
i
fy
a
single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdo
o
laeg
e
dr
o
p isl_map_im
p
licit_equa
l
ities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Ver
d
o
o
l
a
ege
isl
_
map_simplify
.
c: fix
t
ypo
in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
S
ven V
e
r
dool
a
e
g
e
is
l
_lp
.
c
: fi
x
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven
V
erdoolaege
doc: ex
p
lai
n
mus
t
dependences i
n
the re
s
ult of dataflow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sve
n
V
e
rdoola
e
ge
isl_b
a
sic_set_multiplicative_call
:
check for empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolaege
isl_basic_map
_
project_
o
ut: s
p
e
c
ial case
obviously empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-16
Sven Ve
r
dool
a
ege
is
l
_
u
poly_
f
ree: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next