-
- Downloads
Newest complete string conversion before passing to the solver.
Two-step function body replacement to take into account all function changes. Bijection adds new methods.
Showing
- src/main/scala/leon/purescala/DefOps.scala 28 additions, 11 deletionssrc/main/scala/leon/purescala/DefOps.scala
- src/main/scala/leon/purescala/Expressions.scala 16 additions, 0 deletionssrc/main/scala/leon/purescala/Expressions.scala
- src/main/scala/leon/solvers/combinators/Z3StringCapableSolver.scala 47 additions, 52 deletions...cala/leon/solvers/combinators/Z3StringCapableSolver.scala
- src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala 1 addition, 0 deletionssrc/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
- src/main/scala/leon/solvers/smtlib/SMTLIBZ3Target.scala 7 additions, 22 deletionssrc/main/scala/leon/solvers/smtlib/SMTLIBZ3Target.scala
- src/main/scala/leon/solvers/templates/TemplateGenerator.scala 5 additions, 1 deletion...main/scala/leon/solvers/templates/TemplateGenerator.scala
- src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala 290 additions, 307 deletionssrc/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
- src/main/scala/leon/solvers/z3/Z3StringConversion.scala 303 additions, 82 deletionssrc/main/scala/leon/solvers/z3/Z3StringConversion.scala
- src/main/scala/leon/utils/Bijection.scala 10 additions, 2 deletionssrc/main/scala/leon/utils/Bijection.scala
Loading
Please register or sign in to comment