The 2022.04.0 version of Jasmin has been released

After a few years of effort, the development team of the Jasmin language is proud to announce a new release. This new version provides many fixes, improvements, and new features. Many details can be found in the changelog.

As expected, the Jasmin compiler is formally verified for correctness (and this proof is machine-checked).

This version is compatible with EasyCrypt 2022.04.