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_map.c: add_lower_div_constraint: return isl_stat
2017-01-25
Sven Verdoolaege
i
s
l_m
a
p
.
c:
a
dd
_
low
e
r_div
_
const
r
aint: retu
r
n i
s
l_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdool
a
e
g
e
isl_map
.
c: add_upper_div_c
o
ns
t
raint:
r
eturn i
s
l_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_
b
asic
_
map_fr
e
e_d
i
v: return
i
sl_
s
tat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doola
e
ge
is
l
_tab
.
c:
a
dd_div_constraints: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
oolaege
isl_tab
.
c:
p
e
rform_undo: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doolaege
isl_tab_callback
.
run: retu
r
n isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
ven
Verdoolaege
isl_ta
b
.
c
:
perform_un
d
o_var: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_tab
.
c: ununrest
r
ict
:
return isl_
s
t
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoolaege
isl_tab
.
c: unrel
a
x: re
t
urn isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
rdoolaege
isl_t
a
b
.
c: dr
o
p_row
:
return isl_s
t
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Ver
d
ool
a
ege
isl_ta
b
.
c
:
drop_col: return
i
sl
_
stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoolaege
i
s
l_ta
b
_track
_
bset
:
return isl_s
t
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
i
s
l_tab_t
r
ack_bmap: return is
l
_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_tab_add_ineq: retur
n
i
sl_s
t
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoolaege
isl_t
a
b
_
mark_em
p
ty: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoolaege
isl_fol
d
.
c:
jo
i
n_com
p
ati
b
le: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoola
e
ge
i
s
l
_
fold
.
c:
join_compatible: adju
s
t to
i
sl_
s
p
a
ce_match
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verdo
o
laege
i
sl_fold
.
c: join_comp
a
tible: rename "
d
i
m"
arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoolaege
i
s
l_*_m
a
tching_par
a
ms: r
e
tu
r
n i
s
l_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdoolaege
isl_*_
m
atching
_
pa
r
ams: adju
s
t
to isl_spa
c
e
_
match
retu
r
ning
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Ve
r
doolaege
isl_space
.
c:
m
atch: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdo
o
laege
isl_polyno
m
ial
.
c: co
m
patible_divs: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_mat_is_equ
a
l
:
retu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doolaege
isl_map_contains_point:
r
etur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_
v
e
rt
i
ces
.
c; b
s
et_
c
o
v
ers_tab
:
r
e
t
u
rn isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoolaege
isl_transitive
_
closu
r
e
.
c: isl_set_
o
verlaps: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
ool
a
e
ge
isl_tra
n
s
i
t
ive_closure
.
c: parame
t
ric_constant_never_positive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoolaege
isl_tr
a
nsiti
v
e_c
l
osure
.
c
: is_eq_stride: return isl
_
bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_schedule
r
.
c
:
h
as_any_definin
g
_equality: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
do
o
l
aege
isl_pw
_
*_
h
a
s_equal_space: return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoo
l
a
ege
isl_p
w
_templ
.
c: any_
d
ivs: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdool
a
ege
isl_tab_pip
.
c: parallel_constraints: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdool
a
ege
isl_tab_pip
.
c
: need_
s
plit
*
: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n Verdo
o
l
a
e
g
e
isl_
s
et_is_b
o
un
d
ed:
return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Ver
d
oolaeg
e
is
l
_co
a
les
c
e
.
c: co
n
tai
n
s: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_coalesce
.
c: same_
d
ivs: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
ven
V
erdoolaege
isl_coalesc
e
.
c: same
_
divs: adjust
t
o
isl_basic_m
a
p
_
d
ivs
_
know
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdoolaege
is
l
_co
a
lesce
.
c: is_affected: return
i
s
l
_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verd
o
o
l
aege
isl_coalesc
e
.
c
:
has_neste
d
_
div: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdo
o
laege
i
s
l_map
_
plai
n
_
i
s_sing
l
eton: return
i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verd
o
olaeg
e
isl_bas
i
c
_m
a
p
_
p
lain_is_singleton: return i
s
l_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoolaeg
e
i
s
l
_
s
et_has_
r
ation
a
l: re
t
ur
n
i
s
l_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoolaege
isl
_
map_has_ra
t
i
onal: return isl
_
b
o
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdoolaege
isl_b
a
si
c
_map
_
has_rational: retur
n
i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoo
l
aege
i
s
l_basic_map_is_rat
i
o
nal: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en V
e
rdoolaege
isl_basic_set_has_definin
g
_inequalities:
r
e
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en
V
er
d
o
olaege
isl_ba
s
ic_set_ha
s
_de
f
inin
g
_
e
qu
a
l
i
ty
:
return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_basic_m
a
p_ha
s
_defining_e
q
uali
t
y:
re
t
ur
n
is
l
_b
o
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_basic_{map,set}_is_div_constraint: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en
V
erdoolaege
i
s
l
_
map_s
i
mpl
i
f
y
.
c: single_un
k
nown:
r
etur
n
i
sl_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
olaege
isl_m
a
p_simplif
y
.
c: has_coef_one: return
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verdool
a
ege
i
sl_
m
a
p
_simplify
.
c: i
s
_opposite
:
retu
r
n i
s
l_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
r
d
oola
e
g
e
isl_map_simplify
.
c: div_is
_
r
e
dundant: return isl_
b
oo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
oolaege
isl
_
map_simplify
.
c: b
e
tter_di
v
_cons
t
raint: retu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoola
e
ge
i
s
l
_map_simplify
.
c:
o
k_to_set_d
i
v
_from_bound: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_
m
ap_simplify
.
c: ok
_
to_eli
m
inate_div: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Verd
o
o
l
a
ege
isl
_
map
_
simpli
f
y
.
c
: fix typo in
co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdoolaege
isl_set_plain_is
_
fixed:
return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoo
l
ae
g
e
i
s
l_
m
ap_
p
lain_is_fixed: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven
Verdool
a
ege
isl_basic_ma
p
_p
l
ain_is_fixed: return
isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_ma
p
_plain_has
_
fixed_var: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
olaege
is
l
_basi
c
_
map_
i
mage_is_bounded: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
erdoo
l
aege
isl_basic_m
a
p_image
_
is
_
bounded
:
adjust to i
s
l_basic_set_is_b
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven
Verdool
a
ege
is
l
_
s
et_dim_is_boun
d
ed: ret
u
r
n
i
sl
_
boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
e
rdoolaeg
e
isl_map_dim_is_bounded: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
ola
e
ge
is
l
_basic_map_dim_
i
s_
b
ounded: retur
n
isl_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoo
l
aege
i
s
l_map_
i
s_
s
et:
return
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_map_is_pa
r
ams: return
i
sl
_
b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdo
o
laege
isl_ma
p
_co
m
patible
_
r
a
ng
e
: re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ve
r
doolaege
isl
_
map_compati
b
le_dom
a
in: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n
Ver
d
oolaege
isl_map_compatible_domain:
a
d
d
m
e
mory management ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolae
g
e
iisl_set_has_equal_space:
return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoolaege
isl_map
_
has_equal_space:
r
eturn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
r
dool
a
ege
isl_
s
et_
i
s
_box
:
r
e
tur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_basic_set_is_box:
re
t
urn
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en
V
e
r
doo
l
a
e
g
e
isl_b
a
sic_
s
et_
p
l
a
in_d
i
m_is_f
i
x
ed: re
t
urn
isl_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
rdoolaege
is
l
_basic_map_pla
i
n_has_fixed_v
a
r: return
isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_map
.
c: div_may_involv
e
_outp
u
t
:
retu
r
n is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_map
.
c: div_involv
e
s_vars: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ve
r
doolaege
isl_basic_map_
m
a
y
_b
e
_set: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ver
d
oolaege
i
sl_bas
i
c
_set_is_par
a
m
s: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ve
r
doolaege
isl_basic_m
a
p
_
compatibl
e
_range: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdo
o
laege
isl_
b
asic_map
_
c
ompatible_
r
ange: add memory manage
m
en
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
rd
o
olaeg
e
isl_basic_map_is_set: retu
r
n isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
r
doolaege
isl_
l
ocal_space_
i
s
_d
i
v_con
s
t
r
a
int
:
r
eturn isl_
b
o
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Verdoolaege
i
s
l_local_space_i
s
_name
d
_or_nested: r
e
turn
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_s
p
a
c
e_has_named_params:
r
eturn is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ver
d
ool
a
e
ge
isl_spac
e
_has_named_par
a
ms: rename "dim" arg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_space_may_be_s
e
t
:
re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
r
d
ool
a
ege
isl_space_is_n
a
m
e
d_
o
r_neste
d
:
return is
l
_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
v
e
n
V
e
rd
o
olaege
isl_space_may_be_set: rename "dim" argument to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoo
l
a
e
g
e
isl_spac
e
_is_named_or_nest
e
d: r
e
name "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven
V
e
rdoolaege
M
erge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolae
g
e
isl_ba
s
ic_map_contains: ret
u
rn fa
l
s
e
in case of dimension
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
S
ve
n
Verdoolaeg
e
is
l
_
t
a
b_pip
.
c:
c
ontex
t
_
t
ab_for_lexmin: plug memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven
V
erdoolaege
i
s
l_basi
c
_set_bo
x
_from_points:
p
lug
m
e
m
ory
l
e
a
k
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sv
e
n
V
e
rdoolaege
isl
_
se
t
_bounded_
s
imp
l
e_hull:
plug
memory lea
k
on err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
isl
_
ma
p
_
s
i
mplify
.
c: no
r
malize_di
v
s:
plug mem
o
ry leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoola
e
ge
isl
_
map_
s
impli
f
y
.
c
: co
a
lesce_
o
r_drop_
m
ore_redund
a
nt_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdo
o
l
aeg
e
i
s
l_basic
_
set_solv
e
_ilp:
avoid
dou
b
le fre
e
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next