repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
only use C++ 11 compiler if std::unordered_map is available
2017-02-23
Sve
n
Verdoo
l
aege
only
u
se C++ 11 co
m
piler if std:
:
un
o
r
dered_map is available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-23
Sven Verdoolaege
m
ove test for C++
11 compiler i
n
to AX_UN
O
RDERED_MAP
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-08
Sven
V
erd
o
olaege
d
oc: add a reference
to the tuto
r
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-08
Sven Verdoolae
g
e
doc:
update barvinok URL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sve
n
V
erdoolaege
doc:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
verify
.
c: fix typ
o
s
i
n comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven
V
erdoolaege
isc
c
: a
d
d "cross
_
range"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
summate
.
c: barvinok_summate_dat
a
: rename "dim" f
i
eld
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdool
a
ege
summate
.
c
: add_u
n
bounded_
g
uard
e
d_qp:
rename "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sve
n
Verdoolaeg
e
sum
m
ate
.
c: add_basic_guarded_qp: use proper pa
r
a
m
eter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven
Verdool
a
ege
summate
.
c: add_basi
c
_guarded_qp: rena
m
e "dim"
v
aria
b
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven
Verdoolaege
b
arvinok
.
cc: basi
c
_set_card: rena
m
e "dim" va
r
iable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoo
l
aege
isl
_
set_to_p
o
l
ylib: add memory management
a
nnotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven V
e
rdoolaege
isl_
b
asic_set_to
_
p
o
lylib: add
m
emory manag
e
men
t
ann
o
tation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sv
e
n
V
e
rdoolaege
isl_basi
c
_
m
ap_to_polylib: use is
l
_basic_m
a
p_{
i
n,}equalitie
s
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
isl_basic_map_to_polylib: ad
d
memo
r
y managemen
t
annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
i
sl_b
a
s
ic_map_new_from
_
p
o
lylib: use isl_basic
_
m
ap_from_const
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven
Verdoolaege
isl_basic_map_new_fr
o
m_polylib: renam
e
"d
i
m" a
r
gument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
i
sl_basi
c
_
map_
n
ew_
f
rom_polylib: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven
Verdoolaege
skewed_gen
f
un
.
h:
i
n
clude m
o
re speci
f
ic he
a
ders
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
lattice_poin
t
.
cc: incl
u
de more specific he
a
ders
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoola
e
ge
d
poly
.
h:
i
n
clude
more specific hea
d
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven
Verdoolaege
util
.
c: drop redund
a
n
t inclu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-05
Sven Verdoolaege
u
t
il
.
c: dro
p
redund
a
nt incl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-05
Sven Verdoo
l
a
e
ge
test_approx
.
c: dr
o
p
redundant include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-05
Sven Verdoolaege
options
.
c: drop r
e
dunda
n
t i
n
clude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoo
l
aege
lex
m
i
n
.
c
c
: drop r
e
dundant include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n Verdoolaeg
e
lexmi
n
.
cc: dro
p
redund
a
nt include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n Verdoolaege
lattice_point
.
h: drop redund
a
nt inc
l
ude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
ge
n
fun_cons
t
ructor
.
h: drop redundant include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
S
v
en Verdoo
l
a
e
ge
evalu
e
_ut
i
l
.
h: drop redundan
t
i
nclude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sve
n
V
erdoola
e
g
e
edomain
.
h: drop redundant includ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
decompo
s
e
r
.
h: drop red
u
ndant include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven
V
erdoolaeg
e
d
ecompose
r
.
c
c: drop redun
d
ant include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
co
n
version
.
h: drop red
u
nd
a
nt in
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdo
o
laege
bound
.
c: drop r
e
d
u
n
d
an
t
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n V
e
rdoolaege
b
a
rvi
n
ok/genfun
.
h: drop re
d
unda
n
t
i
ncl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sve
n
Verdoolaege
bar
v
i
n
ok_summ
a
te
.
c: dr
o
p redundant include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
bar
v
i
nok
.
c
c: drop
r
e
d
undant
i
nclu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
S
v
en Verdoola
e
g
e
vo
l
ume
.
c: direc
t
l
y
include required
header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
vertex_cone
.
cc: direc
t
ly include require
d
headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n Verd
o
olae
g
e
verify
.
c
: directl
y
include require
d
headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n Verdoolaege
util
.
c: direc
t
ly
include required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Ver
d
oolaege
test_bound
.
c: direc
t
l
y include required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n
Verdool
a
eg
e
test_approx
.
c: di
r
ectl
y
include
required hea
d
er
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoola
e
g
e
testl
i
b
.
cc: directly
i
nclude
req
u
i
r
ed headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
S
v
en
V
e
rdoola
e
ge
summate
.
c: dir
e
c
tl
y
incl
u
de requ
i
red hea
d
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n Verdoolaeg
e
series
.
cc:
d
i
rectly include required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
S
v
e
n
Verdo
o
laeg
e
sample
.
c: direc
t
ly inclu
d
e required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdool
a
ege
reducer
.
cc: direc
t
ly
i
nclude required hea
d
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdool
a
ege
reducer
.
h: di
r
e
ctly inclu
d
e requir
e
d hea
d
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven V
e
rdoolaege
polysign_isl
.
c: d
i
rectly
include required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
options
.
c: direct
l
y i
n
c
lude
r
equired header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoola
e
g
e
le
x
min
.
c
c:
directly in
c
lude required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
i
s
cc
.
c: directly include required
h
eaders
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
S
v
en Verdoo
l
aege
i
s
l
_ma
p
_
p
o
l
ylib
.
c
: d
i
r
e
ctl
y
inclu
d
e
r
equir
e
d headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
S
ven
V
erdoolaeg
e
isl_aff
_
poly
l
ib
.
c
:
directly inclu
d
e required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven
V
erdoolaeg
e
ge
n
fun_constructor
.
h: directly include re
q
uired headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven
V
erdoolaege
g
enfun_construct
o
r
.
c
c: dir
e
ctly include req
u
ire
d
headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
genfun
.
cc: directly include required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven
V
erdoo
l
a
ege
ev
a
lue_isl
.
c
:
direct
l
y
include required
h
ead
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven V
e
rdoolaeg
e
dpoly
.
cc: di
r
e
ctly
in
c
lude r
e
q
uired headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sve
n
V
e
rdoolaege
decomposer
.
cc:
d
irec
t
l
y
include required header
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Ve
r
doolae
g
e
c
o
unter
.
h: directly
include
r
equired headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n V
e
r
doolaege
c
ou
n
te
r
.
cc:
d
irectly
i
nclude requi
r
ed
headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verd
o
ol
a
eg
e
c
o
nversion
.
h: directly include
r
eq
u
i
r
ed he
a
ders
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven
Ver
d
o
olaege
conversion
.
cc: directly i
n
cl
u
de required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verd
o
olae
g
e
b
ound
.
c
:
di
r
ectl
y
include
required header
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven
Verdool
a
e
g
e
bfco
u
nter
.
h: d
i
rectly
include required heade
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven
V
erdool
a
ege
b
f
c
ounter
.
cc
:
directly
i
ncl
u
d
e
required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sve
n
Verdoolaeg
e
basis_redu
c
tion
.
c:
dir
e
ctly include required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n Verdoolaege
bar
v
i
n
o
k
/genfun
.
h: directl
y
include re
q
uired h
e
ade
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sve
n
Verdoolaeg
e
barvi
n
ok_un
i
on
.
cc
:
directly
i
nclude req
u
ire
d
headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdool
a
ege
barvinok_summate
.
c: direct
l
y include required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Ve
r
doolaege
barvinok_
e
nume
r
ate_e
.
cc: directly inc
l
ude
requi
r
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoo
l
aege
b
a
r
v
inok_enum
e
rate
.
cc:
d
irectly include required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n Ver
d
o
ola
e
ge
barvinok_ehrhart
.
cc
:
direc
t
l
y includ
e
r
equired h
e
ader
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Ve
r
doolaege
barvino
k
.
cc: directly
include required header
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n
V
erdoolaege
u
s
e
barvinok/polylib
.
h instead of near du
p
l
icate isl
_
p
o
ly
l
i
b
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
c
o
u
n
ter
.
cc:
d
rop unneeded using
-
d
ecla
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven V
e
rdoo
l
aege
ma
r
k debugging functions as unused
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sve
n
Ver
d
oolae
g
e
use std::unordered_map
wh
e
n av
a
ilable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven
Verdoola
e
ge
lauren
t
_old
.
cc
:
l
a
u
r
ent_summat
o
r_
o
ld: member initi
a
lizer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoola
e
ge
laurent
.
cc: laurent_summator: member
i
nitializer
l
ist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdool
a
ege
eule
r
.
c
c:
su
m
mat
o
r_2d
:
re
o
rder member
initia
l
i
zer list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sven Ve
r
doolaege
reduc
e
r
.
c
c: dp
o
ly_r_scanner:
r
eorder me
m
ber initializer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n Verdo
o
laeg
e
lexmin
.
cc: ind
i
c
a
tor: reorder membe
r
initial
i
ze
r
list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sve
n
Verdoolaege
b
a
rvinok
.
c
c: bfe_cum:
r
e
order member initializer list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
S
v
e
n
Ve
r
doolaege
lexmin
.
cc: indicato
r
_constructor::indi
c
a
t
or_
c
ons
t
ructor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
S
v
en Verd
o
ol
a
ege
barv
i
nok
.
cc
:
ienumerator:
:
ienumerato
r
: d
r
op redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-02
Sve
n
Verdool
a
ege
barv
i
nok
.
cc: bfenumerator:
:
bfenumerat
o
r: drop redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sv
e
n V
e
rdoolaeg
e
bo
u
n
d
.
c: v
e
rif
y
_poi
n
t: drop unused error la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verd
o
olae
g
e
b
a
rvin
o
k_enumerate
.
c
c
: verify_
p
oi
n
t: drop unused error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
S
v
e
n
V
erdoolaege
volume
.
c: Param_Polyhe
d
ron_Volume: dro
p
u
nused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolaege
verify
_
series
.
cc; c
p
_g
f
: drop unu
s
e
d variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven
Ver
d
oolaege
verify
.
c: check_EP_on
_
poly:
drop
u
nused variab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdoolaege
v
e
rify
.
c: check_
E
P: drop unus
e
d variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sve
n
V
er
d
oolaege
util
.
c
: remo
v
e_equalities:
d
rop u
n
u
s
ed
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven
Verdoolaege
ut
i
l
.
c: f
o
r_each_lower
_
u
p
p
er_bound: drop unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-23
Sven
V
e
r
d
o
olaege
util
.
c: bv_ceil3: dr
o
p
u
nused var
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next