diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-05 22:32:49 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-10-18 23:01:29 -0400 |
| commit | ffa0731cc244091460586b46bf4817e5a918ba49 (patch) | |
| tree | 05bfc8058a8af3469d3652d8a7b95ca5ab45c37f /_CoqProject | |
| parent | b6e37eee58b0a8f43711533d49392172786e2cb5 (diff) | |
Reorgainze synthesis framework files into a Framework folder
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/_CoqProject b/_CoqProject index afeab0c02..9dc26ab87 100644 --- a/_CoqProject +++ b/_CoqProject @@ -228,11 +228,7 @@ src/Spec/MontgomeryCurve.v src/Spec/MxDH.v src/Spec/WeierstrassCurve.v src/Spec/Test/X25519.v -src/Specific/ArithmeticSynthesisFramework.v src/Specific/ArithmeticSynthesisTest130.v -src/Specific/CurveParameters.v -src/Specific/IntegrationTestDisplayCommon.v -src/Specific/IntegrationTestDisplayCommonTactics.v src/Specific/IntegrationTestFreeze.v src/Specific/IntegrationTestFreezeDisplay.v src/Specific/IntegrationTestKaratsubaMul.v @@ -251,12 +247,16 @@ src/Specific/IntegrationTestMontgomeryP256_128_Sub.v src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.v src/Specific/IntegrationTestSub.v src/Specific/IntegrationTestSubDisplay.v -src/Specific/IntegrationTestTemporaryMiscCommon.v src/Specific/Karatsuba.v -src/Specific/LadderstepSynthesisFramework.v src/Specific/MontgomeryP256_128.v -src/Specific/ReificationTypes.v -src/Specific/SynthesisFramework.v +src/Specific/Framework/ArithmeticSynthesisFramework.v +src/Specific/Framework/CurveParameters.v +src/Specific/Framework/IntegrationTestDisplayCommon.v +src/Specific/Framework/IntegrationTestDisplayCommonTactics.v +src/Specific/Framework/IntegrationTestTemporaryMiscCommon.v +src/Specific/Framework/LadderstepSynthesisFramework.v +src/Specific/Framework/ReificationTypes.v +src/Specific/Framework/SynthesisFramework.v src/Specific/NISTP256/AMD64/MontgomeryP256.v src/Specific/NISTP256/AMD64/feadd.v src/Specific/NISTP256/AMD64/feaddDisplay.v |