@cella-lang/cpp 0.1.202610161252 → 0.1.202610170150

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 28,
-  "checkerHash": "9fe61f3d4e055bb0",
+  "checkerHash": "c4906b8b3ed851ae",
   "defs": {
     "__RecordTag_cpp.Debugger": {
       "merkle": "55f6ac3cf1e70fb9fd27afe1e4a7cf6fb7fda1a0ede9c98d9070ac8da844ab1c",
@@ -1530,6 +1530,10 @@
       "merkle": "5ae4920cc98de723831461b9ad7d63f19aecc3b9ebc5f830e085d35b4b401424",
       "own": "6240981b5b52a23e9d61bfbcab48ca5bae3a626926e47a6f32f733348f5cb7f9"
     },
+    "cpp.callSites": {
+      "merkle": "6db889f9365fe4386d113e8d061bc6031e1cea262ff3f5cd7eb48d46af7b3b1a",
+      "own": "c5621c15a4ea0aaad6619a2d39da677745e78eba867b91ab542dbedfbad3cc76"
+    },
     "cpp.callU": {
       "merkle": "0c537674b8047878dfb4f0d7807fc35048a7b4b8af7eacc16aece6c01a87296d",
       "own": "7bcc35a614afc5cb65d3bfe90843cd05e0afedd8780f91f6b95b38ba70cc5d67"
@@ -1815,8 +1819,8 @@
       "own": "e83225e727e6126ee6356da18df684ae9ea18222b343db46de5c4766bc24302c"
     },
     "cpp.continueRun": {
-      "merkle": "3794e733728653caa70bdddb7ac3180552224ff7660a6735e81e56300de50f0c",
-      "own": "e55fe05953817daee9655eb9f9482794c72b85b6e703a94c54664842eb369d26"
+      "merkle": "096fefa271bcee2b1132f478f90147b3b9f007444d1f463b418a01ecd4715cb7",
+      "own": "aa69495c30ccbdabaeb15aa50d0046c3fbb1192c53befd6969dd063e7d9b0618"
     },
     "cpp.continueS": {
       "merkle": "863ae86eabbb94bb0f88026309f59fe19643f598f2b9bf0256fe7da1c9516fd0",
@@ -1955,15 +1959,15 @@
       "own": "92384f1788a3d86760898600d3473e64ca9248a75b7a8baac177b59cd860adfc"
     },
     "cpp.dbgInit": {
-      "merkle": "4a34f046c2a8eff033b2bbb754fe9676ce0ef0c4291c1cd68519e0dfbb7cdd1e",
-      "own": "393dcda24d84caf96d9b22fdf9d7b563f7b8627c77ac0d8241a45e93ac969b85"
+      "merkle": "949eee37371006bb93f4d4ce8a9a4c10b33e03bb1def6e1f60a84d4b7648367b",
+      "own": "715a68c46e22ed98820c62773c2683905cd994de74b490f3cafda84085bfa4b6"
     },
     "cpp.dbgReport": {
-      "merkle": "15567284ec7a8155e87de3b837163645c7386a8008c0c66859c93d3dd771ce00",
+      "merkle": "9745643b42d70fca4062b0299b103cda9a0601620df7a2b9a0b5ba9807a8f85a",
       "own": "f0f8bf46d5035554c3b01dff5e93d569e05c6eb585b3dc606f0781d9dfbb811f"
     },
     "cpp.dbgRun": {
-      "merkle": "93cef6e4be4a6677f04fb36e0969f91c74e65a6b4f9e406de6fba66689b98082",
+      "merkle": "550c80a1dc2e9c3bff1449da318466f4799548ddb783477e7daf253bb6ce20b0",
       "own": "79d93aac0416189d7b9d01b5c795a673be0a9d4ddfc0f48349017b3f54edb22c"
     },
     "cpp.dbgSetVar": {
@@ -4606,6 +4610,10 @@
       "merkle": "de13d1d9179f9979b224210a7ee002d9ffb40eb7c6517dab20bdbcd381f03706",
       "own": "49e47fee1ac90f116af77d7a3f392246ef53bf9b3543cf9b81fc6d9dd78137f4"
     },
+    "cpp.isForced": {
+      "merkle": "a7f8615dc6ce3de162fe0aa4468f27b80e8d1086983c1d8d3fa14db6de1606c3",
+      "own": "5b8ae08d53b45128fc2f2c90f013d1e539ac32856ab732bb60b9b4143577a77d"
+    },
     "cpp.isJustB": {
       "merkle": "f06ac81b33fa1ebd0d4634bb666572d40e05d1c3ff86b6aca124b300bfb2f3b9",
       "own": "46663f75ca37c7da5092028bc0db3134fe7e7c6fdf1b3af04699e743dc7eb7d5"
@@ -6503,8 +6511,8 @@
       "own": "8fd27c744335e0cdbbb271ede9a6b5cce2ff17d4338d1b7966580732845f4274"
     },
     "cpp.runTo": {
-      "merkle": "25085820ef88427c9dff88f23e7cbf87e50551ef28a2ff471fc65174e3c64643",
-      "own": "8de0eef50bb7474097e0d418f5f306789cb23589e183dc0f369eec860029cc3d"
+      "merkle": "70b00d5a521c6a6595c407eef6ab5affc5eb0ea5a518424bb23db2baa7106ba3",
+      "own": "92cebcdc451b9e284d7d37ad127c03aad3dcc8ff440672318959dd743e48e930"
     },
     "cpp.sAssign": {
       "merkle": "f2cba344df39f6a6fd9908b788f3c63f1ef664e08a88e3164fdba98f38e672b7",
@@ -6586,6 +6594,18 @@
       "merkle": "3f35975136e6f53090e6920d6152417204f323d122a63a213fd680f3313e68ad",
       "own": "def277c298f3a68cfeb61daaa9b954fe0a5f2870c670b3c242cf31b24e0374f0"
     },
+    "cpp.seenAt": {
+      "merkle": "77f72464007a5ac9c3cd53c10a3b5c184d379a5746e693824ab083b726c03126",
+      "own": "5c8a11d3e8ae5606da3174596cb316bbaa68fd38d491c97234dd3475243b4ca3"
+    },
+    "cpp.seenSet": {
+      "merkle": "97806e6d2de6d1c75aab1c494da64b749b8de445221058bcdc20ac8805ad7d14",
+      "own": "509c219fbe21b8310d80c43a388f7f34f0b9c8d75c73aa4fa9d47798e92accc8"
+    },
+    "cpp.seenStart": {
+      "merkle": "c60c04aeb1718254c8debe9feb3a40b372e327bd57fb2973efbb0b2a4ad5df01",
+      "own": "fcbe202d8038ca5f3cdead31f34e14b4738594c644707747841913f75311eab8"
+    },
     "cpp.seq": {
       "merkle": "c389ab1184b9982ef99bf8953be220507a45fc8f9206b9ef1b0c894ca136a38c",
       "own": "ca8b73c71e19a8a6ff671f893d852c7975031bcce940d384f58601288b52cb74"
@@ -6979,20 +6999,20 @@
       "own": "4ec92ecf6eda4f3e840ed9334fffa0fdb7eba986434820bea2af55fdd0f5eceb"
     },
     "cpp.stepIn": {
-      "merkle": "e7d77c678f1dffa3400bbd92628a28cf2265cc871c76c1a350e247b14bdee25d",
-      "own": "25b61493065b1b859d00e8026ac700a36f1310b6bea64a7a7bc8f1f397e5d65b"
+      "merkle": "19306562261c97aa80ba3955bc8236ce91d2fabe9f896725eef38e368b4c333b",
+      "own": "4226a94125cc4fcc4a1665a8319141f1544b810f30b24121f06adf6dc0505f96"
     },
     "cpp.stepLF": {
       "merkle": "be85743b60c35f90547bd25980b7452ac1b82447ffd7a2ea2520ed2cf700c6e7",
       "own": "2e2049fe3c7ba226ba139df857459e5df1142fa4d4c9262af927a996f9d837b2"
     },
     "cpp.stepOut": {
-      "merkle": "03fb8f253b35dec06e9e652433e180777dfd0c38ee47ce3c2f289c6886f2df30",
-      "own": "dd2cb5909b870342c7300c0fcce0b6b33e56679b100a9d6401887612a1d2f0bf"
+      "merkle": "6a717d104bc32630e7f915945fff7f476e90d66bf78963472c42e5718cfd651d",
+      "own": "2f03a15e6fc01a91b85d2109874774ba29db31162b1d9e7873eed77fafb4e9e7"
     },
     "cpp.stepOver": {
-      "merkle": "ae70f4c6fdc375aad5d7435973c976f55cd84a16b0cdcccf6f9f64ae170fe447",
-      "own": "670ced2b45bbc8fc88eba5ba1e7154c4d34d6de9fd7583ee132ba7a8bcca9984"
+      "merkle": "76ed59fa6fd5fc9fc6badada3dbab09a51a7b2f8909ae5769371a12940d25bcc",
+      "own": "d31b2e1db51689519210609a8c58b44b8771919d1cde078ec34161636ee78e6d"
     },
     "cpp.stepPreserves": {
       "merkle": "e6b1cd84ecae4296f7a5d6e58683ee45c0f51e36db0d98836963752c74829f64",
@@ -7974,6 +7994,10 @@
       "merkle": "001afe9ffabe7e03e0a561fca0ce2f48d7526e9145ba81f6dd10c35bcf0b92ae",
       "own": "6cd6e5deeb4e84336ee788dd2189ac949621ac8a282796dda67468f30fc1aa96"
     },
+    "cpp.unforced": {
+      "merkle": "a7643a281d0942db38d1e0fe5c241bc796039f995ffe296cc1bd9c99e059638c",
+      "own": "75d69b2c8a915dc72a6cb9e2f4a96285dab41a7e18475f162283fbdd557a3354"
+    },
     "cpp.uninit": {
       "merkle": "079b2e5700bd7ca7a38707fd0f59a5c5daf316cf937d7bce1ae1169554d5cc5d",
       "own": "7b831c66659b5512e820bfb36a46016430ccef750a2822351c1026d15f642e17"
@@ -8274,7 +8298,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2058822,
+      "bytes": 2065934,
       "deps": [
         "cpp"
       ]
@@ -8282,7 +8306,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "9fe61f3d4e055bb0",
+      "checkerHash": "c4906b8b3ed851ae",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610161252",
+  "version": "0.1.202610170150",
   "description": "A formally verified C++ subset for the Cella proof checker: integer types with C++ promotions and conversions (LP64 / AVR), control flow with small-step semantics, iostream, arrays, vector, sort, and standard containers — compiled module pack.",
   "files": [
     "cpp.cell",
@@ -20,14 +20,14 @@
   "license": "Apache-2.0",
   "author": "SungYu Chang",
   "peerDependencies": {
-    "cella-lang": "0.1.202610161252"
+    "cella-lang": "0.1.202610170149"
   },
   "cella": {
-    "checkerHash": "9fe61f3d4e055bb0",
+    "checkerHash": "c4906b8b3ed851ae",
     "cbfVersion": 28,
     "modules": [
       "cpp"
     ],
-    "packHash": "442352d334508a77"
+    "packHash": "3b9d8bd383cc8336"
   }
 }