What's Changed
- Update karamel submodule to a72ac0c7 by @dzomo in #4266
- Update karamel submodule to 7aebb836 by @dzomo in #4268
- Update karamel submodule to 3611ae49 by @dzomo in #4269
- Make sure propositions are squashed in types, remove valid_intro/valid_elim options by @mtzguido in #4271
- Extraction.Krml: add ESizeof node by @mtzguido in #4262
- SMT: encode typing axioms for primitive symbols too by @mtzguido in #4272
- Support #eval in Pulse code by @mtzguido in #4275
- Bump version to 2026.05.24 by @dzomo in #4276
Full Changelog: v2026.05.17...v2026.05.24