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
barvinok 0.40
2017-02-23
Sven
V
e
rdoolaeg
e
bar
v
inok 0
.
4
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-23
S
ven Verdoolaege
update AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-23
Sven V
e
rdoolaege
onl
y
use
C++ 11 compiler if std::unor
d
e
r
ed_map is a
v
a
i
lable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-23
Sven
V
e
rdoolae
g
e
m
ove t
e
st for C+
+
11 co
m
pi
l
e
r
into AX_UNORDERED_MAP
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-08
Sven Ver
d
o
o
l
a
e
ge
doc
:
add a reference to the tu
t
orial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-08
Sv
e
n Verdoolaege
doc: up
d
ate
b
arvino
k
URL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sve
n
Verdo
o
laege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
ve
r
ify
.
c
:
fix
t
ypos i
n
com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Ve
r
doo
l
aege
isc
c
: add "c
r
oss_range" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven
V
e
r
dool
a
eg
e
summate
.
c: b
a
rvinok_summate_data: rename "dim" fiel
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sve
n
Verdoolaege
summate
.
c: add_unboun
d
ed_guar
d
ed_qp: rename "
d
i
m" varia
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
summate
.
c: add_basic_guarded_qp: use proper parame
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
su
m
mate
.
c: add_b
a
sic_guarded_qp: rename "dim"
variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
barvinok
.
cc: basic_set_card: renam
e
"
d
im
"
va
r
i
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
S
v
en Verdoo
l
aege
isl_s
e
t_to_p
o
lylib: ad
d
memo
r
y management annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaeg
e
isl_ba
s
ic_set_to
_
poly
l
ib: add me
m
o
r
y management a
n
nota
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
isl
_
basic_map
_
to_polylib
:
u
s
e
isl_ba
s
ic_map_{in,
}
equalities_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven
V
e
rdoolaege
isl_basic
_
ma
p
_to
_
polylib
:
a
d
d
m
emo
r
y manageme
n
t annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
i
s
l
_
ba
s
ic_map_new_fro
m
_polylib: use isl_ba
s
ic_m
a
p_from_const
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verd
o
olae
g
e
isl_b
a
s
i
c_map_new_fro
m
_polylib: re
n
a
m
e
"di
m
"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sv
e
n Verdoola
e
ge
isl_basic_map_ne
w
_from_polylib:
a
dd me
m
ory man
a
geme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdool
a
eg
e
s
kewed_g
e
nfun
.
h: include
m
o
r
e spec
i
fic headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sv
e
n
Verdoolaeg
e
l
a
tti
c
e
_
point
.
cc
:
include more sp
e
cific header
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoo
l
ae
g
e
dpoly
.
h: include more
s
p
ecific header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
S
ven Verdoolaege
u
til
.
c: dr
o
p re
d
undant include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-05
Sven Ve
r
doolaege
u
t
il
.
c
:
dr
o
p redundant
inclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-05
Sven Ve
r
d
ool
a
e
g
e
t
e
st_
a
ppr
o
x
.
c: drop re
d
u
ndant include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-05
Sv
e
n Ve
r
doolaege
opti
o
n
s
.
c: drop redu
n
da
n
t i
n
clude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven V
e
r
d
ool
a
eg
e
lexmin
.
cc
:
drop
r
edunda
n
t include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
lexmin
.
cc: drop redundant
incl
u
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven
V
erdoolaege
l
a
ttice_point
.
h
:
d
r
op redund
a
nt inc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sve
n
Ve
r
doo
l
aege
gen
f
un_constr
u
ctor
.
h: d
r
op redundant incl
u
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sve
n
Verdo
o
lae
g
e
eva
l
ue_ut
i
l
.
h: drop redundant include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
S
v
en Ver
d
oo
l
aeg
e
edoma
i
n
.
h: drop redundant in
c
lude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven V
e
rdoo
l
a
e
ge
d
e
compose
r
.
h: drop redundant include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
decomposer
.
cc: drop redundant incl
u
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven
V
erdoolaege
c
o
nversion
.
h: drop redundant i
n
clude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Ver
d
oolaege
bound
.
c
:
drop re
d
undant include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdo
o
la
e
ge
barvinok/genfu
n
.
h: drop redund
a
nt include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoola
e
ge
b
a
rvinok_summa
t
e
.
c
: drop redu
n
dant include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verd
o
ol
a
ege
barvinok
.
cc: dr
o
p
r
e
dundant
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
S
ve
n
Verdoolaege
volume
.
c: dire
c
tly
i
n
c
lude r
e
quired
hea
d
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
vertex_cone
.
cc: directl
y
i
n
clud
e
required
h
eaders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven
V
e
rdoolaeg
e
verify
.
c: directl
y
i
n
c
l
ude require
d
head
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoola
e
ge
util
.
c: directly
i
nclude req
u
i
red
h
eaders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven V
e
rdo
o
laege
tes
t
_boun
d
.
c
:
direc
t
l
y in
c
lude r
e
quired headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
S
ven Verdoolae
g
e
test
_
approx
.
c: directly
incl
u
d
e
required
headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven
Verdoolaege
tes
t
li
b
.
cc: directl
y
include re
q
uired header
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven
Verdoolaege
s
u
mmate
.
c:
di
r
ectl
y
include required hea
d
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven
Ve
r
do
o
laeg
e
series
.
cc: directly include requ
i
red headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
S
v
en Verdoola
e
ge
sample
.
c: directly include required heade
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
S
v
en Verdool
a
ege
reducer
.
cc: d
i
r
e
ctly
i
nclude r
e
quir
e
d headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
S
ve
n
Verdoolaege
reducer
.
h:
d
irectly include required head
e
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
polysign_isl
.
c: direc
t
ly i
n
clude required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven V
e
rdoolae
g
e
options
.
c
:
d
irectly inclu
d
e r
e
quired
h
eader
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n V
e
rdoolaege
le
x
min
.
cc:
d
irec
t
l
y
in
c
lu
d
e requir
e
d
headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Ver
d
oolaege
iscc
.
c: di
r
e
c
tly incl
u
de req
u
i
red
head
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sve
n
V
erdo
o
laeg
e
isl_map
_
po
l
ylib
.
c: directly i
n
clude re
q
uired
he
a
ders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
isl_af
f
_poly
l
i
b
.
c:
d
irectly include re
q
uired he
a
ders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n V
e
r
d
oolaege
ge
n
fun_const
r
ucto
r
.
h: d
i
rectly include r
e
quired hea
d
e
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolae
g
e
genfun_construct
o
r
.
cc:
directly
incl
u
de require
d
heade
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
genfun
.
cc: directly includ
e
required h
e
aders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
S
v
en Verdoolaege
evalue_isl
.
c: dire
c
tly
i
nclu
d
e required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
S
ven Verd
o
olaege
dpoly
.
cc
:
directly in
c
l
ude r
e
quired he
a
d
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven
V
erdoolaege
decompos
e
r
.
cc:
dire
c
tly include r
e
quired headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdool
a
ege
counter
.
h: d
i
r
ectly in
c
lud
e
required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoo
l
aege
cou
n
ter
.
cc:
d
i
rectly inclu
d
e required h
e
aders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
conversio
n
.
h
:
directly
i
nclude re
q
u
i
r
ed headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
co
n
version
.
c
c: direct
l
y inclu
d
e required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven V
e
rdoola
e
ge
bou
n
d
.
c:
d
irectly incl
u
de required
headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n Verdoolae
g
e
bfcounter
.
h
:
di
r
ectly include
required head
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n Verdoolaege
bf
c
ount
e
r
.
cc: directly include require
d
h
e
aders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
basis_reduction
.
c: directly incl
u
de required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Ve
r
dool
a
ege
barvinok/genfun
.
h: d
i
rectly
i
nclude required
headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
S
ven Ve
r
doolaege
b
a
r
vinok
_
union
.
c
c
: dir
e
ctly
i
nc
l
ude re
q
ui
r
ed headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n Ver
d
oolaege
b
arv
i
n
ok_summ
a
te
.
c:
d
i
rectly include required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sve
n
Ve
r
doolaege
b
a
rv
i
nok_en
u
mer
a
te_e
.
cc: directl
y
i
n
clude requ
i
red
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
barvinok_
e
num
e
rate
.
cc
:
directly
includ
e
required
headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoola
e
ge
barvinok_ehrhart
.
cc: directly in
c
lude required header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoo
l
aege
bar
v
inok
.
cc: dire
c
tly include required he
a
ders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolae
g
e
us
e
barvinok
/
polylib
.
h instead of near duplicate isl
_
polylib
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sve
n
Verdoolaege
c
ounter
.
cc: dro
p
unne
e
ded using-declarations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven
Verdoolae
g
e
mark
d
ebugg
i
ng fun
c
tions as
u
nused
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Ver
d
oolaege
use
s
t
d::
u
nor
d
ered
_
map when avail
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven
V
erdoo
l
aege
laurent_old
.
cc: laurent_
s
ummator_old: member i
n
iti
a
lizer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sv
e
n Ve
r
doolaege
l
aurent
.
cc: lau
r
ent_summator: member initia
l
izer lis
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolae
g
e
euler
.
cc: summator_2d: re
o
rder me
m
ber i
n
itializer
list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
reducer
.
cc: dpo
l
y_r_s
c
anner: reorder
m
e
m
ber in
i
tiali
z
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
S
v
en Verd
o
ol
a
ege
lexmin
.
cc: indicator:
r
eorder member initializer list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven
Verdoolaege
barvino
k
.
cc: bfe_cum: reorder m
e
mber initialize
r
li
s
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven Verdoolaege
lexmi
n
.
cc: indicator_c
o
nstructor
:
:
indic
a
tor_constructor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven
Verd
o
ol
a
ege
barvi
n
ok
.
cc: ien
u
m
e
rator::ienumera
t
or: drop redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-02
Sven
V
erdoolaege
barvinok
.
cc:
bfenumerator::b
f
enumerator:
drop
r
edundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-23
Sve
n
V
e
rdo
o
laege
boun
d
.
c:
verify_point: dr
o
p
u
nused err
o
r lab
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-23
Sven Ver
d
oo
l
aeg
e
barvinok_
e
num
e
rate
.
cc: verify_po
i
n
t
: drop u
n
used
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-23
Sven Verdool
a
ege
vo
l
ume
.
c:
Pa
r
am_Polyhedr
o
n_Volum
e
: drop u
n
used variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-23
Sven Ver
d
ool
a
e
g
e
verify_
s
e
ries
.
cc; cp_gf:
d
rop unus
e
d variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-23
Sven
V
erdoolae
g
e
verif
y
.
c: c
h
eck_E
P
_on_poly
:
drop
u
nused v
a
r
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-23
Sven Ver
d
oolaege
verify
.
c: check_EP: drop un
u
sed
v
a
ria
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-23
S
v
en Verdoolaege
util
.
c: remove_equalities: d
r
op unused varia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next