read-write-set-dynamic 0.1.2

Read/write set inference for Move bytecode programs by concretizing the static analysis result
Documentation