Lib.rs

› Cryptography › Magic Beans
#read-write #bytecode #inference #programs #set #definition #move

yanked mv-read-write-set-types

was by Diem Owned by aptos-crates.

0.3.2 Aug 23, 2022
0.3.1 Aug 13, 2022
0.2.1 Jul 22, 2022
0.1.6 Jul 5, 2022
0.1.4 May 23, 2022

#104 in #inference


Used in 134 crates (3 directly)

Apache-2.0

595KB
13K SLoC

Type definition for read/write set inference for Move bytecode programs

Dependencies

~2.5MB
~53K SLoC