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