[package]
name = "tnj"
version = { workspace = true }
edition = "2021"
license = { workspace = true }
description = "A framework for proof-carrying code."

[dependencies]
air = { workspace = true }
arch = { workspace = true }
macros = { workspace = true }
meta = { workspace = true }
pcc = { workspace = true }
sym = { workspace = true }
target-lexicon = { workspace = true }
types = { workspace = true }

[features]
default = []

[workspace]
members = [
    "crates/air", "crates/arch",
    "crates/eval", "crates/lifter",
    "crates/macros",
    "crates/meta", "crates/parser",
    "crates/pcc",
    "crates/policy",
    "crates/sym",
    "crates/types",
    "crates/verifier",
    "fuzz",
]

[workspace.package]
license = "GPL-3.0-or-later"
version = "0.3.0"

[workspace.dependencies]
# tnj dependencies
types = { package = "air-types", path = "crates/types", version = "0.3.0" }
macros = { package = "air-macros", path = "crates/macros", version = "0.3.0" }
meta = { package = "air-meta", path = "crates/meta", version = "0.3.0" }
arch = { package = "tnj-arch", path = "crates/arch", version = "0.3.0" }
sym = { package = "air-sym", path = "crates/sym", version = "0.3.0" }
air = { package = "tnj-air", path = "crates/air", version = "0.3.0" }
pcc = { package = "tnj-pcc", path = "crates/pcc", version = "0.3.0" }

convert_case = "0.6.0"
quote = "1.0"
proc-macro2 = "1.0"
flat_vec = "0.1.0"
thiserror = "1.0.64"
eval = { path = "crates/eval" }
smol_str = "0.3.1"
target-lexicon = "0.12.16"
itertools = "0.13.0"
policy = { path = "crates/policy" }
z3 = { version = "0.12.1" }
criterion = "0.5.1"
num = "0.4.3"
parser = { path = "crates/parser" }
bincode = "1.3.3"
serde = { version = "1.0.210", features = ["derive"] }
leb128 = "0.2.5"
arbitrary = "1.3.2"
yaxpeax-arm = "0.3.0"
yaxpeax-arch = "0.3.2"