11 releases
0.3.1 | Oct 9, 2024 |
---|---|
0.3.0 | Aug 26, 2024 |
0.3.0-alpha-1 | Jun 28, 2024 |
0.2.0 | Mar 9, 2024 |
0.1.0-alpha.3 | Oct 16, 2023 |
#1276 in Math
94 downloads per month
Used in 2 crates
(via machine-check)
97KB
2K
SLoC
Utility executable-logic crate for machine-check
This crate contains machine verification logic for the formal 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
Licensed under either of Apache License, Version 2.0 or MIT license at your option. Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this crate by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.
Dependencies
~7–9.5MB
~166K SLoC