A new minor version of the Jasmin compiler is available. It features some fixes and improvements whose details can be found in the CHANGELOG.

The following changes might deserve your attention:

  • the safety checker is now available for all architectures
  • declassification can be finely expressed through a dedicated operator
  • an optional transformation (off by default) inserts spilling
  • the syntax for annotations without enclosing square brackets is deprecated.