-
- Downloads
Tests are propagated in synthesis, repair focus is now a rule
Showing
- src/main/scala/leon/purescala/Constructors.scala 1 addition, 1 deletionsrc/main/scala/leon/purescala/Constructors.scala
- src/main/scala/leon/purescala/ExprOps.scala 18 additions, 2 deletionssrc/main/scala/leon/purescala/ExprOps.scala
- src/main/scala/leon/purescala/SimplifierWithPaths.scala 1 addition, 1 deletionsrc/main/scala/leon/purescala/SimplifierWithPaths.scala
- src/main/scala/leon/repair/RepairCostModel.scala 4 additions, 3 deletionssrc/main/scala/leon/repair/RepairCostModel.scala
- src/main/scala/leon/repair/Repairman.scala 120 additions, 381 deletionssrc/main/scala/leon/repair/Repairman.scala
- src/main/scala/leon/repair/rules/Focus.scala 223 additions, 0 deletionssrc/main/scala/leon/repair/rules/Focus.scala
- src/main/scala/leon/repair/rules/Split.scala 124 additions, 0 deletionssrc/main/scala/leon/repair/rules/Split.scala
- src/main/scala/leon/repair/rules/Verify.scala 2 additions, 2 deletionssrc/main/scala/leon/repair/rules/Verify.scala
- src/main/scala/leon/synthesis/ChooseInfo.scala 4 additions, 3 deletionssrc/main/scala/leon/synthesis/ChooseInfo.scala
- src/main/scala/leon/synthesis/ExamplesFinder.scala 4 additions, 4 deletionssrc/main/scala/leon/synthesis/ExamplesFinder.scala
- src/main/scala/leon/synthesis/InOutExample.scala 0 additions, 23 deletionssrc/main/scala/leon/synthesis/InOutExample.scala
- src/main/scala/leon/synthesis/Problem.scala 18 additions, 7 deletionssrc/main/scala/leon/synthesis/Problem.scala
- src/main/scala/leon/synthesis/Rules.scala 25 additions, 3 deletionssrc/main/scala/leon/synthesis/Rules.scala
- src/main/scala/leon/synthesis/TestBank.scala 174 additions, 0 deletionssrc/main/scala/leon/synthesis/TestBank.scala
- src/main/scala/leon/synthesis/rules/Assert.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/Assert.scala
- src/main/scala/leon/synthesis/rules/CEGISLike.scala 1 addition, 2 deletionssrc/main/scala/leon/synthesis/rules/CEGISLike.scala
- src/main/scala/leon/synthesis/rules/OnePoint.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/OnePoint.scala
- src/main/scala/leon/synthesis/rules/UnconstrainedOutput.scala 1 addition, 1 deletion...main/scala/leon/synthesis/rules/UnconstrainedOutput.scala
- src/main/scala/leon/synthesis/rules/UnusedInput.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/UnusedInput.scala
- src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala 2 additions, 2 deletionssrc/main/scala/leon/synthesis/utils/ExpressionGrammar.scala
Loading
Please register or sign in to comment