#formal-verification #machine-check #communication #generated #programs #compatibility #tool

machine-check-common

Utility crate for the formal verification tool machine-check

10 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

#4 in #machine-check

Download history 29/week @ 2024-07-28 163/week @ 2024-08-25 7/week @ 2024-09-01 25/week @ 2024-09-15 23/week @ 2024-09-22 14/week @ 2024-09-29 175/week @ 2024-10-06 29/week @ 2024-10-13 3/week @ 2024-10-20

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

MIT/Apache

6KB

Utility common-type crate for machine-check

This crate contains types used for communication between the formal verification tool machine-check and generated programs that call its utility crate machine-check-exec.

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

~0.4–1MB
~22K SLoC