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

Clear current search query, filters, and sorts
14 Open 33 Closed
14 Open 33 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

Renaming: report errors due to liveness conflicts enhancement
#940 opened Oct 24, 2024 by vbgl • Draft
1
Modular Jasmin (jexport ABI) enhancement
#860 opened Jul 10, 2024 by cassiersg
Better error message in stack alloc for stack ptr enhancement
#843 opened Jun 19, 2024 by sarranz
Add VZEROALL and use it for zeroization enhancement
#738 opened Feb 27, 2024 by sarranz
Regalloc conflict produces internal error when function is inlined bug enhancement
#483 opened Jun 19, 2023 by sarranz
1
6
Add encoding options for ARMv7 arm Related to the arm port enhancement
#380 opened Mar 3, 2023 by sarranz
Better error than "unexpected token" at parsing time enhancement
#376 opened Mar 2, 2023 by eponier
eclib: theory W8.SHIFT needs refactoring EasyCrypt extraction and model enhancement
#259 opened Sep 29, 2022 by vbgl
An example where stack alloc could be smarter enhancement
#57 opened Sep 7, 2021 by eponier
1
Use library "Logs" for printing messages enhancement ocaml TODO
#53 opened Sep 2, 2021 by eponier
2
Eliminating all the proof parts of make CIL enhancement
#34 opened Jun 3, 2021 by eponier
@eponier
5
Loop iterator as a command line argument enhancement
#33 opened Jun 3, 2021 by eponier
@eponier
Syntax highlighting enhancement
#31 opened Jun 3, 2021 by eponier
2
Autocompletion for jasminc enhancement
#30 opened Jun 3, 2021 by eponier
ProTip! Add no:assignee to see everything that’s not assigned.