Skip to content

Stainless 0.9.8.1 (2023-09-21)
Compare
Choose a tag to compare
@mario-bucev mario-bucev released this 21 Sep 14:31
· 137 commits to main since this release
v0.9.8.1
bf63eb4
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Version 0.9.8.1 (2023-09-21)

Stainless frontend, library and internals

  • Fix --watch crashing on compilation error (#1424)
  • Expand options for equivalence checking (#1422, #1435)
  • Add more info messages (#1425)
  • Add further postconditions for indexOf and apply (#1428)
  • Documentation updates (#1429, #1434, #1431)
  • Fix ghost elimination for GenC (#1433)
  • Reorganize some library files and allow for verification without Stainless library (#1436)
  • Fix issue #1399

Note on platforms

Our CI and most developer machines run Ubuntu 20 or 22; we use OpenJDK 17. Stainless runs fine on terminal-only Linux installations (without X or Wayland), which makes it easy to deploy in Window Subsystem for Linux on Windows; we recommend WSL with *-linux.zip release file for Windows as well (though *-win.zip should work as well). Use option --solvers=smt-z3 on Mac.

Assets 10
Loading