diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-05-12 18:07:47 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-05-17 17:16:47 -0400 |
| commit | be5f86b5483d2e00ec9002b8db00a1ff8ecb9cfe (patch) | |
| tree | 46307ee43ca27edf483a9073938415dddc0a364f /_CoqProject | |
| parent | 7884130a89d07f4bbe1465126c06ca4c3927cb81 (diff) | |
Add reflective machinery for adc, zselect
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 294d527fc..1cb0fed20 100644 --- a/_CoqProject +++ b/_CoqProject @@ -199,6 +199,8 @@ src/Spec/Test/X25519.v src/Specific/ArithmeticSynthesisTest.v src/Specific/ArithmeticSynthesisTest130.v src/Specific/IntegrationTestDisplayCommon.v +src/Specific/IntegrationTestFreeze.v +src/Specific/IntegrationTestFreezeDisplay.v src/Specific/IntegrationTestLadderstep.v src/Specific/IntegrationTestLadderstep130.v src/Specific/IntegrationTestLadderstep130Display.v |