Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Benoit Viguier
coq-verif-tweetnacl
Commits
82028d76
Commit
82028d76
authored
Aug 15, 2019
by
Benoit Viguier
Browse files
remove empty entries and do not report them as found
parent
63058d72
Changes
2
Hide whitespace changes
Inline
Side-by-side
paper/bib.py
View file @
82028d76
...
...
@@ -235,10 +235,15 @@ def generate_entry(block):
output
+=
' {:15}= {},
\n
'
.
format
(
s
,
'{}'
)
else
:
c
=
block
[
'sections'
].
pop
(
idx
)[
1
]
diagnostic
(
Green
(
'field found:'
.
ljust
(
17
))
+
s
.
ljust
(
13
)
+
c
)
if
s
==
'author'
:
c
=
authors
(
c
)
output
+=
' {:15}= {},
\n
'
.
format
(
s
,
c
)
if
c
==
''
or
c
==
'{}'
:
diagnostic
(
Red
(
'field not found:'
.
ljust
(
17
))
+
s
)
if
i
!=
1
or
config
[
'extend'
]:
output
+=
' {:15}= {},
\n
'
.
format
(
s
,
'{}'
)
else
:
diagnostic
(
Green
(
'field found:'
.
ljust
(
17
))
+
s
.
ljust
(
13
)
+
c
)
if
s
==
'author'
:
c
=
authors
(
c
)
output
+=
' {:15}= {},
\n
'
.
format
(
s
,
c
)
if
len
(
block
[
'sections'
])
>
0
:
block
[
'sections'
].
sort
(
key
=
lambda
a
:
a
[
0
])
...
...
paper/collection.bib
View file @
82028d76
...
...
@@ -78,6 +78,7 @@
@book
{
Abrial:1996:BAP:236705
,
author
=
{Jean-Raymond Abrial}
,
editor
=
{}
,
title
=
{The B-book: Assigning Programs to Meanings}
,
publisher
=
{Cambridge University Press}
,
year
=
{1996}
,
...
...
@@ -386,7 +387,6 @@
@misc
{
coq-faq
,
author
=
{}
,
title
=
{{The Coq Proof Assistant} -- {Frequently Asked Questions}}
,
note
=
{\url{https://coq.inria.fr/faq}}
,
}
...
...
@@ -462,7 +462,6 @@
@misc
{
things-that-use-curve25519
,
author
=
{}
,
title
=
{Things that use Curve25519}
,
note
=
{\url{https://ianix.com/pub/curve25519-deployment.html}}
,
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment