Skip to content

Issues: jasmin-lang/jasmin

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

121 Open 185 Closed
121 Open 185 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Instruction request: SHA256RNDS2, SHA256MSG1 and SHA256MSG2
#1040 opened Feb 4, 2025 by ruipedro16
2
ARM semantics of carry flag is wrong for shift instructions arm Related to the arm port bug
#1033 opened Jan 31, 2025 by vbgl
reg/stack mismatch at function boundaries
#1024 opened Jan 27, 2025 by vbgl
1
RISC-V: CT and doit are wrong constant-time risc-v
#1013 opened Jan 21, 2025 by eponier
Add non-regression test-case for the Easycrypt extraction
#994 opened Dec 13, 2024 by lyonel2017
@cassiersg
Printing double semicolons clashes with double underscores bug
#993 opened Dec 13, 2024 by sarranz
Array extraction: use only byte arrays EasyCrypt extraction and model refactoring
#987 opened Dec 11, 2024 by cassiersg
Unexpected inline int behavior question
#984 opened Dec 10, 2024 by sarranz
3
Export global constants feature request
#968 opened Nov 29, 2024 by sarranz
7
Compiler emits unreachable assembly code
#966 opened Nov 26, 2024 by vbgl
1
MSF and type SCT annotations bug question SCT checker
#962 opened Nov 15, 2024 by sarranz
3
Improve code generation for RISC-V risc-v
#954 opened Nov 5, 2024 by eponier
1
protect prevents unspill
#935 opened Oct 18, 2024 by Rixxc
1
asmgen: (compile_arg) not compatible asm_arg bug lowering
#930 opened Oct 16, 2024 by y4cer
1
Subarrays for stkptr
#929 opened Oct 15, 2024 by eponier
1
With option returnaddress=stack, the compiler can use LR/ra as a result register
#923 opened Oct 4, 2024 by eponier
13
Parameters are not substituted in annotations
#919 opened Oct 2, 2024 by vbgl
2
Confusing treatment of immediates question
#882 opened Aug 27, 2024 by sarranz
Fatal error in Stack Allocation bug stack-allocation The compiler pass that handles stack & pointers
#878 opened Aug 15, 2024 by sarranz
1
Internal asmgen error for invalid intrinsic argument bug lowering
#877 opened Aug 15, 2024 by sarranz
1
Large offset memory accesses in stackalloc arm Related to the arm port bug
#875 opened Aug 13, 2024 by sarranz
@sarranz
Late crash when using inline value as reg argument bug
#866 opened Jul 13, 2024 by vbgl
4
Reduce Array code in easycrypt extraction
#865 opened Jul 12, 2024 by cassiersg
Modularize leakage extraction
#864 opened Jul 12, 2024 by cassiersg
Modular Jasmin (jexport ABI) enhancement
#860 opened Jul 10, 2024 by cassiersg
1
ProTip! Add no:assignee to see everything that’s not assigned.