-
- Downloads
Implement solver pools
- solvers are not freed directly, they are reclaimed by their solver factory - reset() is used when available to reset a solver instead of creating a fresh one.
Showing
- src/main/scala/leon/codegen/runtime/ChooseEntryPoint.scala 3 additions, 3 deletionssrc/main/scala/leon/codegen/runtime/ChooseEntryPoint.scala
- src/main/scala/leon/evaluators/RecursiveEvaluator.scala 1 addition, 1 deletionsrc/main/scala/leon/evaluators/RecursiveEvaluator.scala
- src/main/scala/leon/repair/rules/Verify.scala 27 additions, 27 deletionssrc/main/scala/leon/repair/rules/Verify.scala
- src/main/scala/leon/solvers/CantResetException.scala 3 additions, 0 deletionssrc/main/scala/leon/solvers/CantResetException.scala
- src/main/scala/leon/solvers/EnumerationSolver.scala 9 additions, 2 deletionssrc/main/scala/leon/solvers/EnumerationSolver.scala
- src/main/scala/leon/solvers/GroundSolver.scala 4 additions, 0 deletionssrc/main/scala/leon/solvers/GroundSolver.scala
- src/main/scala/leon/solvers/ResettableSolver.scala 10 additions, 0 deletionssrc/main/scala/leon/solvers/ResettableSolver.scala
- src/main/scala/leon/solvers/SimpleAssumptionSolverAPI.scala 1 addition, 1 deletionsrc/main/scala/leon/solvers/SimpleAssumptionSolverAPI.scala
- src/main/scala/leon/solvers/SimpleSolverAPI.scala 2 additions, 2 deletionssrc/main/scala/leon/solvers/SimpleSolverAPI.scala
- src/main/scala/leon/solvers/Solver.scala 2 additions, 0 deletionssrc/main/scala/leon/solvers/Solver.scala
- src/main/scala/leon/solvers/SolverFactory.scala 5 additions, 4 deletionssrc/main/scala/leon/solvers/SolverFactory.scala
- src/main/scala/leon/solvers/TimeoutSolver.scala 7 additions, 0 deletionssrc/main/scala/leon/solvers/TimeoutSolver.scala
- src/main/scala/leon/solvers/TimeoutSolverFactory.scala 4 additions, 3 deletionssrc/main/scala/leon/solvers/TimeoutSolverFactory.scala
- src/main/scala/leon/solvers/combinators/DNFSolver.scala 4 additions, 0 deletionssrc/main/scala/leon/solvers/combinators/DNFSolver.scala
- src/main/scala/leon/solvers/combinators/PortfolioSolver.scala 14 additions, 10 deletions...main/scala/leon/solvers/combinators/PortfolioSolver.scala
- src/main/scala/leon/solvers/combinators/PortfolioSolverFactory.scala 27 additions, 0 deletions...ala/leon/solvers/combinators/PortfolioSolverFactory.scala
- src/main/scala/leon/solvers/combinators/SolverPool.scala 73 additions, 0 deletionssrc/main/scala/leon/solvers/combinators/SolverPool.scala
- src/main/scala/leon/solvers/combinators/UnrollingSolver.scala 12 additions, 4 deletions...main/scala/leon/solvers/combinators/UnrollingSolver.scala
- src/main/scala/leon/solvers/package.scala 10 additions, 5 deletionssrc/main/scala/leon/solvers/package.scala
- src/main/scala/leon/solvers/smtlib/SMTLIBCVC4QuantifiedSolver.scala 1 addition, 1 deletion...cala/leon/solvers/smtlib/SMTLIBCVC4QuantifiedSolver.scala
Loading
Please register or sign in to comment