Release 2026.05

What's Changed

• Improve rewrite framing with formula-level read tracking by @strub in #948
• Refactor cfold propagation and add eager mode by @Gustavo2622 in #938
• "global" hybrid theory, plus two examples by @alleystoughton in #947
• Fix printing of notations by @strub in #952
• Tighten proc-change observability by @strub in #953
• Fix pretty printing of hoare statements/formulas. by @alleystoughton in #956
• Redundant ";"s in pretty printing of stmts in forms by @alleystoughton in #957
• extend Xreal: expectation for dbiased by @fdupress in #959
• Another example for eHoare by @namasikanam in #845
• bump and add prover versions in docker by @fdupress in #961
• Activate CI on merge_group by @strub in #962
• Extend code-position handling with gap/range semantics by @Gustavo2622 in #945
• Merge the default optional postcondition for exception into the map of exceptions by @lyonel2017 in #950
• Fix async while obligations and document the tactic by @lyonel2017 in #935
• Fix simplify flag handling in cfold by @strub in #963
• Add option to bind new local variables with proc change by @Gustavo2622 in #964
• remove stray printing of lemma by @alleystoughton in #967
• Print type parameters of operators when not inferrable from arguments by @strub in #966
• Refactor ecPhlConseq.ml: restructure, deduplicate, document, and annotate by @strub in #965
• Add forward ecall with framed preconditions by @strub in #937
• implement allperms to get rid of some unneeded axioms by @oskgo in #970
• Fix multi-line error message by @strub in #974
• Add a LaTeX formatting style file by @namasikanam in #971
• Add contextual rewrite-pattern selection by @strub in #955
• feat(phl): add simplify if tactic by @bgregoir in #973
• Work around #334 in definition of allperms by @oskgo in #975
• Added prover quorum to project files and command line. by @alleystoughton in #981
• feat: add expect "..." by print ... command by @strub in #986
• add error messages on some call failures by @fdupress in #984
• [docker] provers: bump alt-ergo to 2.6.3 by @fdupress in #979

Full Changelog: r2026.03...r2026.05