A minor version of the Jasmin compiler is available. Some changes are discussed in the CHANGELOG. In brief:

  • improved compilation times;
  • compatibility with recent Coq & recent EasyCrypt;
  • better instruction selection on x86.