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.

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

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

Issues list

Large offset memory accesses in stackalloc arm Related to the arm port bug
#875 opened Aug 13, 2024 by sarranz
Lower x & 0...01...1 as UBFX arm Related to the arm port feature request
#806 opened May 23, 2024 by sarranz
Support instructions SXTB and SXTH arm Related to the arm port feature request
#805 opened May 23, 2024 by sarranz
Support zero and sign extension for ARMv7 arm Related to the arm port feature request
#798 opened May 17, 2024 by sarranz
Split large memory accesses in stack alloc arm Related to the arm port
#741 opened Feb 28, 2024 by sarranz Loading…
Add SBC instruction for ARM arm Related to the arm port
#682 opened Jan 11, 2024 by sarranz
Immediate values on ARM arm Related to the arm port
#537 opened Jul 20, 2023 by vbgl
Add encoding options for ARMv7 arm Related to the arm port enhancement
#380 opened Mar 3, 2023 by sarranz
Release with ARM support arm Related to the arm port
#373 opened Mar 2, 2023 by vbgl
9 tasks
Adapt extraction to EasyCrypt to work with ARM arm Related to the arm port EasyCrypt extraction and model
#366 opened Feb 28, 2023 by sarranz
2 tasks
Add ARM Cortex M4 flag APSR.GE arm Related to the arm port
#361 opened Feb 27, 2023 by sarranz
3 tasks
Add ARM Cortex M4 instructions for subword addition and subtraction arm Related to the arm port
#360 opened Feb 27, 2023 by sarranz
4 tasks
Add ARM Cortex M4 instructions for subword multiplication with accummulate arm Related to the arm port
#359 opened Feb 27, 2023 by sarranz
1 of 4 tasks
ProTip! Updated in the last three days: updated:>2024-11-13.