Despite some team members attending an offsite work week event, we merged 24 PRs this month. Here’s an overview of the work of the month.

The frontend remained stable this month, with only a few pull requests focused on small improvements and bug fixes. Our CI now tests the extraction of Rust by Example.

cmester0 is working on an annotated core library, which is extractable via hax to multiple backends. The Coq backend now uses this generated core library, and ships with an example.

I want to add source maps to hax for a long time. A source map is a file that maps transformed code to its original source code. This mapping is particularly useful in debugging, allowing developers to see the original source code when errors occur or when stepping through code in a debugger.

Support for source maps was added previously, but was not really usable. Source maps are now being automatically for the backends using the generic printer (currently only Coq does so). Here is a preview:

Lastly, we fixed a several issues and enhanced the engine. For instance, control is now rewritten correctly within closures.

Get involved with Hax! Submit issues, suggest improvements, or upvote the ones you care about on GitHub. Every contribution counts! ☀️

Merged Pull Requests

Contributors