-
- Downloads
Rewrite all type bound functionality
typeBound now is the base function for all other functions Reintroduce existing functionality as instances of it instantiateType now takes TypeParameters Move Same to GenExprOps Write a few more tests Fix typeCardinality
Showing
- src/main/scala/leon/codegen/runtime/Monitor.scala 3 additions, 3 deletionssrc/main/scala/leon/codegen/runtime/Monitor.scala
- src/main/scala/leon/frontends/scalac/CodeExtraction.scala 5 additions, 4 deletionssrc/main/scala/leon/frontends/scalac/CodeExtraction.scala
- src/main/scala/leon/grammars/FunctionCalls.scala 3 additions, 4 deletionssrc/main/scala/leon/grammars/FunctionCalls.scala
- src/main/scala/leon/invariant/engine/RefinementEngine.scala 2 additions, 2 deletionssrc/main/scala/leon/invariant/engine/RefinementEngine.scala
- src/main/scala/leon/invariant/engine/SpecInstantiator.scala 2 additions, 2 deletionssrc/main/scala/leon/invariant/engine/SpecInstantiator.scala
- src/main/scala/leon/purescala/Constructors.scala 1 addition, 1 deletionsrc/main/scala/leon/purescala/Constructors.scala
- src/main/scala/leon/purescala/Definitions.scala 6 additions, 2 deletionssrc/main/scala/leon/purescala/Definitions.scala
- src/main/scala/leon/purescala/ExprOps.scala 0 additions, 9 deletionssrc/main/scala/leon/purescala/ExprOps.scala
- src/main/scala/leon/purescala/Expressions.scala 2 additions, 2 deletionssrc/main/scala/leon/purescala/Expressions.scala
- src/main/scala/leon/purescala/FunctionClosure.scala 3 additions, 4 deletionssrc/main/scala/leon/purescala/FunctionClosure.scala
- src/main/scala/leon/purescala/GenTreeOps.scala 9 additions, 0 deletionssrc/main/scala/leon/purescala/GenTreeOps.scala
- src/main/scala/leon/purescala/MethodLifting.scala 4 additions, 4 deletionssrc/main/scala/leon/purescala/MethodLifting.scala
- src/main/scala/leon/purescala/SelfPrettyPrinter.scala 2 additions, 3 deletionssrc/main/scala/leon/purescala/SelfPrettyPrinter.scala
- src/main/scala/leon/purescala/TypeOps.scala 114 additions, 136 deletionssrc/main/scala/leon/purescala/TypeOps.scala
- src/main/scala/leon/purescala/Types.scala 3 additions, 2 deletionssrc/main/scala/leon/purescala/Types.scala
- src/main/scala/leon/synthesis/rules/Abduction.scala 2 additions, 83 deletionssrc/main/scala/leon/synthesis/rules/Abduction.scala
- src/main/scala/leon/synthesis/rules/StringRender.scala 2 additions, 2 deletionssrc/main/scala/leon/synthesis/rules/StringRender.scala
- src/main/scala/leon/synthesis/utils/Helpers.scala 2 additions, 3 deletionssrc/main/scala/leon/synthesis/utils/Helpers.scala
- src/main/scala/leon/verification/TraceInductionTactic.scala 1 addition, 1 deletionsrc/main/scala/leon/verification/TraceInductionTactic.scala
- src/test/scala/leon/unit/purescala/TypeOpsSuite.scala 47 additions, 29 deletionssrc/test/scala/leon/unit/purescala/TypeOpsSuite.scala
Loading
Please register or sign in to comment