Skip to content

Pull requests: jasmin-lang/jasmin

New pull request New
13 Open 691 Closed
13 Open 691 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

use byte array in extraction
#995 opened Dec 15, 2024 by bgregoir Loading…
Update warnings
#991 opened Dec 13, 2024 by eponier Loading…
9
(S)CT checkers: all variables have flow-sensitive (flex) type constant-time SCT checker
#990 opened Dec 13, 2024 by vbgl Loading… 2024.07.3
SCT-checker: consider variable sharing bug SCT checker
#989 opened Dec 12, 2024 by vbgl Loading…
eclib: small refactoring in JWord EasyCrypt extraction and model
#988 opened Dec 12, 2024 by vbgl Loading…
Cryptoline curve25519 examples
#947 opened Oct 29, 2024 by JoaoDiogoDuarte Loading…
Modified toCL to be able to run reduce4 mulx example and added the reduce4 mulx example
#946 opened Oct 29, 2024 by JoaoDiogoDuarte Loading…
5
Renaming: report errors due to liveness conflicts enhancement
#940 opened Oct 24, 2024 by vbgl • Draft
1
Draft: Added required code to prove missing formosa-x25519 procedures
#924 opened Oct 6, 2024 by JoaoDiogoDuarte • Draft
Initial support for RISC-V 32 I M risc-v
#781 opened Apr 8, 2024 by clebreto Loading… Jasmin for RISC-V
1
34
Split large memory accesses in stack alloc arm Related to the arm port
#741 opened Feb 28, 2024 by sarranz Loading…
6
Stack alloc: option to print in JSON format
#656 opened Nov 29, 2023 by eponier Loading…
12
Add more syscalls to Jasmin
#553 opened Aug 21, 2023 by Rixxc • Draft
6 tasks
4
ProTip! Updated in the last three days: updated:>2024-12-15.