Expand description
§Utility compilation crate for machine-check
This crate contains routines for compilation of systems as part of the verification tool machine-check.
§Usage and Compatibility
This crate is a utility crate for machine-check and should not be used on its own. No compatibility guarantees are made.
§License
This crate is licensed under Apache 2.0 License or MIT License at your discretion.