machine-check-common 0.2.0

Utility crate for the formal verification tool machine-check
Documentation