Added added necessary sources and tests for insynth and condition abduction,...
Added added necessary sources and tests for insynth and condition abduction, and two synthesis rules (immediate and deferred instantiation)
Showing
- src/main/scala/insynth/InSynth.scala 71 additions, 0 deletionssrc/main/scala/insynth/InSynth.scala
- src/main/scala/insynth/leon/CommonTypes.scala 14 additions, 0 deletionssrc/main/scala/insynth/leon/CommonTypes.scala
- src/main/scala/insynth/leon/LeonDeclaration.scala 51 additions, 0 deletionssrc/main/scala/insynth/leon/LeonDeclaration.scala
- src/main/scala/insynth/leon/LeonQuery.scala 20 additions, 0 deletionssrc/main/scala/insynth/leon/LeonQuery.scala
- src/main/scala/insynth/leon/LeonQueryBuilder.scala 24 additions, 0 deletionssrc/main/scala/insynth/leon/LeonQueryBuilder.scala
- src/main/scala/insynth/leon/ReconstructionExpression.scala 73 additions, 0 deletionssrc/main/scala/insynth/leon/ReconstructionExpression.scala
- src/main/scala/insynth/leon/TypeTransformer.scala 52 additions, 0 deletionssrc/main/scala/insynth/leon/TypeTransformer.scala
- src/main/scala/insynth/leon/loader/DeclarationFactory.scala 75 additions, 0 deletionssrc/main/scala/insynth/leon/loader/DeclarationFactory.scala
- src/main/scala/insynth/leon/loader/HoleExtractor.scala 106 additions, 0 deletionssrc/main/scala/insynth/leon/loader/HoleExtractor.scala
- src/main/scala/insynth/leon/loader/LoadSpec.scala 6 additions, 0 deletionssrc/main/scala/insynth/leon/loader/LoadSpec.scala
- src/main/scala/insynth/leon/loader/Loader.scala 239 additions, 0 deletionssrc/main/scala/insynth/leon/loader/Loader.scala
- src/main/scala/insynth/leon/loader/PreLoader.scala 262 additions, 0 deletionssrc/main/scala/insynth/leon/loader/PreLoader.scala
- src/main/scala/insynth/reconstruction/Output.scala 12 additions, 0 deletionssrc/main/scala/insynth/reconstruction/Output.scala
- src/main/scala/insynth/reconstruction/Reconstructor.scala 53 additions, 0 deletionssrc/main/scala/insynth/reconstruction/Reconstructor.scala
- src/main/scala/insynth/reconstruction/codegen/CodeGenerator.scala 119 additions, 0 deletions.../scala/insynth/reconstruction/codegen/CodeGenerator.scala
- src/main/scala/lesynth/ExampleRunner.scala 130 additions, 0 deletionssrc/main/scala/lesynth/ExampleRunner.scala
- src/main/scala/lesynth/Globals.scala 22 additions, 0 deletionssrc/main/scala/lesynth/Globals.scala
- src/main/scala/lesynth/InputExamples.scala 148 additions, 0 deletionssrc/main/scala/lesynth/InputExamples.scala
- src/main/scala/lesynth/Refiner.scala 98 additions, 0 deletionssrc/main/scala/lesynth/Refiner.scala
- src/main/scala/lesynth/Report.scala 60 additions, 0 deletionssrc/main/scala/lesynth/Report.scala
Loading
Please register or sign in to comment