A new minor version of the Jasmin compiler is available. Here are the main changes.

The compiler front-end now checks the storage class (“reg”, “stack”, or “inline”) of return type signatures: more programs are now rejected. If one of your programs happens to be rejected, just fix the function signatures to reflect the types of the variables that are actually returned.

New x86 instructions are available: VPSIGN, VPABS, BLENDV (covering vblendvps, vblendvpd, and vpblendvb).

Extraction to EasyCrypt targets its latest version 2025.02; the semantics of shift operators and of the VPCMPGT instruction have been fixed.

The constant-time checkers now ignores #flex and #strict annotations and treats every variable flow-sensitively.

Other changes, fixes, and improvements are described in the CHANGELOG.