diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-26 00:34:03 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-06-26 10:02:10 -0400 |
| commit | 689bd71a2a5afd5ce652ff123252f163f5047b74 (patch) | |
| tree | b0743697e6daacd38ff9e45274910d880306b04d /_CoqProject | |
| parent | b259663f37d8cf05ad247c1fe3232b08f6e09e8b (diff) | |
Add nonzero synthesis
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 2fe792e33..6544b8dbe 100644 --- a/_CoqProject +++ b/_CoqProject @@ -229,6 +229,8 @@ 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_Nonzero.v +src/Specific/IntegrationTestMontgomeryP256_128_NonzeroDisplay.v src/Specific/IntegrationTestMontgomeryP256_128_Opp.v src/Specific/IntegrationTestMontgomeryP256_128_OppDisplay.v src/Specific/IntegrationTestMontgomeryP256_128_Sub.v @@ -242,6 +244,8 @@ 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_Nonzero.v +src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_NonzeroDisplay.v src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_Opp.v src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.v src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_Sub.v |