News

• Jasmin release 2022.04.0
  

  A new version of the Jasmin compiler is available.

• EasyCrypt and Jasmin tutorial in Šibenik
  

  Manuel Barbosa will be giving a tutorial on machine-checked cryptography in EasyCrypt and Jasmin at the Summer School on Real-World Crypto and Privacy in Šibenik, Croatia, on June 16th.

• Jasmin compiler in the opam repository
  

  The Jasmin compiler can be installed using the opam package manager.

• Jasmin lecture in Nancy
  

  During the Cyber in Nancy summer school, Vincent Laporte and Benjamin Grégoire gave a lecture on Jasmin.

• Jasmin release 2022.09.0
  

  A new version of Jasmin is available.

• libjade release 2022.12.0
  

  The first version of libjade is available.