epfl-lara/stainless v0.9.8.1

Stainless 0.9.8.1 (2023-09-21)

on GitHub

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.