• Scala version is now 3.7.2
• Improved reporting for ExtractionFailed https://github.com/epfl-lara/stainless/pull/1620
• Add support for extracting from Tasty https://github.com/epfl-lara/stainless/pull/1606
• Add support for pattern alternatives https://github.com/epfl-lara/stainless/pull/1627
• Tail recursion elimination for GenC https://github.com/epfl-lara/stainless/pull/1626
• Added an axiomatized Exists quantifier https://github.com/epfl-lara/stainless/pull/1635
• Disable fancy objects (objects that extend traits) at the extraction level https://github.com/epfl-lara/stainless/pull/1643
• Added check files for verification integration tests https://github.com/epfl-lara/stainless/pull/1641
• Added PartialInverse and Bijection classes and lemmas in Quantifiers library https://github.com/epfl-lara/stainless/pull/1646, https://github.com/epfl-lara/stainless/pull/1654
• Equivalence: allow norm to change return type of candidate programs https://github.com/epfl-lara/stainless/pull/1658

Full Changelog: https://github.com/epfl-lara/stainless/compare/v0.9.9.0...v0.9.9.1