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_output.c: print_half_constraint: add memory management annotation
2017-04-24
Sven Verdoolaege
i
sl_outp
u
t
.
c: pri
n
t_h
a
lf_cons
t
ra
i
n
t: add memor
y
manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_out
p
ut
.
c:
p
rint_constraint
:
add memory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_map_si
m
plify
.
c: coales
c
e_or_
d
rop_more_redundant_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_
m
ap_
s
i
m
p
lif
y
.
c: coalesce_di
v
s:
a
d
d memo
r
y ma
n
agem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoola
e
ge
i
s
l
_
map
_
simplify
.
c: re
m
ove_depe
n
dent_vars: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl
_
ma
p
_simp
l
ify
.
c:
r
emove_
d
uplicate_divs: add memor
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoolaege
isl_map_s
i
mpli
f
y
.
c: div_i
s
_re
d
undant: add
me
m
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_m
a
p
_si
m
plif
y
.
c: re
m
o
ve_
r
e
d
undant_di
v
s: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_map_simplify
.
c
:
ok_to_
e
liminate_div:
a
d
d
memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
oolaege
isl_map_
s
i
mplify
.
c:
eliminate_divs_eq: add m
e
m
o
r
y manag
e
men
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
is
l
_ma
p
_sim
p
lif
y
.
c: drop_more
_
redundan
t
_divs:
a
dd memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_simplify
.
c: normali
z
e_divs: a
d
d mem
o
r
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
olaege
isl_map_simplify
.
c: eliminate_d
i
vs_ineq
:
add
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
is
l
_
m
a
p
_simplify
.
c
:
set_co
m
p
ute_elimina
t
i
o
n_index:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
map_simpli
f
y
.
c
:
compute
_
elimination_i
n
dex: ad
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdo
o
laeg
e
isl_map_simp
l
ify
.
c: set_reduced_usin
g
_equal
i
ties: a
d
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_map_simplify
.
c: r
e
d
u
ce
d
_using_equaliti
e
s: add memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
i
sl_map_simplify
.
c: isl_ba
s
ic_set_reduce_u
s
ing_equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c:
c
h
eck_fo
r
_d
i
v_constraints
:
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
is
l
_
ma
p
_simpli
f
y
.
c: set_div_
f
rom_lower
_
bound: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_map
_
s
implify
.
c: ok_to
_
set_div_fro
m
_bound: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_map_simp
l
ify
.
c
: set_hash_index: a
d
d memory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaeg
e
isl_ma
p
_
s
i
mplify
.
c: remov
e
_s
h
if
t
ed_constraints: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oola
e
ge
isl
_
map
.
c: map_off
s
e
t:
add memory
m
ana
g
em
e
nt an
n
otation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
olaege
i
s
l_
m
ap
.
c: find_div: add memory man
a
gement ann
o
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaeg
e
isl
_
map
.
c
:
v
ar_mor
e
: ad
d
memory management annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
a
e
g
e
isl_map
.
c: va
r
_les
s
: add memory manag
e
ment annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolaege
i
s
l
_map
.
c: v
a
r_
e
qual: add m
e
mory manage
m
ent
a
n
n
otation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
d
o
o
la
e
ge
i
sl_map
.
c:
b
a
s
ic_set_append_equalities:
a
dd memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolae
g
e
isl_ma
p
.
c
: basic_se
t
_parameter_pre
i
mage: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
r
d
oo
l
aege
isl_
m
ap
.
c:
ad
d
_constr
a
ints: a
d
d memor
y
m
a
nag
e
ment an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
i
s
l_lp
.
c: isl
_
tab_solve_lp: add
memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ve
r
d
o
o
laege
isl_ilp
.
c: add_bounds: add memory management an
n
ot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erd
o
o
laege
i
s
l
_
ilp
.
c
:
unit_bo
x
_
base_point
s
: add memory
m
ana
g
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ilp
.
c:
s
o
l
ve_i
l
p_
s
earch: add mem
o
ry managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
lae
g
e
isl_ilp
.
c
: in
i
tial_solution: add
me
m
o
ry
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoola
e
ge
i
s
l_ilp
.
c: solve
_
ilp: add memory manag
e
ment annota
t
ion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoola
e
ge
isl_ilp
.
c: solve_il
p
_with_eq: add me
m
ory ma
n
ag
e
m
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_conve
x
_hull
.
c: is_bound: add
m
em
o
ry managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_convex
_
hull
.
c:
add_bound
:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex_hul
l
.
c: add_b
o
unds: add memory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdool
a
ege
isl_c
o
n
vex_hull
.
c:
h
ash_ba
s
i
c_set: add
m
e
m
o
ry
m
ana
g
eme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_c
o
nvex
_
hull
.
c: sh_data_alloc: add memory ma
n
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ver
d
oo
l
aege
isl_
c
onvex_hull
.
c: uset_convex_hull_wrap
_
bo
u
nded: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolae
g
e
isl_convex_h
u
ll
.
c: compute_facet:
a
dd
m
emory man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdoolaege
i
s
l_convex_h
u
ll
.
c: wrap_c
o
ns
t
raints: add memo
r
y manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erdoolaege
isl_
c
o
nv
e
x
_
hul
l
.
c: isl_set_add_
b
asic_se
t
_
e
qualit
y
:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_convex_hull
.
c
: u
s
e
t
_is_b
o
und: add m
e
mor
y
ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl
_
convex_hull
.
c
:
e
x
ten
d
:
a
dd mem
o
ry
m
a
na
g
e
m
e
nt anno
t
at
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolae
g
e
isl
_
convex_
h
ull
.
c
:
co
m
mon_constraints: add me
m
o
ry mana
g
eme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_conv
e
x
_
hu
l
l
.
c:
proto_hull: ad
d
memory managem
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
c
on
v
ex_hull
.
c:
i
nitial_hull: add me
m
ory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_conv
e
x_hull
.
c: induced_lin
e
ali
t
y_space
:
add
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Ve
r
doo
l
aege
i
sl_conv
e
x_h
u
l
l
.
c: modulo_linealit
y
:
add memo
r
y managem
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_
c
onv
e
x_hull
.
c: co
n
ve
x
_hull_1
d
: add m
e
mory mana
g
e
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolae
g
e
i
sl
_
convex_hul
l
.
c: convex_hull_0d: add m
e
mor
y
manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doolaege
isl_convex_hull
.
c: use
t
_
c
onv
e
x
_hu
l
l: add
memory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_co
n
vex_
h
ul
l
.
c: h
o
mogene
o
u
s_map: add memory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_conve
x
_
h
u
ll
.
c: valid_direct
i
on_l
p
: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ver
d
oolaege
i
sl_c
o
n
v
ex_hull
.
c
: valid_di
r
ect
i
on: ad
d
me
m
ory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
erdoolaege
isl_convex_hull
.
c
:
convex_h
u
ll
_
pair_
p
ointed: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_convex
_
hu
l
l
.
c
:
uset_convex_hull_wrap
:
add m
e
m
o
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_con
v
ex_h
u
ll
.
c: convex_h
u
ll_pair_elim: add mem
o
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdo
o
l
aege
isl_convex_hull
.
c: co
n
vex_hull_pair: add m
e
mory manag
e
men
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoo
l
aege
is
l
_
c
onvex_hull
.
c
:
m
odulo_affine_hull: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_conv
e
x_
h
ull
.
c: uset_combin
e
d_lineal
i
ty
_
s
p
ace: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl
_
convex_hul
l
.
c:
uset_com
b
i
ned_linealit
y
_sp
a
ce: r
e
name
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdo
o
laege
i
sl_space_g
e
t_tuple
_
name: add
m
e
mory management annotation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
ool
a
ege
isl_mult
i
_pw_aff_lex_{lt,gt}_m
a
p_on_space: fix memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaeg
e
Merge bra
n
c
h 'maint'
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaeg
e
isl_map_move_dims: reset spaces even if numb
e
r of variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
la
e
ge
isl_basic_ma
p
_move_dims: reset spaces even if num
b
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
e
rdoolaege
privately export isl_bas
i
c_map_res
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-13
Sven Verdoo
l
aege
isl_basic_map_from_aff:
c
al
l
gauss on constru
c
t
ed
b
asic
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-10
Sven Verdoolaege
isl_ba
s
ic_m
a
p_drop_redundant_divs: dro
p
ex
p
licit representat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verd
o
olaege
isl
_
tra
n
sitive_closure
.
c:
move is
_
eq_s
t
ride to isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
isl_map_simplify
.
c:
mov
e
s
o
me
f
un
c
tions to isl_
m
a
p
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
S
ven Verdoolaege
is
l
_vertices
.
c
: move isl_b
a
sic_set_set_
i
ntegral to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verd
o
ola
e
ge
isl_convex_hu
l
l
.
c: isl_*_set_ratio
n
al: m
o
ve
to isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdo
o
laege
isl_
m
at
.
c: move is
l
_b
a
s
ic
_
map_transf
o
rm
_
dim
s
to isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
isl_m
a
t
.
c: privatel
y
export isl_mat_sub_transform
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Ver
d
oolaege
isl
_
aff
.
c: move
i
sl_seq_s
u
bstit
u
te to isl_seq
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven
V
erd
o
olaeg
e
Merge branch 'main
t
'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sv
e
n
V
erdoolaege
i
s
l_
q
po
l
y
nomial_move_dims: reset
s
pace
even if n
u
mber
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sven Verdoolaege
i
sl
_
space_move
_
dims: consistently reset source
a
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-23
Sv
e
n
V
erd
o
olaeg
e
isl_spac
e
_
m
o
v
e
_dim
s
:
r
e
n
ame "dim" argum
e
nt 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_reduce_coefficients: only
m
odify a
s
ingle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
S
v
en Verd
o
olaege
drop is
l
_ma
p
_im
p
licit_equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolaege
i
sl_map_simplify
.
c
:
fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verd
o
olaege
isl_lp
.
c:
f
ix typo in co
m
m
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoola
e
g
e
doc: e
x
plain must dependences
i
n the resu
l
t
o
f d
a
taflow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven Ver
d
oolaege
is
l
_bas
i
c_se
t
_mu
l
tiplicative_cal
l
: che
c
k f
o
r
e
m
pt
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-21
Sven Verdoolaege
isl_basic_ma
p
_project_out: special case obviou
s
ly e
m
pty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
S
v
e
n Verdoolaege
isl_u
p
oly_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
S
ven Verdo
o
laege
isl_morph
_
free: re
t
u
r
n N
U
LL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoolaege
isl_vertices_free
:
return NUL
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
Sven Verdoola
e
ge
isl_vertice
s
.
c:
f
ree
_
vertex_lis
t
:
r
e
t
urn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
Tobias
Gros
s
er
let isl_point_free return a
NULL po
i
nter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
Sven
Verdoo
l
aege
add
isl_aff_l
t
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-16
S
v
e
n Ve
r
do
o
laege
add
isl_aff_lt_ba
s
ic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next