-
- Downloads
You need to sign in or sign up before continuing.
Refactoring and fixes for compliance with the rule framework (huge commit and...
Refactoring and fixes for compliance with the rule framework (huge commit and subsequent fixes in the oopsla-artifact branch)
Showing
- src/main/scala/insynth/InSynth.scala 1 addition, 0 deletionssrc/main/scala/insynth/InSynth.scala
- src/main/scala/insynth/InSynthTemp.scala 74 additions, 0 deletionssrc/main/scala/insynth/InSynthTemp.scala
- src/main/scala/insynth/leon/LeonDeclaration.scala 2 additions, 2 deletionssrc/main/scala/insynth/leon/LeonDeclaration.scala
- src/main/scala/insynth/leon/ReconstructionExpression.scala 3 additions, 3 deletionssrc/main/scala/insynth/leon/ReconstructionExpression.scala
- src/main/scala/insynth/leon/loader/DeclarationFactory.scala 14 additions, 6 deletionssrc/main/scala/insynth/leon/loader/DeclarationFactory.scala
- src/main/scala/insynth/leon/loader/HoleExtractor.scala 2 additions, 2 deletionssrc/main/scala/insynth/leon/loader/HoleExtractor.scala
- src/main/scala/insynth/leon/loader/Loader.scala 4 additions, 4 deletionssrc/main/scala/insynth/leon/loader/Loader.scala
- src/main/scala/insynth/leon/loader/PreLoader.scala 1 addition, 1 deletionsrc/main/scala/insynth/leon/loader/PreLoader.scala
- src/main/scala/insynth/reconstruction/FastReconstructor.scala 47 additions, 0 deletions...main/scala/insynth/reconstruction/FastReconstructor.scala
- src/main/scala/insynth/reconstruction/Output.scala 5 additions, 0 deletionssrc/main/scala/insynth/reconstruction/Output.scala
- src/main/scala/insynth/reconstruction/Reconstructor.scala 5 additions, 2 deletionssrc/main/scala/insynth/reconstruction/Reconstructor.scala
- src/main/scala/lesynth/SynthesizerExamples.scala 157 additions, 68 deletionssrc/main/scala/lesynth/SynthesizerExamples.scala
- src/main/scala/lesynth/evaluation/CodeGenExampleRunner.scala 6 additions, 4 deletionssrc/main/scala/lesynth/evaluation/CodeGenExampleRunner.scala
- src/main/scala/lesynth/examples/InputExamples.scala 15 additions, 11 deletionssrc/main/scala/lesynth/examples/InputExamples.scala
- src/main/scala/lesynth/ranking/Ranker.scala 9 additions, 1 deletionsrc/main/scala/lesynth/ranking/Ranker.scala
- src/main/scala/lesynth/refinement/Filter.scala 2 additions, 0 deletionssrc/main/scala/lesynth/refinement/Filter.scala
- src/main/scala/lesynth/refinement/VariableRefiner.scala 25 additions, 21 deletionssrc/main/scala/lesynth/refinement/VariableRefiner.scala
- src/main/scala/lesynth/refinement/VariableSolverRefiner.scala 128 additions, 0 deletions...main/scala/lesynth/refinement/VariableSolverRefiner.scala
- src/main/scala/lesynth/rules/ConditionAbductionSynthesisImmediate.scala 80 additions, 80 deletions.../lesynth/rules/ConditionAbductionSynthesisImmediate.scala
- src/main/scala/lesynth/rules/ConditionAbductionSynthesisTwoPhase.scala 12 additions, 13 deletions...a/lesynth/rules/ConditionAbductionSynthesisTwoPhase.scala
Loading
Please register or sign in to comment