-
- Downloads
More support for inheritance
Methods can be overriden in subclasses Non-root classes can define methods Deep hierarchies are supported
Showing
- doc/purescala.rst 30 additions, 2 deletionsdoc/purescala.rst
- src/main/scala/leon/codegen/CodeGeneration.scala 25 additions, 12 deletionssrc/main/scala/leon/codegen/CodeGeneration.scala
- src/main/scala/leon/codegen/CompilationUnit.scala 9 additions, 20 deletionssrc/main/scala/leon/codegen/CompilationUnit.scala
- src/main/scala/leon/evaluators/RecursiveEvaluator.scala 3 additions, 5 deletionssrc/main/scala/leon/evaluators/RecursiveEvaluator.scala
- src/main/scala/leon/frontends/scalac/CodeExtraction.scala 45 additions, 36 deletionssrc/main/scala/leon/frontends/scalac/CodeExtraction.scala
- src/main/scala/leon/purescala/Definitions.scala 11 additions, 36 deletionssrc/main/scala/leon/purescala/Definitions.scala
- src/main/scala/leon/purescala/ExprOps.scala 22 additions, 274 deletionssrc/main/scala/leon/purescala/ExprOps.scala
- src/main/scala/leon/purescala/Expressions.scala 1 addition, 1 deletionsrc/main/scala/leon/purescala/Expressions.scala
- src/main/scala/leon/purescala/Extractors.scala 2 additions, 2 deletionssrc/main/scala/leon/purescala/Extractors.scala
- src/main/scala/leon/purescala/MethodLifting.scala 174 additions, 10 deletionssrc/main/scala/leon/purescala/MethodLifting.scala
- src/main/scala/leon/purescala/PrettyPrinter.scala 1 addition, 1 deletionsrc/main/scala/leon/purescala/PrettyPrinter.scala
- src/main/scala/leon/purescala/TypeOps.scala 3 additions, 3 deletionssrc/main/scala/leon/purescala/TypeOps.scala
- src/main/scala/leon/purescala/Types.scala 4 additions, 4 deletionssrc/main/scala/leon/purescala/Types.scala
- src/main/scala/leon/solvers/ADTManager.scala 10 additions, 12 deletionssrc/main/scala/leon/solvers/ADTManager.scala
- src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala 26 additions, 10 deletionssrc/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala
- src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala 18 additions, 11 deletionssrc/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
- src/main/scala/leon/synthesis/rules/ADTDual.scala 2 additions, 2 deletionssrc/main/scala/leon/synthesis/rules/ADTDual.scala
- src/main/scala/leon/synthesis/rules/ADTInduction.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/ADTInduction.scala
- src/main/scala/leon/synthesis/rules/ADTLongInduction.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/ADTLongInduction.scala
- src/main/scala/leon/synthesis/rules/ADTSplit.scala 2 additions, 2 deletionssrc/main/scala/leon/synthesis/rules/ADTSplit.scala
Loading
Please register or sign in to comment