Crates.io | machine-check-machine |
lib.rs | machine-check-machine |
version | 0.3.0-alpha-1 |
source | src |
created_at | 2024-03-09 17:04:48.075135 |
updated_at | 2024-06-28 18:06:48.607078 |
description | Machine crate for the formal verification tool machine-check |
homepage | |
repository | |
max_upload_size | |
id | 1167979 |
size | 319,501 |
This crate defines machine manipulation routines for use in the formal verification tool machine-check.
This crate is a utility crate for machine-check and should not be used on its own. No compatibility guarantees are made.
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.