This Month in Hax: May 2026
In May, we successfully merged 6 pull requests!
We fixed various bugs and finally released hax 0.3.7! Our work to integrate Aeneas in the hax engine is still ongoing. Some of it is in our new external repo for the core models (https://github.com/cryspen/rust-core-models). And the changes to hax will be published later.
Full list of PRs
- #2030: Release 0.3.7
- #2029: This month in hax blog post 2026 04
- #2028: fstar: bit-extensionality + concrete rotate_left + update_at_range indexing lemma
- #2025: fix(ci): increase stack limit for opam to fix hax build on CI.
- #2014: fix(frontend): Fix multiple crashes in the frontend/import_thir
- #2012: fix(fstar): fix wrong ident in _marker_trait.