@cella-lang/cpp 0.1.202610110249 → 0.1.202610110300

package/CHANGES.md

@@ -5,6 +5,14 @@
 
 ## 未發佈
 
+### `<cstring>` 的其餘
+
+- `strrchrC`（`byteIdxLast`）、`strstrC`（`bytesPrefixB`、`subIdx`）、`strncatC`、`cellsAt`、`writeCells`、`memsetC`、`memcpyOkB`、`memcpyC`、`memmoveOkB`、`memmoveC`、`allJustB`、`memcmpOkB`、`cellBytes`、`memcmpC`。
+
+### 非格式化的輸入
+
+- `iosGood`、`iosFail`、`cinWs`、`cinGetC`、`GetR`（`getR`、`getRSt`、`getRC`）、`cinGetI`、`cinPeek`、`cinIgnore`（`ignoreGo`）、`cinVNoSkip`。
+
 ### set／map 的 erase 只讓被刪的失效（**不相容**）
 
 - `GSet`、`GMap`、`SetV`、`MapV` 的建構子多一個欄位：刪除紀錄 `log`（`gset lt xs ver log`、`gmap lt xs ver log`、`setV xs ver log`、`mapV xs ver log`）；新的 `gsetLog`、`gmapLog`、`setLog`、`mapLog`、`notErased`、`notErasedV`。

package/index.json

@@ -278,6 +278,10 @@
       "merkle": "7e90fd698fb8466573c0f3c491f7a7824d53d289b3d8f6dd846b959eff226145",
       "own": "cc4fc1fd0b1a905bca209858cd847ef6fc690886af48ec4c8dfab4f692899e09"
     },
+    "cpp.cpp.GetR": {
+      "merkle": "1a1447b903fec43c14b5664c8c5f645c8968a25626f5fe7076ab8e9780519b8c",
+      "own": "ad67a05e2618c1eff61e9e4fc2c94365ff61c1e80a4c830c76b7b5b1f65de7c3"
+    },
     "cpp.cpp.HypFn": {
       "merkle": "7462de806d21637e219d6f5ef4f077aac4a34f942a2a42e48753d37f77c38891",
       "own": "48d00acc74a7a299381e8fe2d57475ec9ae90585c4971c00edd63a9958eb7097"
@@ -738,6 +742,10 @@
       "merkle": "d53592ff7ac870f4ab42102ec850498de9d85eaec5d151d262fc24a8ccf768a9",
       "own": "6fd2cd210a8a31805a4937c418a646747aef2c65f58b170cc9ab220d0b982371"
     },
+    "cpp.cpp.allJustB": {
+      "merkle": "f8a6705d4e64c4932b220f8b3da4ee68862a81e6258fb85230a074dc0d98ffab",
+      "own": "6b7a008ad383352bd2582eb0dd07ff1a526c047747d90890da405445d729468c"
+    },
     "cpp.cpp.allL2": {
       "merkle": "8bc2c15e4a640d133ea721dc65c8bbfb3cf2b85ba2ac83c32788ec7899b5740e",
       "own": "bc83b1257b7d725a8c55ec56b29737be6da543daf0287c19de31ff2d0899395c"
@@ -1054,6 +1062,10 @@
       "merkle": "327ed36ce701faf2f8bfba0943833bfc2da46495a6ec50fe46c221b23b6637dd",
       "own": "c83beaf4adf82f396c7ad574bb2babb88b354ffeeab9505d40e336793b772b4a"
     },
+    "cpp.cpp.byteIdxLast": {
+      "merkle": "f5124e7f61f0b291641d95a52cc8c58de66c576305add3bfaa542be82bc372cc",
+      "own": "ead06585578a68e5124472943c9683e505ac6529b93ac68b8bf8097fb3a7cbf6"
+    },
     "cpp.cpp.byteLoad": {
       "merkle": "ce09f2aa78f217969a853c96ec8b596f415c0c8d37824f1cd788a9aa2c58b52c",
       "own": "d7782ed0921fd766e2f06106b8e2398294e2b80936edb2dc3c6d73a86b3c16c4"
@@ -1094,6 +1106,10 @@
       "merkle": "0b1340fb67c7cb30abc4396d0fb7375cc5ef549a2a3570f6249e51938b31c266",
       "own": "789a4dbec0c9455bea9682b15bdd87285b7d91c460146b836edecd08b3d1bde5"
     },
+    "cpp.cpp.bytesPrefixB": {
+      "merkle": "e65328aa3eea416a464d9b8c00cb84a1f84710f16fe0a06f4593b5810e24a585",
+      "own": "8e3baa2ca30a27d0efa42e7163099b1a0d6837d36402a1f4eb52a8a3514b0f01"
+    },
     "cpp.cpp.bytesToPtr": {
       "merkle": "d0beff5187c563f370379b499f74d828b4be2c62dd197c68d18923fddb903f90",
       "own": "b1e78e247ea713d6d237e6bf1fddf9d24f5f6bd373b6d92c0466df4ab3f2e504"
@@ -1174,6 +1190,14 @@
       "merkle": "bd892c34fde54ef0dce27d069eebe1a4894925d7fd67ca2c4008a8e7f31f64ba",
       "own": "1340232d7333f09348ed8115519d3c571ab369de1d1f9384d4ee904a99fccffd"
     },
+    "cpp.cpp.cellBytes": {
+      "merkle": "41df6dc67fbc7a30bc968c0ef54ef407fe53e493b53e8be55bd5a2d9fc656ad1",
+      "own": "fc3fa26763355aa0828b53530c8d09326e4dd445dd97c88c1db3230ae7bb21b3"
+    },
+    "cpp.cpp.cellsAt": {
+      "merkle": "40870e924d4046b9be35949cf812031977e91651d38655961102d2c91a6ae1fd",
+      "own": "d3946613f77a05fe68bed50e44cac02c00a9e88f310ba2e108397fa836b3e485"
+    },
     "cpp.cpp.cerrF": {
       "merkle": "fe6ea0da3f8bd059bf41042661ed4dd3d0a1f4b64d9b48787fdc58859a7e7302",
       "own": "54f2b961c4b09bb65f8402731d9ba7d4c22bd50f4beca8791e4a829449807b64"
@@ -1210,6 +1234,14 @@
       "merkle": "cd8278b7f72dfcc3df75d65f733d4a35f34e9bd9d494629656eac39dba766da7",
       "own": "c5f0f1d047d223a6a99ac9130e863ca99f717212929e549bc3f096d46ca2af25"
     },
+    "cpp.cpp.cinGetC": {
+      "merkle": "55543571256e1fd7e9700e6cd65b004cbbab1086ec3fe39cc8d8831ab10c44f9",
+      "own": "0bbb2ece7bc7ebcd43283f591f000bcaeadb7ffe1c160a00ceac4a431cf87621"
+    },
+    "cpp.cpp.cinGetI": {
+      "merkle": "963d98f9a82d0e21effe951590b73f6fa6a5d3935a12c0b97f4e7f25bae03672",
+      "own": "93e4301979e0de9915acee54b8f775e33c5ac86604bbb71ccdb84e7df5dea2af"
+    },
     "cpp.cpp.cinGo": {
       "merkle": "1c894572abe62277f9b2c08987cf2356233e29d2c652e34c89550be26edf057d",
       "own": "a4c2e9a0be18c4714e49e676478e9145814c11073fa13936008c5efe638d289e"
@@ -1218,10 +1250,18 @@
       "merkle": "c2d04956d30cde5d5af11b1b0c71dfe9d108d99e0a1f060bf5a275dded4c25a2",
       "own": "7ee6733ad1ed5a91bf6c83f9b71391b8e1a5644c6fa60aa08df4f67750e859d1"
     },
+    "cpp.cpp.cinIgnore": {
+      "merkle": "89b56f044e00d1175ac024f0e1c37ebcb7f96037ed40dba1fcfa41849f3d5fd7",
+      "own": "7641066e415499a0352a7194898acb50bcf7bc504a974988fdb358662c762eeb"
+    },
     "cpp.cpp.cinOk": {
       "merkle": "f1a39aaf5f025ecdb201aaec8995d2bddb69e1d704ccad216d5de2330b8d26d3",
       "own": "5d7524a15eb939a1bfc5ea294c8a11e9fc909c28c2de50fe567f6c0479b91b41"
     },
+    "cpp.cpp.cinPeek": {
+      "merkle": "00080ef791d1d5d237bf6e419805e38bd16df291601d98dd8b40a1f4c159474e",
+      "own": "c2e0d025dd424a417f44b70ca0e38e70386af34493815e3cc8703a74d6e7340f"
+    },
     "cpp.cpp.cinStr": {
       "merkle": "c6fec1824c857ed343b78c1bc871150167f5a8ca964fb8e831f347739ad8ad07",
       "own": "f54715d34c9d4483810fe7d0d2a31fe689d594deb904a0d079725f7adacf1a87"
@@ -1238,6 +1278,14 @@
       "merkle": "801b5bacd766216c2a6069fbfaf8112052abfc388bd1ca050ae298b9a8afa9cc",
       "own": "0bea6c0a49c65670f9df9eb55f93fe1c9c4165ffcd1a8998859b4d872632aca3"
     },
+    "cpp.cpp.cinVNoSkip": {
+      "merkle": "c357306b112f5a6f6e2193e8c18db7f36b3b3a1af3aa5703bfb045cc91ded81b",
+      "own": "359d658c30954cc107554edb9ef548a02c02798a27fe066f5da47c81302a0d3c"
+    },
+    "cpp.cpp.cinWs": {
+      "merkle": "e8fe4943098c89b7f98152d240bb02218113fa71bd1edc0470e3ae5987002d55",
+      "own": "8e8521dc4a849f7a24024d6e7a0ccf53069075acf5d894a511d1dd3b72597c05"
+    },
     "cpp.cpp.clearA": {
       "merkle": "58414de3b56888205dae1b9b3dede2e8f1357216e0035eaea6cf066e2460f7ab",
       "own": "2ee8bb1ceeda887e8e4d0ecca64421da56ee6f18ebec06f840f751aed802ed99"
@@ -2818,6 +2866,14 @@
       "merkle": "d69fddcb88b8885a8f69518119d54c6d6cf78f6ad2da24c0fdcacaadc9cbe261",
       "own": "af0a5713199d3f12ea809b0212f3fc768bc10c5797492f13803fdf6b6d65657c"
     },
+    "cpp.cpp.getRC": {
+      "merkle": "f5340c39ea84cbdc1d041736398e118c9bded758ce1c4e7d49aceeacd1ab667d",
+      "own": "b55c5107ac3115b98aadc1da1c9ce79187663cfc8f3453348d56a4447054fa40"
+    },
+    "cpp.cpp.getRSt": {
+      "merkle": "129df6b21be026ad5f721f083136eef9c591be8b7ec24c508e4560ed4c1e2834",
+      "own": "cee3c2326b04e9063aaffb779cae9c79da4f07feb4f816a637e5bd751b3045e8"
+    },
     "cpp.cpp.getline": {
       "merkle": "fdf5f9a9a310e9221d9f296e9a1389e53b7cf27cda114e8aab46160432e6d3c3",
       "own": "df93fd5af2967bc06b80433a4354ed0eb6a272bfcee2d20434a6782f881bb9ff"
@@ -3438,6 +3494,10 @@
       "merkle": "460c0dce801529e0e455929ea4e05bbaec7309f34b315b504eb2071fe1baf222",
       "own": "c8347f4b9922e1fe1be5af71b89443e5dce2f4ff2f1f0fcfbb74534368a62fe9"
     },
+    "cpp.cpp.ignoreGo": {
+      "merkle": "549413f785c2e6c70a26fd085e34adde4ffb2327d24295fc4e775783803875ed",
+      "own": "70b1308cee66cb28963cc48831c2a7fff603ff47a3f92f032068490f05b94f46"
+    },
     "cpp.cpp.ilogbOkB": {
       "merkle": "afaa3e88d4d29fc1b8747c3dbf72214e918133afae49fa070bd003a1aae7f423",
       "own": "8a6e8dfe28b681e9a355cd96c3ad6978a01f1e191212ca7ee0045e42304dda52"
@@ -3542,6 +3602,14 @@
       "merkle": "7aa9e18ea431d7aae7925766ba602a4316eade5150c9d20c455cb490311bcf83",
       "own": "a500434c0645fb93c1c211fd2310f0ed5adbdeeb8ded2d27cccbbcd5e6d3861a"
     },
+    "cpp.cpp.iosFail": {
+      "merkle": "7ce2aa4700d7bb304c4ef5d596385dc3f043603beb9c234ac1a7191c9bf8e13e",
+      "own": "c5fdf87b5fca9ea1cae759fdf32dbdec6a9b8fd3d7e89f892811892bbe345af4"
+    },
+    "cpp.cpp.iosGood": {
+      "merkle": "84c4f55a271a0e214aad27d271a6b4bd09354cd148b2a655a44aff17f1702afa",
+      "own": "9b6dfeed1bb8f7fa95654b39286cebe3e80e10a3a42470f58a8c16271cfd6823"
+    },
     "cpp.cpp.iotaOkB": {
       "merkle": "50664177277215e1fb205ba45bd491e36802207e6db2e3582d64f9b6d87bc124",
       "own": "8591ec44b481824301b574d47b0bc42eede2d588a62878994cd71e727b160e12"
@@ -4198,6 +4266,34 @@
       "merkle": "119e0561b0e30c5c005a13b233bb1d89964a0dac57816976fd349b42eac3c39b",
       "own": "4e71449e969ba525fba4fc76548e89c536ead620d77f488dd6b0e09601923f58"
     },
+    "cpp.cpp.memcmpC": {
+      "merkle": "f0f47bc143eeec7d2cb8fb00ac3324c74846bb5e4d2deda060e53ce57baf008b",
+      "own": "cfdb064d3b28ec1a4fd7a91b498192ff501b000ec89b5bffe6fefe1b400ef052"
+    },
+    "cpp.cpp.memcmpOkB": {
+      "merkle": "cd62ec4c2cd6f6eb0ee87a79f4a5df3231543eeed7f1fd2f47013a69a5979f56",
+      "own": "4204874628beef0f7e16499d5b781e20e73eef84d75004651d9ae0e2a002aad8"
+    },
+    "cpp.cpp.memcpyC": {
+      "merkle": "d2eed30b24ef81834a685d60f1b045e362072850dbb42644a4c1f9d49d7e5526",
+      "own": "c740440a1f7e04b99a704696017e5e255992ff64e9e6e2a1834b89993f108f3b"
+    },
+    "cpp.cpp.memcpyOkB": {
+      "merkle": "ef31881d04c8ede12f1065802756f8318fb2765fa9eaf8c2a7677eb165a4ce57",
+      "own": "0e41ccc6df8456a5954c2885046ea65b4fd191ea59d4a8ec7978bd66bf49aa3b"
+    },
+    "cpp.cpp.memmoveC": {
+      "merkle": "e66620ad61f4ce3c548893627e0c51a496707707667333291cb431bf3fae5b95",
+      "own": "c1c7cd6ebf9835caee38856cc7a5ae033a54001e02ea2e72695a0a81a534bcde"
+    },
+    "cpp.cpp.memmoveOkB": {
+      "merkle": "8c93b351fb0143046eac33e9b6a37248feda66225195c48209af60b640369394",
+      "own": "9a3d6555b6f1d56b69baf3e87f713bf267b53ca68fb087cd7a433c6ff658579f"
+    },
+    "cpp.cpp.memsetC": {
+      "merkle": "0bb7f015b84d127a3bd3fbdae446bc829ac9936a273c2a9ea5a8d386f20b1f6e",
+      "own": "ea78ecdfd43639262036a66411a4bc45774570f2ba7459ee7ba94a2ecc0efef8"
+    },
     "cpp.cpp.miIt": {
       "merkle": "cccde83bb699cd6f9dee689dcacf2b334886df016e65fd98ac9777ff7533c85f",
       "own": "737b39abf9cfe4faa6e8ac1c6992c493ce8c9083fd862fe29267bc8e0d61ed0d"
@@ -5810,6 +5906,10 @@
       "merkle": "69cb76690602dd3c6f7b2d02d70170f2a09434865d0e4a3767cb54094fe125be",
       "own": "994f9370ea43850dcf4462465d7e3a30d63266edb39a0ec5bf1c258c47bcd3f1"
     },
+    "cpp.cpp.strncatC": {
+      "merkle": "8eb954e848551b297788ad94e7f92461eb0f116a64e7f3b4ddadcf5cf726930c",
+      "own": "32c57a1376e891fac946083924ae8df6c2e482af374217f5fa0384626d629db8"
+    },
     "cpp.cpp.strncmpC": {
       "merkle": "ee8b149cdfa194a79e22f3dcc4f0b82fdd86c01720a47ac61d7dcf788accf750",
       "own": "12d22ac36d46f0beb939c8e34f2688ac6d5de20c2a2e6ed1f2ce6ad517f4d819"
@@ -5818,6 +5918,14 @@
       "merkle": "0caf39355630fecbbde9e662abcd27d336172ced34bbe20b013fbc357f922734",
       "own": "14031d0379377c7f0ea3df6c321874fe538a3326870f5cceefbbcfbd66ad6d06"
     },
+    "cpp.cpp.strrchrC": {
+      "merkle": "a4f12b6f466b7d2b64813d5ea642bbbd015b57c2a2d9907f05cd69442774f493",
+      "own": "2eae06b7b42f0d1afeb20ba9ebe264c290ce8ca9727bc010a0d814596ea4b66e"
+    },
+    "cpp.cpp.strstrC": {
+      "merkle": "c90f157790d1ba9bff4f3e0f128cfa9fd95279f4efe127296c7d71d3dbf186f9",
+      "own": "6e70beb07e3b3ac5256a915ededfddc0ed009ff0ba867bd6912d6da1b8ec2321"
+    },
     "cpp.cpp.strtodNum": {
       "merkle": "9c050beaf6b649f62e42a283091b369b8a1337aa292dcf83ca01c89835dd7bb9",
       "own": "f1eb17c24b51cb94eefaa65def1bbc3bd86890ee5be92b73baa1de99adec11cb"
@@ -5838,6 +5946,10 @@
       "merkle": "95d9d72d451574b0a155af371f8095b8f1c506c942a04ad107668657784ba29a",
       "own": "bb36fac4c90a13577e00c5fda20e0863e49c4692f3f6e98003ae878beb8f5fba"
     },
+    "cpp.cpp.subIdx": {
+      "merkle": "d16814fda5a7ba90abd164af0516a8f97c16c102cb8411a0d36845bead64435c",
+      "own": "d6fb695d73715460a319dd0bb0fe0025457a15c98f7b661bef76ba7ce3bf5bd6"
+    },
     "cpp.cpp.subV": {
       "merkle": "73e2c9139ffb9bacafa8936eacd90a1841499900148f15acc95875940ba8f01a",
       "own": "c9a2e799e87befbc604d32d75736b4bed85494d4ccd9d17dc0eb857cf2d6cd21"
@@ -6382,6 +6494,10 @@
       "merkle": "0e440fe107c00131a6f2be17e3444e01c0ffd4e3ddddf26fcb8c0fcc41c8126e",
       "own": "0ecd3633fcde6ff1c39e1266100f2fa5231417008426a02c193da4994ffefe4a"
     },
+    "cpp.cpp.writeCells": {
+      "merkle": "a2ea5c929dcacc30b7e4963fa1761cfec635f6b0b58c19785e6a7db7b6fe5d0d",
+      "own": "6a37641e0fb094f3e41f821f206e294115b41b12067b9b508562815e998b1c2a"
+    },
     "cpp.cpp.xorB": {
       "merkle": "b053368e78f8f935f799f09213b5757113a456775728d8d3f98f9e4b992dd1b1",
       "own": "bf2175290b18b6503231e34f18f7faa653caa6793038abe0085c027ae57edb07"
@@ -6422,7 +6538,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 3096392,
+      "bytes": 3135158,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610110249",
+  "version": "0.1.202610110300",
   "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",
@@ -28,6 +28,6 @@
     "modules": [
       "cpp"
     ],
-    "packHash": "85898190aa4f6892"
+    "packHash": "a94ab6467d9b7825"
   }
 }