-
- Downloads
New rule to introduce safe recursive call as a variable
Remove SafeRecursiveCalls from Grammars.default IntroduceRecCalls keeps only examples that lead to no 'choose' IntroduceRecCalls is normalizing Make 1 benchmark tougher
Showing
- src/main/scala/leon/LeonContext.scala 1 addition, 1 deletionsrc/main/scala/leon/LeonContext.scala
- src/main/scala/leon/evaluators/DefaultEvaluator.scala 1 addition, 1 deletionsrc/main/scala/leon/evaluators/DefaultEvaluator.scala
- src/main/scala/leon/evaluators/RecursiveEvaluator.scala 1 addition, 1 deletionsrc/main/scala/leon/evaluators/RecursiveEvaluator.scala
- src/main/scala/leon/grammars/Grammars.scala 2 additions, 2 deletionssrc/main/scala/leon/grammars/Grammars.scala
- src/main/scala/leon/grammars/SafeRecursiveCalls.scala 5 additions, 6 deletionssrc/main/scala/leon/grammars/SafeRecursiveCalls.scala
- src/main/scala/leon/synthesis/Rules.scala 18 additions, 1 deletionsrc/main/scala/leon/synthesis/Rules.scala
- src/main/scala/leon/synthesis/SynthesisContext.scala 0 additions, 1 deletionsrc/main/scala/leon/synthesis/SynthesisContext.scala
- src/main/scala/leon/synthesis/rules/ADTInduction.scala 0 additions, 1 deletionsrc/main/scala/leon/synthesis/rules/ADTInduction.scala
- src/main/scala/leon/synthesis/rules/CaseSplit.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/CaseSplit.scala
- src/main/scala/leon/synthesis/rules/EqualitySplit.scala 1 addition, 6 deletionssrc/main/scala/leon/synthesis/rules/EqualitySplit.scala
- src/main/scala/leon/synthesis/rules/IndependentSplit.scala 1 addition, 4 deletionssrc/main/scala/leon/synthesis/rules/IndependentSplit.scala
- src/main/scala/leon/synthesis/rules/InequalitySplit.scala 5 additions, 14 deletionssrc/main/scala/leon/synthesis/rules/InequalitySplit.scala
- src/main/scala/leon/synthesis/rules/InputSplit.scala 26 additions, 30 deletionssrc/main/scala/leon/synthesis/rules/InputSplit.scala
- src/main/scala/leon/synthesis/rules/IntroduceRecCall.scala 90 additions, 0 deletionssrc/main/scala/leon/synthesis/rules/IntroduceRecCall.scala
- src/main/scala/leon/synthesis/utils/Helpers.scala 5 additions, 5 deletionssrc/main/scala/leon/synthesis/utils/Helpers.scala
- src/main/scala/leon/verification/VerificationReport.scala 0 additions, 18 deletionssrc/main/scala/leon/verification/VerificationReport.scala
- testcases/synthesis/etienne-thesis/AddressBook/Make.scala 13 additions, 0 deletionstestcases/synthesis/etienne-thesis/AddressBook/Make.scala
- testcases/synthesis/etienne-thesis/List/Split.scala 0 additions, 4 deletionstestcases/synthesis/etienne-thesis/List/Split.scala
Loading
Please register or sign in to comment