From c0fe35f49d61207d16c6db79936e38edf9661a49 Mon Sep 17 00:00:00 2001 From: jadep Date: Mon, 1 Apr 2019 05:38:38 -0400 Subject: rename some things --- _CoqProject | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 33f7d57a2..9e50a0b57 100644 --- a/_CoqProject +++ b/_CoqProject @@ -108,8 +108,8 @@ src/PushButtonSynthesis/BarrettReduction.v src/PushButtonSynthesis/BarrettReductionReificationCache.v src/PushButtonSynthesis/InvertHighLow.v src/PushButtonSynthesis/LegacySynthesisTactics.v -src/PushButtonSynthesis/MontgomeryReduction.v -src/PushButtonSynthesis/MontgomeryReductionReificationCache.v +src/PushButtonSynthesis/FancyMontgomeryReduction.v +src/PushButtonSynthesis/FancyMontgomeryReductionReificationCache.v src/PushButtonSynthesis/Primitives.v src/PushButtonSynthesis/ReificationCache.v src/PushButtonSynthesis/SaturatedSolinas.v -- cgit v1.2.3