Skip to content

Issues: GaloisInc/mir-json

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
11 Open 12 Closed
11 Open 12 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

Add option for producing deterministic disambiguator values enhancement
#74 opened Aug 28, 2024 by RyanGlScott
3
Don't use macros to derive ToJson impls enhancement
#72 opened Jul 18, 2024 by RyanGlScott
Provide Docker image ci Continuous integration enhancement
#71 opened Jul 15, 2024 by RyanGlScott
Don't print slice op_ty output by default
#69 by RyanGlScott was closed Jul 5, 2024
1
1
Require defining {CRUX,SAW}_RUST_LIBRARY_PATH by default enhancement
#67 opened Mar 13, 2024 by RyanGlScott
Distinguish ADT instantiations that use const generics enhancement
#64 opened Jan 15, 2024 by RyanGlScott
Support extern functions bug
#61 opened Nov 22, 2023 by RyanGlScott
1
Add cargo run-saw command enhancement
#59 opened Nov 13, 2023 by RyanGlScott
5
Never emit lifetime substitutions enhancement
#58 opened Nov 13, 2023 by RyanGlScott
Functions in impl blocks aren't marked as entrypoints bug
#57 by RyanGlScott was closed Dec 7, 2023
1
@RyanGlScott
saw-rustc doesn't work with const or static values bug
#55 by RyanGlScott was closed Sep 11, 2023
1
1
saw-rustc doesn't work with struct newtypes bug
#53 by RyanGlScott was closed Aug 29, 2023
@RyanGlScott
3
Handle mixed monomorphic and polymorphic code with saw-rustc bug
#52 by RyanGlScott was closed Aug 29, 2023
1
1
saw-rustc --version panics (but crux-rustc --version doesn't) bug
#50 opened Aug 15, 2023 by RyanGlScott
Unexpected saw-rustc compilation failure (#[test] can only be applied to functions) bug
#47 by RyanGlScott was closed Jul 14, 2023
1
@RyanGlScott
2
Add a schema version to JSON enhancement
#45 by RyanGlScott was closed Sep 10, 2024
1
Rename CRUX_RUST_LIBRARY_PATH to RUST_LIBRARY_PATH enhancement
#43 by RyanGlScott was closed May 5, 2023
1
@RyanGlScott
1
Add CI ci Continuous integration
#42 opened Apr 24, 2023 by RyanGlScott
1
3
Document the zoo of executables documentation
#40 by RyanGlScott was closed May 1, 2023
Add cargo saw-build command for producing MIR JSON files without testing them enhancement
#39 by RyanGlScott was closed May 1, 2023
1
@RyanGlScott
mir-json-rustc-wrapper produced linked MIR with too many dots in the file name bug
#38 by RyanGlScott was closed May 1, 2023
Modernize outdated references to mir-verifier documentation
#37 by RyanGlScott was closed May 1, 2023
Improve dependency tracking for dead code elimination enhancement
#36 opened Mar 29, 2023 by RyanGlScott
ProTip! Updated in the last three days: updated:>2025-01-03.