-
Notifications
You must be signed in to change notification settings - Fork 0
/
Cargo.toml
37 lines (33 loc) · 994 Bytes
/
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
[package]
name = "move-model"
version = "0.1.0"
authors = ["Diem Association <opensource@diem.com>"]
publish = false
edition = "2018"
license = "Apache-2.0"
[dependencies]
# diem dependencies
move-lang = { path = "../move-lang" }
bytecode-verifier = { path = "../bytecode-verifier" }
vm = { path = "../vm" }
diem-types = { path = "../../types" }
diem-workspace-hack = { path = "../../common/workspace-hack" }
bytecode-source-map = { path = "../compiler/bytecode-source-map" }
move-ir-types = { path = "../move-ir/types" }
move-core-types = { path = "../move-core/types" }
# external dependencies
codespan = "0.8.0"
codespan-reporting = "0.8.0"
itertools = "0.10.0"
log = "0.4.14"
num = "0.4.0"
once_cell = "1.7.2"
regex = "1.4.3"
anyhow = "1.0.38"
serde = { version = "1.0.123", features = ["derive"] }
[dev-dependencies]
datatest-stable = { path = "../../common/datatest-stable" }
move-prover-test-utils = { path = "../move-prover/test-utils" }
[[test]]
name = "testsuite"
harness = false