From b3f932ed66422e62bb720ee862dc99e9ae6592a4 Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Wed, 15 Jun 2016 18:04:38 -0400 Subject: nsatz: reimplement, integrate, demonstrate --- _CoqProject | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 4ad320808..2fc5b1b90 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,10 +1,10 @@ -R src Crypto +src/Algebra.v src/BaseSystem.v src/BaseSystemProofs.v src/EdDSAProofs.v src/Field.v src/Rep.v -src/SaneField.v src/Testbit.v src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v src/CompleteEdwardsCurve/DoubleAndAdd.v -- cgit v1.2.3