-
- Downloads
Updating Orb to handle partial models
Showing
- src/main/scala/leon/invariant/engine/InferInvariantsPhase.scala 2 additions, 1 deletion...in/scala/leon/invariant/engine/InferInvariantsPhase.scala
- src/main/scala/leon/invariant/engine/InferenceContext.scala 1 addition, 0 deletionssrc/main/scala/leon/invariant/engine/InferenceContext.scala
- src/main/scala/leon/invariant/templateSolvers/FarkasLemmaSolver.scala 1 addition, 1 deletion...la/leon/invariant/templateSolvers/FarkasLemmaSolver.scala
- src/main/scala/leon/invariant/templateSolvers/NLTemplateSolver.scala 37 additions, 23 deletions...ala/leon/invariant/templateSolvers/NLTemplateSolver.scala
- src/main/scala/leon/invariant/templateSolvers/NLTemplateSolverWithMult.scala 25 additions, 25 deletions.../invariant/templateSolvers/NLTemplateSolverWithMult.scala
- src/main/scala/leon/invariant/templateSolvers/UFADTEliminator.scala 34 additions, 58 deletions...cala/leon/invariant/templateSolvers/UFADTEliminator.scala
- src/main/scala/leon/laziness/LazinessEliminationPhase.scala 1 addition, 1 deletionsrc/main/scala/leon/laziness/LazinessEliminationPhase.scala
- src/main/scala/leon/solvers/Solver.scala 1 addition, 1 deletionsrc/main/scala/leon/solvers/Solver.scala
- src/main/scala/leon/solvers/smtlib/SMTLIBZ3Solver.scala 0 additions, 1 deletionsrc/main/scala/leon/solvers/smtlib/SMTLIBZ3Solver.scala
- src/main/scala/leon/solvers/smtlib/SMTLIBZ3Target.scala 1 addition, 2 deletionssrc/main/scala/leon/solvers/smtlib/SMTLIBZ3Target.scala
- testcases/lazy-datastructures/withOrb/RealTimeQueue.scala 2 additions, 2 deletionstestcases/lazy-datastructures/withOrb/RealTimeQueue.scala
Loading
Please register or sign in to comment