diff --git a/Cargo.lock b/Cargo.lock
index dc3639d..6ead538 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -133,6 +133,18 @@ version = "1.0.31"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "85bb70cc08ec97ca5450e6eba421deeea5f172c0fc61f78b5357b2a8e8be195f"
 
+[[package]]
+name = "arc-swap"
+version = "0.4.7"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4d25d88fd6b8041580a654f9d0c581a047baee2b3efee13275f2fc392fc75034"
+
+[[package]]
+name = "arrayvec"
+version = "0.5.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cff77d8686867eceff3105329d4698d96c2391c176d5d03adc90c7389162b5b8"
+
 [[package]]
 name = "atty"
 version = "0.2.14"
@@ -144,18 +156,51 @@ dependencies = [
  "winapi 0.3.9",
 ]
 
+[[package]]
+name = "autocfg"
+version = "0.1.7"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1d49d90015b3c36167a20fe2810c5cd875ad504b39cff3d4eae7977e6b7c1cb2"
+
 [[package]]
 name = "autocfg"
 version = "1.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "f8aac770f1885fd7e387acedd76065302551364496e46b3dd00860b2f8359b9d"
 
+[[package]]
+name = "base64"
+version = "0.11.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b41b7ea54a0c9d92199de89e20e58d49f02f8e699814ef3fdf266f6f748d15c7"
+
 [[package]]
 name = "base64"
 version = "0.12.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "3441f0f7b02788e948e47f457ca01f1d7e6d92c693bc132c22b087d3141c03ff"
 
+[[package]]
+name = "bech32"
+version = "0.7.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cdcf67bb7ba7797a081cd19009948ab533af7c355d5caf1d08c777582d351e9c"
+
+[[package]]
+name = "bit-set"
+version = "0.5.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6e11e16035ea35e4e5997b393eacbf6f63983188f7a2ad25bfb13465f5ad59de"
+dependencies = [
+ "bit-vec",
+]
+
+[[package]]
+name = "bit-vec"
+version = "0.6.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "5f0dc55f2d8a1a85650ac47858bb001b4c0dd73d79e3c455a842925e68d29cd3"
+
 [[package]]
 name = "bitflags"
 version = "1.2.1"
@@ -217,6 +262,15 @@ version = "0.2.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "c98bfd7c112b6399fef97cc0614af1cd375b27a112e552ce60f94c1b5f13cb74"
 
+[[package]]
+name = "borrow-graph"
+version = "0.0.1"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "mirai-annotations",
+]
+
 [[package]]
 name = "borrow-graph"
 version = "0.0.1"
@@ -235,6 +289,16 @@ dependencies = [
  "mirai-annotations",
 ]
 
+[[package]]
+name = "buf_redux"
+version = "0.8.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b953a6887648bb07a535631f2bc00fbdb2a2216f135552cb3f534ed136b9c07f"
+dependencies = [
+ "memchr",
+ "safemem",
+]
+
 [[package]]
 name = "bumpalo"
 version = "3.4.0"
@@ -247,6 +311,23 @@ version = "0.3.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "e3b5ca7a04898ad4bcd41c90c5285445ff5b791899bb1b0abdd2a2aa791211d7"
 
+[[package]]
+name = "bytecode-source-map"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "codespan",
+ "codespan-reporting",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-ir-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "serde",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
 [[package]]
 name = "bytecode-source-map"
 version = "0.1.0"
@@ -281,6 +362,21 @@ dependencies = [
  "vm 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
 ]
 
+[[package]]
+name = "bytecode-verifier"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "borrow-graph 0.0.1 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "mirai-annotations",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "petgraph",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
 [[package]]
 name = "bytecode-verifier"
 version = "0.1.0"
@@ -327,6 +423,12 @@ dependencies = [
  "serde",
 ]
 
+[[package]]
+name = "c_linked_list"
+version = "1.1.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4964518bd3b4a8190e832886cdc0da9794f12e8e6c1613a9e90ff331c4c8724b"
+
 [[package]]
 name = "cc"
 version = "1.0.56"
@@ -396,9 +498,9 @@ checksum = "fb51c9e75b94452505acd21d929323f5a5c6c4735a852adbd39ef5fb1b014f30"
 dependencies = [
  "heck",
  "proc-macro-error 0.4.12",
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -410,6 +512,15 @@ dependencies = [
  "cc",
 ]
 
+[[package]]
+name = "cloudabi"
+version = "0.0.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ddfc5b9aa5d4507acaf872de71051dfd0e309860e88966e1051e462a077aac4f"
+dependencies = [
+ "bitflags",
+]
+
 [[package]]
 name = "codespan"
 version = "0.8.0"
@@ -442,13 +553,50 @@ dependencies = [
  "winapi 0.3.9",
 ]
 
+[[package]]
+name = "compiled-stdlib"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "bytecode-verifier 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "include_dir",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "once_cell",
+ "sha2 0.9.1",
+ "stdlib",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
+[[package]]
+name = "compiler"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "bytecode-source-map 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "bytecode-verifier 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "compiled-stdlib",
+ "ir-to-bytecode 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-ir-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "serde_json",
+ "structopt",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
 [[package]]
 name = "console_log"
 version = "0.2.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "501a375961cef1a0d44767200e66e4a559283097e91d0730b1d75dfb2f8a1494"
 dependencies = [
- "log",
+ "log 0.4.8",
  "wasm-bindgen",
  "web-sys",
 ]
@@ -475,6 +623,78 @@ version = "0.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "6d375c433320f6c5057ae04a04376eef4d04ce2801448cf8863a78da99107be4"
 
+[[package]]
+name = "crossbeam"
+version = "0.7.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "69323bff1fb41c635347b8ead484a5ca6c3f11914d784170b158d8449ab07f8e"
+dependencies = [
+ "cfg-if",
+ "crossbeam-channel",
+ "crossbeam-deque",
+ "crossbeam-epoch",
+ "crossbeam-queue",
+ "crossbeam-utils",
+]
+
+[[package]]
+name = "crossbeam-channel"
+version = "0.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cced8691919c02aac3cb0a1bc2e9b73d89e832bf9a06fc579d4e71b68a2da061"
+dependencies = [
+ "crossbeam-utils",
+ "maybe-uninit",
+]
+
+[[package]]
+name = "crossbeam-deque"
+version = "0.7.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9f02af974daeee82218205558e51ec8768b48cf524bd01d550abe5573a608285"
+dependencies = [
+ "crossbeam-epoch",
+ "crossbeam-utils",
+ "maybe-uninit",
+]
+
+[[package]]
+name = "crossbeam-epoch"
+version = "0.8.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "058ed274caafc1f60c4997b5fc07bf7dc7cca454af7c6e81edffe5f33f70dace"
+dependencies = [
+ "autocfg 1.0.0",
+ "cfg-if",
+ "crossbeam-utils",
+ "lazy_static",
+ "maybe-uninit",
+ "memoffset",
+ "scopeguard",
+]
+
+[[package]]
+name = "crossbeam-queue"
+version = "0.2.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "774ba60a54c213d409d5353bda12d49cd68d14e45036a285234c8d6f91f92570"
+dependencies = [
+ "cfg-if",
+ "crossbeam-utils",
+ "maybe-uninit",
+]
+
+[[package]]
+name = "crossbeam-utils"
+version = "0.7.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c3c7c73a2d1e9fc0886a08b93e98eb643461230d5f1925e4036204d5f2e261a8"
+dependencies = [
+ "autocfg 1.0.0",
+ "cfg-if",
+ "lazy_static",
+]
+
 [[package]]
 name = "crunchy"
 version = "0.2.2"
@@ -509,11 +729,52 @@ dependencies = [
  "byteorder",
  "digest 0.8.1",
  "fiat-crypto",
- "rand_core",
+ "rand_core 0.5.1",
  "subtle 2.2.3",
  "zeroize",
 ]
 
+[[package]]
+name = "datatest-stable"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "regex",
+ "structopt",
+ "termcolor",
+ "walkdir",
+]
+
+[[package]]
+name = "datatest-stable"
+version = "0.1.0"
+source = "git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c#6190f23a37cd4c4f9e4b4ecf1eb650265c03429c"
+dependencies = [
+ "libra-workspace-hack 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "regex",
+ "structopt",
+ "termcolor",
+ "walkdir",
+]
+
+[[package]]
+name = "debug-interface"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "libra-logger",
+ "libra-metrics",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "once_cell",
+ "reqwest",
+ "serde",
+ "serde_json",
+ "tokio",
+ "warp",
+]
+
 [[package]]
 name = "describr"
 version = "0.1.0"
@@ -533,6 +794,41 @@ dependencies = [
  "vm 0.1.0 (git+https://github.com/dfinance/libra.git)",
 ]
 
+[[package]]
+name = "dialects"
+version = "0.1.0"
+dependencies = [
+ "anyhow",
+ "bech32",
+ "codespan",
+ "hex",
+ "language-e2e-tests",
+ "lazy_static",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-state-view",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git)",
+ "move-ir-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-lang 0.0.1 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-vm-runtime",
+ "move-vm-types",
+ "regex",
+ "serde",
+ "serde_derive",
+ "serde_json",
+ "utils",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "vm-genesis",
+]
+
+[[package]]
+name = "difference"
+version = "2.0.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "524cbf6897b527295dff137cec09ecf3a05f4fddffd7dfcd1585403449e74198"
+
 [[package]]
 name = "digest"
 version = "0.8.1"
@@ -551,6 +847,25 @@ dependencies = [
  "generic-array 0.14.2",
 ]
 
+[[package]]
+name = "docgen"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "codespan",
+ "codespan-reporting",
+ "itertools",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "log 0.4.8",
+ "num",
+ "once_cell",
+ "regex",
+ "serde",
+ "spec-lang",
+ "stackless-bytecode-generator",
+]
+
 [[package]]
 name = "dtoa"
 version = "0.4.6"
@@ -564,7 +879,7 @@ source = "git+https://github.com/calibra/ed25519-dalek.git?branch=fiat2#98bb7a38
 dependencies = [
  "clear_on_drop",
  "curve25519-dalek",
- "rand",
+ "rand 0.7.3",
  "serde",
  "sha2 0.8.2",
 ]
@@ -590,6 +905,26 @@ version = "0.1.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "c34f04666d835ff5d62e058c3995147c06f42fe86ff053337632bca83e42702d"
 
+[[package]]
+name = "enum-iterator"
+version = "0.6.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c79a6321a1197d7730510c7e3f6cb80432dfefecb32426de8cea0aa19b4bb8d7"
+dependencies = [
+ "enum-iterator-derive",
+]
+
+[[package]]
+name = "enum-iterator-derive"
+version = "0.6.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1e94aa31f7c0dc764f57896dc615ddd76fc13b0d5dca7eb6cc5e018a5a09ec06"
+dependencies = [
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
+]
+
 [[package]]
 name = "env_logger"
 version = "0.7.1"
@@ -598,7 +933,7 @@ checksum = "44533bbbb3bb3c1fa17d9f2e4e38bbbaf8396ba82193c4cb1b6445d711445d36"
 dependencies = [
  "atty",
  "humantime",
- "log",
+ "log 0.4.8",
  "regex",
  "termcolor",
 ]
@@ -615,6 +950,18 @@ version = "0.1.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "0f6ab97095615857b6ad00a8330fff0e443f1def9fd357cef82d0ca0677b616b"
 
+[[package]]
+name = "filetime"
+version = "0.2.10"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "affc17579b132fc2461adf7c575cc6e8b134ebca52c51f5411388965227dc695"
+dependencies = [
+ "cfg-if",
+ "libc",
+ "redox_syscall",
+ "winapi 0.3.9",
+]
+
 [[package]]
 name = "fixedbitset"
 version = "0.2.0"
@@ -642,6 +989,31 @@ version = "0.1.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "00b0228411908ca8685dba7fc2cdd70ec9990a6e753e89b6ac91a84c40fbaf4b"
 
+[[package]]
+name = "fsevent"
+version = "0.4.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "5ab7d1bd1bd33cc98b0889831b72da23c0aa4df9cec7e0702f46ecea04b35db6"
+dependencies = [
+ "bitflags",
+ "fsevent-sys",
+]
+
+[[package]]
+name = "fsevent-sys"
+version = "2.0.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f41b048a94555da0f42f1d632e2e19510084fb8e303b0daa2816e733fb3644a0"
+dependencies = [
+ "libc",
+]
+
+[[package]]
+name = "fuchsia-cprng"
+version = "0.1.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "a06f77d526c1a601b7c4cdd98f54b5eaabffc14d5f2f0296febdc7f357c6d3ba"
+
 [[package]]
 name = "fuchsia-zircon"
 version = "0.3.3"
@@ -658,6 +1030,21 @@ version = "0.3.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "3dcaa9ae7725d12cdb85b3ad99a434db70b468c09ded17e012d86b5c1010f7a7"
 
+[[package]]
+name = "futures"
+version = "0.3.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1e05b85ec287aac0dc34db7d4a569323df697f9c55b99b15d6b4ef8cde49f613"
+dependencies = [
+ "futures-channel",
+ "futures-core",
+ "futures-executor",
+ "futures-io",
+ "futures-sink",
+ "futures-task",
+ "futures-util",
+]
+
 [[package]]
 name = "futures-channel"
 version = "0.3.5"
@@ -665,6 +1052,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "f366ad74c28cca6ba456d95e6422883cfb4b252a83bed929c83abfdbbf2967d5"
 dependencies = [
  "futures-core",
+ "futures-sink",
 ]
 
 [[package]]
@@ -673,12 +1061,35 @@ version = "0.3.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "59f5fff90fd5d971f936ad674802482ba441b6f09ba5e15fd8b39145582ca399"
 
+[[package]]
+name = "futures-executor"
+version = "0.3.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "10d6bb888be1153d3abeb9006b11b02cf5e9b209fda28693c31ae1e4e012e314"
+dependencies = [
+ "futures-core",
+ "futures-task",
+ "futures-util",
+]
+
 [[package]]
 name = "futures-io"
 version = "0.3.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "de27142b013a8e869c14957e6d2edeef89e97c289e69d042ee3a49acd8b51789"
 
+[[package]]
+name = "futures-macro"
+version = "0.3.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d0b5a30a4328ab5473878237c447333c093297bded83a4983d10f4deea240d39"
+dependencies = [
+ "proc-macro-hack",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
+]
+
 [[package]]
 name = "futures-sink"
 version = "0.3.5"
@@ -700,15 +1111,26 @@ version = "0.3.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "8764574ff08b701a084482c3c7031349104b07ac897393010494beaa18ce32c6"
 dependencies = [
+ "futures-channel",
  "futures-core",
  "futures-io",
+ "futures-macro",
+ "futures-sink",
  "futures-task",
  "memchr",
  "pin-project",
  "pin-utils",
+ "proc-macro-hack",
+ "proc-macro-nested",
  "slab",
 ]
 
+[[package]]
+name = "gcc"
+version = "0.3.55"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "8f5f3913fa0bfe7ee1fd8248b6b9f42a5af4b9d65ec2dd2c3c26132b950ecfc2"
+
 [[package]]
 name = "generator"
 version = "0.6.21"
@@ -717,7 +1139,7 @@ checksum = "add72f17bb81521258fcc8a7a3245b1e184e916bfbe34f0ea89558f440df5c68"
 dependencies = [
  "cc",
  "libc",
- "log",
+ "log 0.4.8",
  "rustc_version",
  "winapi 0.3.9",
 ]
@@ -738,7 +1160,29 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "ac746a5f3bbfdadd6106868134545e684693d54d9d44f6e9588a7d54af0bf980"
 dependencies = [
  "typenum",
- "version_check",
+ "version_check 0.9.2",
+]
+
+[[package]]
+name = "get_if_addrs"
+version = "0.5.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "abddb55a898d32925f3148bd281174a68eeb68bbfd9a5938a57b18f506ee4ef7"
+dependencies = [
+ "c_linked_list",
+ "get_if_addrs-sys",
+ "libc",
+ "winapi 0.2.8",
+]
+
+[[package]]
+name = "get_if_addrs-sys"
+version = "0.1.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0d04f9fb746cf36b191c00f3ede8bde9c8e64f9f4b05ae2694a9ccf5e3f5ab48"
+dependencies = [
+ "gcc",
+ "libc",
 ]
 
 [[package]]
@@ -770,6 +1214,12 @@ dependencies = [
  "polyval 0.4.0",
 ]
 
+[[package]]
+name = "glob"
+version = "0.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9b919933a397b79c37e33b77bb2aa3dc8eb6e165ad809e58ff75bc7db2e34574"
+
 [[package]]
 name = "h2"
 version = "0.2.5"
@@ -783,12 +1233,51 @@ dependencies = [
  "futures-util",
  "http",
  "indexmap",
- "log",
+ "log 0.4.8",
  "slab",
  "tokio",
  "tokio-util",
 ]
 
+[[package]]
+name = "handlebars"
+version = "3.2.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6c8ae96a0e0dacf151557ccba95a7a80889f8e74a784484377739628fcdb3996"
+dependencies = [
+ "log 0.4.8",
+ "pest",
+ "pest_derive",
+ "quick-error",
+ "serde",
+ "serde_json",
+]
+
+[[package]]
+name = "headers"
+version = "0.3.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ed18eb2459bf1a09ad2d6b1547840c3e5e62882fa09b9a6a20b1de8e3228848f"
+dependencies = [
+ "base64 0.12.3",
+ "bitflags",
+ "bytes",
+ "headers-core",
+ "http",
+ "mime 0.3.16",
+ "sha-1 0.8.2",
+ "time",
+]
+
+[[package]]
+name = "headers-core"
+version = "0.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e7f66481bfee273957b1f20485a4ff3362987f85b2c236580d81b4eb7a326429"
+dependencies = [
+ "http",
+]
+
 [[package]]
 name = "heck"
 version = "0.3.1"
@@ -890,7 +1379,7 @@ dependencies = [
  "http-body",
  "httparse",
  "itoa",
- "log",
+ "log 0.4.8",
  "pin-project",
  "socket2",
  "time",
@@ -923,13 +1412,66 @@ dependencies = [
  "unicode-normalization",
 ]
 
+[[package]]
+name = "include_dir"
+version = "0.6.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "23d58bdeb22b1c4691106c084b1063781904c35d0f22eda2a283598968eac61a"
+dependencies = [
+ "glob",
+ "include_dir_impl",
+ "proc-macro-hack",
+]
+
+[[package]]
+name = "include_dir_impl"
+version = "0.6.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "327869970574819d24d1dca25c891856144d29159ab797fa9dc725c5c3f57215"
+dependencies = [
+ "anyhow",
+ "proc-macro-hack",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
+]
+
 [[package]]
 name = "indexmap"
 version = "1.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "c398b2b113b55809ceb9ee3e753fcbac793f1956663f3c36549c1346015c2afe"
 dependencies = [
- "autocfg",
+ "autocfg 1.0.0",
+]
+
+[[package]]
+name = "inotify"
+version = "0.7.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4816c66d2c8ae673df83366c18341538f234a26d65a9ecea5c348b453ac1d02f"
+dependencies = [
+ "bitflags",
+ "inotify-sys",
+ "libc",
+]
+
+[[package]]
+name = "inotify-sys"
+version = "0.1.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e74a1aa87c59aeff6ef2cc2fa62d41bc43f54952f55652656b18a02fd5e356c0"
+dependencies = [
+ "libc",
+]
+
+[[package]]
+name = "input_buffer"
+version = "0.3.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "19a8a95243d5a0398cae618ec29477c6e3cb631152be5c19481f80bc71559754"
+dependencies = [
+ "bytes",
 ]
 
 [[package]]
@@ -941,6 +1483,58 @@ dependencies = [
  "libc",
 ]
 
+[[package]]
+name = "ir-to-bytecode"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "bytecode-source-map 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "codespan",
+ "codespan-reporting",
+ "ir-to-bytecode-syntax 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "log 0.4.8",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-ir-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "thiserror",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
+[[package]]
+name = "ir-to-bytecode"
+version = "0.1.0"
+source = "git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c#6190f23a37cd4c4f9e4b4ecf1eb650265c03429c"
+dependencies = [
+ "anyhow",
+ "bytecode-source-map 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "codespan",
+ "codespan-reporting",
+ "ir-to-bytecode-syntax 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "libra-types 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "log 0.4.8",
+ "move-core-types 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "move-ir-types 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "thiserror",
+ "vm 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+]
+
+[[package]]
+name = "ir-to-bytecode-syntax"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "codespan",
+ "hex",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-ir-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
 [[package]]
 name = "ir-to-bytecode-syntax"
 version = "0.1.0"
@@ -993,6 +1587,12 @@ dependencies = [
  "libc",
 ]
 
+[[package]]
+name = "jod-thread"
+version = "0.1.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "8b23360e99b8717f20aaa4598f5a6541efbe30630039fbc7706cf954a87947ae"
+
 [[package]]
 name = "js-sys"
 version = "0.3.41"
@@ -1018,18 +1618,65 @@ dependencies = [
  "winapi-build",
 ]
 
+[[package]]
+name = "language-e2e-tests"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "bytecode-verifier 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "compiled-stdlib",
+ "compiler",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-config",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-logger",
+ "libra-proptest-helpers",
+ "libra-state-view",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-vm",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-vm-natives",
+ "move-vm-runtime",
+ "move-vm-types",
+ "once_cell",
+ "proptest",
+ "proptest-derive",
+ "rand 0.7.3",
+ "transaction-builder",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "vm-genesis",
+]
+
 [[package]]
 name = "lazy_static"
 version = "1.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646"
 
+[[package]]
+name = "lazycell"
+version = "1.2.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b294d6fa9ee409a054354afc4352b0b9ef7ca222c69b8812cbea9e7d2bf3783f"
+
 [[package]]
 name = "libc"
 version = "0.2.71"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "9457b06509d27052635f90d6466700c65095fdf75409b3fbdd903e988b886f49"
 
+[[package]]
+name = "libra-canonical-serialization"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "serde",
+ "thiserror",
+]
+
 [[package]]
 name = "libra-canonical-serialization"
 version = "0.1.0"
@@ -1050,6 +1697,62 @@ dependencies = [
  "thiserror",
 ]
 
+[[package]]
+name = "libra-config"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "get_if_addrs",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto-derive 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-logger",
+ "libra-network-address 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-temppath",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "log 0.4.8",
+ "mirai-annotations",
+ "rand 0.7.3",
+ "serde",
+ "serde_yaml",
+ "thiserror",
+]
+
+[[package]]
+name = "libra-crypto"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "aes-gcm 0.6.0",
+ "anyhow",
+ "bytes",
+ "curve25519-dalek",
+ "digest 0.9.0",
+ "ed25519-dalek",
+ "hex",
+ "hmac 0.8.1",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto-derive 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-nibble 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "mirai-annotations",
+ "once_cell",
+ "proptest",
+ "proptest-derive",
+ "rand 0.7.3",
+ "rand_core 0.5.1",
+ "serde",
+ "serde-name",
+ "serde_bytes",
+ "sha2 0.9.1",
+ "sha3 0.9.1",
+ "thiserror",
+ "tiny-keccak",
+ "x25519-dalek",
+]
+
 [[package]]
 name = "libra-crypto"
 version = "0.1.0"
@@ -1069,8 +1772,8 @@ dependencies = [
  "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git)",
  "mirai-annotations",
  "once_cell",
- "rand",
- "rand_core",
+ "rand 0.7.3",
+ "rand_core 0.5.1",
  "serde",
  "serde-name",
  "serde_bytes",
@@ -1100,8 +1803,8 @@ dependencies = [
  "libra-workspace-hack 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
  "mirai-annotations",
  "once_cell",
- "rand",
- "rand_core",
+ "rand 0.7.3",
+ "rand_core 0.5.1",
  "serde",
  "serde-name",
  "serde_bytes",
@@ -1112,15 +1815,26 @@ dependencies = [
  "x25519-dalek",
 ]
 
+[[package]]
+name = "libra-crypto-derive"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
+]
+
 [[package]]
 name = "libra-crypto-derive"
 version = "0.1.0"
 source = "git+https://github.com/dfinance/libra.git#0426d5b8c4388edbcdf72009de8c3f0b695f520d"
 dependencies = [
  "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git)",
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -1129,9 +1843,9 @@ version = "0.1.0"
 source = "git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c#6190f23a37cd4c4f9e4b4ecf1eb650265c03429c"
 dependencies = [
  "libra-workspace-hack 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -1146,9 +1860,55 @@ dependencies = [
  "move-core-types 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
  "move-coverage 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
  "move-ir-types 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "move-lang 0.0.1 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
  "vm 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
 ]
 
+[[package]]
+name = "libra-logger"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "chrono",
+ "env_logger",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "log 0.4.8",
+ "once_cell",
+ "serde",
+ "serde_json",
+]
+
+[[package]]
+name = "libra-metrics"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "futures",
+ "hyper",
+ "libra-logger",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "once_cell",
+ "prometheus",
+ "serde_json",
+ "tokio",
+]
+
+[[package]]
+name = "libra-network-address"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "proptest",
+ "proptest-derive",
+ "serde",
+ "serde_bytes",
+ "thiserror",
+]
+
 [[package]]
 name = "libra-network-address"
 version = "0.1.0"
@@ -1175,6 +1935,15 @@ dependencies = [
  "thiserror",
 ]
 
+[[package]]
+name = "libra-nibble"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "serde",
+]
+
 [[package]]
 name = "libra-nibble"
 version = "0.1.0"
@@ -1193,6 +1962,67 @@ dependencies = [
  "serde",
 ]
 
+[[package]]
+name = "libra-proptest-helpers"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "crossbeam",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "proptest",
+ "proptest-derive",
+]
+
+[[package]]
+name = "libra-state-view"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
+[[package]]
+name = "libra-temppath"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "hex",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "rand 0.7.3",
+]
+
+[[package]]
+name = "libra-types"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "bytes",
+ "chrono",
+ "enum-iterator",
+ "hex",
+ "itertools",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto-derive 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-network-address 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-proptest-helpers",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "mirai-annotations",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "once_cell",
+ "proptest",
+ "proptest-derive",
+ "radix_trie 0.1.6",
+ "rand 0.7.3",
+ "serde",
+ "serde_bytes",
+ "thiserror",
+ "tiny-keccak",
+]
+
 [[package]]
 name = "libra-types"
 version = "0.1.0"
@@ -1212,7 +2042,7 @@ dependencies = [
  "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git)",
  "once_cell",
  "radix_trie 0.1.6",
- "rand",
+ "rand 0.7.3",
  "serde",
  "serde_bytes",
  "thiserror",
@@ -1238,7 +2068,7 @@ dependencies = [
  "move-core-types 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
  "once_cell",
  "radix_trie 0.2.0",
- "rand",
+ "rand 0.7.3",
  "serde",
  "serde_bytes",
  "thiserror",
@@ -1246,20 +2076,61 @@ dependencies = [
 ]
 
 [[package]]
-name = "libra-workspace-hack"
+name = "libra-vm"
 version = "0.1.0"
-source = "git+https://github.com/dfinance/libra.git#0426d5b8c4388edbcdf72009de8c3f0b695f520d"
-dependencies = [
- "bytes",
- "cc",
- "log",
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "debug-interface",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-logger",
+ "libra-metrics",
+ "libra-state-view",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "mirai-annotations",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-vm-runtime",
+ "move-vm-types",
+ "once_cell",
+ "rayon",
+ "serde",
+ "serde_json",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
+[[package]]
+name = "libra-workspace-hack"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "bytes",
+ "cc",
+ "log 0.4.8",
+ "memchr",
+ "num-traits",
+ "petgraph",
+ "serde",
+ "sha-1 0.9.1",
+ "subtle 2.2.3",
+ "syn 1.0.33",
+]
+
+[[package]]
+name = "libra-workspace-hack"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git#0426d5b8c4388edbcdf72009de8c3f0b695f520d"
+dependencies = [
+ "bytes",
+ "cc",
+ "log 0.4.8",
  "memchr",
  "num-traits",
  "petgraph",
  "serde",
  "sha-1 0.8.2",
  "subtle 2.2.3",
- "syn",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -1269,14 +2140,38 @@ source = "git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb
 dependencies = [
  "bytes",
  "cc",
- "log",
+ "log 0.4.8",
  "memchr",
  "num-traits",
  "petgraph",
  "serde",
  "sha-1 0.9.1",
  "subtle 2.2.3",
- "syn",
+ "syn 1.0.33",
+]
+
+[[package]]
+name = "linked-hash-map"
+version = "0.5.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "8dd5a6d5999d9907cda8ed67bbd137d3af8085216c2ac62de5be860bd41f304a"
+
+[[package]]
+name = "lock_api"
+version = "0.3.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c4da24a77a3d8a6d4862d95f72e6fdb9c09a643ecdb402d754004a557f2bec75"
+dependencies = [
+ "scopeguard",
+]
+
+[[package]]
+name = "log"
+version = "0.3.9"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e19e8d5c34a3e0e2223db8e060f9e8264aeeb5c5fc64a4ee9965c062211c024b"
+dependencies = [
+ "log 0.4.8",
 ]
 
 [[package]]
@@ -1297,35 +2192,77 @@ checksum = "4ecc775857611e1df29abba5c41355cdf540e7e9d4acfdf0f355eefee82330b7"
 dependencies = [
  "cfg-if",
  "generator",
- "scoped-tls",
+ "scoped-tls 0.1.2",
 ]
 
+[[package]]
+name = "maplit"
+version = "1.0.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "3e2e65a1a2e43cfcb47a895c4c8b10d1f4a61097f9f254f183aee60cad9c651d"
+
 [[package]]
 name = "matches"
 version = "0.1.8"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "7ffc5c5338469d4d3ea17d269fa8ea3512ad247247c30bd2df69e68309ed0a08"
 
+[[package]]
+name = "maybe-uninit"
+version = "2.0.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "60302e4db3a61da70c0cb7991976248362f30319e88850c487b9b95bbf059e00"
+
 [[package]]
 name = "memchr"
 version = "2.3.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "3728d817d99e5ac407411fa471ff9800a778d88a24685968b36824eaf4bee400"
 
+[[package]]
+name = "memoffset"
+version = "0.5.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c198b026e1bbf08a937e94c6c60f9ec4a2267f5b0d2eec9c1b21b061ce2be55f"
+dependencies = [
+ "autocfg 1.0.0",
+]
+
+[[package]]
+name = "mime"
+version = "0.2.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ba626b8a6de5da682e1caa06bdb42a335aee5a84db8e5046a3e8ab17ba0a3ae0"
+dependencies = [
+ "log 0.3.9",
+]
+
 [[package]]
 name = "mime"
 version = "0.3.16"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "2a60c7ce501c71e03a9c9c0d35b861413ae925bd979cc7a4e30d060069aaac8d"
 
+[[package]]
+name = "mime_guess"
+version = "1.8.8"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "216929a5ee4dd316b1702eedf5e74548c123d370f47841ceaac38ca154690ca3"
+dependencies = [
+ "mime 0.2.6",
+ "phf",
+ "phf_codegen",
+ "unicase 1.4.2",
+]
+
 [[package]]
 name = "mime_guess"
 version = "2.0.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "2684d4c2e97d99848d30b324b00c8fcc7e5c897b7cbb5819b09e7c90e8baf212"
 dependencies = [
- "mime",
- "unicase",
+ "mime 0.3.16",
+ "unicase 2.6.0",
 ]
 
 [[package]]
@@ -1340,13 +2277,48 @@ dependencies = [
  "iovec",
  "kernel32-sys",
  "libc",
- "log",
- "miow",
+ "log 0.4.8",
+ "miow 0.2.1",
  "net2",
  "slab",
  "winapi 0.2.8",
 ]
 
+[[package]]
+name = "mio-extras"
+version = "2.0.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "52403fe290012ce777c4626790c8951324a2b9e3316b3143779c72b029742f19"
+dependencies = [
+ "lazycell",
+ "log 0.4.8",
+ "mio",
+ "slab",
+]
+
+[[package]]
+name = "mio-named-pipes"
+version = "0.1.7"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0840c1c50fd55e521b247f949c241c9997709f23bd7f023b9762cd561e935656"
+dependencies = [
+ "log 0.4.8",
+ "mio",
+ "miow 0.3.5",
+ "winapi 0.3.9",
+]
+
+[[package]]
+name = "mio-uds"
+version = "0.6.8"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "afcb699eb26d4332647cc848492bbc15eafb26f08d0304550d5aa1f612e066f0"
+dependencies = [
+ "iovec",
+ "libc",
+ "mio",
+]
+
 [[package]]
 name = "miow"
 version = "0.2.1"
@@ -1359,12 +2331,42 @@ dependencies = [
  "ws2_32-sys",
 ]
 
+[[package]]
+name = "miow"
+version = "0.3.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "07b88fb9795d4d36d62a012dfbf49a8f5cf12751f36d31a9dbe66d528e58979e"
+dependencies = [
+ "socket2",
+ "winapi 0.3.9",
+]
+
 [[package]]
 name = "mirai-annotations"
 version = "1.8.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "258c143ddb5105becc4834f66d0b0ad3d3205d07cb3efc3236f33f623dd07b16"
 
+[[package]]
+name = "move-core-types"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "hex",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto-derive 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "mirai-annotations",
+ "proptest",
+ "proptest-derive",
+ "rand 0.7.3",
+ "ref-cast",
+ "serde",
+ "thiserror",
+]
+
 [[package]]
 name = "move-core-types"
 version = "0.1.0"
@@ -1377,7 +2379,7 @@ dependencies = [
  "libra-crypto-derive 0.1.0 (git+https://github.com/dfinance/libra.git)",
  "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git)",
  "mirai-annotations",
- "rand",
+ "rand 0.7.3",
  "ref-cast",
  "serde",
  "thiserror",
@@ -1395,13 +2397,33 @@ dependencies = [
  "libra-crypto-derive 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
  "libra-workspace-hack 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
  "mirai-annotations",
- "rand",
+ "rand 0.7.3",
  "ref-cast",
  "serde",
  "serde_bytes",
  "thiserror",
 ]
 
+[[package]]
+name = "move-coverage"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "bytecode-source-map 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "codespan",
+ "colored",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-ir-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "once_cell",
+ "serde",
+ "structopt",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
 [[package]]
 name = "move-coverage"
 version = "0.1.0"
@@ -1451,7 +2473,7 @@ dependencies = [
  "console_log",
  "env_logger",
  "libra-deps",
- "log",
+ "log 0.4.8",
  "move-describe-network",
  "pretty_env_logger",
  "serde",
@@ -1466,12 +2488,27 @@ dependencies = [
  "anyhow",
  "hex",
  "libra-deps",
- "log",
+ "log 0.4.8",
  "reqwest",
  "serde",
  "serde_derive",
 ]
 
+[[package]]
+name = "move-ir-types"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "codespan",
+ "hex",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "once_cell",
+ "serde",
+]
+
 [[package]]
 name = "move-ir-types"
 version = "0.1.0"
@@ -1502,6 +2539,165 @@ dependencies = [
  "serde",
 ]
 
+[[package]]
+name = "move-lang"
+version = "0.0.1"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "borrow-graph 0.0.1 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "bytecode-source-map 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "bytecode-verifier 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "byteorder",
+ "codespan",
+ "codespan-reporting",
+ "datatest-stable 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "difference",
+ "hex",
+ "ir-to-bytecode 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-ir-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "petgraph",
+ "regex",
+ "structopt",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "walkdir",
+]
+
+[[package]]
+name = "move-lang"
+version = "0.0.1"
+source = "git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c#6190f23a37cd4c4f9e4b4ecf1eb650265c03429c"
+dependencies = [
+ "anyhow",
+ "borrow-graph 0.0.1 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "bytecode-source-map 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "bytecode-verifier 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "codespan",
+ "codespan-reporting",
+ "datatest-stable 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "difference",
+ "hex",
+ "ir-to-bytecode 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "libra-types 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "move-core-types 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "move-ir-types 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "petgraph",
+ "regex",
+ "structopt",
+ "vm 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
+ "walkdir",
+]
+
+[[package]]
+name = "move-prover"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "bytecode-source-map 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "clap 2.33.1",
+ "codespan",
+ "codespan-reporting",
+ "docgen",
+ "handlebars",
+ "itertools",
+ "libra-temppath",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "log 0.4.8",
+ "move-ir-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-lang 0.0.1 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "num",
+ "once_cell",
+ "pretty",
+ "regex",
+ "serde",
+ "simplelog",
+ "spec-lang",
+ "stackless-bytecode-generator",
+ "toml",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
+[[package]]
+name = "move-vm-natives"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "bit-vec",
+ "byteorder",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "mirai-annotations",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-vm-types",
+ "once_cell",
+ "rand 0.7.3",
+ "sha2 0.9.1",
+ "twox-hash",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
+[[package]]
+name = "move-vm-runtime"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "bytecode-verifier 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-logger",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "mirai-annotations",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-vm-natives",
+ "move-vm-types",
+ "once_cell",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
+[[package]]
+name = "move-vm-types"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-state-view",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "mirai-annotations",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "once_cell",
+ "serde",
+ "sha2 0.9.1",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
+[[package]]
+name = "multipart"
+version = "0.16.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "136eed74cadb9edd2651ffba732b19a450316b680e4f48d6c79e905799e19d01"
+dependencies = [
+ "buf_redux",
+ "httparse",
+ "log 0.4.8",
+ "mime 0.2.6",
+ "mime_guess 1.8.8",
+ "quick-error",
+ "rand 0.6.5",
+ "safemem",
+ "tempfile",
+ "twoway",
+]
+
 [[package]]
 name = "native-tls"
 version = "0.2.4"
@@ -1510,7 +2706,7 @@ checksum = "2b0d88c06fe90d5ee94048ba40409ef1d9315d86f6f38c2efdaad4fb50c58b2d"
 dependencies = [
  "lazy_static",
  "libc",
- "log",
+ "log 0.4.8",
  "openssl",
  "openssl-probe",
  "openssl-sys",
@@ -1546,13 +2742,88 @@ dependencies = [
  "smallvec",
 ]
 
+[[package]]
+name = "notify"
+version = "4.0.15"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "80ae4a7688d1fab81c5bf19c64fc8db920be8d519ce6336ed4e7efe024724dbd"
+dependencies = [
+ "bitflags",
+ "filetime",
+ "fsevent",
+ "fsevent-sys",
+ "inotify",
+ "libc",
+ "mio",
+ "mio-extras",
+ "walkdir",
+ "winapi 0.3.9",
+]
+
+[[package]]
+name = "num"
+version = "0.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ab3e176191bc4faad357e3122c4747aa098ac880e88b168f106386128736cf4a"
+dependencies = [
+ "num-bigint",
+ "num-complex",
+ "num-integer",
+ "num-iter",
+ "num-rational",
+ "num-traits",
+]
+
+[[package]]
+name = "num-bigint"
+version = "0.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b7f3fc75e3697059fb1bc465e3d8cca6cf92f56854f201158b3f9c77d5a3cfa0"
+dependencies = [
+ "autocfg 1.0.0",
+ "num-integer",
+ "num-traits",
+]
+
+[[package]]
+name = "num-complex"
+version = "0.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b05ad05bd8977050b171b3f6b48175fea6e0565b7981059b486075e1026a9fb5"
+dependencies = [
+ "num-traits",
+]
+
 [[package]]
 name = "num-integer"
 version = "0.1.43"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "8d59457e662d541ba17869cf51cf177c0b5f0cbf476c66bdc90bf1edac4f875b"
 dependencies = [
- "autocfg",
+ "autocfg 1.0.0",
+ "num-traits",
+]
+
+[[package]]
+name = "num-iter"
+version = "0.1.41"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7a6e6b7c748f995c4c29c5f5ae0248536e04a5739927c74ec0fa564805094b9f"
+dependencies = [
+ "autocfg 1.0.0",
+ "num-integer",
+ "num-traits",
+]
+
+[[package]]
+name = "num-rational"
+version = "0.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "a5b4d7360f362cfb50dde8143501e6940b22f644be75a4cc90b2d81968908138"
+dependencies = [
+ "autocfg 1.0.0",
+ "num-bigint",
+ "num-integer",
  "num-traits",
 ]
 
@@ -1562,7 +2833,18 @@ version = "0.2.12"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "ac267bcc07f48ee5f8935ab0d24f316fb722d7a1292e2913f0cc196b29ffd611"
 dependencies = [
- "autocfg",
+ "autocfg 1.0.0",
+]
+
+[[package]]
+name = "num-variants"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -1571,9 +2853,9 @@ version = "0.1.0"
 source = "git+https://github.com/dfinance/libra.git#0426d5b8c4388edbcdf72009de8c3f0b695f520d"
 dependencies = [
  "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git)",
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -1582,9 +2864,9 @@ version = "0.1.0"
 source = "git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c#6190f23a37cd4c4f9e4b4ecf1eb650265c03429c"
 dependencies = [
  "libra-workspace-hack 0.1.0 (git+https://github.com/libra/libra.git?rev=6190f23a37cd4c4f9e4b4ecf1eb650265c03429c)",
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -1641,7 +2923,7 @@ version = "0.9.58"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "a842db4709b604f0fe5d1170ae3565899be2ad3d9cbc72dedc789ac0511f78de"
 dependencies = [
- "autocfg",
+ "autocfg 1.0.0",
  "cc",
  "libc",
  "pkg-config",
@@ -1654,12 +2936,79 @@ version = "2.3.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "06de47b848347d8c4c94219ad8ecd35eb90231704b067e67e6ae2e36ee023510"
 
+[[package]]
+name = "parking_lot"
+version = "0.10.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d3a704eb390aafdc107b0e392f56a82b668e3a71366993b5340f5833fd62505e"
+dependencies = [
+ "lock_api",
+ "parking_lot_core",
+]
+
+[[package]]
+name = "parking_lot_core"
+version = "0.7.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d58c7c768d4ba344e3e8d72518ac13e259d7c7ade24167003b8488e10b6740a3"
+dependencies = [
+ "cfg-if",
+ "cloudabi",
+ "libc",
+ "redox_syscall",
+ "smallvec",
+ "winapi 0.3.9",
+]
+
 [[package]]
 name = "percent-encoding"
 version = "2.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "d4fd5641d01c8f18a23da7b6fe29298ff4b55afcccdf78973b24cf3175fee32e"
 
+[[package]]
+name = "pest"
+version = "2.1.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "10f4872ae94d7b90ae48754df22fd42ad52ce740b8f370b03da4835417403e53"
+dependencies = [
+ "ucd-trie",
+]
+
+[[package]]
+name = "pest_derive"
+version = "2.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "833d1ae558dc601e9a60366421196a8d94bc0ac980476d0b67e1d0988d72b2d0"
+dependencies = [
+ "pest",
+ "pest_generator",
+]
+
+[[package]]
+name = "pest_generator"
+version = "2.1.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "99b8db626e31e5b81787b9783425769681b347011cc59471e33ea46d2ea0cf55"
+dependencies = [
+ "pest",
+ "pest_meta",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
+]
+
+[[package]]
+name = "pest_meta"
+version = "2.1.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "54be6e404f5317079812fc8f9f5279de376d8856929e21c184ecf6bbd692a11d"
+dependencies = [
+ "maplit",
+ "pest",
+ "sha-1 0.8.2",
+]
+
 [[package]]
 name = "petgraph"
 version = "0.5.1"
@@ -1670,6 +3019,45 @@ dependencies = [
  "indexmap",
 ]
 
+[[package]]
+name = "phf"
+version = "0.7.24"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b3da44b85f8e8dfaec21adae67f95d93244b2ecf6ad2a692320598dcc8e6dd18"
+dependencies = [
+ "phf_shared",
+]
+
+[[package]]
+name = "phf_codegen"
+version = "0.7.24"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b03e85129e324ad4166b06b2c7491ae27fe3ec353af72e72cd1654c7225d517e"
+dependencies = [
+ "phf_generator",
+ "phf_shared",
+]
+
+[[package]]
+name = "phf_generator"
+version = "0.7.24"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "09364cc93c159b8b06b1f4dd8a4398984503483891b0c26b867cf431fb132662"
+dependencies = [
+ "phf_shared",
+ "rand 0.6.5",
+]
+
+[[package]]
+name = "phf_shared"
+version = "0.7.24"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "234f71a15de2288bcb7e3b6515828d22af7ec8598ee6d24c3b526fa0a80b67a0"
+dependencies = [
+ "siphasher",
+ "unicase 1.4.2",
+]
+
 [[package]]
 name = "pin-project"
 version = "0.4.22"
@@ -1685,9 +3073,9 @@ version = "0.4.22"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "6a0ffd45cf79d88737d7cc85bfd5d2894bee1139b356e616fe85dc389c61aaf7"
 dependencies = [
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -1734,6 +3122,16 @@ version = "0.2.8"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "237a5ed80e274dbc66f86bd59c1e25edc039660be53194b5fe0a482e0f2612ea"
 
+[[package]]
+name = "pretty"
+version = "0.10.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ad9940b913ee56ddd94aec2d3cd179dd47068236f42a1a6415ccf9d880ce2a61"
+dependencies = [
+ "arrayvec",
+ "typed-arena",
+]
+
 [[package]]
 name = "pretty_env_logger"
 version = "0.4.0"
@@ -1741,7 +3139,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "926d36b9553851b8b0005f1275891b392ee4d2d833852c417ed025477350fb9d"
 dependencies = [
  "env_logger",
- "log",
+ "log 0.4.8",
 ]
 
 [[package]]
@@ -1751,10 +3149,10 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "18f33027081eba0a6d8aba6d1b1c3a3be58cbb12106341c2d5759fcd9b5277e7"
 dependencies = [
  "proc-macro-error-attr 0.4.12",
- "proc-macro2",
- "quote",
- "syn",
- "version_check",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
+ "version_check 0.9.2",
 ]
 
 [[package]]
@@ -1764,10 +3162,10 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "fc175e9777c3116627248584e8f8b3e2987405cabe1c0adf7d1dd28f09dc7880"
 dependencies = [
  "proc-macro-error-attr 1.0.3",
- "proc-macro2",
- "quote",
- "syn",
- "version_check",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
+ "version_check 0.9.2",
 ]
 
 [[package]]
@@ -1776,11 +3174,11 @@ version = "0.4.12"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "8a5b4b77fdb63c1eca72173d68d24501c54ab1269409f6b672c85deb18af69de"
 dependencies = [
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
  "syn-mid",
- "version_check",
+ "version_check 0.9.2",
 ]
 
 [[package]]
@@ -1789,11 +3187,32 @@ version = "1.0.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "3cc9795ca17eb581285ec44936da7fc2335a3f34f2ddd13118b6f4d515435c50"
 dependencies = [
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
  "syn-mid",
- "version_check",
+ "version_check 0.9.2",
+]
+
+[[package]]
+name = "proc-macro-hack"
+version = "0.5.16"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7e0456befd48169b9f13ef0f0ad46d492cf9d2dbb918bcf38e01eed4ce3ec5e4"
+
+[[package]]
+name = "proc-macro-nested"
+version = "0.1.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "eba180dafb9038b050a4c280019bbedf9f2467b61e5d892dcad585bb57aadc5a"
+
+[[package]]
+name = "proc-macro2"
+version = "0.4.30"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cf3d2011ab5c909338f7887f4fc896d35932e29146c12c8d01da6b22a80ba759"
+dependencies = [
+ "unicode-xid 0.1.0",
 ]
 
 [[package]]
@@ -1802,7 +3221,51 @@ version = "1.0.18"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "beae6331a816b1f65d04c45b078fd8e6c93e8071771f41b8163255bbd8d7c8fa"
 dependencies = [
- "unicode-xid",
+ "unicode-xid 0.2.1",
+]
+
+[[package]]
+name = "prometheus"
+version = "0.9.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "dd0ced56dee39a6e960c15c74dc48849d614586db2eaada6497477af7c7811cd"
+dependencies = [
+ "cfg-if",
+ "fnv",
+ "lazy_static",
+ "spin",
+ "thiserror",
+]
+
+[[package]]
+name = "proptest"
+version = "0.10.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "2520fe6373cf6a3a61e2d200e987c183778ade8d9248ac3e6614ab0edfe4a0c1"
+dependencies = [
+ "bit-set",
+ "bitflags",
+ "byteorder",
+ "lazy_static",
+ "num-traits",
+ "quick-error",
+ "rand 0.7.3",
+ "rand_chacha 0.2.2",
+ "rand_xorshift 0.2.0",
+ "regex-syntax",
+ "rusty-fork",
+ "tempfile",
+]
+
+[[package]]
+name = "proptest-derive"
+version = "0.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "051d9d20dbe9e9dfe594328b6eaab72ccf571fee818991dd1c1ba5469b5f32d4"
+dependencies = [
+ "proc-macro2 0.4.30",
+ "quote 0.6.13",
+ "syn 0.15.44",
 ]
 
 [[package]]
@@ -1811,84 +3274,280 @@ version = "1.2.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "a1d01941d82fa2ab50be1e79e6714289dd7cde78eba4c074bc5a4374f650dfe0"
 
+[[package]]
+name = "quote"
+version = "0.6.13"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6ce23b6b870e8f94f81fb0a363d65d86675884b34a09043c81e5562f11c1f8e1"
+dependencies = [
+ "proc-macro2 0.4.30",
+]
+
 [[package]]
 name = "quote"
 version = "1.0.7"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "aa563d17ecb180e500da1cfd2b028310ac758de548efdd203e18f283af693f37"
 dependencies = [
- "proc-macro2",
+ "proc-macro2 1.0.18",
+]
+
+[[package]]
+name = "ra_vfs"
+version = "0.6.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cbf31a173fc77ec59c27cf39af6baa137b40f4dbd45a8b3eccb1b2e4cfc922c1"
+dependencies = [
+ "crossbeam-channel",
+ "jod-thread",
+ "log 0.4.8",
+ "notify",
+ "parking_lot",
+ "relative-path",
+ "rustc-hash",
+ "walkdir",
+]
+
+[[package]]
+name = "radix_trie"
+version = "0.1.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "3d3681b28cd95acfb0560ea9441f82d6a4504fa3b15b97bd7b6e952131820e95"
+dependencies = [
+ "endian-type",
+ "nibble_vec 0.0.4",
+]
+
+[[package]]
+name = "radix_trie"
+version = "0.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "56eba2a19109c6dfaaa74eff6e0ad7113ad038ebc6be05396862fa0e986b16a3"
+dependencies = [
+ "endian-type",
+ "nibble_vec 0.1.0",
+]
+
+[[package]]
+name = "railroad"
+version = "0.1.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "59c47c4d3be383b581ee4f7e7b1858c1ea6d717736780257052fa601de3047a9"
+dependencies = [
+ "htmlescape",
+ "unicode-width",
+]
+
+[[package]]
+name = "rand"
+version = "0.6.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6d71dacdc3c88c1fde3885a3be3fbab9f35724e6ce99467f7d9c5026132184ca"
+dependencies = [
+ "autocfg 0.1.7",
+ "libc",
+ "rand_chacha 0.1.1",
+ "rand_core 0.4.2",
+ "rand_hc 0.1.0",
+ "rand_isaac",
+ "rand_jitter",
+ "rand_os",
+ "rand_pcg",
+ "rand_xorshift 0.1.1",
+ "winapi 0.3.9",
+]
+
+[[package]]
+name = "rand"
+version = "0.7.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6a6b1679d49b24bbfe0c803429aa1874472f50d9b363131f0e89fc356b544d03"
+dependencies = [
+ "getrandom",
+ "libc",
+ "rand_chacha 0.2.2",
+ "rand_core 0.5.1",
+ "rand_hc 0.2.0",
+]
+
+[[package]]
+name = "rand_chacha"
+version = "0.1.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "556d3a1ca6600bfcbab7c7c91ccb085ac7fbbcd70e008a98742e7847f4f7bcef"
+dependencies = [
+ "autocfg 0.1.7",
+ "rand_core 0.3.1",
+]
+
+[[package]]
+name = "rand_chacha"
+version = "0.2.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f4c8ed856279c9737206bf725bf36935d8666ead7aa69b52be55af369d193402"
+dependencies = [
+ "ppv-lite86",
+ "rand_core 0.5.1",
+]
+
+[[package]]
+name = "rand_core"
+version = "0.3.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7a6fdeb83b075e8266dcc8762c22776f6877a63111121f5f8c7411e5be7eed4b"
+dependencies = [
+ "rand_core 0.4.2",
+]
+
+[[package]]
+name = "rand_core"
+version = "0.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9c33a3c44ca05fa6f1807d8e6743f3824e8509beca625669633be0acbdf509dc"
+
+[[package]]
+name = "rand_core"
+version = "0.5.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "90bde5296fc891b0cef12a6d03ddccc162ce7b2aff54160af9338f8d40df6d19"
+dependencies = [
+ "getrandom",
+]
+
+[[package]]
+name = "rand_hc"
+version = "0.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7b40677c7be09ae76218dc623efbf7b18e34bced3f38883af07bb75630a21bc4"
+dependencies = [
+ "rand_core 0.3.1",
+]
+
+[[package]]
+name = "rand_hc"
+version = "0.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ca3129af7b92a17112d59ad498c6f81eaf463253766b90396d39ea7a39d6613c"
+dependencies = [
+ "rand_core 0.5.1",
+]
+
+[[package]]
+name = "rand_isaac"
+version = "0.1.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ded997c9d5f13925be2a6fd7e66bf1872597f759fd9dd93513dd7e92e5a5ee08"
+dependencies = [
+ "rand_core 0.3.1",
+]
+
+[[package]]
+name = "rand_jitter"
+version = "0.1.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1166d5c91dc97b88d1decc3285bb0a99ed84b05cfd0bc2341bdf2d43fc41e39b"
+dependencies = [
+ "libc",
+ "rand_core 0.4.2",
+ "winapi 0.3.9",
 ]
 
 [[package]]
-name = "radix_trie"
-version = "0.1.6"
+name = "rand_os"
+version = "0.1.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3d3681b28cd95acfb0560ea9441f82d6a4504fa3b15b97bd7b6e952131820e95"
+checksum = "7b75f676a1e053fc562eafbb47838d67c84801e38fc1ba459e8f180deabd5071"
 dependencies = [
- "endian-type",
- "nibble_vec 0.0.4",
+ "cloudabi",
+ "fuchsia-cprng",
+ "libc",
+ "rand_core 0.4.2",
+ "rdrand",
+ "winapi 0.3.9",
 ]
 
 [[package]]
-name = "radix_trie"
-version = "0.2.0"
+name = "rand_pcg"
+version = "0.1.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "56eba2a19109c6dfaaa74eff6e0ad7113ad038ebc6be05396862fa0e986b16a3"
+checksum = "abf9b09b01790cfe0364f52bf32995ea3c39f4d2dd011eac241d2914146d0b44"
 dependencies = [
- "endian-type",
- "nibble_vec 0.1.0",
+ "autocfg 0.1.7",
+ "rand_core 0.4.2",
 ]
 
 [[package]]
-name = "railroad"
+name = "rand_xorshift"
 version = "0.1.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "59c47c4d3be383b581ee4f7e7b1858c1ea6d717736780257052fa601de3047a9"
+checksum = "cbf7e9e623549b0e21f6e97cf8ecf247c1a8fd2e8a992ae265314300b2455d5c"
 dependencies = [
- "htmlescape",
- "unicode-width",
+ "rand_core 0.3.1",
 ]
 
 [[package]]
-name = "rand"
-version = "0.7.3"
+name = "rand_xorshift"
+version = "0.2.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6a6b1679d49b24bbfe0c803429aa1874472f50d9b363131f0e89fc356b544d03"
+checksum = "77d416b86801d23dde1aa643023b775c3a462efc0ed96443add11546cdf1dca8"
 dependencies = [
- "getrandom",
- "libc",
- "rand_chacha",
- "rand_core",
- "rand_hc",
+ "rand_core 0.5.1",
 ]
 
 [[package]]
-name = "rand_chacha"
-version = "0.2.2"
+name = "rayon"
+version = "1.3.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f4c8ed856279c9737206bf725bf36935d8666ead7aa69b52be55af369d193402"
+checksum = "62f02856753d04e03e26929f820d0a0a337ebe71f849801eea335d464b349080"
 dependencies = [
- "ppv-lite86",
- "rand_core",
+ "autocfg 1.0.0",
+ "crossbeam-deque",
+ "either",
+ "rayon-core",
 ]
 
 [[package]]
-name = "rand_core"
-version = "0.5.1"
+name = "rayon-core"
+version = "1.7.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "90bde5296fc891b0cef12a6d03ddccc162ce7b2aff54160af9338f8d40df6d19"
+checksum = "e92e15d89083484e11353891f1af602cc661426deb9564c298b270c726973280"
 dependencies = [
- "getrandom",
+ "crossbeam-deque",
+ "crossbeam-queue",
+ "crossbeam-utils",
+ "lazy_static",
+ "num_cpus",
 ]
 
 [[package]]
-name = "rand_hc"
-version = "0.2.0"
+name = "rdrand"
+version = "0.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ca3129af7b92a17112d59ad498c6f81eaf463253766b90396d39ea7a39d6613c"
+checksum = "678054eb77286b51581ba43620cc911abf02758c91f93f479767aed0f90458b2"
+dependencies = [
+ "rand_core 0.3.1",
+]
+
+[[package]]
+name = "reachability"
+version = "0.1.0"
 dependencies = [
- "rand_core",
+ "bytecode-source-map 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "bytecode-verifier 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "dialects",
+ "language-e2e-tests",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-state-view",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-coverage 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-ir-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-lang 0.0.1 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-vm-runtime",
+ "move-vm-types",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "vm-genesis",
 ]
 
 [[package]]
@@ -1912,9 +3571,9 @@ version = "1.0.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "7d21b475ab879ef0e315ad99067fa25778c3b0377f57f1b00207448dac1a3144"
 dependencies = [
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -1935,6 +3594,12 @@ version = "0.6.18"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "26412eb97c6b088a6997e05f69403a802a92d520de2f8e63c2b65f9e0f47c4e8"
 
+[[package]]
+name = "relative-path"
+version = "1.2.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c602122c47b382cd045b10866a084b184035d45d8c2609cdd3762852ddfae2a1"
+
 [[package]]
 name = "remove_dir_all"
 version = "0.5.3"
@@ -1950,7 +3615,7 @@ version = "0.10.6"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "3b82c9238b305f26f53443e3a4bc8528d64b8d0bee408ec949eb7bf5635ec680"
 dependencies = [
- "base64",
+ "base64 0.12.3",
  "bytes",
  "encoding_rs",
  "futures-core",
@@ -1961,9 +3626,9 @@ dependencies = [
  "hyper-tls",
  "js-sys",
  "lazy_static",
- "log",
- "mime",
- "mime_guess",
+ "log 0.4.8",
+ "mime 0.3.16",
+ "mime_guess 2.0.3",
  "native-tls",
  "percent-encoding",
  "pin-project-lite",
@@ -1979,6 +3644,12 @@ dependencies = [
  "winreg",
 ]
 
+[[package]]
+name = "rustc-hash"
+version = "1.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "08d43f7aa6b08d49f382cde6a7982047c3426db949b1424bc4b7ec9ae12c6ce2"
+
 [[package]]
 name = "rustc_version"
 version = "0.2.3"
@@ -1988,12 +3659,30 @@ dependencies = [
  "semver",
 ]
 
+[[package]]
+name = "rusty-fork"
+version = "0.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cb3dcc6e454c328bb824492db107ab7c0ae8fcffe4ad210136ef014458c1bc4f"
+dependencies = [
+ "fnv",
+ "quick-error",
+ "tempfile",
+ "wait-timeout",
+]
+
 [[package]]
 name = "ryu"
 version = "1.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "71d301d4193d031abdd79ff7e3dd721168a9572ef3fe51a1517aba235bd8f86e"
 
+[[package]]
+name = "safemem"
+version = "0.3.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ef703b7cb59335eae2eb93ceb664c0eb7ea6bf567079d843e09420219668e072"
+
 [[package]]
 name = "same-file"
 version = "1.0.6"
@@ -2019,6 +3708,18 @@ version = "0.1.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "332ffa32bf586782a3efaeb58f127980944bbc8c4d6913a86107ac2a5ab24b28"
 
+[[package]]
+name = "scoped-tls"
+version = "1.0.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ea6a9290e3c9cf0f18145ef7ffa62d68ee0bf5fcd651017e586dc7fd5da448c2"
+
+[[package]]
+name = "scopeguard"
+version = "1.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d29ab0c6d3fc0ee92fe66e2d99f700eab17a8d57d1c1d3b748380fb20baa78cd"
+
 [[package]]
 name = "security-framework"
 version = "0.4.4"
@@ -2091,9 +3792,9 @@ version = "1.0.114"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "2a0be94b04690fbaed37cddffc5c134bf537c8e3329d53e982fe04c374978f8e"
 dependencies = [
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -2119,6 +3820,18 @@ dependencies = [
  "url",
 ]
 
+[[package]]
+name = "serde_yaml"
+version = "0.8.13"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ae3e2dd40a7cdc18ca80db804b7f461a39bb721160a85c9a1fa30134bf3c02a5"
+dependencies = [
+ "dtoa",
+ "linked-hash-map",
+ "serde",
+ "yaml-rust",
+]
+
 [[package]]
 name = "sha-1"
 version = "0.8.2"
@@ -2194,6 +3907,33 @@ dependencies = [
  "opaque-debug 0.3.0",
 ]
 
+[[package]]
+name = "signal-hook-registry"
+version = "1.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "94f478ede9f64724c5d173d7bb56099ec3e2d9fc2774aac65d34b8b890405f41"
+dependencies = [
+ "arc-swap",
+ "libc",
+]
+
+[[package]]
+name = "simplelog"
+version = "0.8.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "2b2736f58087298a448859961d3f4a0850b832e72619d75adc69da7993c2cd3c"
+dependencies = [
+ "chrono",
+ "log 0.4.8",
+ "termcolor",
+]
+
+[[package]]
+name = "siphasher"
+version = "0.2.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0b8de496cf83d4ed58b6be86c3a275b8602f6ffe98d3024a869e124147a9a3ac"
+
 [[package]]
 name = "slab"
 version = "0.4.2"
@@ -2218,6 +3958,72 @@ dependencies = [
  "winapi 0.3.9",
 ]
 
+[[package]]
+name = "spec-lang"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "bytecode-source-map 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "bytecode-verifier 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "codespan",
+ "codespan-reporting",
+ "itertools",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "log 0.4.8",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-ir-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-lang 0.0.1 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "num",
+ "regex",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
+[[package]]
+name = "spin"
+version = "0.5.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6e63cff320ae2c57904679ba7cb63280a3dc4613885beafb148ee7bf9aa9042d"
+
+[[package]]
+name = "stackless-bytecode-generator"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "borrow-graph 0.0.1 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "bytecode-verifier 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "ir-to-bytecode 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "itertools",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "num",
+ "spec-lang",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
+[[package]]
+name = "stdlib"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "bytecode-verifier 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "clap 2.33.1",
+ "datatest-stable 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "log 0.4.8",
+ "move-lang 0.0.1 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-prover",
+ "rayon",
+ "sha2 0.9.1",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
 [[package]]
 name = "strsim"
 version = "0.8.0"
@@ -2249,9 +4055,9 @@ checksum = "510413f9de616762a4fbeab62509bf15c729603b72d7cd71280fbca431b1c118"
 dependencies = [
  "heck",
  "proc-macro-error 1.0.3",
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -2266,15 +4072,26 @@ version = "2.2.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "502d53007c02d7605a05df1c1a73ee436952781653da5d0bf57ad608f66932c1"
 
+[[package]]
+name = "syn"
+version = "0.15.44"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9ca4b3b69a77cbe1ffc9e198781b7acb0c7365a883670e8f1c1bc66fba79a5c5"
+dependencies = [
+ "proc-macro2 0.4.30",
+ "quote 0.6.13",
+ "unicode-xid 0.1.0",
+]
+
 [[package]]
 name = "syn"
 version = "1.0.33"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "e8d5d96e8cbb005d6959f119f773bfaebb5684296108fb32600c00cde305b2cd"
 dependencies = [
- "proc-macro2",
- "quote",
- "unicode-xid",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "unicode-xid 0.2.1",
 ]
 
 [[package]]
@@ -2283,9 +4100,9 @@ version = "0.5.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "7be3539f6c128a931cf19dcee741c1af532c7fd387baa739c03dd2e96479338a"
 dependencies = [
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -2294,10 +4111,10 @@ version = "0.12.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "b834f2d66f734cb897113e34aaff2f1ab4719ca946f9a7358dba8f8064148701"
 dependencies = [
- "proc-macro2",
- "quote",
- "syn",
- "unicode-xid",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
+ "unicode-xid 0.2.1",
 ]
 
 [[package]]
@@ -2308,7 +4125,7 @@ checksum = "7a6e24d9338a0a5be79593e2fa15a648add6138caa803e2d5bc782c371732ca9"
 dependencies = [
  "cfg-if",
  "libc",
- "rand",
+ "rand 0.7.3",
  "redox_syscall",
  "remove_dir_all",
  "winapi 0.3.9",
@@ -2369,9 +4186,9 @@ version = "1.0.20"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "bd80fc12f73063ac132ac92aceea36734f04a1d93c1240c6944e23a3b8841793"
 dependencies = [
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -2419,11 +4236,28 @@ dependencies = [
  "futures-core",
  "iovec",
  "lazy_static",
+ "libc",
  "memchr",
  "mio",
+ "mio-named-pipes",
+ "mio-uds",
  "num_cpus",
  "pin-project-lite",
+ "signal-hook-registry",
  "slab",
+ "tokio-macros",
+ "winapi 0.3.9",
+]
+
+[[package]]
+name = "tokio-macros"
+version = "0.2.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f0c3acc6aa564495a0f2e1d59fab677cd7f81a19994cfc7f3ad0e64301560389"
+dependencies = [
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
 ]
 
 [[package]]
@@ -2436,6 +4270,19 @@ dependencies = [
  "tokio",
 ]
 
+[[package]]
+name = "tokio-tungstenite"
+version = "0.10.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b8b8fe88007ebc363512449868d7da4389c9400072a3f666f212c7280082882a"
+dependencies = [
+ "futures",
+ "log 0.4.8",
+ "pin-project",
+ "tokio",
+ "tungstenite",
+]
+
 [[package]]
 name = "tokio-util"
 version = "0.3.1"
@@ -2445,7 +4292,7 @@ dependencies = [
  "bytes",
  "futures-core",
  "futures-sink",
- "log",
+ "log 0.4.8",
  "pin-project-lite",
  "tokio",
 ]
@@ -2465,25 +4312,98 @@ version = "0.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "e987b6bf443f4b5b3b6f38704195592cca41c5bb7aedd3c3693c7081f8289860"
 
+[[package]]
+name = "transaction-builder"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "compiled-stdlib",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-config",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "mirai-annotations",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
 [[package]]
 name = "try-lock"
 version = "0.2.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "e604eb7b43c06650e854be16a2a03155743d3752dd1c943f6829e26b7a36e382"
 
+[[package]]
+name = "tungstenite"
+version = "0.10.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cfea31758bf674f990918962e8e5f07071a3161bd7c4138ed23e416e1ac4264e"
+dependencies = [
+ "base64 0.11.0",
+ "byteorder",
+ "bytes",
+ "http",
+ "httparse",
+ "input_buffer",
+ "log 0.4.8",
+ "rand 0.7.3",
+ "sha-1 0.8.2",
+ "url",
+ "utf-8",
+]
+
+[[package]]
+name = "twoway"
+version = "0.1.8"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "59b11b2b5241ba34be09c3cc85a36e56e48f9888862e19cedf23336d35316ed1"
+dependencies = [
+ "memchr",
+]
+
+[[package]]
+name = "twox-hash"
+version = "1.5.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "3bfd5b7557925ce778ff9b9ef90e3ade34c524b5ff10e239c69a42d546d2af56"
+dependencies = [
+ "rand 0.7.3",
+]
+
+[[package]]
+name = "typed-arena"
+version = "2.0.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0685c84d5d54d1c26f7d3eb96cd41550adb97baed141a761cf335d3d33bcd0ae"
+
 [[package]]
 name = "typenum"
 version = "1.12.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "373c8a200f9e67a0c95e62a4f52fbf80c23b4381c05a17845531982fa99e6b33"
 
+[[package]]
+name = "ucd-trie"
+version = "0.1.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "56dee185309b50d1f11bfedef0fe6d036842e3fb77413abef29f8f8d1c5d4c1c"
+
+[[package]]
+name = "unicase"
+version = "1.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7f4765f83163b74f957c797ad9253caf97f103fb064d3999aea9568d09fc8a33"
+dependencies = [
+ "version_check 0.1.5",
+]
+
 [[package]]
 name = "unicase"
 version = "2.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "50f37be617794602aabbeee0be4f259dc1778fabe05e2d67ee8f79326d5cb4f6"
 dependencies = [
- "version_check",
+ "version_check 0.9.2",
 ]
 
 [[package]]
@@ -2516,6 +4436,12 @@ version = "0.1.8"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "9337591893a19b88d8d87f2cec1e73fad5cdfd10e5a6f349f498ad6ea2ffb1e3"
 
+[[package]]
+name = "unicode-xid"
+version = "0.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "fc72304796d0818e357ead4e000d19c9c174ab23dc11093ac919054d20a6a7fc"
+
 [[package]]
 name = "unicode-xid"
 version = "0.2.1"
@@ -2553,6 +4479,28 @@ dependencies = [
  "percent-encoding",
 ]
 
+[[package]]
+name = "urlencoding"
+version = "1.1.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c9232eb53352b4442e40d7900465dfc534e8cb2dc8f18656fcb2ac16112b5593"
+
+[[package]]
+name = "utf-8"
+version = "0.7.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "05e42f7c18b8f902290b009cde6d651262f956c98bc51bca4cd1d511c9cd85c7"
+
+[[package]]
+name = "utils"
+version = "0.1.0"
+dependencies = [
+ "anyhow",
+ "log 0.4.8",
+ "ra_vfs",
+ "walkdir",
+]
+
 [[package]]
 name = "vcpkg"
 version = "0.2.10"
@@ -2565,12 +4513,35 @@ version = "0.8.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "f1bddf1187be692e79c5ffeab891132dfb0f236ed36a43c7ed39f1165ee20191"
 
+[[package]]
+name = "version_check"
+version = "0.1.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "914b1a6776c4c929a602fafd8bc742e06365d4bcbe48c30f9cca5824f70dc9dd"
+
 [[package]]
 name = "version_check"
 version = "0.9.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "b5a972e5669d67ba988ce3dc826706fb0a8b01471c088cb0b6110b805cc36aed"
 
+[[package]]
+name = "vm"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "byteorder",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "mirai-annotations",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "num-variants 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "once_cell",
+ "ref-cast",
+]
+
 [[package]]
 name = "vm"
 version = "0.1.0"
@@ -2603,6 +4574,40 @@ dependencies = [
  "ref-cast",
 ]
 
+[[package]]
+name = "vm-genesis"
+version = "0.1.0"
+source = "git+https://github.com/dfinance/libra.git?branch=16.06.2020#46cd3dc349147351d61dc64dc6e000276fcf400d"
+dependencies = [
+ "anyhow",
+ "bytecode-verifier 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "compiled-stdlib",
+ "libra-canonical-serialization 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-config",
+ "libra-crypto 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-network-address 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-state-view",
+ "libra-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "libra-vm",
+ "libra-workspace-hack 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-core-types 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+ "move-vm-runtime",
+ "move-vm-types",
+ "once_cell",
+ "rand 0.7.3",
+ "transaction-builder",
+ "vm 0.1.0 (git+https://github.com/dfinance/libra.git?branch=16.06.2020)",
+]
+
+[[package]]
+name = "wait-timeout"
+version = "0.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9f200f5b12eb75f8c1ed65abd4b2db8a6e1b138a20de009dacee265a2498f3f6"
+dependencies = [
+ "libc",
+]
+
 [[package]]
 name = "walkdir"
 version = "2.3.1"
@@ -2620,10 +4625,36 @@ version = "0.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "1ce8a968cb1cd110d136ff8b819a556d6fb6d919363c61534f6860c7eb172ba0"
 dependencies = [
- "log",
+ "log 0.4.8",
  "try-lock",
 ]
 
+[[package]]
+name = "warp"
+version = "0.2.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0e95175b7a927258ecbb816bdada3cc469cb68593e7940b96a60f4af366a9970"
+dependencies = [
+ "bytes",
+ "futures",
+ "headers",
+ "http",
+ "hyper",
+ "log 0.4.8",
+ "mime 0.3.16",
+ "mime_guess 2.0.3",
+ "multipart",
+ "pin-project",
+ "scoped-tls 1.0.0",
+ "serde",
+ "serde_json",
+ "serde_urlencoded",
+ "tokio",
+ "tokio-tungstenite",
+ "tower-service",
+ "urlencoding",
+]
+
 [[package]]
 name = "wasi"
 version = "0.9.0+wasi-snapshot-preview1"
@@ -2650,10 +4681,10 @@ checksum = "3e53963b583d18a5aa3aaae4b4c1cb535218246131ba22a71f05b518098571df"
 dependencies = [
  "bumpalo",
  "lazy_static",
- "log",
- "proc-macro2",
- "quote",
- "syn",
+ "log 0.4.8",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
  "wasm-bindgen-shared",
 ]
 
@@ -2675,7 +4706,7 @@ version = "0.2.64"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "3fcfd5ef6eec85623b4c6e844293d4516470d8f19cd72d0d12246017eb9060b8"
 dependencies = [
- "quote",
+ "quote 1.0.7",
  "wasm-bindgen-macro-support",
 ]
 
@@ -2685,9 +4716,9 @@ version = "0.2.64"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "9adff9ee0e94b926ca81b57f57f86d5545cdcb1d259e21ec9bdd95b901754c75"
 dependencies = [
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
  "wasm-bindgen-backend",
  "wasm-bindgen-shared",
 ]
@@ -2776,10 +4807,19 @@ version = "0.6.0"
 source = "git+https://github.com/calibra/x25519-dalek.git?branch=fiat2#2cd269742922403a588af0872e3b06fe4ef89d0e"
 dependencies = [
  "curve25519-dalek",
- "rand_core",
+ "rand_core 0.5.1",
  "zeroize",
 ]
 
+[[package]]
+name = "yaml-rust"
+version = "0.4.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "39f0c922f1a334134dc2f7a8b67dc5d25f0735263feec974345ff706bcf20b0d"
+dependencies = [
+ "linked-hash-map",
+]
+
 [[package]]
 name = "zeroize"
 version = "1.1.0"
@@ -2795,8 +4835,8 @@ version = "1.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "de251eec69fc7c1bc3923403d18ececb929380e016afe103da75f396704f8ca2"
 dependencies = [
- "proc-macro2",
- "quote",
- "syn",
+ "proc-macro2 1.0.18",
+ "quote 1.0.7",
+ "syn 1.0.33",
  "synstructure",
 ]
diff --git a/Cargo.toml b/Cargo.toml
index 85da1e7..0b7ac23 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -54,4 +54,5 @@ members = [
 	"poc", # TODO: refactor, move to the main crate.
 	"libra",
 	"net",
+	"reachability",
 ]
diff --git a/libra/Cargo.toml b/libra/Cargo.toml
index 2cada42..848d90a 100644
--- a/libra/Cargo.toml
+++ b/libra/Cargo.toml
@@ -16,6 +16,7 @@ move-core-types = { package = "move-core-types", git = "https://github.com/libra
 move-ir-types = { package = "move-ir-types", git = "https://github.com/libra/libra.git", rev = "6190f23a37cd4c4f9e4b4ecf1eb650265c03429c" }
 move-coverage = { package = "move-coverage", git = "https://github.com/libra/libra.git", rev = "6190f23a37cd4c4f9e4b4ecf1eb650265c03429c" }
 vm = { package = "vm", git = "https://github.com/libra/libra.git", rev = "6190f23a37cd4c4f9e4b4ecf1eb650265c03429c" }
+move-lang = { git = "https://github.com/libra/libra.git", rev = "6190f23a37cd4c4f9e4b4ecf1eb650265c03429c" }
 
 # bytecode-verifier = { package = "bytecode-verifier", git = "https://github.com/dfinance/libra.git" }
 # bytecode-source-map = { package = "bytecode-source-map", git = "https://github.com/dfinance/libra.git" }
diff --git a/libra/src/lib.rs b/libra/src/lib.rs
index 58c1afc..f355af8 100644
--- a/libra/src/lib.rs
+++ b/libra/src/lib.rs
@@ -7,3 +7,4 @@ pub extern crate move_core_types;
 pub extern crate move_ir_types;
 pub extern crate vm;
 pub extern crate move_coverage;
+pub extern crate move_lang;
diff --git a/reachability/Cargo.toml b/reachability/Cargo.toml
new file mode 100644
index 0000000..c8bd0d2
--- /dev/null
+++ b/reachability/Cargo.toml
@@ -0,0 +1,27 @@
+[package]
+name = "reachability"
+version = "0.1.0"
+authors = ["Maksim Kurnikov <maxim.kurnikov@gmail.com>"]
+edition = "2018"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+move-vm-runtime = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+move-vm-types = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+libra-state-view = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+language-e2e-tests = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+move-core-types = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+vm = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+libra-types = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+move-lang = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+libra-canonical-serialization = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+libra-crypto = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+move-ir-types = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+vm-genesis = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+bytecode-verifier = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+bytecode-source-map = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+move-coverage = { git = "https://github.com/dfinance/libra.git", branch = "16.06.2020" }
+
+#dialects = { git = "https://github.com/dfinance/move-tools.git", branch = "master" }
+dialects = { path = "../../move-tools/crates/dialects" }
\ No newline at end of file
diff --git a/reachability/src/lib.rs b/reachability/src/lib.rs
new file mode 100644
index 0000000..d73ae25
--- /dev/null
+++ b/reachability/src/lib.rs
@@ -0,0 +1,90 @@
+use vm::CompiledModule;
+use vm::access::ModuleAccess;
+use bytecode_verifier::control_flow_graph::{VMControlFlowGraph, ControlFlowGraph, BlockId};
+use std::collections::HashSet;
+use vm::file_format::{Bytecode, FunctionDefinition};
+
+
+fn record_reachable_blocks(
+	function_cfg: &VMControlFlowGraph,
+	function_code: &Vec<Bytecode>,
+	block_id: BlockId,
+	reachables: &mut HashSet<BlockId>,
+) {
+	for successor_block_id in function_cfg.successors(block_id).to_owned() {
+		if reachables.contains(&successor_block_id) {
+			continue;
+		}
+		reachables.insert(successor_block_id);
+
+		record_reachable_blocks(function_cfg, function_code, successor_block_id, reachables);
+	}
+}
+
+
+pub fn analyse_code_reachability(compiled_module: CompiledModule) {
+	for function_def in compiled_module.function_defs() {
+		let function_code = function_def.code.clone().unwrap().code;
+		let function_cfg = VMControlFlowGraph::new(&function_code);
+
+		let entry_block_id = function_cfg.entry_block_id();
+		let mut reachables = HashSet::new();
+		reachables.insert(entry_block_id);
+
+		record_reachable_blocks(&function_cfg, &function_code, entry_block_id, &mut reachables);
+
+		let blocks = function_cfg.blocks().into_iter().collect::<HashSet<_>>();
+	}
+}
+
+#[cfg(test)]
+mod tests {
+	use super::*;
+	use dialects::impls::LibraDialect;
+	use dialects::base::Dialect;
+	use dialects::shared::ProvidedAccountAddress;
+
+	#[test]
+	fn test_analyse_hello_world() {
+		let source_code = r"
+address 0x1 {
+    module HelloWorld {
+        fun greeting_number(): u64 {
+
+       		loop {
+
+       		}
+        }
+    }
+}
+        ";
+		let fname = Box::leak(Box::new("module.move"));
+		let dialect = LibraDialect::default();
+		let (_, mut compiled_mods) = dialect
+			.check_and_generate_bytecode(
+				(fname, source_code.to_string()),
+				&vec![],
+				ProvidedAccountAddress::default(),
+			)
+			.unwrap();
+		let compiled_mod = compiled_mods.remove(0);
+		assert!(compiled_mods.is_empty());
+
+		// analyse_code_reachability(compiled_mod);
+
+		let function_def = compiled_mod.function_defs()[0].clone();
+		let function_code = function_def.code.unwrap().code;
+		let function_cfg = VMControlFlowGraph::new(&function_code);
+
+		function_cfg.display();
+
+		// for block_id in function_cfg.blocks() {
+		// 	dbg!(block_id);
+		// 	let instructions = function_code
+		// 		[function_cfg.block_start(block_id) as usize..=function_cfg.block_end(block_id) as usize]
+		// 		.to_vec();
+		// 	dbg!(instructions);
+		// }
+		// for block_id in compiled_mod.bloc
+	}
+}
diff --git a/src/main.rs b/src/main.rs
index 30406ae..51fa922 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -14,6 +14,7 @@ mod deps;
 mod disasm;
 mod analyze;
 mod output;
+mod reachability;
 
 use anyhow::{bail, format_err, Result};
 use cli::InputType;