[package]
name = "powdr-riscv-executor"
description = "powdr-asm RISCV executor"
version = { workspace = true }
edition = { workspace = true }
license = { workspace = true }
homepage = { workspace = true }
repository = { workspace = true }

[dependencies]
powdr-ast.workspace = true
powdr-executor.workspace = true
powdr-number.workspace = true
powdr-parser.workspace = true
# we need powdr-plonky3 for the poseidon2 params
powdr-plonky3.workspace = true

log = "0.4.27"
itertools = "0.13"
num-bigint = "0.4.3"
num-traits = "0.2.15"
num-derive = "0.4"
k256 = { version = "0.13.3", features = [] }
p3-field = { git = "https://github.com/plonky3/Plonky3.git", rev = "2192432ddf28e7359dd2c577447886463e6124f0" }
p3-goldilocks = { git = "https://github.com/plonky3/Plonky3.git", rev = "2192432ddf28e7359dd2c577447886463e6124f0" }
p3-symmetric = { git = "https://github.com/plonky3/Plonky3.git", rev = "2192432ddf28e7359dd2c577447886463e6124f0" }
rustc-demangle = "0.1"
inferno = "0.11.19"
tiny-keccak = { version = "2.0.2", features = ["keccak"] }

rayon = "1.7.0"

[lints.clippy]
uninlined_format_args = "deny"

[lib]
bench = false # See https://github.com/bheisler/criterion.rs/issues/458
