machine-check-common 0.4.0

Utility crate for the formal verification tool machine-check
Documentation