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

Don't print slice op_ty output by default
#69 by RyanGlScott was closed Jul 5, 2024
1
1
Print json files with newlines enhancement
#68 by sauclovian-g was closed Aug 22, 2024
2
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
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
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
Needs updated for split of rustc_mir module into many smaller modules
#32 by TomMD was closed Jul 14, 2023
1
@RyanGlScott
README compile instructions not working
#31 by robdockins was closed Jul 14, 2023
1
@RyanGlScott
1
Arm64 Support (M1)
#22 by franziskuskiefer was closed Jul 14, 2023
1
@RyanGlScott
1
Build fails
#17 by fshaked was closed Jun 10, 2020
3
Fn trait objects
#13 by sweirich was closed May 10, 2019
4
Fails to translate the libc crate
#11 by atomb was closed Aug 15, 2023
1
Missing predicate for polymorphic trait implementation
#10 by sweirich was closed Mar 15, 2019
1
Need information about subtraits in trait declarations
#9 by sweirich was closed Feb 26, 2019
2
Default implementations are not included with traits
#8 by sweirich was closed Mar 12, 2019
3
Trait info not always included in output
#7 by sweirich was closed Jan 7, 2019
2
Constants
#6 by sweirich was closed May 8, 2019
9
negative integers
#5 by sweirich was closed Jan 7, 2019
2
ProTip! Follow long discussions with comments:>50.