machine-check-compile
| Crates.io | machine-check-compile |
| lib.rs | machine-check-compile |
| version | 0.6.0 |
| created_at | 2025-06-14 19:07:33.260193+00 |
| updated_at | 2025-08-26 00:42:29.450761+00 |
| description | Utility crate for formal verification tool for digital systems |
| homepage | |
| repository | |
| max_upload_size | |
| id | 1712601 |
| size | 37,083 |
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.