mv-model 0.3.2

Move model
Documentation 
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

[package]
name = "mv-model"
version = "0.3.2"
authors = ["Diem Association <opensource@diem.com>"]
edition = "2021"
license = "Apache-2.0"
description = "Move model"

[dependencies]
# diem dependencies
mv-compiler = { version = "0.3.0", path = "../move-compiler" }
move-bytecode-verifier = { version = "0.3.0", path = "../move-bytecode-verifier" }
mv-binary-format = { version = "0.3.0", path = "../move-binary-format" }
mv-bytecode-source-map = { version = "0.3.0", path = "../move-ir-compiler/move-bytecode-source-map" }
mv-ir-types = { version = "0.3.0", path = "../move-ir/types" }
mv-core-types = { version = "0.3.0", path = "../move-core/types" }
mv-disassembler = { version = "0.3.0", path = "../tools/move-disassembler" }
move-command-line-common = { version = "0.3.0", path = "../move-command-line-common" }
move-symbol-pool = { version = "0.3.0", path = "../move-symbol-pool" }
# external dependencies
codespan = "0.11.1"
codespan-reporting = "0.11.1"
internment = { version = "0.5.0", features = ["arc"] }
itertools = "0.10.0"
log = "0.4.14"
num = "0.4.0"
once_cell = "1.7.2"
regex = "1.5.5"
anyhow = "1.0.52"
serde = { version = "1.0.124", features = ["derive"] }

[dev-dependencies]
datatest-stable = "0.1.1"
move-prover-test-utils = { version = "0.3.0", path = "../move-prover/test-utils" }

[[test]]
name = "testsuite"
harness = false

[lib]
name = "move_model"