epfl-lara/stainless v0.9.1

Stainless 0.9.1 (2021-09-28)

on GitHub

Version 0.9.1 (2021-09-28)

Stainless frontend and internals

• Add the &&& operator, which splits verification conditions.
• Improve reporting when there are multiple require in inlined function
• Add some benchmarks for full-imperative phase
• Upgrade to Scala 2.13 (#1173)

GenC

• Allow reference to old global state
• Ignore opaque keyword in GenC inlining