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