This release introduces several significant changes:
- Remove Low*, the old imperative sublanguage of F*
- Introduce Pulse into F*, a separation-logic based imperative sublanguage
- Remove "Dijkstra monads for free"
- Dependencies are now loaded on the fly automatically ("fly_deps" is now true by default, #4060)
- Several SMT encoding changes.
Full Changelog: v2026.03.24...v2026.04.17