FileInterface.insertAfter to insert a new function after an existing one.
Distinct cases when adding examples. QuestionBuilder possibility to keep empty alternatives. Added excluded tag if VerificationReport when rendering expressions. Better web problem for grammars.
Showing
- library/lang/StrOps.scala 0 additions, 18 deletionslibrary/lang/StrOps.scala
- src/main/scala/leon/synthesis/FileInterface.scala 26 additions, 3 deletionssrc/main/scala/leon/synthesis/FileInterface.scala
- src/main/scala/leon/synthesis/disambiguation/ExamplesAdder.scala 1 addition, 1 deletion...n/scala/leon/synthesis/disambiguation/ExamplesAdder.scala
- src/main/scala/leon/synthesis/disambiguation/QuestionBuilder.scala 11 additions, 7 deletions...scala/leon/synthesis/disambiguation/QuestionBuilder.scala
- src/main/scala/leon/synthesis/rules/StringRender.scala 3 additions, 3 deletionssrc/main/scala/leon/synthesis/rules/StringRender.scala
- src/main/scala/leon/verification/VerificationReport.scala 4 additions, 4 deletionssrc/main/scala/leon/verification/VerificationReport.scala
- testcases/web/synthesis/23_String_Grammar.scala 53 additions, 16 deletionstestcases/web/synthesis/23_String_Grammar.scala
Loading
Please register or sign in to comment