From aef441932b830e770a71ef150c6f784ca69e555d Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 7 Apr 2017 14:28:56 -0400 Subject: Add Display files and targets --- _CoqProject | 5 +++++ 1 file changed, 5 insertions(+) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 8d25c02b3..0ecbfc92f 100644 --- a/_CoqProject +++ b/_CoqProject @@ -191,9 +191,14 @@ src/Spec/MxDH.v src/Spec/WeierstrassCurve.v src/Spec/Test/X25519.v src/Specific/ArithmeticSynthesisTest.v +src/Specific/IntegrationTestDisplayCommon.v src/Specific/IntegrationTestLadderstep.v +src/Specific/IntegrationTestLadderstepDisplay.v src/Specific/IntegrationTestMul.v +src/Specific/IntegrationTestMulDisplay.v src/Specific/IntegrationTestSub.v +src/Specific/IntegrationTestSubDisplay.v +src/Specific/IntegrationTestTemporaryMiscCommon.v src/Specific/FancyMachine256/Barrett.v src/Specific/FancyMachine256/Core.v src/Specific/FancyMachine256/Montgomery.v -- cgit v1.2.3