Skip to content
GitLab
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
583095f7
Commit
583095f7
authored
Oct 01, 2020
by
benoit
Browse files
more positive
parent
a68e8f9d
Changes
1
Hide whitespace changes
Inline
Side-by-side
paper/conclusion.tex
View file @
583095f7
...
...
@@ -109,7 +109,7 @@ at such moment, making it necessary to look into the VST code base and search fo
Furthermore, the VST being an academic software, it is very hard to work with a tool
without being involved in the development loop. Additionally newer versions often broke
some of our proofs and it was often needed to adapt to the changes. That being said,
as we reported our bugs and struggles to the development team, the toolchain improved a lot.
as we reported our bugs and struggles to the development team,
since then
the toolchain improved a lot.
\subheading
{
Extending our work.
}
The high-level definition (
\sref
{
sec:maths
}
) can easily be ported to any
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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