-
- Downloads
Added `byExample` and `ask` statements
to account for empty by example situations. Added missing implementation for "computes" Updated pretty printer for empty examples. Removes dummy examples when adding new ones.
Showing
- library/lang/package.scala 22 additions, 10 deletionslibrary/lang/package.scala
- src/main/scala/leon/frontends/scalac/ASTExtractors.scala 31 additions, 0 deletionssrc/main/scala/leon/frontends/scalac/ASTExtractors.scala
- src/main/scala/leon/frontends/scalac/CodeExtraction.scala 24 additions, 0 deletionssrc/main/scala/leon/frontends/scalac/CodeExtraction.scala
- src/main/scala/leon/purescala/PrettyPrinter.scala 10 additions, 4 deletionssrc/main/scala/leon/purescala/PrettyPrinter.scala
- src/main/scala/leon/synthesis/ConversionPhase.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/ConversionPhase.scala
- src/main/scala/leon/synthesis/disambiguation/ExamplesAdder.scala 4 additions, 2 deletions...n/scala/leon/synthesis/disambiguation/ExamplesAdder.scala
Loading
Please register or sign in to comment