Cargo.toml

[package]
name = "miden-processor"
version = "0.11.0"
description = "Miden VM processor"
documentation = "https://docs.rs/miden-processor/0.11.0"
readme = "README.md"
categories = ["emulators", "no-std"]
keywords = ["miden", "virtual-machine"]
license.workspace = true
authors.workspace = true
homepage.workspace = true
repository.workspace = true
rust-version.workspace = true
edition.workspace = true

[lib]
bench = false
doctest = false

[features]
concurrent = ["std", "winter-prover/concurrent"]
default = ["std"]
std = ["vm-core/std", "winter-prover/std"]
testing = ["miden-air/testing"]

[dependencies]
miden-air = { package = "miden-air", path = "../air", version = "0.11", default-features = false }
tracing = { version = "0.1", default-features = false, features = ["attributes"] }
vm-core = { package = "miden-core", path = "../core", version = "0.11", default-features = false }
winter-prover = { package = "winter-prover", version = "0.10", default-features = false }

[dev-dependencies]
assembly = { package = "miden-assembly", path = "../assembly", version = "0.11", default-features = false }
logtest = { version = "2.0", default-features = false }
test-utils = { package = "miden-test-utils", path = "../test-utils" }
winter-fri = { package = "winter-fri", version = "0.10" }
winter-utils = { package = "winter-utils", version = "0.10" }