Commit f710e68c authored by Benoit Viguier's avatar Benoit Viguier
Browse files

fix anonfiles

parent 4bec812b
......@@ -41,6 +41,8 @@ $(DIST)/specs_map.pdf:
dist: clean-dist $(DIST) $(DIST)/specs_map.pdf
@echo $(BOLD)$(YELLOW)"Preparing $(DIST)"$(NO_COLOR)$(DARKGRAY)
cp -r proofs $(DIST)
cd $(DIST)/proofs/spec && $(MAKE) clean
cd $(DIST)/proofs/vst && $(MAKE) clean
mkdir $(DIST)/packages
cp -r packages/coq-compcert $(DIST)/packages/
cp -r packages/coq-reciprocity $(DIST)/packages/
......
......@@ -112,7 +112,7 @@ HMAC-DRBG~\cite{2017-Ye} and SHA-256~\cite{2015-Appel}.
\subheading{Reproducing the proofs.}
To maximize reusability of our results we placed the code of our formal proof
presented in this paper into the public domain.
It is available at \todo{FIX ME: https://cdn-09.anonfile.com/6fp8ta70n9/014c4f8c-1569921449/coq-verif-tweetnacl.tar.gz}
It is available at \url{https://cdn-15.anonfile.com/B9x43aZ6n4/6aa03e98-1581782249/coq-verif-tweetnacl.tar.gz}
with instructions of how to compile and verify our proof.
A description of the content of the code archive is provided in
Appendix~\ref{appendix:proof-folders}.
......
......@@ -17,7 +17,7 @@
\pagenumbering{gobble}
\begin{document}
\begin{table*}[h]
\begin{table*}[ht]
\centering
\begin{tabular}{ l | l | l }
Definition & File & Description \\
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment