-
- Downloads
array encoded with raw array operations
Showing
- src/main/scala/leon/solvers/RawArray.scala 36 additions, 0 deletionssrc/main/scala/leon/solvers/RawArray.scala
- src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala 6 additions, 0 deletionssrc/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
- src/main/scala/leon/solvers/theories/ArrayEncoder.scala 23 additions, 27 deletionssrc/main/scala/leon/solvers/theories/ArrayEncoder.scala
- src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala 5 additions, 0 deletionssrc/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
- src/test/resources/regression/verification/purescala/valid/ADTWithArray1.scala 14 additions, 0 deletions...gression/verification/purescala/valid/ADTWithArray1.scala
- src/test/resources/regression/verification/purescala/valid/ADTWithArray2.scala 14 additions, 0 deletions...gression/verification/purescala/valid/ADTWithArray2.scala
Loading
Please register or sign in to comment