Release 2025.11

What's Changed

• Making program logic formulas memory-agnostic by @oskgo in #789
• Expose memory binding(s) in program logic statements by @oskgo in #816
• address TODOs from memory softcoding PR by @oskgo in #817
• Fix some regressions from PR #789 by @oskgo in #820
• Removing spurious print statements in theories by @loutr in #822
• Feature: Adding statement level proc change by @Gustavo2622 in #823
• Add lemmas for list count and perm_eq by @cassiersg in #824
• Fix comparison of fixpoints by @strub in #826
• Ident printing fixes by @Gustavo2622 in #828
• Proc change multiline to range + deep code position by @Gustavo2622 in #831
• Library for keyed-hash functions by @MM45 in #809
• Library for tweakable hash functions by @MM45 in #810
• recover UC example by @mbbarbosa in #821

New Contributors

• @mbbarbosa made their first contribution in #821

Full Changelog: r2025.10...r2025.11