From b4b711cba32a21806c6c0aae53be40c04af60cb3 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 13 Jun 2017 01:43:06 -0400 Subject: WBW-montgomery: Fill in most context variables --- _CoqProject | 2 ++ 1 file changed, 2 insertions(+) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index bae12439d..8556a6120 100644 --- a/_CoqProject +++ b/_CoqProject @@ -24,6 +24,8 @@ src/Arithmetic/MontgomeryReduction/Definition.v src/Arithmetic/MontgomeryReduction/Proofs.v src/Arithmetic/MontgomeryReduction/WordByWord/Definition.v src/Arithmetic/MontgomeryReduction/WordByWord/Proofs.v +src/Arithmetic/MontgomeryReduction/WordByWord/Abstract/Definition.v +src/Arithmetic/MontgomeryReduction/WordByWord/Abstract/Proofs.v src/Compilers/CommonSubexpressionElimination.v src/Compilers/CommonSubexpressionEliminationDenote.v src/Compilers/CommonSubexpressionEliminationInterp.v -- cgit v1.2.3