epfl-lara/stainless v0.9.7

Stainless 0.9.7 (2022-11-21)

on GitHub

Version 0.9.7 (2022-11-21)

General

• The recommended JDK is now JDK 17

Stainless frontend, library and internals

• Improve equivalence checking: function call matching, norm, mkTest (#1294)
• Experimental integration of OL- and OCBSL- based simplifiers (#1315)
• Upgrade to Scala 3.2 (#1317)
• Add verification pipeline summary (#1336)
• Fix issues #1332, #1271, #1333, #731, #1290, #1321, #1322, #1306, #1301, #1302, essentially concerning @opaque and @inlineOnce, imperative phase and tupling.

Build

• Include macOS ScalaZ3 build
• Include SBT Stainless plugin