Skip to content

Jasmin 2023.06.4
Compare
Choose a tag to compare
@vbgl vbgl released this 18 Jun 08:06
· 428 commits to main since this release
v2023.06.4
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.
b6ef59a
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.

It has better compatibility with recent versions of GNU binutils.

It brings support for a few x86 instructions from the VAES and BMI2 extensions.

The command line interface to the constant-time checker has been renamed to jasmin-ct. The pretty-printer of Jasmin programs has been renamed to jasmin2tex.

Relevant details can be found through the CHANGELOG.

Assets 3
Loading