diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-06 04:26:12 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-10-18 23:01:29 -0400 |
| commit | d6703ded104fc9085474bfe68b7e897b35cfbe0a (patch) | |
| tree | 8ff0d10a98a1b4da3ec1c9ff4e5962cbf29d909b /_CoqProject | |
| parent | 28359fcb5be530da65d5049846927a84a880b919 (diff) | |
Fold Karatsuba into json format and synthesis
The json format now takes an additional, optional "goldilocks" boolean /
boolean-string key determining if we're doing karatsuba.
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 |