read-write-set 0.3.0

Read/write set inference for Move bytecode programs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

[package]
name = "read-write-set"
version = "0.3.0"
authors = ["Diem Association <opensource@diem.com>"]
description = "Read/write set inference for Move bytecode programs"
repository = "https://github.com/diem/diem"
homepage = "https://diem.com"
license = "Apache-2.0"
edition = "2021"

[dependencies]
anyhow = "1.0.52"
mv-binary-format = { version = "0.3.0", path = "../../move-binary-format" }
move-bytecode-utils = { version = "0.3.0", path = "../move-bytecode-utils" }
mv-core-types = { version = "0.3.0", path = "../../move-core/types" }
mv-model = { version = "0.3.0", path = "../../move-model" }
prover_bytecode = { version = "0.3.0", path = "../../move-prover/bytecode", package = "move-stackless-bytecode" }
mv-read-write-set-types = { version = "0.3.0", path = "types" }
read-write-set-dynamic = { version = "0.3.0", path = "dynamic" }