diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-06 15:59:28 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-04-06 16:49:53 -0400 |
| commit | cdee97867540fdfdfc6fa9f2c581eb99204adfcd (patch) | |
| tree | b45ea1e78df4c508bd4c857df687eac7983768cb /_CoqProject | |
| parent | 840606d18dc299cfbdbd47eac26102d4ddaffa52 (diff) | |
Add IntegrationTest for Sub
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 97b02cb5e..7c9bb012c 100644 --- a/_CoqProject +++ b/_CoqProject @@ -236,6 +236,7 @@ src/Spec/WeierstrassCurve.v src/Specific/GF1305.v src/Specific/GF25519.v src/Specific/IntegrationTestMul.v +src/Specific/IntegrationTestSub.v src/Specific/NewBaseSystemTest.v src/Specific/SC25519.v src/Specific/FancyMachine256/Barrett.v |