What's Changed
- Update Scala to LARA Dotty 3.8.3 and SBT to 1.12.4 by @mbovel in #1708
- Update inox to 8fc9cf8 by @mbovel in #1709
- Fix compatibility with Scala 3.8 by @mbovel in #1711
- Add a lite version of bolts CI for PRs by @samuelchassot in #1712
- Add contributing documentation by @samuelchassot in #1715
- Add natural deduction test cases and documentation for quantified properties by @vkuncak with @Copilot in #1720
- remove refinement lifting phase by @kasiaMarek in #1717
- Refinement types (no skolems) by @kasiaMarek in #1725
- Refinement pattern matching by @kasiaMarek in #1726
- Add error msg for skolem use by @kasiaMarek in #1727
- feat: support
isInstaceOffor base types by @kasiaMarek in #1730 - Make refinement type predicates ghost environments by @samuelchassot in #1729
- bump Scala version to 3.9.0-RC1-bin-20260516-64de706-NIGHTLY by @kasiaMarek in #1732
- Create a sanitize pass that removes QualifierSkolemIndex annotations by @kasiaMarek in #1733
- Bump Scala to scala-3.9.0-RC1-bin-20260522-7039450-NIGHTLY by @kasiaMarek in #1734
- Add a new benchmark for non OOP interfaces by @samuelchassot in #1735
- Enable silent flag for refinement types by default by @kasiaMarek in #1737
- Disallow mutable types in object fields by @samuelchassot in #1739
- Fix a too restrictive check for pure fields in classes by @samuelchassot in #1746
- fix an issue with function closure with refinement types by @kasiaMarek in #1731
- More readable GenC by @vkuncak in #1750
- Add code generation for BitVector/Integer and signedness conversions by @sankalpgambhir in #1751
- Add more lemmas for List in the library by @samuelchassot in #1749
- Add CI workflow to automate releases by @mbovel in #1752
- Release workflow: push only the tag, not the bump commit by @mbovel in #1753
- Exclude upstream org.scala-lang Scala libs from assembled jars by @mbovel in #1754
New Contributors
- @kasiaMarek made their first contribution in #1717
Full Changelog: v0.9.9.3...v0.9.10