#machine-check #machine #machine-check-exec

machine-check-exec

Utility crate for the formal verification tool machine-check

19 releases

new 0.4.0 Mar 30, 2025
0.4.0-alpha.8 Mar 29, 2025
0.3.1 Oct 9, 2024
0.3.0 Aug 26, 2024
0.1.0-alpha.3 Oct 16, 2023

#598 in Algorithms

Download history 51/week @ 2024-12-08 1/week @ 2024-12-15 3/week @ 2025-02-02 3/week @ 2025-02-09 8/week @ 2025-02-16 54/week @ 2025-03-16 475/week @ 2025-03-23

529 downloads per month
Used in 3 crates (2 directly)

MIT/Apache

86KB
1.5K 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

~3.5–4.5MB
~84K SLoC