facebookexperimental / MIRAI
mirai-annotations
No external dependencies! 🙌
mirai
(21 total, all up-to-date)
Crate | Required | Latest | Status |
---|---|---|---|
 bincode | * | 1.3.3 | up to date |
 cargo_metadata | * | 0.18.1 | up to date |
 clap | * | 4.5.4 | up to date |
 env_logger | * | 0.11.3 | up to date |
 fs2 | * | 0.4.3 | up to date |
 itertools | * | 0.12.1 | up to date |
 lazy_static | * | 1.4.0 | up to date |
 log | * | 0.4.21 | up to date |
 log-derive | * | 0.4.1 | up to date |
 petgraph | * | 0.6.4 | up to date |
 rand | * | 0.8.5 | up to date |
 rayon | * | 1.10.0 | up to date |
 regex | ^1.5.6 | 1.10.4 | up to date |
 rpds | * | 1.1.0 | up to date |
 rustc_tools_util | * | 0.3.0 | up to date |
 serde | * | 1.0.198 | up to date |
 serde_json | * | 1.0.116 | up to date |
 shellwords | * | 1.1.0 | up to date |
 sled | * | 0.34.7 | up to date |
 tar | ^0.4.38 | 0.4.40 | up to date |
 tempfile | * | 3.10.1 | up to date |
(2 total, all up-to-date)
Crate | Required | Latest | Status |
---|---|---|---|
 walkdir | * | 2.5.0 | up to date |
 contracts | ^0.6.0 | 0.6.3 | up to date |
mirai-standard-contracts
No external dependencies! 🙌
taint
No external dependencies! 🙌
shopping_cart
(1 total, all up-to-date)
Crate | Required | Latest | Status |
---|---|---|---|
 contracts | ^0.6.2 | 0.6.3 | up to date |
timing_channels
No external dependencies! 🙌
untrustworthy_inputs
No external dependencies! 🙌
verification_status
No external dependencies! 🙌
trait_methods
(1 total, all up-to-date)
Crate | Required | Latest | Status |
---|---|---|---|
 contracts | * | 0.6.3 | up to date |
taint-error
No external dependencies! 🙌