All issues

Search results

EasyCrypt extraction for armv8a: ambiguous operator names (ADD_64, …)

Status: Open.

#1584 In jasmin-lang/jasmin;

· bgregoir opened on Sep 23, 2026

Windows calling convention: stack zeroization fails with an internal error

Status: Open.

#1582 In jasmin-lang/jasmin;

· bgregoir opened on Sep 23, 2026

Windows calling convention: "to-save: bad frame alignment" when a callee-saved xmm register is used

Status: Open.

#1581 In jasmin-lang/jasmin;

· bgregoir opened on Sep 23, 2026

EC extraction: test also model "warray" (and "old"?)

Status: Open.

#1573 In jasmin-lang/jasmin;

· eponier opened on Sep 17, 2026

Support for external function calls

feature request

Status: Open.

#1556 In jasmin-lang/jasmin;

· ramiro-l opened on Sep 9, 2026

Make the default memory alignment more flexible

feature request

Status: Open.

#1552 In jasmin-lang/jasmin;

· sarranz opened on Sep 4, 2026

Support aligned slices

feature request

Status: Open.

#1551 In jasmin-lang/jasmin;

· sarranz opened on Sep 4, 2026

Type checking of pointers

bug

Status: Open.

#1527 In jasmin-lang/jasmin;

· lyonel2017 opened on Jul 24, 2026

Investigate slow (setoid_)rewrite

Status: Open.

#1515 In jasmin-lang/jasmin;

· eponier opened on Jul 10, 2026

Incorrect assembly when SP alone is saved to the stack

armRelated to the arm portRelated to the arm port

bug

Status: Open.

#1503 In jasmin-lang/jasmin;

· vbgl opened on Jul 7, 2026

Inconsistent signedness check for vectorized shift operators

Status: Open.

#1441 In jasmin-lang/jasmin;

· hjbar opened on Apr 20, 2026

x86: CMOV with stack variable

Status: Open.

#1368 In jasmin-lang/jasmin;

· kraemv opened on Jan 13, 2026