#formal-verification

machine-check-bitmask-switch

Bitmask switch crate for the formal verification tool machine-check

6 releases

new 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

#261 in Procedural macros

Download history 11/week @ 2024-06-21 97/week @ 2024-06-28 32/week @ 2024-07-05 24/week @ 2024-07-26 6/week @ 2024-08-02 2/week @ 2024-08-09 161/week @ 2024-08-23 32/week @ 2024-08-30 25/week @ 2024-09-13 24/week @ 2024-09-20 20/week @ 2024-09-27 108/week @ 2024-10-04

177 downloads per month
Used in 4 crates (2 directly)

MIT/Apache

33KB
703 lines

Utility bitmask switch crate for machine-check

This crate implements the internal behaviour of the bitmask switch macro defined in 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

~1–1.5MB
~33K SLoC