What's Changed
- Bump version to 2026.07.26 by @dzomo in #4373
- Simplify handling of branch conditions in Pulse.Checker.If and Checker.Match by @nikswamy in #4372
- Align ulib and compiler term types by @gebner in #4370
- Update karamel submodule to 2309d841 by @dzomo in #4377
- Erase more functions. by @gebner in #4376
- Make app/abs/arrow unary by @gebner in #4375
- Replace syntactic interface interleaving with a to-do list by @gebner in #4380
- Shrink the SMT term representation by @gebner in #4383
- Simplify the syntax of introduce/eliminate by @gebner in #4384
- Miscellaneous startup time improvements by @gebner in #4385
- Yet more startup speedups by @gebner in #4386
- Bump version to 2026.08.02 by @dzomo in #4388
Full Changelog: v2026.07.24...v2026.08.02