From ac9beaeec77c2b705cd3cbee6a0c3da2c90c7181 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 11 Nov 2016 16:13:15 -0500 Subject: make update-_CoqProject --- _CoqProject | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to '_CoqProject') 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 -- cgit v1.2.3