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
68 Open 28 Closed
68 Open 28 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

Signatures not shown on Downloads Page but mentioned documentation Issues involving documentation type: bug Issues reporting bugs or unexpected/unwanted behavior usability An issue that impedes efficient understanding and use
#2126 opened Oct 4, 2024 by mccleeary-galois
1 task
Typechecker gap in mir_assert needs test Issues for which we should add a regression test subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json topics: error-handling Issues involving the way SAW responds to an error condition topics: error-messages Issues involving the messages SAW produces on error type: bug Issues reporting bugs or unexpected/unwanted behavior usability An issue that impedes efficient understanding and use
#2122 opened Sep 13, 2024 by sauclovian-g
2
Printing of Cryptol newtypes in counterexamples throws away too much information subsystem: cryptol-saw-core Issues related to Cryptol -> saw-core translation with cryptol-saw-core tech debt Issues that document or involve technical debt topics: error-handling Issues involving the way SAW responds to an error condition topics: error-messages Issues involving the messages SAW produces on error usability An issue that impedes efficient understanding and use
#2119 opened Sep 10, 2024 by sauclovian-g
4
Internal errors are not just impossible executions tech debt Issues that document or involve technical debt topics: error-handling Issues involving the way SAW responds to an error condition topics: error-messages Issues involving the messages SAW produces on error usability An issue that impedes efficient understanding and use
#2106 opened Aug 24, 2024 by sauclovian-g
2
saw inappropriately expands symbolic links tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable topics: error-messages Issues involving the messages SAW produces on error type: bug Issues reporting bugs or unexpected/unwanted behavior usability An issue that impedes efficient understanding and use
#2082 opened Jul 31, 2024 by sauclovian-g
Tests for error messages test assets Issues involving test programs or other test assets tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable topics: error-messages Issues involving the messages SAW produces on error type: feature request Issues requesting a new feature or capability usability An issue that impedes efficient understanding and use
#2075 opened Jul 17, 2024 by sauclovian-g
1 task
@sauclovian-g
2
MIR: Add mir_alloc_static command to better track mutable statics subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json tech debt Issues that document or involve technical debt type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use
#1982 opened Nov 13, 2023 by RyanGlScott
Add command to print out all names in a MIR JSON file subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use
#1981 opened Nov 13, 2023 by RyanGlScott
MIR: Provide utility functions for looking up full identifiers subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use
#1980 opened Nov 13, 2023 by RyanGlScott
MIR: Suggest alternate name identifiers when lookup fails subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json topics: error-messages Issues involving the messages SAW produces on error type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use
#1979 opened Nov 13, 2023 by RyanGlScott
SAW error message index documentation Issues involving documentation topics: error-messages Issues involving the messages SAW produces on error type: feature request Issues requesting a new feature or capability usability An issue that impedes efficient understanding and use
#1978 opened Nov 13, 2023 by RyanGlScott
Heapster: Warn about common forms of permission mistakes subsystem: heapster Issues specifically related to memory verification using Heapster type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use
#1787 opened Dec 14, 2022 by RyanGlScott
Forgotten semicolons produce inconsistent and inexact errors topics: error-messages Issues involving the messages SAW produces on error usability An issue that impedes efficient understanding and use
#1766 opened Nov 24, 2022 by bboston7
Applying a function to too few arguments produces a difficult to understand error topics: error-messages Issues involving the messages SAW produces on error usability An issue that impedes efficient understanding and use
#1765 opened Nov 23, 2022 by bboston7
1
New users struggle with llvm_term usability An issue that impedes efficient understanding and use
#1764 opened Nov 23, 2022 by bboston7
1
Sequents for proof goals type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use
#1685 opened Jun 7, 2022 by robdockins
Cleanup/refinement of goal tags needs design Technical design work is needed for issue to progress type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use
#1681 opened Jun 2, 2022 by robdockins
1
Better ways to identify problematic Cryptol/SAWCore terms type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use
#1674 opened May 23, 2022 by robdockins
Design an alternative to the dynamic scope bug usability An issue that impedes efficient understanding and use
#1646 opened Apr 28, 2022 by chameco
1
print_goal_consts generates noisy output easy Issues that are expected to be easy to resolve and might therefore be good for new contributors usability An issue that impedes efficient understanding and use
#1417 opened Aug 12, 2021 by brianhuffman
3
Support for literate SAW files easy Issues that are expected to be easy to resolve and might therefore be good for new contributors type: feature request Issues requesting a new feature or capability usability An issue that impedes efficient understanding and use
#1408 opened Aug 6, 2021 by weaversa
5
Have print_goal print out the provenance of each goal when sim-verbose is high enough needs design Technical design work is needed for issue to progress usability An issue that impedes efficient understanding and use
#1372 opened Jul 8, 2021 by RyanGlScott
1
Warning when overrides in llvm_verify aren't used needs design Technical design work is needed for issue to progress type: enhancement Issues describing an improvement to an existing feature or capability usability An issue that impedes efficient understanding and use
#1362 opened Jun 29, 2021 by RyanGlScott
3
Yices error "non-linear arithmetic is not allowed in logic ALL" usability An issue that impedes efficient understanding and use
#1338 opened Jun 15, 2021 by msaaltink
1
saw-core terms stemming from accessing sequences with @ in Cryptol contain seemingly avoidable ites usability An issue that impedes efficient understanding and use
#1333 opened Jun 11, 2021 by nano-o
4
ProTip! Adding no:label will show everything without a label.