@cella-lang/machine 0.1.202611010836 → 0.1.202611011136

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 30,
-  "checkerHash": "00073e54326a1353",
+  "checkerHash": "3369fc0950129d96",
   "defs": {
     "__RecordTag_machine.Console": {
       "merkle": "292f1281898e661a1a01a866afb20b04d9aa93a28a704d48e46abee77eb5903a",
@@ -243,27 +243,27 @@
       "own": "073c3d4f22ba9b0a3a06aba6250b1fc34318f3aeaf51edec449ff0c1f64c233f"
     },
     "machine.Console.ofInput": {
-      "merkle": "ed2abb45d0f1ce134d81df08098336ee74fac329b08d45c54e54adafc964635f",
-      "own": "a6e347c2bab9427f2ada5616ce55ad28a8841da5d6f47e1bbe0627f322d43b85"
+      "merkle": "4c0ffaed3b06e61a3639b8c275a81321db1bdfb76c468520a642d5fc0a9579e9",
+      "own": "899b08a53ac1e307d4b2ce91b89b84308df352bed4c837293cc4b76ffe4ea55b"
     },
     "machine.Console.write": {
-      "merkle": "f1c0a21afda06f9bcb19bcb2ec40372902043191e50466808cf565a7c0e6d9a3",
-      "own": "d95df127037e1cf0ada40ed2085cc72703c913193c6946e2674ae1861fb28571"
+      "merkle": "ef443abddc8a46601f9385b869104067f249fda614a26365082650a4456943a3",
+      "own": "a2d5634bcc678a671c236fc7a8552aaedc99d84f70ae098112adfd80eec4618b"
     },
     "machine.Console.writeError": {
-      "merkle": "6690503c442d7324afac8ff174963eeb45d882bff4a6c5567bcc683cedd93b79",
-      "own": "a3714b3a99e487957827aecf5e9b78323bd4acca7f7eb807bbb1d2aaa0a2ad74"
+      "merkle": "8198e01e2a4cb519b3797b43f429353ecf8f382ad360e960c371edd9278ffd92",
+      "own": "cabebd76c859b617d2f6f2bddbc847ea8795c9487e56a86e86dde848705c6030"
     },
     "machine.Console.writeOutput": {
-      "merkle": "552506856ebec0a32c19669de23f86d50b82ac5a24ab6ace4f1bca8d8fa61a5c",
-      "own": "45caf57ad9bda52a8062d00603573f1cc276834dca0b1a2dea34c63266a82d28"
+      "merkle": "5c49c6bdfeb6e61dd8e5405cb009167a409697fe62d57ab1fcdeb13f838d7708",
+      "own": "92b6fa8cc150f12c3caee71ff2b4b95ad6bbb6b92004e11d46ae84a1dd57cca8"
     },
     "machine.DapFrame": {
       "merkle": "7ec24e564fb034845a0f78199695ad8e5ad49b69b7d8ffe1914972f193e0b21d",
       "own": "b7518698d5233ae658ab183f29bbf7d35ba231b06fa532e7ce45a67c95c6bd72"
     },
     "machine.DapFrame.listJson": {
-      "merkle": "ecbae520b7e2c01e1fcfbc155170679077026535dbdf771b8aebd9a4c37f6b9c",
+      "merkle": "9cc7f099c16cedeefbe70138e48f8eb932d3e54493f91cae6036737ebb70bdca",
       "own": "bd9876ec8dcbecc3815cb29d2c6083f089571d5984359e9f5660d41e599407ce"
     },
     "machine.DapFrame.mk": {
@@ -731,15 +731,15 @@
       "own": "d8dd22c17a10a1b09fdfe5f13b0c4dabac0b552bd80a86529a5997644ccddfd5"
     },
     "machine.Machine.after": {
-      "merkle": "13d49bf76a309497141f72975fb74574cc9309416a5673400743533d78acdea7",
+      "merkle": "8eb394b17598cb2158dbf0537bd335ed94583373ec9e54d178f3ef05e3fe78fb",
       "own": "73593c0d0d0e425fe2a074c019ef55a2c97d0c3fc1d414ccc1851320d00e3f31"
     },
     "machine.Machine.debugRun": {
-      "merkle": "9a87dfa43dd18ec2b5d6e99ab45915a3c161ca72648d67285428f6a273f312cc",
+      "merkle": "43cae91d5ceba8e396a77a8908d9cd6555cfada700aa855317eb9aea3db9ed0b",
       "own": "556b5f4f4d98e40a48b3d2305f3007e4caf72c540a837609cee3da7d93d3e9a9"
     },
     "machine.Machine.debugRunCounted": {
-      "merkle": "ffb5431b361c1a7cc0f848440365931b1fd88dfe8baadba531d1ba529b5ce49f",
+      "merkle": "7b9658f331a76725e209f7a226a0354201e3d2567a7a8914dfdbab11a3e1f5f5",
       "own": "566952105bed311a8d65fc97376fec4f5bb414838dd8db63d33501f6fb9cba4a"
     },
     "machine.Machine.mk": {
@@ -747,7 +747,7 @@
       "own": "b8d455a48f5347f0056d4fec6c34b417d4073f695868a5f370b57031888970d7"
     },
     "machine.Machine.runTo": {
-      "merkle": "3ae9250c6e85a0e4d398790a8d33695a7ff678ed77e6e62c9a411e7ca8dec4d5",
+      "merkle": "097a9f7eb7fe970c23b2942fca982f8339ea9f165b3711ab352362d1198abe60",
       "own": "fc79f341652ac16ba57a9e2a4c6020d209a411201c3107f2437da78442c6848a"
     },
     "machine.RoundingDirection": {
@@ -791,8 +791,8 @@
       "own": "d90003d3e8e44e78da515d1320e283a4e1589a5b781d86f1db7f114072c86df3"
     },
     "machine.Stop.isBreakpoint": {
-      "merkle": "3214a00cf86bbb3fe8de2681d2a339eaa3051ee0bb72b1049ffd590f78a6a4f4",
-      "own": "7caed4780b1653bdcd3f16b7ddff60ea6750c70f346a00fd63129888c56b4c1c"
+      "merkle": "ac957f85a6c398c6c3e2cd7f2f890775ea42b00d9c16aa4378c70e6c69a4c7ee",
+      "own": "df047c5f0baffa9c6d2bf7fe56c352fa1bda8ecc3c2350ba81b43b6b2ee89229"
     },
     "machine.Stop.kind": {
       "merkle": "1adf64e57477aba592ac7f41d1c8e9487df169e4f5db151246544636381ba1f0",
@@ -811,7 +811,7 @@
       "own": "192c6ec8d627408221c3d98dd7c4b9e6e04b2a427f4e9b0c7af572b3e69ccd6a"
     },
     "machine.Stop.report": {
-      "merkle": "779c75b33561161797c9ba8701fe7988591e4dec4466d31c4045f475b7ef9e56",
+      "merkle": "99d63a84c69d7c1dd32c07e5c68033863b357f7955a7668117c9ba768c40f955",
       "own": "1c291701bad89c6d6402fde705ff8e37926d4ea96714020dca8521e8e254bac0"
     },
     "machine.Stop.resumeFrom": {
@@ -851,15 +851,15 @@
       "own": "a734e056fc8561e49741ee20674f228e5e642c5beefbbc85dc39a5263f3c00ba"
     },
     "machine.Visits.add": {
-      "merkle": "dcbb786127edd30f5d921a91fe7209881b63d8011f3c17a330e781f16b5dea88",
+      "merkle": "e105efa81606690bae5162843deebaec2b75c5c4c055750175d3cef540ab1afb",
       "own": "f9d921c20384c34c65f8553d2876d538a44e03faa302889834d33515b11c248e"
     },
     "machine.Visits.json": {
-      "merkle": "34ee673daacc94fe1cee4edef0a13829ef4e63328f543893889d9ae52fc571ff",
-      "own": "8d75eaa9c63dde85daecf69ead887baf08b9d5d2a894b6aa3b4a8345d8c2bc88"
+      "merkle": "5f6e26f38f1d4d763892b50f56a3adad88e9028efa74adb489a3b3e452c037a1",
+      "own": "f90cba1e4acd5a6843d7d473df5f1824334b4336de350ca2db62d93ddfe75c99"
     },
     "machine.Visits.merge": {
-      "merkle": "3b1becb238afcd48c613a14c3022620c50cfe2b0c348510d6f9b3a8c734323fc",
+      "merkle": "bed64e00b41a2912fbc4bc3925cc10796c28f9ec2b3cefcad647f38f3915def0",
       "own": "5fe1754ea39fe6733b983b23d13fefca7afcb67ac2a610823084a9c4fe6d622e"
     },
     "machine.Visits.none": {
@@ -868,10 +868,10 @@
     }
   },
   "format": 1,
-  "inputs": "4371a34abff1eb9ca6023b8076fff44dd3d569965f49e3e9b5db2c8b1ff179fc",
+  "inputs": "606d2c26a491f7b4242bfe369390f06945b96b6519e1ef715c282cbc5afc748b",
   "modules": {
     "machine": {
-      "bytes": 114884,
+      "bytes": 118678,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -887,7 +887,7 @@
       ]
     },
     "machine.bits": {
-      "bytes": 55625,
+      "bytes": 59873,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -901,14 +901,14 @@
       ]
     },
     "machine.console": {
-      "bytes": 34687,
+      "bytes": 39205,
       "deps": [
         "machine.checked",
         "machine.console"
       ]
     },
     "machine.dap": {
-      "bytes": 85318,
+      "bytes": 89476,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -922,7 +922,7 @@
       ]
     },
     "machine.debugger": {
-      "bytes": 97541,
+      "bytes": 102149,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -935,7 +935,7 @@
       ]
     },
     "machine.float": {
-      "bytes": 85418,
+      "bytes": 89756,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -944,7 +944,7 @@
       ]
     },
     "machine.float.decimal": {
-      "bytes": 84500,
+      "bytes": 89558,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -955,7 +955,7 @@
       ]
     },
     "machine.float.functions": {
-      "bytes": 98432,
+      "bytes": 103670,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -965,7 +965,7 @@
       ]
     },
     "machine.float.trigonometry": {
-      "bytes": 107728,
+      "bytes": 113236,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -981,7 +981,7 @@
       ]
     },
     "machine.statement": {
-      "bytes": 82238,
+      "bytes": 86936,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -995,7 +995,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "00073e54326a1353",
+      "checkerHash": "3369fc0950129d96",
       "modules": [
         "int",
         "nat",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/machine",
-  "version": "0.1.202611010836",
+  "version": "0.1.202611011136",
   "description": "The language-neutral execution layer for Cella Lang: IEEE 754 binary floating point with correctly rounded operations, fixed-width two's complement integers, standard streams as a state, computations that stop with a reason, a small-step machine for structured statements and a debugger driver for any language's machine - shared by the C family and Python, ready for the next language - compiled module pack.",
   "files": [
     "machine.bits.cell",
@@ -33,14 +33,14 @@
   "author": "SungYu Chang",
   "homepage": "https://cella-lang.org/",
   "peerDependencies": {
-    "cella-lang": "0.1.202611010836"
+    "cella-lang": "0.1.202611011136"
   },
   "cella": {
-    "checkerHash": "00073e54326a1353",
+    "checkerHash": "3369fc0950129d96",
     "cbfVersion": 30,
     "modules": [
       "machine"
     ],
-    "packHash": "eea511acf9aba49b"
+    "packHash": "f504b22bdbfbb8d0"
   }
 }