machine-check-compile
| Crates.io | machine-check-compile |
| lib.rs | machine-check-compile |
| version | 0.7.1 |
| created_at | 2025-06-14 19:07:33.260193+00 |
| updated_at | 2025-12-17 17:03:25.401395+00 |
| description | Utility crate for the formal verification tool machine-check |
| homepage | https://machine-check.org/ |
| repository | https://github.com/onderjan/machine-check |
| max_upload_size | |
| id | 1712601 |
| size | 52,896 |
Jan Onderka (onderjan)
documentation
README
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.