[package] name = "read-write-set" version = "0.3.2" authors = ["Diem Association "] 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" }