Skip to content

Jasmin 2024.07.1

Latest
Latest
Compare
Choose a tag to compare
@vbgl vbgl released this 03 Oct 09:02
· 53 commits to main since this release
v2024.07.1
This tag was signed with the committer’s verified signature. The key has expired.
vbgl Vincent Laporte
GPG key ID: EBD582ADDDB1F81F
Expired
Learn about vigilant mode.
e2ddded
This commit was signed with the committer’s verified signature. The key has expired.
vbgl Vincent Laporte
GPG key ID: EBD582ADDDB1F81F
Expired
Learn about vigilant mode.

This is a minor release of Jasmin.

  • Local variables may be initialized when declared.
  • Integer literals can be written in octal or binary and can include non-leading underscores.
  • The #copy operator can now be used with array slices.
  • The safety checker better handles LEA instructions and dynamically scoped variables.
  • Extraction to EasyCrypt targets its latest released version (2024.09).
  • The LATEX pretty-printer shows annotations and literals as formatted in the source code.

Details can be found in the CHANGELOG.

Assets 3
Loading