From be5f86b5483d2e00ec9002b8db00a1ff8ecb9cfe Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 12 May 2017 18:07:47 -0400 Subject: Add reflective machinery for adc, zselect --- _CoqProject | 2 ++ 1 file changed, 2 insertions(+) (limited to '_CoqProject') 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 -- cgit v1.2.3