diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-22 22:11:35 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-22 22:11:35 -0400 |
| commit | e334bb2c3f5e0f845ed996146e02a6bb4d0f33ae (patch) | |
| tree | 7b1ae06286203d642cff43dad6fdb8771a537626 /_CoqProject | |
| parent | ff040390affcd3a1fdfbddb5301e5ecb47ceeff6 (diff) | |
Add (partially admitted) integration tests for add, sub, opp
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 5f838486f..02c95d8ae 100644 --- a/_CoqProject +++ b/_CoqProject @@ -226,6 +226,12 @@ src/Specific/IntegrationTestLadderstep130.v src/Specific/IntegrationTestLadderstep130Display.v src/Specific/IntegrationTestMontgomeryP256_128.v src/Specific/IntegrationTestMontgomeryP256_128Display.v +src/Specific/IntegrationTestMontgomeryP256_128_Add.v +src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.v +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/IntegrationTestSub.v src/Specific/IntegrationTestSubDisplay.v src/Specific/IntegrationTestTemporaryMiscCommon.v @@ -233,6 +239,12 @@ src/Specific/Karatsuba.v src/Specific/MontgomeryP256_128.v src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256.v src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.v +src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_Add.v +src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.v +src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_Opp.v +src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.v +src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_Sub.v +src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.v src/Specific/NISTP256/AMD64/MontgomeryP256.v src/Specific/NISTP256/FancyMachine256/Barrett.v src/Specific/NISTP256/FancyMachine256/Core.v |