Release 2026.02

What's Changed

• Fix a regression in ecall from #789 by @oskgo in #833
• Emit type check error when argument to sided rnd is present but unused by @oskgo in #832
• fix outline error printing by @oskgo in #839
• Inlined documentation by @strub in #783
• fix handling of bounds in conseq equiv phoare by @oskgo in #837
• Manually handle some cases where t_mytrivial is too weak by @oskgo in #848
• reduce when needed in proc and call rules by @bgregoir in #849
• Make casts from existing single sided formulas to two sided ones use a more robust pattern by @oskgo in #851
• Remove dead-code in theory cloning code. by @strub in #853
• Kill warnings + unify flags for ci/dev dune environments by @strub in #852
• Also swap memory types when swapping memories by @oskgo in #856
• In matching, do not unify a memory with itself by @strub in #857
• Improve error message in top-assumption rewrite by @strub in #858
• When doing section-analysis, recurse in operators body by @strub in #860
• When doing section-analysis, recurse in types body by @strub in #866
• Fix dependency analysis by @strub in #862
• Build: unify release/dev warnings flags by @strub in #867
• [docker] update dockerfiles, add formosa docker by @fdupress in #840
• [eco]: add a compilation trace (messages + goals) by @strub in #559
• Fixing the free memory of the second goal of byehoare by @namasikanam in #869
• New lazy/eager logic. by @loutr in #787
• Refman skeleton. by @strub in #868
• CI (doc): not cancellable by @strub in #874
• Positivity check in type constructors by @loutr in #811
• fix alpha-conversion problems in ehoare by @bgregoir in #872
• Revert typeclass additions by @Gustavo2622 in #876
• Allow substitutions of locals using the same memory as that used by a Pr by @oskgo in #870
• [documentation]: document if by @strub in #875
• [seq]: remove bck/fwd option + cleanup by @strub in #878
• proofnav: improve EasyCrypt error handling in Sphinx extension by @strub in #882
• ecproofs: add caching and script export for proof directives by @strub in #883
• [documentation]: document the splitwhile tactic by @strub in #881
• documentation: Sphinx: change default role to code:easycrypt by @strub in #886
• [Internal] Make |- and -| compose in different orders by @oskgo in #885
• Build docker images in CI by @fdupress in #842
• [documentation]: tactic swap by @strub in #889

Full Changelog: r2025.11...r2026.02