diff --git a/Cargo.lock b/Cargo.lock
index 4f51ce1bde..03dae2f621 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -11,7 +11,7 @@ checksum = "fe438c63458706e03479442743baae6c88256498e6431708f6dfc520a26515d3"
 [[package]]
 name = "abstract-domain-derive"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "proc-macro2 1.0.86",
  "quote 1.0.36",
@@ -5812,7 +5812,7 @@ checksum = "1fafa6961cabd9c63bcd77a45d7e3b7f3b552b70417831fb0f56db717e72407e"
 [[package]]
 name = "move-abigen"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "bcs 0.1.4",
@@ -5829,7 +5829,7 @@ dependencies = [
 [[package]]
 name = "move-binary-format"
 version = "0.0.3"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "arbitrary",
@@ -5846,12 +5846,12 @@ dependencies = [
 [[package]]
 name = "move-borrow-graph"
 version = "0.0.1"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 
 [[package]]
 name = "move-bytecode-source-map"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "bcs 0.1.4",
@@ -5866,7 +5866,7 @@ dependencies = [
 [[package]]
 name = "move-bytecode-utils"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "move-binary-format",
@@ -5878,7 +5878,7 @@ dependencies = [
 [[package]]
 name = "move-bytecode-verifier"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "fail",
  "move-binary-format",
@@ -5892,7 +5892,7 @@ dependencies = [
 [[package]]
 name = "move-bytecode-viewer"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "clap 4.5.13",
@@ -5907,7 +5907,7 @@ dependencies = [
 [[package]]
 name = "move-cli"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "clap 4.5.13",
@@ -5937,7 +5937,7 @@ dependencies = [
 [[package]]
 name = "move-command-line-common"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "difference",
@@ -5954,7 +5954,7 @@ dependencies = [
 [[package]]
 name = "move-compiler"
 version = "0.0.1"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "bcs 0.1.4",
@@ -5980,7 +5980,7 @@ dependencies = [
 [[package]]
 name = "move-compiler-v2"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "abstract-domain-derive",
  "anyhow",
@@ -6011,7 +6011,7 @@ dependencies = [
 [[package]]
 name = "move-core-types"
 version = "0.0.4"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "arbitrary",
@@ -6038,7 +6038,7 @@ dependencies = [
 [[package]]
 name = "move-coverage"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "bcs 0.1.4",
@@ -6074,7 +6074,7 @@ dependencies = [
 [[package]]
 name = "move-disassembler"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "clap 4.5.13",
@@ -6091,7 +6091,7 @@ dependencies = [
 [[package]]
 name = "move-docgen"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "clap 4.5.13",
@@ -6110,7 +6110,7 @@ dependencies = [
 [[package]]
 name = "move-errmapgen"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "move-command-line-common",
@@ -6122,7 +6122,7 @@ dependencies = [
 [[package]]
 name = "move-ir-compiler"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "bcs 0.1.4",
@@ -6138,7 +6138,7 @@ dependencies = [
 [[package]]
 name = "move-ir-to-bytecode"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "codespan-reporting",
@@ -6156,7 +6156,7 @@ dependencies = [
 [[package]]
 name = "move-ir-to-bytecode-syntax"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "hex",
@@ -6169,7 +6169,7 @@ dependencies = [
 [[package]]
 name = "move-ir-types"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "hex",
  "move-command-line-common",
@@ -6182,7 +6182,7 @@ dependencies = [
 [[package]]
 name = "move-model"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "codespan 0.11.1",
@@ -6208,7 +6208,7 @@ dependencies = [
 [[package]]
 name = "move-package"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "clap 4.5.13",
@@ -6295,7 +6295,7 @@ dependencies = [
 [[package]]
 name = "move-prover"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "atty",
@@ -6322,7 +6322,7 @@ dependencies = [
 [[package]]
 name = "move-prover-boogie-backend"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "async-trait",
@@ -6351,7 +6351,7 @@ dependencies = [
 [[package]]
 name = "move-prover-bytecode-pipeline"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "abstract-domain-derive",
  "anyhow",
@@ -6368,7 +6368,7 @@ dependencies = [
 [[package]]
 name = "move-prover-test-utils"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "move-command-line-common",
@@ -6379,7 +6379,7 @@ dependencies = [
 [[package]]
 name = "move-resource-viewer"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "hex",
@@ -6392,7 +6392,7 @@ dependencies = [
 [[package]]
 name = "move-stackless-bytecode"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "abstract-domain-derive",
  "codespan-reporting",
@@ -6411,7 +6411,7 @@ dependencies = [
 [[package]]
 name = "move-stdlib"
 version = "0.1.1"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "hex",
@@ -6434,7 +6434,7 @@ dependencies = [
 [[package]]
 name = "move-symbol-pool"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "once_cell",
  "serde",
@@ -6443,7 +6443,7 @@ dependencies = [
 [[package]]
 name = "move-table-extension"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "better_any",
  "bytes 1.6.1",
@@ -6458,7 +6458,7 @@ dependencies = [
 [[package]]
 name = "move-transactional-test-runner"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "clap 4.5.13",
@@ -6487,7 +6487,7 @@ dependencies = [
 [[package]]
 name = "move-unit-test"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "better_any",
@@ -6515,7 +6515,7 @@ dependencies = [
 [[package]]
 name = "move-vm-runtime"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "better_any",
  "bytes 1.6.1",
@@ -6539,7 +6539,7 @@ dependencies = [
 [[package]]
 name = "move-vm-test-utils"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "anyhow",
  "bytes 1.6.1",
@@ -6555,7 +6555,7 @@ dependencies = [
 [[package]]
 name = "move-vm-types"
 version = "0.1.0"
-source = "git+https://github.com/starcoinorg/move?rev=d57efe2aaeee008f4a5d442b8d4e8bac8723c06f#d57efe2aaeee008f4a5d442b8d4e8bac8723c06f"
+source = "git+https://github.com/starcoinorg/move?rev=7c0ec30b6dd783cc0377b5b2c85650130028d3b5#7c0ec30b6dd783cc0377b5b2c85650130028d3b5"
 dependencies = [
  "bcs 0.1.4",
  "derivative",
diff --git a/Cargo.toml b/Cargo.toml
index dd3ef3394d..5ee2c26fed 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -402,38 +402,38 @@ sha2_0_10_6 = { package = "sha2", version = "0.10.6" }
 siphasher = "0.3.10"
 merkletree = { version = "0.22.1" }
 mirai-annotations = "1.10.1"
-move-binary-format = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-bytecode-source-map = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-bytecode-utils = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-bytecode-verifier = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-cli = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-command-line-common = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-compiler = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-compiler-v2 = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-core-types = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-coverage = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-disassembler = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-docgen = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-errmapgen = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-ir-compiler = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-ir-types = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-model = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-package = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-prover = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-prover-boogie-backend = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-prover-bytecode-pipeline = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-stackless-bytecode = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-prover-test-utils = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-resource-viewer = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-stdlib = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-transactional-test-runner = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-unit-test = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f", features = [
+move-binary-format = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-bytecode-source-map = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-bytecode-utils = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-bytecode-verifier = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-cli = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-command-line-common = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-compiler = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-compiler-v2 = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-core-types = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-coverage = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-disassembler = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-docgen = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-errmapgen = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-ir-compiler = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-ir-types = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-model = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-package = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-prover = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-prover-boogie-backend = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-prover-bytecode-pipeline = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-stackless-bytecode = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-prover-test-utils = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-resource-viewer = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-stdlib = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-transactional-test-runner = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-unit-test = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5", features = [
     "table-extension",
 ] }
-move-vm-runtime = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-vm-types = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-table-extension = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f" }
-move-vm-test-utils = { git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f", features = [
+move-vm-runtime = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-vm-types = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-table-extension = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5" }
+move-vm-test-utils = { git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5", features = [
     "table-extension",
 ] }
 
@@ -613,7 +613,7 @@ unsigned-varint = { version = "0.6.0", features = [
     "futures",
     "asynchronous_codec",
 ] }
-vm = { package = "move-binary-format", git = "https://github.com/starcoinorg/move", rev = "d57efe2aaeee008f4a5d442b8d4e8bac8723c06f", features = [
+vm = { package = "move-binary-format", git = "https://github.com/starcoinorg/move", rev = "7c0ec30b6dd783cc0377b5b2c85650130028d3b5", features = [
     "fuzzing",
 ] }
 vm-status-translator = { path = "vm/vm-status-translator" }
diff --git a/vm/stdlib/src/lib.rs b/vm/stdlib/src/lib.rs
index 36c67de599..0c2f4cc2e2 100644
--- a/vm/stdlib/src/lib.rs
+++ b/vm/stdlib/src/lib.rs
@@ -226,6 +226,9 @@ fn build_error_code_map(output_path: &str, sources: &[String], dep_path: &str) {
     options.verbosity_level = LevelFilter::Warn;
     options.run_errmapgen = true;
     options.errmapgen.output_file = output_path.to_string();
+    options
+        .known_attributes
+        .clone_from(starcoin_framework::extended_checks::get_all_attribute_names());
     //options.setup_logging_for_test();
     move_prover::run_move_prover_errors_to_stderr(options).unwrap();
 }