Skip to content

Jasmin 2023.06.0
Compare
Choose a tag to compare
@vbgl vbgl released this 09 Jun 09:44
· 428 commits to main since this release
v2023.06.0
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.
ad794a4
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 major release of Jasmin. It contains a few noteworthy changes:

  • local functions now use call and ret instructions;
  • experimental support for the ARMv7 (i.e., Cortex-M4) architecture;
  • a few aspects of the safety checker can be finely controlled through annotations or command-line flags;
  • shift and rotation operators have a simpler semantics.

As usual, it also brings in various fixes and improvements, such as bit rotation operators and automatic slicing of the input program.

More details can be found in the CHANGELOG.

Assets 3
Loading