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
ef3cbec1
Commit
ef3cbec1
authored
Oct 02, 2020
by
benoit
Browse files
additional information that Git LFS is required (review A)
parent
2406eb00
Changes
1
Hide whitespace changes
Inline
Side-by-side
paper/csf-supplementary/usenix-a.tex
View file @
ef3cbec1
...
...
@@ -115,8 +115,9 @@ On a side note, I failed to compile the project: setting up an opam switch with
No solution found, exiting"
}}
\begin{answer}
We were not able to reproduce this error, but
now make the code available in an anonymous GitHub repository that also contains
a virtual-machine image with all software that is required to reproduce the proofs.
in addition to making the code available in an anonymous GitHub repository,
we also provide a virtual-machine image containing all software required to reproduce the proofs.
Note that to access this image, the Git Large File Storage extension is required.
\end{answer}
Here are a few linear comments:
...
...
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