mv-bytecode-verifier 0.1.0

Move bytecode verifier
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

[package]
name = "mv-bytecode-verifier"
version = "0.1.0"
authors = ["Diem Association <opensource@diem.com>"]
description = "Move bytecode verifier"
repository = "https://github.com/diem/diem"
homepage = "https://diem.com"
license = "Apache-2.0"
edition = "2018"

[dependencies]
anyhow = "1.0.52"
mirai-annotations = "1.10.1"
petgraph = "0.5.1"
move-borrow-graph = { package = "mv-borrow-graph", version = "0.1.0", path = "../move-borrow-graph" }
move-binary-format = { package = "mv-binary-format", version = "0.1.0", path = "../move-binary-format" }
move-core-types = { package = "mv-core-types", version = "0.1.0", path = "../move-core/types" }

[dev-dependencies]
invalid-mutations = { version = "0.1.0", path = "./invalid-mutations" }

[features]
default = []

[lib]
name = "move_bytecode_verifier"