diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-09-22 10:39:15 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-09-22 10:44:07 -0400 |
| commit | 54a1157a1c684449aaac2d24085fe7b3ebc24706 (patch) | |
| tree | b343dd45524c3c839bf40bede58467decb7ae7c2 | |
| parent | 5357fe92e65712a3e2506fe0a939b358d14183d7 (diff) | |
move eddsa rep change
| -rw-r--r-- | _CoqProject | 2 | ||||
| -rw-r--r-- | src/EdDSARepChange.v (renamed from src/Experiments/EdDSARefinement.v) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index c617ab1fc..d95dd8a3f 100644 --- a/_CoqProject +++ b/_CoqProject @@ -5,6 +5,7 @@ Bedrock/Word.v src/Algebra.v src/BaseSystem.v src/BaseSystemProofs.v +src/EdDSARepChange.v src/Testbit.v src/Assembly/AlmostConversion.v src/Assembly/AlmostQhasm.v @@ -35,7 +36,6 @@ src/Encoding/EncodingTheorems.v src/Encoding/ModularWordEncodingPre.v src/Encoding/ModularWordEncodingTheorems.v src/Encoding/PointEncodingPre.v -src/Experiments/EdDSARefinement.v src/Experiments/EncodingLemmas.v src/Experiments/GenericFieldPow.v src/ModularArithmetic/ExtPow2BaseMulProofs.v diff --git a/src/Experiments/EdDSARefinement.v b/src/EdDSARepChange.v index 48845b08e..48845b08e 100644 --- a/src/Experiments/EdDSARefinement.v +++ b/src/EdDSARepChange.v |