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
41 Open 20 Closed
41 Open 20 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

saw-core-what4: Support SMT arrays with record/tuple elements subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: enhancement Issues describing an improvement to an existing feature or capability
#1988 opened Nov 21, 2023 by RyanGlScott
Don't concretize applications of uninterpreted functions in SAW's symbolic simulator subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: enhancement Issues describing an improvement to an existing feature or capability
#1906 opened Aug 14, 2023 by RyanGlScott
3
Typeclass system to make saw-core more readable subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: feature request Issues requesting a new feature or capability
#1845 opened Mar 21, 2023 by m-yac
SAW's simulator doesn't short-circuit evaluation like Cryptol does subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: bug Issues reporting bugs or unexpected/unwanted behavior
#1820 opened Feb 9, 2023 by RyanGlScott
1
Incorrect simulation when indexing into array using out-of-bounds bitvector subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: bug Issues reporting bugs or unexpected/unwanted behavior
#1807 opened Jan 26, 2023 by RyanGlScott
1
@RyanGlScott
Remove scFinVal from SharedTerm library subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem
#1611 opened Mar 15, 2022 by brianhuffman
Simplify NameInfo type subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem tech debt Issues that document or involve technical debt
#1581 opened Feb 15, 2022 by brianhuffman
Bad line breaks and indentation in pretty-printed saw-core terms subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem
#1580 opened Feb 15, 2022 by brianhuffman
Attach names to arbitrary saw-core subterms subsystem: cryptol-saw-core Issues related to Cryptol -> saw-core translation with cryptol-saw-core subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem
#1569 opened Feb 8, 2022 by brianhuffman
SharedTerm and Recognizer differ on what a tuple is subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: bug Issues reporting bugs or unexpected/unwanted behavior
#1383 opened Jul 20, 2021 by eddywestbrook
Term ordering for permutative rewriting subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: bug Issues reporting bugs or unexpected/unwanted behavior
#1266 opened Mar 22, 2021 by msaaltink Someday
1
Internal consistency of saw-core typechecking needs design Technical design work is needed for issue to progress subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem tech debt Issues that document or involve technical debt type: enhancement Issues describing an improvement to an existing feature or capability
#1264 opened Mar 18, 2021 by robdockins Someday
7
ruleOfProp is a bit clunky subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: bug Issues reporting bugs or unexpected/unwanted behavior unsoundness Issues that can lead to unsoundness or false verification
#1261 opened Mar 11, 2021 by robdockins 2025T1
8
sawcore imports don't work correctly subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: bug Issues reporting bugs or unexpected/unwanted behavior
#1112 opened Mar 6, 2021 by weaversa Someday
2
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
Add support for serializing / deserializing SAW core modules to/from disk needs design Technical design work is needed for issue to progress subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: feature request Issues requesting a new feature or capability
#1257 opened Jan 19, 2021 by eddywestbrook Someday
3
What4 backend with appended boolean list literals causes blowup in term size subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: bug Issues reporting bugs or unexpected/unwanted behavior
#1010 opened Jan 16, 2021 by brianhuffman Someday
2
print_goal doesn't show the types of quantified variables easy Issues that are expected to be easy to resolve and might therefore be good for new contributors subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use
#1007 opened Jan 14, 2021 by brianhuffman 2025T1
1
Feature request: subterm evaluation subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: feature request Issues requesting a new feature or capability
#1001 opened Jan 12, 2021 by msaaltink Someday
4
Unfolding rejects the names of fields subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: enhancement Issues describing an improvement to an existing feature or capability
#944 opened Dec 2, 2020 by msaaltink Someday
2
Uninterpreted higher-order functions 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 type: enhancement Issues describing an improvement to an existing feature or capability
#906 opened Nov 16, 2020 by msaaltink Someday
6
Records in saw-script have lost their field names, making reading difficult subsystem: cryptol-saw-core Issues related to Cryptol -> saw-core translation with cryptol-saw-core subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem tech debt Issues that document or involve technical debt type: bug Issues reporting bugs or unexpected/unwanted behavior usability An issue that impedes efficient understanding and use
#878 opened Oct 27, 2020 by msaaltink 2025T1
4
scCryptolType: unsupported type sort 0 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 type: bug Issues reporting bugs or unexpected/unwanted behavior
#1248 opened Oct 14, 2020 by msaaltink 2024T3
3
More evaluation for crucible_term and friends needs design Technical design work is needed for issue to progress subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem tech debt Issues that document or involve technical debt type: enhancement Issues describing an improvement to an existing feature or capability
#855 opened Oct 5, 2020 by robdockins Someday
3
Prime field inverses missing cryptol features Issues about features in Cryptol that don't work in SAW subsystem: cryptol-saw-core Issues related to Cryptol -> saw-core translation with cryptol-saw-core subsystem: saw-core Issues related to the saw-core representation or the saw-core subsystem type: feature request Issues requesting a new feature or capability
#1242 opened Sep 30, 2020 by robdockins 2025T1
1
ProTip! Follow long discussions with comments:>50.