diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 4 |
1 files changed, 2 insertions, 2 deletions
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 |