Improve types, support ???[T] as all-seeing choose
- Holes become chooses - Unhandled types are removed, Untyped is now checked for and a warning is issued if an untyped expression is found.
Showing
- library/lang/package.scala 2 additions, 0 deletionslibrary/lang/package.scala
- src/main/scala/leon/Main.scala 4 additions, 3 deletionssrc/main/scala/leon/Main.scala
- src/main/scala/leon/evaluators/RecursiveEvaluator.scala 1 addition, 1 deletionsrc/main/scala/leon/evaluators/RecursiveEvaluator.scala
- src/main/scala/leon/frontends/scalac/ASTExtractors.scala 8 additions, 0 deletionssrc/main/scala/leon/frontends/scalac/ASTExtractors.scala
- src/main/scala/leon/frontends/scalac/CodeExtraction.scala 5 additions, 1 deletionsrc/main/scala/leon/frontends/scalac/CodeExtraction.scala
- src/main/scala/leon/purescala/Common.scala 0 additions, 4 deletionssrc/main/scala/leon/purescala/Common.scala
- src/main/scala/leon/purescala/PrettyPrinter.scala 6 additions, 2 deletionssrc/main/scala/leon/purescala/PrettyPrinter.scala
- src/main/scala/leon/purescala/TreeOps.scala 1 addition, 1 deletionsrc/main/scala/leon/purescala/TreeOps.scala
- src/main/scala/leon/purescala/Trees.scala 8 additions, 9 deletionssrc/main/scala/leon/purescala/Trees.scala
- src/main/scala/leon/purescala/TypeTreeOps.scala 0 additions, 5 deletionssrc/main/scala/leon/purescala/TypeTreeOps.scala
- src/main/scala/leon/purescala/TypeTrees.scala 0 additions, 4 deletionssrc/main/scala/leon/purescala/TypeTrees.scala
- src/main/scala/leon/synthesis/ConvertHoles.scala 101 additions, 0 deletionssrc/main/scala/leon/synthesis/ConvertHoles.scala
- src/main/scala/leon/synthesis/condabd/insynth/leon/DomainTypeTransformer.scala 2 additions, 5 deletions...ynthesis/condabd/insynth/leon/DomainTypeTransformer.scala
- src/main/scala/leon/synthesis/condabd/insynth/leon/TypeTransformer.scala 2 additions, 5 deletions...leon/synthesis/condabd/insynth/leon/TypeTransformer.scala
- src/main/scala/leon/utils/Positions.scala 4 additions, 0 deletionssrc/main/scala/leon/utils/Positions.scala
- src/main/scala/leon/utils/TypingPhase.scala 25 additions, 5 deletionssrc/main/scala/leon/utils/TypingPhase.scala
- src/main/scala/leon/xlang/Trees.scala 0 additions, 1 deletionsrc/main/scala/leon/xlang/Trees.scala
- src/test/scala/leon/test/purescala/TransformationTests.scala 1 addition, 1 deletionsrc/test/scala/leon/test/purescala/TransformationTests.scala
- src/test/scala/leon/test/synthesis/SynthesisRegressionSuite.scala 1 addition, 1 deletion.../scala/leon/test/synthesis/SynthesisRegressionSuite.scala
- src/test/scala/leon/test/termination/TerminationRegression.scala 1 addition, 1 deletion...t/scala/leon/test/termination/TerminationRegression.scala
Loading
Please register or sign in to comment