Refactored verifier into concrete and timeout one, added generation of input...
Refactored verifier into concrete and timeout one, added generation of input examples with fuzzying, expression filter detects according to expression structure, added some benchmarks for the paper
Showing
- src/main/scala/insynth/leon/loader/PreLoader.scala 26 additions, 23 deletionssrc/main/scala/insynth/leon/loader/PreLoader.scala
- src/main/scala/lesynth/SynthesizerExamples.scala 104 additions, 30 deletionssrc/main/scala/lesynth/SynthesizerExamples.scala
- src/main/scala/lesynth/evaluation/CodeGenExampleRunner.scala 5 additions, 4 deletionssrc/main/scala/lesynth/evaluation/CodeGenExampleRunner.scala
- src/main/scala/lesynth/examples/InputExamples.scala 28 additions, 9 deletionssrc/main/scala/lesynth/examples/InputExamples.scala
- src/main/scala/lesynth/refinement/Filter.scala 31 additions, 3 deletionssrc/main/scala/lesynth/refinement/Filter.scala
- src/main/scala/lesynth/refinement/VariableRefiner.scala 1 addition, 1 deletionsrc/main/scala/lesynth/refinement/VariableRefiner.scala
- src/main/scala/lesynth/rules/ConditionAbductionSynthesisImmediate.scala 54 additions, 35 deletions.../lesynth/rules/ConditionAbductionSynthesisImmediate.scala
- src/main/scala/lesynth/rules/ConditionAbductionSynthesisTwoPhase.scala 9 additions, 3 deletions...a/lesynth/rules/ConditionAbductionSynthesisTwoPhase.scala
- src/main/scala/lesynth/verification/AbstractVerifier.scala 31 additions, 59 deletionssrc/main/scala/lesynth/verification/AbstractVerifier.scala
- src/main/scala/lesynth/verification/RelaxedVerifier.scala 66 additions, 0 deletionssrc/main/scala/lesynth/verification/RelaxedVerifier.scala
- src/main/scala/lesynth/verification/Verifier.scala 68 additions, 0 deletionssrc/main/scala/lesynth/verification/Verifier.scala
- src/test/scala/lesynth/AnalyzerTest.scala 0 additions, 49 deletionssrc/test/scala/lesynth/AnalyzerTest.scala
- src/test/scala/lesynth/EnumerationTest.scala 75 additions, 0 deletionssrc/test/scala/lesynth/EnumerationTest.scala
- src/test/scala/lesynth/EvaluationTest.scala 328 additions, 0 deletionssrc/test/scala/lesynth/EvaluationTest.scala
- src/test/scala/lesynth/FilterTest.scala 235 additions, 0 deletionssrc/test/scala/lesynth/FilterTest.scala
- src/test/scala/lesynth/TryOutSynthesizerExamplesTest.scala 0 additions, 672 deletionssrc/test/scala/lesynth/TryOutSynthesizerExamplesTest.scala
- src/test/scala/lesynth/TryOutTest.scala 0 additions, 639 deletionssrc/test/scala/lesynth/TryOutTest.scala
- src/test/scala/lesynth/TryOutTestWithFiltering.scala 0 additions, 768 deletionssrc/test/scala/lesynth/TryOutTestWithFiltering.scala
- src/test/scala/lesynth/VariableRefinerTest.scala 2 additions, 0 deletionssrc/test/scala/lesynth/VariableRefinerTest.scala
- src/test/scala/lesynth/VerifierTest.scala 90 additions, 0 deletionssrc/test/scala/lesynth/VerifierTest.scala
Loading
Please register or sign in to comment