[[bench]]
harness = false
name = "compute_op_flags"
[[bench]]
harness = false
name = "enforce_stack_constraint"
[dependencies.vm-core]
default-features = false
package = "miden-core"
version = "0.5"
[dependencies.winter-air]
default-features = false
package = "winter-air"
version = "0.6"
[dev-dependencies.criterion]
version = "0.4"
[dev-dependencies.proptest]
version = "1.1"
[dev-dependencies.rand-utils]
package = "winter-rand-utils"
version = "0.6"
[features]
default = ["std"]
std = ["vm-core/std", "winter-air/std"]
[lib]
bench = false
doctest = false
[package]
authors = ["miden contributors"]
categories = ["cryptography", "no-std"]
description = "Algebraic intermediate representation of Miden VM processor"
edition = "2021"
keywords = ["air", "arithmetization", "crypto", "miden"]
license = "MIT"
name = "miden-air"
readme = "README.md"
repository = "https://github.com/0xPolygonMiden/miden-vm"
resolver = "1"
rust-version = "1.67"
version = "0.5.0"