diff options
| author |  jadep <jadep@mit.edu> | 2019-04-02 07:39:27 -0400 |
|---|---|---|
| committer |  jadephilipoom <jade.philipoom@gmail.com> | 2019-04-03 23:34:53 +0100 |
| commit | c5565d1441e4882c9b4bc7181f745b4235d8353c (patch) | |
| tree | dd3fb119a6aeae8230c2e0740d831642309dbe6b | |
| parent | f40b3c81114a73c3ac259ca4cb5014464e779dd3 (diff) | |
run make update-_CoqProject
| -rw-r--r-- | _CoqProject | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/_CoqProject b/_CoqProject index 9e50a0b57..40219c575 100644 --- a/_CoqProject +++ b/_CoqProject @@ -106,10 +106,10 @@ src/Primitives/EdDSARepChange.v src/Primitives/MxDHRepChange.v src/PushButtonSynthesis/BarrettReduction.v src/PushButtonSynthesis/BarrettReductionReificationCache.v -src/PushButtonSynthesis/InvertHighLow.v -src/PushButtonSynthesis/LegacySynthesisTactics.v src/PushButtonSynthesis/FancyMontgomeryReduction.v src/PushButtonSynthesis/FancyMontgomeryReductionReificationCache.v +src/PushButtonSynthesis/InvertHighLow.v +src/PushButtonSynthesis/LegacySynthesisTactics.v src/PushButtonSynthesis/Primitives.v src/PushButtonSynthesis/ReificationCache.v src/PushButtonSynthesis/SaturatedSolinas.v |