diff options
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/_CoqProject b/_CoqProject index 31c52a268..fc49cbf15 100644 --- a/_CoqProject +++ b/_CoqProject @@ -253,15 +253,16 @@ src/Experiments/NewPipeline/Language.v src/Experiments/NewPipeline/LanguageInversion.v src/Experiments/NewPipeline/LanguageWf.v src/Experiments/NewPipeline/MiscCompilerPasses.v -src/Experiments/NewPipeline/MiscCompilerPassesWf.v +src/Experiments/NewPipeline/MiscCompilerPassesProofs.v src/Experiments/NewPipeline/Rewriter.v +src/Experiments/NewPipeline/RewriterProofs.v src/Experiments/NewPipeline/SlowPrimeSynthesisExamples.v src/Experiments/NewPipeline/StandaloneHaskellMain.v src/Experiments/NewPipeline/StandaloneOCamlMain.v src/Experiments/NewPipeline/Toplevel1.v src/Experiments/NewPipeline/Toplevel2.v src/Experiments/NewPipeline/UnderLets.v -src/Experiments/NewPipeline/UnderLetsWf.v +src/Experiments/NewPipeline/UnderLetsProofs.v src/Experiments/NewPipeline/ExtractionHaskell/saturated_solinas.v src/Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas.v src/Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery.v |