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.