diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-06-22 17:07:16 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-06-22 17:07:22 -0400 |
| commit | 3bc1dda17334225a2970fd31ef1c92862799b9a1 (patch) | |
| tree | d29522cda123cb741602211bab2a385833fc1cc1 /_CoqProject | |
| parent | e8eba53e187e26f28870e9070360810dbdcbe6b8 (diff) | |
move Specifi p256 files into their own directory
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/_CoqProject b/_CoqProject index c4f414b6c..5f838486f 100644 --- a/_CoqProject +++ b/_CoqProject @@ -224,19 +224,19 @@ src/Specific/IntegrationTestKaratsubaMul.v src/Specific/IntegrationTestKaratsubaMulDisplay.v src/Specific/IntegrationTestLadderstep130.v src/Specific/IntegrationTestLadderstep130Display.v -src/Specific/IntegrationTestMontgomeryP256.v -src/Specific/IntegrationTestMontgomeryP256Display.v src/Specific/IntegrationTestMontgomeryP256_128.v src/Specific/IntegrationTestMontgomeryP256_128Display.v src/Specific/IntegrationTestSub.v src/Specific/IntegrationTestSubDisplay.v src/Specific/IntegrationTestTemporaryMiscCommon.v src/Specific/Karatsuba.v -src/Specific/MontgomeryP256.v src/Specific/MontgomeryP256_128.v -src/Specific/FancyMachine256/Barrett.v -src/Specific/FancyMachine256/Core.v -src/Specific/FancyMachine256/Montgomery.v +src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256.v +src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.v +src/Specific/NISTP256/AMD64/MontgomeryP256.v +src/Specific/NISTP256/FancyMachine256/Barrett.v +src/Specific/NISTP256/FancyMachine256/Core.v +src/Specific/NISTP256/FancyMachine256/Montgomery.v src/Specific/X25519/C64/femul.v src/Specific/X25519/C64/femulDisplay.v src/Specific/X25519/C64/fesquare.v |