-
- Downloads
Wrap up changes in CEGIS
New CEGIS with optimized grammar is now just CEGIS, old is called Naive Cegis. By default, use new grammar. --cegis:naive to use the old one. Add option to pick maximum expression size synthesizable by CEGIS. Remove some redundancy in handling of synthesis options.
Showing
- src/main/scala/leon/repair/Repairman.scala 0 additions, 1 deletionsrc/main/scala/leon/repair/Repairman.scala
- src/main/scala/leon/synthesis/Rules.scala 2 additions, 2 deletionssrc/main/scala/leon/synthesis/Rules.scala
- src/main/scala/leon/synthesis/SynthesisPhase.scala 10 additions, 7 deletionssrc/main/scala/leon/synthesis/SynthesisPhase.scala
- src/main/scala/leon/synthesis/SynthesisSettings.scala 3 additions, 2 deletionssrc/main/scala/leon/synthesis/SynthesisSettings.scala
- src/main/scala/leon/synthesis/rules/CEGIS.scala 9 additions, 7 deletionssrc/main/scala/leon/synthesis/rules/CEGIS.scala
- src/main/scala/leon/synthesis/rules/CEGISLike.scala 10 additions, 8 deletionssrc/main/scala/leon/synthesis/rules/CEGISLike.scala
- src/main/scala/leon/synthesis/rules/CEGLESS.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/CEGLESS.scala
- src/main/scala/leon/synthesis/rules/TEGISLike.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/TEGISLike.scala
Loading
Please register or sign in to comment