-
- Downloads
Added support for stream of templates.
Now the Boolean problem is solved. Removed duplicate methods already present in StreamUtils.scala Added benchmark JsonRender.scala
Showing
- src/main/scala/leon/programsets/DirectProgramSet.scala 4 additions, 1 deletionsrc/main/scala/leon/programsets/DirectProgramSet.scala
- src/main/scala/leon/programsets/JoinProgramSet.scala 20 additions, 35 deletionssrc/main/scala/leon/programsets/JoinProgramSet.scala
- src/main/scala/leon/programsets/ProgramSet.scala 2 additions, 2 deletionssrc/main/scala/leon/programsets/ProgramSet.scala
- src/main/scala/leon/programsets/UnionProgramset.scala 6 additions, 14 deletionssrc/main/scala/leon/programsets/UnionProgramset.scala
- src/main/scala/leon/purescala/PrettyPrinter.scala 11 additions, 2 deletionssrc/main/scala/leon/purescala/PrettyPrinter.scala
- src/main/scala/leon/purescala/ScalaPrinter.scala 8 additions, 0 deletionssrc/main/scala/leon/purescala/ScalaPrinter.scala
- src/main/scala/leon/purescala/Types.scala 1 addition, 1 deletionsrc/main/scala/leon/purescala/Types.scala
- src/main/scala/leon/synthesis/Rules.scala 2 additions, 2 deletionssrc/main/scala/leon/synthesis/Rules.scala
- src/main/scala/leon/synthesis/rules/StringRender.scala 80 additions, 43 deletionssrc/main/scala/leon/synthesis/rules/StringRender.scala
- src/main/scala/leon/utils/StreamUtils.scala 32 additions, 0 deletionssrc/main/scala/leon/utils/StreamUtils.scala
- src/test/scala/leon/integration/solvers/StringSolverSuite.scala 2 additions, 2 deletions...st/scala/leon/integration/solvers/StringSolverSuite.scala
- testcases/stringrender/JsonRender.scala 42 additions, 0 deletionstestcases/stringrender/JsonRender.scala
Loading
Please register or sign in to comment