12 releases
| 0.7.0 | Oct 29, 2025 |
|---|---|
| 0.7.0-alpha.4 | Oct 28, 2025 |
| 0.6.1 | Sep 12, 2025 |
| 0.6.0 |
|
| 0.5.0 | Jun 15, 2025 |
#9 in #machine-check
359 downloads per month
Used in machine-check-hw
98KB
2.5K
SLoC
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.
Dependencies
~6–8.5MB
~153K SLoC