read-write-set-dynamic 0.1.5

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