diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-11 16:13:15 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-11 16:13:15 -0500 |
| commit | ac9beaeec77c2b705cd3cbee6a0c3da2c90c7181 (patch) | |
| tree | e35eedf1ade81aed2df2ee63c3c3d140a456c35d /_CoqProject | |
| parent | 1e7fcc565eb04564c01f28577657ce07305f6afc (diff) | |
make update-_CoqProject
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 |