diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/_CoqProject b/_CoqProject index e141313b6..e2619d54b 100644 --- a/_CoqProject +++ b/_CoqProject @@ -228,9 +228,6 @@ src/Spec/MontgomeryCurve.v src/Spec/MxDH.v src/Spec/WeierstrassCurve.v src/Spec/Test/X25519.v -src/Specific/ArithmeticSynthesisTest130.v -src/Specific/IntegrationTestKaratsubaMul.v -src/Specific/IntegrationTestKaratsubaMulDisplay.v src/Specific/IntegrationTestMontgomeryP256_128.v src/Specific/IntegrationTestMontgomeryP256_128Display.v src/Specific/IntegrationTestMontgomeryP256_128_Add.v @@ -241,7 +238,6 @@ src/Specific/IntegrationTestMontgomeryP256_128_Opp.v src/Specific/IntegrationTestMontgomeryP256_128_OppDisplay.v src/Specific/IntegrationTestMontgomeryP256_128_Sub.v src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.v -src/Specific/Karatsuba.v src/Specific/MontgomeryP256_128.v src/Specific/Framework/ArithmeticSynthesisFramework.v src/Specific/Framework/CurveParameters.v @@ -265,6 +261,10 @@ src/Specific/NISTP256/AMD64/fesubDisplay.v src/Specific/NISTP256/FancyMachine256/Barrett.v src/Specific/NISTP256/FancyMachine256/Core.v src/Specific/NISTP256/FancyMachine256/Montgomery.v +src/Specific/X2448/Karatsuba/C64/CurveParameters.v +src/Specific/X2448/Karatsuba/C64/Synthesis.v +src/Specific/X2448/Karatsuba/C64/femul.v +src/Specific/X2448/Karatsuba/C64/femulDisplay.v src/Specific/X25519/C32/CurveParameters.v src/Specific/X25519/C32/Synthesis.v src/Specific/X25519/C32/femul.v |