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.