miden-vm/core/Cargo.toml at next · 0xMiden/miden-vm · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
[package]
name = "miden-core"
version.workspace = true
description = "Miden VM core components"
documentation = "https://docs.rs/miden-core"
readme = "README.md"
categories = ["emulators", "no-std"]
keywords = ["instruction-set", "miden", "program"]
license.workspace = true
authors.workspace = true
homepage.workspace = true
repository.workspace = true
rust-version.workspace = true
edition.workspace = true
exclude = ["*.snap"]

[lib]
bench = false
doctest = false

[[bench]]
name = "mast_forest_merge"
required-features = ["arbitrary"]
harness = false

[features]
default = ["std"]
std = [
    "miden-crypto/std",
    "miden-debug-types/std",
    "miden-formatting/std",
    "miden-utils-indexing/std",
    "miden-utils-sync/std",
    "thiserror/std",
]
serde = [
    "dep:serde",
    "miden-crypto/serde",
    "miden-debug-types/serde",
    "miden-utils-indexing/serde",
]
arbitrary = ["dep:proptest", "dep:proptest-derive"]
testing = ["arbitrary"]
fuzzing = []

[dependencies]
# Miden dependencies
miden-crypto.workspace = true
miden-debug-types.workspace = true
miden-formatting.workspace = true
miden-utils-core-derive.workspace = true
miden-utils-indexing.workspace = true
miden-utils-sync.workspace = true

# External dependencies
derive_more.workspace = true
itertools.workspace = true
num-derive = { version = "0.4", default-features = false }
num-traits = { version = "0.2", default-features = false }
proptest = { workspace = true, optional = true }
proptest-derive = { workspace = true, optional = true }
serde = { workspace = true, optional = true, features = ["derive"] }
thiserror.workspace = true

[dev-dependencies]
criterion = { workspace = true }
insta.workspace = true
miden-test-serde-macros.workspace = true
proptest.workspace = true
rstest = { workspace = true }
serde_json = { workspace = true }
miden-utils-testing.workspace = true