rustio rustio.net

Decision Workspace

machine-check-exec

Side-by-side comparison of Rust crates

49
machine-check-exec
growingv0.7.1

Utility crate for the formal verification tool machine-check

Core Metrics

machine-check-exec
Health Score49
Total Downloads23.4K
30d Downloads105
Dependents64
Releases39
Last Updated100d ago
Age2y 5m

Health Breakdown

machine-check-exec
Maintenance
14
Quality
12
Community
6
Popularity
5
Documentation
12

Technical Details

machine-check-exec
Version0.7.1
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies9
Crate Size40KB
Features0
Yanked %2.6%
Edition2021
MSRV1.88
Owners1

Links

machine-check-exec detail →GitHub ↗crates.io ↗

Quick Verdict

  • •machine-check-exec leads with a health score of 49/100, but none of the options score above 80.