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

move todo to front

parent c3ea1b1e
......@@ -12,14 +12,15 @@ With respect to the reviews:
\todo{
- Give number of person-hours
ARGUE WHY WE DID NOT
- Give number of person-hours\\
+ ARGUE WHY WE DID NOT
- "This did not become very clear, because you mostly describe names
of tool while leaving out the details of what these tools carry out
conceptually."\\
+ anotation have to be carried out through the proof to help the smt-solver,
not in our case as we direct the proof.
not in our case as we direct the proof.\\
=> DO we write that in the intro or in the answer?
- "I was wondering whether you consider the approach in [13] as synthesis or
verification, because to me, it seemed a mix/neither."\\
......@@ -53,3 +54,6 @@ a justification for the implementations of Fiat Crypto or HACL*, hence adding
value to those other projects in addition to your own?"
+ Peter ?
}
\newpage
\pagenumbering{arabic}% Arabic page numbers (and reset to 1)
......@@ -20,6 +20,9 @@
\begin{document}
\input{_todo}
% TODO: replace this section with code generated by the tool at https://dl.acm.org/ccs.cfm
\begin{CCSXML}
<ccs2012>
......
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