machine-check-common 0.3.1

Utility crate for the formal verification tool machine-check
Documentation
1
2
3
4
5
6
7
8
9
10
11
[package]

name = "machine-check-common"

version = "0.3.1"

edition = "2021"

license = "MIT OR Apache-2.0"

description = "Utility crate for the formal verification tool machine-check"

rust-version = "1.75"



[dependencies]

thiserror = "1.0.49"

serde = { version = "1.0.188", features = ["derive"] }