Search results

Namespace

Status: Open.

#1351 In jasmin-lang/jasmin;

· vbgl opened on Dec 12, 2025

Improve initialization of runtime slices

feature request

safety-checking

Status: Open.

#1350 In jasmin-lang/jasmin;

· sarranz opened on Dec 10, 2025

Support address register increments for loads/stores

armRelated to the arm portRelated to the arm port

feature request

Status: Open.

#1345 In jasmin-lang/jasmin;

· dop-amin opened on Dec 8, 2025

Array expansion does not modify (S)CT annotations

SCT checker

Status: Open.

#1344 In jasmin-lang/jasmin;

· vbgl opened on Dec 8, 2025

Imperfect error messages

Status: Open.

#1338 In jasmin-lang/jasmin;

· eponier opened on Nov 26, 2025

The safety checker cannot be run after stack alloc

safety-checking

Status: Open.

#1318 In jasmin-lang/jasmin;

· eponier opened on Nov 14, 2025

[Safety checker] Make the safety-checker check the safety of armv7m and riscv programs

Status: Open.

#1314 In jasmin-lang/jasmin;

· clebreto opened on Nov 13, 2025

Safety checker: memory ranges always start at 0

feature request

safety-checking

Status: Open.

#1311 In jasmin-lang/jasmin;

· eponier opened on Nov 13, 2025

Safety checker: strange behavior when decrementing a pointer

safety-checking

Status: Open.

#1309 In jasmin-lang/jasmin;

· eponier opened on Nov 13, 2025

Support <code>set0</code> in ARMv7

armRelated to the arm portRelated to the arm port

enhancement

Status: Open.

#1308 In jasmin-lang/jasmin;

· sarranz opened on Nov 13, 2025

Feature request: Add variables view information for GDB debugging

feature request

Status: Open.

#1271 In jasmin-lang/jasmin;

· IvanRenison opened on Aug 29, 2025

Printing of word-extension operators is imprecise

bug

Status: Open.

#1186 In jasmin-lang/jasmin;

· vbgl opened on Jun 6, 2025