BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

machine-check-bitmask-switch

v0.5.0crates.io· Rust

Bitmask switch crate for the formal verification tool machine-check

The verdict
Aging — last published 12 months ago — check before adopting. Check the repo for activity before adopting.
Check the repo for activity before adopting.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceAging
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published 12 months ago — check before adopting.
Popularity
27 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0 OR MIT
Dependencies
No runtime dependencies
Recent releases
  • 0.5.012 months ago
  • 0.5.0-alpha.512 months ago
  • 0.5.0-alpha.412 months ago
  • 0.5.0-alpha.312 months ago
  • 0.5.0-alpha.2over a year ago
  • 0.5.0-alpha.1over a year ago
  • 0.4.0over a year ago
  • 0.4.0-alpha.9over a year ago
machine-check-bitmask-switch — Bitmask switch crate for the formal verification tool machine-check (Rust / crates.io) — verdict, alternatives & security · Modules