-
- Downloads
Clean TreeOps API
- remove superfluous implementations doing almost the same - introduce pre/post traversal and transformers as foreach/map/fold - Redefine other operations exists, contains, as folds - Fix freshenLocals bug found by Ravi
Showing
- src/main/scala/leon/frontends/scalac/CodeExtraction.scala 4 additions, 10 deletionssrc/main/scala/leon/frontends/scalac/CodeExtraction.scala
- src/main/scala/leon/purescala/Definitions.scala 6 additions, 8 deletionssrc/main/scala/leon/purescala/Definitions.scala
- src/main/scala/leon/purescala/TreeOps.scala 331 additions, 325 deletionssrc/main/scala/leon/purescala/TreeOps.scala
- src/main/scala/leon/synthesis/condabd/SynthesizerExamples.scala 3 additions, 3 deletions...in/scala/leon/synthesis/condabd/SynthesizerExamples.scala
- src/main/scala/leon/synthesis/condabd/examples/InputExamples.scala 1 addition, 1 deletion...scala/leon/synthesis/condabd/examples/InputExamples.scala
- src/main/scala/leon/synthesis/condabd/ranking/Candidate.scala 1 addition, 1 deletion...main/scala/leon/synthesis/condabd/ranking/Candidate.scala
- src/main/scala/leon/synthesis/condabd/refinement/Filter.scala 10 additions, 31 deletions...main/scala/leon/synthesis/condabd/refinement/Filter.scala
- src/main/scala/leon/synthesis/condabd/verification/AbstractVerifier.scala 1 addition, 1 deletion...eon/synthesis/condabd/verification/AbstractVerifier.scala
- src/main/scala/leon/synthesis/utils/SynthesisProblemExtractionPhase.scala 2 additions, 5 deletions...eon/synthesis/utils/SynthesisProblemExtractionPhase.scala
- src/main/scala/leon/termination/Processor.scala 3 additions, 1 deletionsrc/main/scala/leon/termination/Processor.scala
- src/main/scala/leon/xlang/EpsilonElimination.scala 5 additions, 4 deletionssrc/main/scala/leon/xlang/EpsilonElimination.scala
- src/main/scala/leon/xlang/TreeOps.scala 25 additions, 49 deletionssrc/main/scala/leon/xlang/TreeOps.scala
- src/test/scala/leon/test/condabd/EvaluationTest.scala 6 additions, 6 deletionssrc/test/scala/leon/test/condabd/EvaluationTest.scala
Loading
Please register or sign in to comment