Skip to content

Issues: GaloisInc/asl-translator

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

14 Open 10 Closed
14 Open 10 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

Conditional instructions in Thumb mode are not handled correctly
#50 opened Mar 30, 2023 by danmatichuk
setSlice ASL implementation is incorrect
#49 opened Mar 30, 2023 by danmatichuk
_R[15] access causes issues downstream
#30 opened Jan 19, 2021 by danmatichuk
Duplicate sub expressions (introduced during normalization) are problematic for "stateful" functions bug Something isn't working enhancement New feature or request
#17 opened Apr 7, 2020 by danmatichuk
Avoid redundant extends/truncations during normalization enhancement New feature or request
#16 opened Apr 7, 2020 by danmatichuk
Implement correct semantics for "RoundTowardsZero" and "RoundUp"
#15 opened Mar 27, 2020 by danmatichuk
Add flag to indicate instructions have unexpected bits enhancement New feature or request
#14 opened Mar 27, 2020 by danmatichuk
Standardize the solver features and options maintenance Code cleanup
#13 opened Feb 7, 2020 by danmatichuk
@danmatichuk
Update logging infrastructure maintenance Code cleanup
#11 opened Feb 6, 2020 by danmatichuk
@danmatichuk
Incomplete semantics for some ARM instructions causes translation failure bug Something isn't working question Further information is requested
#8 opened Feb 6, 2020 by danmatichuk
@danmatichuk
Clarify the semantics of EndOfInstruction() enhancement New feature or request question Further information is requested
#6 opened Feb 6, 2020 by danmatichuk
@danmatichuk
Clean up dead/commented out code blocks maintenance Code cleanup
#5 opened Feb 5, 2020 by danmatichuk
@danmatichuk
Refactor Language.ASL.Translation into multiple modules enhancement New feature or request maintenance Code cleanup
#2 opened Feb 5, 2020 by danmatichuk
@danmatichuk
Add haddocks for core translator code documentation Improvements or additions to documentation
#1 opened Feb 5, 2020 by danmatichuk
@danmatichuk
ProTip! Updated in the last three days: updated:>2024-07-11.