diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-15 18:04:38 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-15 18:04:43 -0400 |
| commit | b3f932ed66422e62bb720ee862dc99e9ae6592a4 (patch) | |
| tree | 578a376d0f9ae548e8cbb0cd1c6fe12c133ae9ec /_CoqProject | |
| parent | b9581c7bd814d7ca7663438d4a5d92ae9fab0ce6 (diff) | |
nsatz: reimplement, integrate, demonstrate
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 4ad320808..2fc5b1b90 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,10 +1,10 @@ -R src Crypto +src/Algebra.v src/BaseSystem.v src/BaseSystemProofs.v src/EdDSAProofs.v src/Field.v src/Rep.v -src/SaneField.v src/Testbit.v src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v src/CompleteEdwardsCurve/DoubleAndAdd.v |