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

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

--version should also print the mir-json version bug
#77 opened Sep 18, 2024 by sauclovian-g
2
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
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
saw-rustc --version panics (but crux-rustc --version doesn't) bug
#50 opened Aug 15, 2023 by RyanGlScott
mir-json does not work with cargo workspaces bug
#51 opened Aug 3, 2023 by TomMD
2
Publish to crates.io
#48 opened Jun 30, 2023 by stefnotch
6
Add CI ci Continuous integration
#42 opened Apr 24, 2023 by RyanGlScott
1
3
Improve dependency tracking for dead code elimination enhancement
#36 opened Mar 29, 2023 by RyanGlScott
"Promoted" values
#12 opened Apr 24, 2019 by sweirich
3
Always pass in -Zno-trans
#1 opened Oct 24, 2017 by atomb
ProTip! Exclude everything labeled bug with -label:bug.