Changed the verification condition generation, mofidified filtered of...
Changed the verification condition generation, mofidified filtered of candidates, implemented verifier timeout as evidence of validity
Showing
- src/main/scala/insynth/leon/loader/HoleExtractor.scala 0 additions, 3 deletionssrc/main/scala/insynth/leon/loader/HoleExtractor.scala
- src/main/scala/insynth/leon/loader/PreLoader.scala 1 addition, 1 deletionsrc/main/scala/insynth/leon/loader/PreLoader.scala
- src/main/scala/lesynth/Globals.scala 0 additions, 22 deletionssrc/main/scala/lesynth/Globals.scala
- src/main/scala/lesynth/SynthesizerExamples.scala 280 additions, 359 deletionssrc/main/scala/lesynth/SynthesizerExamples.scala
- src/main/scala/lesynth/Verifier.scala 136 additions, 0 deletionssrc/main/scala/lesynth/Verifier.scala
- src/main/scala/lesynth/evaluation/CodeGenExampleRunner.scala 9 additions, 4 deletionssrc/main/scala/lesynth/evaluation/CodeGenExampleRunner.scala
- src/main/scala/lesynth/evaluation/DefaultExampleRunner.scala 9 additions, 3 deletionssrc/main/scala/lesynth/evaluation/DefaultExampleRunner.scala
- src/main/scala/lesynth/evaluation/EvaluationStrategy.scala 33 additions, 16 deletionssrc/main/scala/lesynth/evaluation/EvaluationStrategy.scala
- src/main/scala/lesynth/evaluation/ExampleRunner.scala 1 addition, 0 deletionssrc/main/scala/lesynth/evaluation/ExampleRunner.scala
- src/main/scala/lesynth/ranking/Evaluation.scala 7 additions, 2 deletionssrc/main/scala/lesynth/ranking/Evaluation.scala
- src/main/scala/lesynth/ranking/Ranker.scala 1 addition, 5 deletionssrc/main/scala/lesynth/ranking/Ranker.scala
- src/main/scala/lesynth/refinement/Refiner.scala 21 additions, 9 deletionssrc/main/scala/lesynth/refinement/Refiner.scala
- src/main/scala/lesynth/rules/ConditionAbductionSynthesisTwoPhase.scala 5 additions, 5 deletions...a/lesynth/rules/ConditionAbductionSynthesisTwoPhase.scala
Loading
Please register or sign in to comment