-
Notifications
You must be signed in to change notification settings - Fork 56
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
Label
Projects
Milestones
Assignee
Sort
Issues list
Large offset memory accesses in stackalloc
arm
Related to the arm port
bug
#875
opened Aug 13, 2024 by
sarranz
Lower Related to the arm port
feature request
x & 0...01...1
as UBFX
arm
#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…
Linearization issues wrong ARM code when export functions have large stack
arm
Related to the arm port
#685
opened Jan 16, 2024 by
sarranz
ARM - dealing with large programs / global arrays - invalid constant (XXXX) after fixup
arm
Related to the arm port
question
#619
opened Oct 16, 2023 by
tfaoliveira
Add encoding options for ARMv7
arm
Related to the arm port
enhancement
#380
opened Mar 3, 2023 by
sarranz
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.