Skip to content

Issues: GaloisInc/saw-script

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
3 Open 0 Closed
3 Open 0 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

Separate saw-core modules can't define constants with the same base name needs test Issues for which we should add a regression test subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem tech debt Issues that document or involve technical debt topics: saw-core names Issues related to URI-based saw-core names type: bug Issues reporting bugs or unexpected/unwanted behavior
#1258 opened Feb 13, 2021 by brianhuffman Someday
@brianhuffman
Cryptol primitives can't be made uninterpreted topics: saw-core names Issues related to URI-based saw-core names type: bug Issues reporting bugs or unexpected/unwanted behavior usability An issue that impedes efficient understanding and use
#1044 opened Jan 27, 2021 by brianhuffman Someday
6
saw-core parsing commands only recognize identifiers from Prelude.sawcore subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem topics: saw-core names Issues related to URI-based saw-core names type: bug Issues reporting bugs or unexpected/unwanted behavior
#330 opened Dec 7, 2018 by brianhuffman Someday
1
ProTip! What’s not been updated in a month: updated:<2024-10-01.