Stainless 0.9.8 (2023-05-30)

Version 0.9.8 (2023-05-30)

Stainless frontend, library and internals

• Expand Stainless library (#1400, #1402, #1418)
• Improved reporting (#1396, #1410)
• Support for enum case objects (#1384)
• Support require and ensuring message overloads (#1382)
• Make ghost, assert and require arguments by-name (#1364)
• Move equivalence checking to a component (#1378)
• Some improvements to OL and OCBSL based simplifiers (#1380)
• Fix issues #1343, #1214, #1351, #1352, #1353, #1365, #1379, #1389, #1390, #1377, #1349, #1405, #1401

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.