diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 930b2f35a..43b7d4434 100644 --- a/_CoqProject +++ b/_CoqProject @@ -71,13 +71,13 @@ src/ModularArithmetic/ExtPow2BaseMulProofs.v src/ModularArithmetic/ExtendedBaseVector.v src/ModularArithmetic/ModularArithmeticTheorems.v src/ModularArithmetic/ModularBaseSystem.v -src/ModularArithmetic/ModularBaseSystemWord.v src/ModularArithmetic/ModularBaseSystemList.v src/ModularArithmetic/ModularBaseSystemListProofs.v src/ModularArithmetic/ModularBaseSystemListZOperations.v src/ModularArithmetic/ModularBaseSystemListZOperationsProofs.v src/ModularArithmetic/ModularBaseSystemOpt.v src/ModularArithmetic/ModularBaseSystemProofs.v +src/ModularArithmetic/ModularBaseSystemWord.v src/ModularArithmetic/Pow2Base.v src/ModularArithmetic/Pow2BaseProofs.v src/ModularArithmetic/Pre.v @@ -165,6 +165,12 @@ src/Specific/GF25519Reflective/Reified/Pack.v src/Specific/GF25519Reflective/Reified/PreFreeze.v src/Specific/GF25519Reflective/Reified/Sub.v src/Specific/GF25519Reflective/Reified/Unpack.v +src/SpecificGen/GF2213_32.v +src/SpecificGen/GF2519_32.v +src/SpecificGen/GF25519_32.v +src/SpecificGen/GF25519_64.v +src/SpecificGen/GF41417_32.v +src/SpecificGen/GF5211_32.v src/Tactics/VerdiTactics.v src/Tactics/Algebra_syntax/Nsatz.v src/Test/Curve25519SpecTestVectors.v |