Release 2025.08
What's Changed
- Keyword
globalfor cloning theories by @loutr in #764 - Fix unexpected failure of byupto by @bgregoir in #766
- fix async while rule by @bgregoir in #776
- [Theories, SplitRO] remove requirement of axiom
ofpairKby @loutr in #773 - Update README by @MM45 in #778
- Fix #761: Sim deadcode conditions not strong enough. by @Cameron-Low in #780
- Type annotated getters/setters by @strub in #730
- Fix bug in SMT translation (abstraction of non-translatable constructions) by @strub in #782
- Fix indentation TOC by @MM45 in #784
- fixes bug #785, add check that bad is only set to true once set by @bgregoir in #786
- New lemma
mu1_le_eq_mu1for Pr-rewrite. by @loutr in #788 - Add lemma Array.map_comp by @vbgl in #790
- [tactic] Fix type unification in outline by @Cameron-Low in #791
- Add tactic for lossless while by @lyonel2017 in #669
New Contributors
Full Changelog: r2025.03...r2025.08