/src/Experiments/NewPipeline/

• ../
• AbstractInterpretation.v
• AbstractInterpretationProofs.v
• AbstractInterpretationWf.v
• AbstractInterpretationZRangeProofs.v
• Arithmetic.v
• CLI.v
• CStringification.v
• CompilersTestCases.v
• ExtractionHaskell
• ExtractionOCaml
• GENERATEDIdentifiersWithoutTypes.v
• GENERATEDIdentifiersWithoutTypesProofs.v
• Language.v
• LanguageInversion.v
• LanguageWf.v
• MiscCompilerPasses.v
• MiscCompilerPassesProofs.v
• README.md
• Rewriter.v
• RewriterProofs.v
• RewriterRulesGood.v
• RewriterWf1.v
• RewriterWf2.v
• SlowPrimeSynthesisExamples.v
• StandaloneHaskellMain.v
• StandaloneOCamlMain.v
• Toplevel1.v
• Toplevel2.v
• UnderLets.v
• UnderLetsProofs.v
• arith_rewrite_head.out
• fancy_rewrite_head.out
• haskell.sed
• nbe_rewrite_head.out