Skip to content
This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

Issues: facebookexperimental/MIRAI

Clear current search query, filters, and sorts
21 Open 109 Closed
21 Open 109 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

modifying MIR in rustc_interface
#1258 by gal1ium was closed May 30, 2024
Panic while compiling libm
#1252 by Zeta611 was closed Nov 19, 2023
1
3
Is it possible for it to work with async code
#1240 by ple1n was closed Sep 21, 2023
Add JSON structure reporting
#1231 by TomMD was closed Aug 5, 2023
1
Memory Usage for rebuild_std.sh
#1229 by masapr was closed Aug 14, 2023
3
question: propagation through closure containing tagged values
#1225 by mimoo was closed Aug 7, 2023
14
feature request: Annotating traits for attaching tags
#1224 by mimoo was closed Aug 11, 2023
3
MIRAI fails analysing: error: could not compile <bin>
#1220 by YannikCode was closed Jun 21, 2023
2
Environment variable MIRAI_FLAGS or MIRAI_LOG do not work
#1209 by gfzum was closed Apr 28, 2023
2
Rust WASM toolchain not installed, please install it!
#1206 by rlaferla was closed Aug 9, 2023
4
Lower memory requirements
#1205 by nitnelave was closed Aug 9, 2023
2
cargo mirai never warns me about anything.
#1202 by hermanventer was closed Apr 29, 2023
5
Running MIRAI in cargo test
#1200 by nud3l was closed Sep 17, 2023
1
1
Build failure
#1195 by croizier was closed Dec 31, 2022
3
Could you please supply a example for "command line options" ?
#1194 by ffanyq was closed Dec 8, 2022
2
libc::sysctlbyname doesn't show up in call graph output
#1190 by cdstanford was closed Nov 21, 2022
1
1
Request of a nightly Rust toolchain update
#1188 by hiroki-chen was closed Nov 18, 2022
1
2
block_visitor.deserialize_constant_bytes causes panic
#1182 by acid-chicken was closed Sep 18, 2022
2
Tag analysis fails on container types
#1176 by hiroki-chen was closed Sep 19, 2022
1
Interval domain: unsound transfer functions for div and mul
#1159 by caballa was closed Jul 2, 2022
1
2
[Building MIRAI] wrapper.h:1:10: fatal error: 'z3.h' file not found
#1157 by yanliu18 was closed Sep 18, 2022
10
failed to run custom build command for z3-sys v0.7.1
#1152 by EmirVildanov was closed Sep 18, 2022
2
MIRAI installation error
#1137 by ya0guang was closed Mar 18, 2022
1
1
How to verify tag when type changes
#1131 by ya0guang was closed Mar 24, 2022
1
5
Validation fails on Ubuntu 20.04
#1130 by ya0guang was closed Sep 18, 2022
12
ProTip! Follow long discussions with comments:>50.