issues
search
epfl-lara
/
stainless
Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
349
stars
50
forks
source link
Prepare for the next release
#1469
Closed
mario-bucev
closed
9 months ago
mario-bucev
commented
9 months ago
Upgrade the Scala 2 frontend to 2.13.12
Upgrade the shipped Z3 version (
smt-z3
) to 4.12.2
Add cvc5 1.0.8 to the archive
Add arm64 build for macOS
Add the compiled and source code of the Stainless library to the archive, under
lib
Add a
stainless-cli
script to invoke
scala-cli
with the library.
Rename
stainless.sh
to
stainless
smt-z3
) to 4.12.2lib
stainless-cli
script to invokescala-cli
with the library.stainless.sh
tostainless