add bcs function , byte to basic type (#43)

* add bcs function byte to basic type * add spec prove * Fix build file
starcoinorg · Jun 24, 2022 · e39dfeb · e39dfeb
1 parent bfbe32c
commit e39dfeb
Show file tree

Hide file tree

Showing 5 changed files with 1,345 additions and 4 deletions.
diff --git a/build/StarcoinFramework/BuildInfo.yaml b/build/StarcoinFramework/BuildInfo.yaml
@@ -252,7 +252,7 @@ compiled_package_info:
     ? address: "0x00000000000000000000000000000001"
       name: YieldFarmingV2
     : StarcoinFramework
-  source_digest: DC688BF938B40FD9B3D5BE2F97C93640AC08F67382227622875406514244667D
+  source_digest: 22DB5B43ABD816BCCD6014917A9DB55B19DBFE214599FA3466F3F05C56DC1F44
   build_flags:
     dev_mode: false
     test_mode: false

diff --git a/build/StarcoinFramework/bytecode_modules/BCS.mv b/build/StarcoinFramework/bytecode_modules/BCS.mv