Refactor Phases/Pipelines
1) run's prototype follows apply's prototype: (ctx, v) instead of (ctx)(v) 2) run() returns a possibly updated context. SimpleLeonPhase defines apply and returns the same context.
Showing
- src/main/scala/leon/LeonPhase.scala 11 additions, 5 deletionssrc/main/scala/leon/LeonPhase.scala
- src/main/scala/leon/Main.scala 18 additions, 14 deletionssrc/main/scala/leon/Main.scala
- src/main/scala/leon/Pipeline.scala 8 additions, 8 deletionssrc/main/scala/leon/Pipeline.scala
- src/main/scala/leon/evaluators/EvaluationPhase.scala 2 additions, 2 deletionssrc/main/scala/leon/evaluators/EvaluationPhase.scala
- src/main/scala/leon/frontends/scalac/ExtractionPhase.scala 2 additions, 2 deletionssrc/main/scala/leon/frontends/scalac/ExtractionPhase.scala
- src/main/scala/leon/invariant/engine/InferInvariantsPhase.scala 4 additions, 4 deletions...in/scala/leon/invariant/engine/InferInvariantsPhase.scala
- src/main/scala/leon/solvers/isabelle/IsabellePhase.scala 2 additions, 2 deletionssrc/main/scala/leon/solvers/isabelle/IsabellePhase.scala
- src/main/scala/leon/synthesis/ConvertHoles.scala 7 additions, 3 deletionssrc/main/scala/leon/synthesis/ConvertHoles.scala
- src/main/scala/leon/synthesis/ConvertWithOracle.scala 3 additions, 2 deletionssrc/main/scala/leon/synthesis/ConvertWithOracle.scala
- src/main/scala/leon/synthesis/SynthesisPhase.scala 2 additions, 3 deletionssrc/main/scala/leon/synthesis/SynthesisPhase.scala
- src/main/scala/leon/synthesis/utils/SynthesisProblemExtractionPhase.scala 2 additions, 2 deletions...eon/synthesis/utils/SynthesisProblemExtractionPhase.scala
- src/main/scala/leon/termination/TerminationPhase.scala 2 additions, 2 deletionssrc/main/scala/leon/termination/TerminationPhase.scala
- src/main/scala/leon/utils/PreprocessingPhase.scala 3 additions, 3 deletionssrc/main/scala/leon/utils/PreprocessingPhase.scala
- src/main/scala/leon/utils/TemporaryInputPhase.scala 2 additions, 2 deletionssrc/main/scala/leon/utils/TemporaryInputPhase.scala
- src/main/scala/leon/utils/TypingPhase.scala 2 additions, 2 deletionssrc/main/scala/leon/utils/TypingPhase.scala
- src/main/scala/leon/verification/AnalysisPhase.scala 2 additions, 2 deletionssrc/main/scala/leon/verification/AnalysisPhase.scala
- src/main/scala/leon/verification/InjectAsserts.scala 2 additions, 2 deletionssrc/main/scala/leon/verification/InjectAsserts.scala
- src/main/scala/leon/xlang/FixReportLabels.scala 2 additions, 2 deletionssrc/main/scala/leon/xlang/FixReportLabels.scala
- src/main/scala/leon/xlang/XLangDesugaringPhase.scala 4 additions, 3 deletionssrc/main/scala/leon/xlang/XLangDesugaringPhase.scala
- src/test/scala/leon/isabelle/IsabelleLibrarySuite.scala 3 additions, 3 deletionssrc/test/scala/leon/isabelle/IsabelleLibrarySuite.scala
Loading
Please register or sign in to comment