@cella-lang/machine 0.1.202610310706 → 0.1.202610312349

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 30,
-  "checkerHash": "c23d5c2e1f29ce9f",
+  "checkerHash": "586b0f744f1cee8a",
   "defs": {
     "__RecordTag_machine.Console": {
       "merkle": "292f1281898e661a1a01a866afb20b04d9aa93a28a704d48e46abee77eb5903a",
@@ -71,7 +71,7 @@
       "own": "80baa1d4b38f267fc7f3d2fa0674c0c58db8ad3aaf3b82f9ae788fe6ecb57a46"
     },
     "machine.Bits.wrapSignedInRange": {
-      "merkle": "0c730497a70ec300ba9d5d9e50fcca697a7f2d3dd79a83ffa4adee5e5cfe2c0b",
+      "merkle": "bb20a885cfd51b64dd1d53ea12f997894f8b71f8d7701e8fd0177931b6b05ccd",
       "own": "599de1a087d2adbe6e204192f40210365e11376fd4230eff7590cbe7e4fe180a"
     },
     "machine.Bits.wrapUnsigned": {
@@ -611,20 +611,24 @@
       "own": "d8dd22c17a10a1b09fdfe5f13b0c4dabac0b552bd80a86529a5997644ccddfd5"
     },
     "machine.Machine.after": {
-      "merkle": "0521e3967915e0162318b15f0d22408b003901daf6f631df4bc9fcd1bf682ef2",
-      "own": "690598115b58e223f458879ad11e3c6e2896cbc93852c0cec09b3c63ebdc1f7a"
+      "merkle": "13d49bf76a309497141f72975fb74574cc9309416a5673400743533d78acdea7",
+      "own": "73593c0d0d0e425fe2a074c019ef55a2c97d0c3fc1d414ccc1851320d00e3f31"
     },
     "machine.Machine.debugRun": {
-      "merkle": "a8ae61497b399408a46662a2b56400b848393068e6efad997bf451313cfa83d4",
-      "own": "fb0d5b1b58ce02604c199ff0dbeae1b0305fc8a824ffe8648580190c0d1469ed"
+      "merkle": "9a87dfa43dd18ec2b5d6e99ab45915a3c161ca72648d67285428f6a273f312cc",
+      "own": "556b5f4f4d98e40a48b3d2305f3007e4caf72c540a837609cee3da7d93d3e9a9"
+    },
+    "machine.Machine.debugRunCounted": {
+      "merkle": "ffb5431b361c1a7cc0f848440365931b1fd88dfe8baadba531d1ba529b5ce49f",
+      "own": "566952105bed311a8d65fc97376fec4f5bb414838dd8db63d33501f6fb9cba4a"
     },
     "machine.Machine.mk": {
       "merkle": "f5329a1f6a53b165994cf54ac84f830a4830e1453deae1804ee70afd5ebba6c0",
       "own": "b8d455a48f5347f0056d4fec6c34b417d4073f695868a5f370b57031888970d7"
     },
     "machine.Machine.runTo": {
-      "merkle": "ebdf2b0ad475b171089263e948b4322ccfae4049d44398737a3ed6a12bebe328",
-      "own": "346f5bfdcdc328ed61302570a419479eed341bf3bb5c75e47143cab7c51f46ba"
+      "merkle": "3ae9250c6e85a0e4d398790a8d33695a7ff678ed77e6e62c9a411e7ca8dec4d5",
+      "own": "fc79f341652ac16ba57a9e2a4c6020d209a411201c3107f2437da78442c6848a"
     },
     "machine.RoundingDirection": {
       "merkle": "e3582ca976a53a5cf21903abf937d625c27b1a9a842202194246955df1cf016b",
@@ -713,13 +717,33 @@
     "machine.SwitchLabel.start": {
       "merkle": "e1a43c3b6570385091e1844a9254e34adfe79a8464312095bba81debb3489689",
       "own": "ae5d1253e124a265a00a220b93c47684b72f6ab8ccaebcc08d21b850cd7e8b96"
+    },
+    "machine.Visits": {
+      "merkle": "0f77e22716f8b6bb97b053ab7773c4996db6c34b6065213431daaae90bbe75e2",
+      "own": "a734e056fc8561e49741ee20674f228e5e642c5beefbbc85dc39a5263f3c00ba"
+    },
+    "machine.Visits.add": {
+      "merkle": "dcbb786127edd30f5d921a91fe7209881b63d8011f3c17a330e781f16b5dea88",
+      "own": "f9d921c20384c34c65f8553d2876d538a44e03faa302889834d33515b11c248e"
+    },
+    "machine.Visits.json": {
+      "merkle": "34ee673daacc94fe1cee4edef0a13829ef4e63328f543893889d9ae52fc571ff",
+      "own": "8d75eaa9c63dde85daecf69ead887baf08b9d5d2a894b6aa3b4a8345d8c2bc88"
+    },
+    "machine.Visits.merge": {
+      "merkle": "3b1becb238afcd48c613a14c3022620c50cfe2b0c348510d6f9b3a8c734323fc",
+      "own": "5fe1754ea39fe6733b983b23d13fefca7afcb67ac2a610823084a9c4fe6d622e"
+    },
+    "machine.Visits.none": {
+      "merkle": "5a46b714fa431559b628171413631d76ae393797c4684c1baeb539374cf52455",
+      "own": "c13bf775b5cc164ee5bb6a04b6363cb920c70f0c86262536ae130788e93afb16"
     }
   },
   "format": 1,
-  "inputs": "b6c594b5e4bf5c0208ca125b0f952562a193545ba1fb16647c6a044a6959286d",
+  "inputs": "45f1776268a99cc35fc9c567d835acd0ee6da7d5682514eb04299ee47a31bfe8",
   "modules": {
     "machine": {
-      "bytes": 107656,
+      "bytes": 115852,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -734,7 +758,7 @@
       ]
     },
     "machine.bits": {
-      "bytes": 56926,
+      "bytes": 57140,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -755,7 +779,7 @@
       ]
     },
     "machine.dap": {
-      "bytes": 78133,
+      "bytes": 86811,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -769,7 +793,7 @@
       ]
     },
     "machine.debugger": {
-      "bytes": 70914,
+      "bytes": 99144,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -782,7 +806,7 @@
       ]
     },
     "machine.float": {
-      "bytes": 86303,
+      "bytes": 86522,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -791,7 +815,7 @@
       ]
     },
     "machine.float.decimal": {
-      "bytes": 85954,
+      "bytes": 86213,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -802,7 +826,7 @@
       ]
     },
     "machine.float.functions": {
-      "bytes": 99920,
+      "bytes": 100189,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -812,7 +836,7 @@
       ]
     },
     "machine.statement": {
-      "bytes": 83624,
+      "bytes": 83863,
       "deps": [
         "machine.checked",
         "machine.console",
@@ -826,11 +850,13 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "c23d5c2e1f29ce9f",
+      "checkerHash": "586b0f744f1cee8a",
       "modules": [
         "int",
         "nat",
         "list",
+        "ord",
+        "map",
         "json"
       ]
     },

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/machine",
-  "version": "0.1.202610310706",
+  "version": "0.1.202610312349",
   "description": "The language-neutral execution layer for the Cella proof checker: 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",
@@ -31,14 +31,14 @@
   "author": "SungYu Chang",
   "homepage": "https://cella-lang.org/",
   "peerDependencies": {
-    "cella-lang": "0.1.202610310706"
+    "cella-lang": "0.1.202610312349"
   },
   "cella": {
-    "checkerHash": "c23d5c2e1f29ce9f",
+    "checkerHash": "586b0f744f1cee8a",
     "cbfVersion": 30,
     "modules": [
       "machine"
     ],
-    "packHash": "a13fe41aaf52b04f"
+    "packHash": "31252f8d61d373a7"
   }
 }