machine-check-compile 0.7.0-alpha.2

Utility crate for the formal verification tool machine-check

Utility compilation crate for machine-check

This crate contains routines for compilation of systems as part of the verification tool machine-check.

This crate is a utility crate for machine-check and should not be used on its own. No compatibility guarantees are made.

This crate is licensed under Apache 2.0 License or MIT License at your discretion.