-
Notifications
You must be signed in to change notification settings - Fork 6
/
Copy pathCargo.toml
78 lines (75 loc) · 2.39 KB
/
Cargo.toml
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
73
74
75
76
77
78
[workspace]
members = [
"crates/codegen-tritonvm",
"crates/codegen-midenvm",
"crates/codegen-valida",
"crates/dialects/ozk",
"crates/dialects/wasm",
"crates/dialects/miden",
"crates/dialects/valida",
"crates/ir-transform",
"crates/frontend-wasm",
"crates/stdlib",
"crates/rust-wasm-tests/fib",
"crates/rust-wasm-tests/add",
"crates/rust-wasm-tests-helper",
]
exclude = [
"crates/rust-wasm-tests/fib-bin",
"crates/rust-wasm-tests/add-bin",
"vendor",
]
resolver = "2"
[workspace.package]
authors = ["Denys Zadorozhny <[email protected]>"]
repository = "https://github.com/greenhat/omnizk"
edition = "2021"
readme = "README.md"
license = "Apache-2.0"
keywords = ["wasm", "webassembly", "zk", "proof", "verification"]
categories = ["wasm", "no-std", "virtualization"]
[workspace.dependencies]
ozk-ozk-dialect = { path = "crates/dialects/ozk" }
ozk-wasm-dialect = { path = "crates/dialects/wasm" }
ozk-miden-dialect = { path = "crates/dialects/miden" }
ozk-valida-dialect = { path = "crates/dialects/valida" }
ozk-ir-transform = { path = "crates/ir-transform" }
ozk-frontend-wasm = { path = "crates/frontend-wasm" }
ozk-codegen-tritonvm = { path = "crates/codegen-tritonvm" }
ozk-codegen-midenvm = { path = "crates/codegen-midenvm" }
ozk-codegen-valida = { path = "crates/codegen-valida" }
ozk-stdlib = { path = "crates/stdlib" }
ozk-rust-wasm-tests-fib = { path = "crates/rust-wasm-tests/fib" }
ozk-rust-wasm-tests-add = { path = "crates/rust-wasm-tests/add" }
ozk-rust-wasm-tests-helper = { path = "crates/rust-wasm-tests-helper" }
wasmparser = { version = "0.102" }
wasmprinter = "0.2"
wat = "1.0.49"
wasmtime = "7.0.0"
log = { version = "0.4.8", default-features = false }
smallvec = { version = "1.6.1", features = ["union"] }
target-lexicon = { version = "0.12.3", default-features = false }
derive_more = "0.99"
thiserror = "1.0.40"
lazy_static = "1.4.0"
spin = "0.9.4"
itertools = "0.10.5"
indexmap = "1.9"
topological-sort = "0.2"
pliron = { git = "https://github.com/greenhat/pliron", rev = "bb097a402d6b5fbf524f0b9f6d0943e8aaa16b58" }
# pliron = { path = "../pliron" }
apint = "0.2.0"
paste = "1.0"
inventory = "0.3"
intertrait = "0.2.2"
# Required by intertrait
linkme = "0.2"
indent = "0.1.1"
once_cell = "1.15.0"
anyhow = "1.0.44"
bounded-vec = "0.7.1"
expect-test = "1.0.1"
[profile.release]
# Need this for linkme crate to work on macOS
# see https://github.com/dtolnay/linkme/issues/61
lto = "thin"