This Month in Hax: June 2026
In June, we successfully merged 6 pull requests!
Our main focus right now is the integration of aeneas into hax, which we will release in July. Besides that, we worked on improving our testing infrastructure and on our Rust core models.
Full list of PRs
- #2042: chore: merge approved hax-evit workflow changes
- #2041: docs: update
curlcommand to fetch new Makefile from @maximbuyse - #2039: Remove proc_macro_error2 dependency
- #2038: Evit upstream May 2026
- #2034: F* Makefiles with separate cache dirs.
- #2033: This month in hax blog post 2026 05