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

Execution of impossible paths during verification performance Issues that involve or include performance problems 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: bug Issues reporting bugs or unexpected/unwanted behavior
#2124 opened Sep 19, 2024 by sauclovian-g
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
Better synchronize SAW with the mir-json version it depends on priority High-priority issues subproject Issues involving one of the various subprojects SAW depends on subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json type: bug Issues reporting bugs or unexpected/unwanted behavior
#2111 opened Aug 28, 2024 by weaversa
@RyanGlScott @mccleeary-galois
4
MIR counterparts to llvm_extract and llvm_compositional_extract 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 type: feature request Issues requesting a new feature or capability
#2085 opened Aug 7, 2024 by RyanGlScott
Include mir-json in Docker images subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json tooling: CI Issues involving CI/CD scripts or processes
#2067 opened Jul 15, 2024 by RyanGlScott
MIR: Enum value panics when payload is a repr(transparent) struct with a type error subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json type: bug Issues reporting bugs or unexpected/unwanted behavior
#2036 opened Feb 29, 2024 by RyanGlScott
MIR: Make it easier to write specifications involving Vec 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
#2032 opened Feb 23, 2024 by RyanGlScott
3
--detect-vacuity doesn't work with the MIR backend subsystem: crucible-jvm Issues related to Java verification with crucible-jvm subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json type: bug Issues reporting bugs or unexpected/unwanted behavior
#2028 opened Feb 12, 2024 by sauclovian-g
2
Add mir_ref_of/mir_ref_mut_of functions for allocating references directly from values 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
#1999 opened Dec 19, 2023 by RyanGlScott
Add mir_equal and jvm_equal commands, similar to llvm_equal subsystem: crucible-jvm Issues related to Java verification with crucible-jvm 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
#1998 opened Dec 19, 2023 by RyanGlScott
mir_elem_{ref,value} and mir_field_{ref,value} 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
#1983 opened Nov 13, 2023 by RyanGlScott
1
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
MIR: Support raw pointer types 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
#1977 opened Nov 13, 2023 by RyanGlScott
Allow more MIR types to be "flexibly" embedded into Cryptol subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm 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
#1976 opened Nov 13, 2023 by RyanGlScott
2
Handle reference types in mir_fresh_expanded_value 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
#1975 opened Nov 13, 2023 by RyanGlScott
Add mir_alloc_static_mut and mir_initialize_static_mut commands 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
#1960 opened Oct 15, 2023 by RyanGlScott
MIR: Require users to initialize Freeze statics in specifications subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json type: bug Issues reporting bugs or unexpected/unwanted behavior
#1957 opened Oct 12, 2023 by RyanGlScott
1
Reject duplicate mir_points_to statements in a precondition subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json type: feature request Issues requesting a new feature or capability
#1956 opened Oct 12, 2023 by RyanGlScott
Add mir_cast_to_immut_ref function subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json type: feature request Issues requesting a new feature or capability
#1954 opened Oct 11, 2023 by RyanGlScott
Run crux-mir-comp's test suite in CI subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp tooling: CI Issues involving CI/CD scripts or processes
#1887 opened Jul 6, 2023 by RyanGlScott
Include MIR JSON files for Rust standard libs in SAW bindists subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json tooling: CI Issues involving CI/CD scripts or processes
#1868 opened May 10, 2023 by RyanGlScott • Draft
2
crux-mir-comp.cabal refers to non-existent README.md subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp
#1616 opened Mar 16, 2022 by brianhuffman
1
ProTip! Find all open issues with in progress development work with linked:pr.