Use typed map in big int heap (#200)

* format whitespace * use typed map in `<bigIntHeap>` * Update `preserves-definedness` comments * update preserves-definedness comments * Set Version: 0.1.2 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Feb 20, 2024 · c96ca58 · c96ca58
1 parent 8ee410b
commit c96ca58
Show file tree

Hide file tree

Showing 5 changed files with 102 additions and 85 deletions.
diff --git a/elrond-config.md b/elrond-config.md
@@ -737,7 +737,7 @@ Initialize the call state and invoke the endpoint function:
             </moduleInst>
             ...
           </wasm>
-          <bigIntHeap> _ => .Map </bigIntHeap>
+          <bigIntHeap> _ => .MapIntToInt </bigIntHeap>
           <bufferHeap> _ => .MapIntToBytes </bufferHeap>
           <bytesStack> _ => .BytesStack </bytesStack>
           <contractModIdx> MODIDX:Int </contractModIdx>

diff --git a/elrond-node.md b/elrond-node.md
@@ -32,7 +32,7 @@ module ELROND-NODE
           // executional
           // every contract call uses its own wasm module instance, managed data heaps, and bytesStack.
           <wasm/>
-          <bigIntHeap> .Map </bigIntHeap>
+          <bigIntHeap> .MapIntToInt   </bigIntHeap>
           <bufferHeap> .MapIntToBytes </bufferHeap>
           <bytesStack> .BytesStack </bytesStack>
           <contractModIdx> .Int </contractModIdx>

diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmultiversx"
-version = "0.1.1"
+version = "0.1.2"
 description = "Python tools for Elrond semantics"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.1
+0.1.2