Release 2025.08

What's Changed

• Keyword global for 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 ofpairK by @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_mu1 for 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

• @loutr made their first contribution in #764

Full Changelog: r2025.03...r2025.08