machine-check-compile 0.7.1

Utility crate for the formal verification tool machine-check
Documentation
[package]
name = "machine-check-exec-target"
version = "0.7.1"
edition = "2021"
rust-version = "1.88"
# internal artifact, do not publish
publish = false

[features]
gui = ["machine-check/gui"]
Zdual_interval = ["machine-check/Zdual_interval"]
Zeq_domain = ["machine-check/Zeq_domain"]

[dependencies]
mck = "=0.7.1"
machine-check = "=0.7.1"
machine-check-exec = "=0.7.1"

[workspace]
# disallow workspace hijinks