New pipeline, split among files

1 files changed, 20 insertions, 0 deletions

diff --git a/_CoqProject b/_CoqProject
index 271f7585f..51eca87d1 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -242,6 +242,26 @@ src/Curves/Weierstrass/Jacobian.v
 src/Curves/Weierstrass/Projective.v
 src/Experiments/PartialEvaluationWithLetIn.v
 src/Experiments/SimplyTypedArithmetic.v
+src/Experiments/NewPipeline/AbstractInterpretation.v
+src/Experiments/NewPipeline/AbstractInterpretationProofs.v
+src/Experiments/NewPipeline/Arithmetic.v
+src/Experiments/NewPipeline/CLI.v
+src/Experiments/NewPipeline/CStringification.v
+src/Experiments/NewPipeline/CompilersTestCases.v
+src/Experiments/NewPipeline/GENERATEDIdentifiersWithoutTypes.v
+src/Experiments/NewPipeline/Language.v
+src/Experiments/NewPipeline/MiscCompilerPasses.v
+src/Experiments/NewPipeline/Rewriter.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/ExtractionHaskell/saturated_solinas.v
+src/Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas.v
+src/Experiments/NewPipeline/ExtractionOCaml/saturated_solinas.v
+src/Experiments/NewPipeline/ExtractionOCaml/unsaturated_solinas.v
 src/LegacyArithmetic/ArchitectureToZLike.v
 src/LegacyArithmetic/ArchitectureToZLikeProofs.v
 src/LegacyArithmetic/BarretReduction.v