diff options
| -rw-r--r-- | _CoqProject | 2 | ||||
| -rw-r--r-- | src/Encoding/PointEncoding.v (renamed from src/Spec/PointEncoding.v) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index a20d9b6a3..c2d015d39 100644 --- a/_CoqProject +++ b/_CoqProject @@ -37,6 +37,7 @@ src/Encoding/EncodingTheorems.v src/Encoding/ModularWordEncodingPre.v src/Encoding/ModularWordEncodingTheorems.v src/Encoding/PointEncodingPre.v +src/Encoding/PointEncoding.v src/Experiments/EncodingLemmas.v src/Experiments/GenericFieldPow.v src/Experiments/MontgomeryCurve.v @@ -96,7 +97,6 @@ src/Spec/Encoding.v src/Spec/ModularArithmetic.v src/Spec/ModularWordEncoding.v src/Spec/MxDH.v -src/Spec/PointEncoding.v src/Spec/WeierstrassCurve.v src/Specific/GF1305.v src/Specific/GF25519.v diff --git a/src/Spec/PointEncoding.v b/src/Encoding/PointEncoding.v index 92ba91a6d..92ba91a6d 100644 --- a/src/Spec/PointEncoding.v +++ b/src/Encoding/PointEncoding.v |