-
- Downloads
Synthesis improvements
Size bounded grammar now skews TaggedGrammar more aggressively In CEGIS, testForProgram now uses getExpr() as opposed to b-trees.
Showing
- src/main/scala/leon/grammars/ExpressionGrammar.scala 2 additions, 0 deletionssrc/main/scala/leon/grammars/ExpressionGrammar.scala
- src/main/scala/leon/grammars/transformers/SizeBoundedGrammar.scala 4 additions, 4 deletions...scala/leon/grammars/transformers/SizeBoundedGrammar.scala
- src/main/scala/leon/grammars/transformers/TaggedGrammar.scala 0 additions, 1 deletion...main/scala/leon/grammars/transformers/TaggedGrammar.scala
- src/main/scala/leon/synthesis/rules/CEGISLike.scala 37 additions, 30 deletionssrc/main/scala/leon/synthesis/rules/CEGISLike.scala
- src/main/scala/leon/synthesis/rules/TEGISLike.scala 1 addition, 0 deletionssrc/main/scala/leon/synthesis/rules/TEGISLike.scala
- src/main/scala/leon/utils/GrowableIterable.scala 1 addition, 1 deletionsrc/main/scala/leon/utils/GrowableIterable.scala
Loading
Please register or sign in to comment