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

Issues: facebookexperimental/MIRAI

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

Format MIRAI diagnostic message
#1273 opened Aug 9, 2024 by seanrion
mirai: error while loading shared libraries: librustc_driver-0c79f0a768565e4a.so: cannot open shared object file: No such file or directory
#1270 opened Jul 15, 2024 by VorpalBlade
4
Panicked when analyzing num-bigint
#1259 opened Jun 28, 2024 by Chiky777
Compilation issues on older versions of crates
#1257 opened Jan 10, 2024 by muhammad-hassnain
Panic on std::f64::<impl f64>::log2
#1254 opened Nov 19, 2023 by Zeta611
1
MacOS Mirai errors
#1248 opened Nov 3, 2023 by sa6ta6ni6c
1
OOM during cargo mirai project analysis
#1241 opened Oct 2, 2023 by anfedotoff
No warnings shown for library methods
#1238 opened Sep 14, 2023 by ple1n
6
Evaluate Profile-Guided Optimization (PGO) and LLVM BOLT
#1237 opened Sep 13, 2023 by zamazan4ik
Does the behavior of add_tag!() and does_not_have_tag!() be affected by type and clone()?
#1236 opened Sep 1, 2023 by AiDaiP
1
How to pass --cfg to mirai?
#1235 opened Aug 26, 2023 by AiDaiP
1
Compiler unexpectedly panicked when execute cargo mirai
#1234 opened Aug 26, 2023 by AiDaiP
MIRAI only sees one member of a workspace
#1233 opened Aug 4, 2023 by TomMD
4
Question: Foreign contracts
#1230 opened Aug 3, 2023 by masapr
6
suggestion: add example + usage in the README
#1226 opened Jul 19, 2023 by mimoo
1
Problems in tag analysis for vector operations
#1148 opened Apr 1, 2022 by ya0guang
Verify tag propagation for multiple type changes
#1147 opened Mar 31, 2022 by ya0guang
Make k-limits into command line options enhancement New feature or request good first issue Good for newcomers
#112 opened Apr 3, 2019 by hermanventer
1
2
Meta Meta Issue: Create meta issues
#110 opened Apr 1, 2019 by hermanventer
Meta Issue: Code Coverage good first issue Good for newcomers
#109 opened Apr 1, 2019 by hermanventer
Meta Issue: Fix developer instructions good first issue Good for newcomers
#108 opened Apr 1, 2019 by hermanventer
3
ProTip! Mix and match filters to narrow down what you’re looking for.