@cella-lang/cpp 0.1.202610102151 → 0.1.202610102224

package/CHANGES.md

@@ -5,6 +5,12 @@
 
 ## 未發佈
 
+### 二維陣列、resize、cerr
+
+- 內建的二維陣列：`arr2Zeros`、`arr2Uninit`、`arr2Init`、`arr2InitFlat`（`arr2InitOkB`、`padRow`、`chunkRows`）。
+- `gResize`；`resizeA` 改成它的別名（雜湊改變）。
+- `std::cerr`：`IOS` 多一個欄位 `err`，`mkIOS` 的參數變成 `inp out err failed eof`（不相容：直接呼叫 `mkIOS` 的要補 err）；`cerrS`、`cerrV`。
+
 ### 二維 vector、multiset 與 multimap
 
 - `gFill`、`gAt2`、`gSet2`（`vector<vector<T>>`）。

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 24,
-  "checkerHash": "5659db50b465572f",
+  "checkerHash": "e3a9dfcff5b4cc62",
   "defs": {
     "cpp.__RecordTag_cpp.IOS": {
       "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
@@ -239,12 +239,12 @@
       "own": "48d00acc74a7a299381e8fe2d57475ec9ae90585c4971c00edd63a9958eb7097"
     },
     "cpp.cpp.IOS": {
-      "merkle": "7bca8585fb75b4bbb718cab1752826485668535ed4a057cf755e9f511af248d9",
-      "own": "2d4c0c453d7a00528866a112602bf4aded5e19d4b45ac2310989d7da818f9ac2"
+      "merkle": "742b3cc2c801ef752aae020860997aea7aa310632782f450d45e0103075a22ab",
+      "own": "a4a58b24863c3a3e7eb50fc3ba062107cfb9fb70eb58d428da0da2131d8286e1"
     },
     "cpp.cpp.IOS.mk": {
-      "merkle": "68e6bd23953408a3122f54f10dc51341be2f7661fd18b757d6959fdf8b8b1baa",
-      "own": "d6c70f067ae331d6f0940aa369f516b3ce6f09f3053f763653fd73f79f230507"
+      "merkle": "e11df9082f2084a24e011be81bce600cbbe9cdb56fa5c71289cba3661575179f",
+      "own": "c23ddf67910d4874341e29439ece2293cf00038731e70b1371441bb2cc191352"
     },
     "cpp.cpp.IType": {
       "merkle": "0dd443ac677be03bf00dd3f4a0924b29f9e7ffe592ad7a666d6febcdf3735499",
@@ -391,16 +391,16 @@
       "own": "5f216997674cb3ba75e57b7ad7050326c06b46194f191b7cb16e8392e773a169"
     },
     "cpp.cpp.Read": {
-      "merkle": "e40cada6fa32b1efa4d7de92f9144ad528c6f1d7450cfb6a7f06857c440c3724",
-      "own": "a4000a8025e5fd1f869fcd92044925ccbd19a1529683e65dd854cce7905db67d"
+      "merkle": "168457ebfddbfc294c9559d262fec35303bed9236cbc3c74b5ac473c06acfd50",
+      "own": "1126203ec7fc99fd1651c8902a331283894e073c8931104435e12b22258fb2f1"
     },
     "cpp.cpp.ReadF": {
-      "merkle": "fb287a80e023e979fc1309464a5a2aa7f36165cc244bd1d8d383debcde65c7f2",
-      "own": "072e48ad4d0490379ad8562edbb42134a0853031dfeb7970ce63282b3dbb3ee0"
+      "merkle": "9f008c0896858753f527bc20059726748656256d98b53b2712cce5ed5ca4c747",
+      "own": "166fe79b52169982be46aeffea62eb8d2ad6870de22a6abb2cb76eb89425a612"
     },
     "cpp.cpp.ReadS": {
-      "merkle": "e58c63d65ede45a6a31a0dc3449201e97a5c497961b9c6d8ad86a2d575255147",
-      "own": "2c89844d4671be02b5055235c3179d8fd818737e1e4d7e9e417a8b2d7fdfe0ac"
+      "merkle": "9058c02d593f459a9a8a67ba9917043f40242eb33a5283188dec2c649108868e",
+      "own": "d8593552e58d50ec762fc9b84cd329a5e1cd6bde7634a61a792a11db2a622e0a"
     },
     "cpp.cpp.Readable": {
       "merkle": "66bb9168d8f42861331ef7538e18ea1ef99e6835f97c7e8ce8ae92765e53e9cd",
@@ -702,6 +702,26 @@
       "merkle": "f761bb63ebd69ec287aee0ae7c8fdf7543a5f488ab093f66e4a5b8e9f34b0c65",
       "own": "fa5031b1af37a978b534faf784524186f80e4b035eb693e400e2d6856c41e7c0"
     },
+    "cpp.cpp.arr2Init": {
+      "merkle": "592bc7934cb5bb137f9c41d5189c3613b78f2365f5cca7ba850565e7dadb9bf8",
+      "own": "a1df1b9fdf62071a248c67c658627e355846235f3b2c4f613ebb4e54ddf54b43"
+    },
+    "cpp.cpp.arr2InitFlat": {
+      "merkle": "414e024ed0e2ef62234002861e141b608bdf053f8f53410ef1bedf687be313fd",
+      "own": "588982d2d925bf1a4d57d3de993e4509cfc810bbb1c00e93d50edaa103306d7c"
+    },
+    "cpp.cpp.arr2InitOkB": {
+      "merkle": "c12dc05cadd47879589339f80111ccb8e93119590c8e0b848106f640ebc79091",
+      "own": "03df0d16cd4e740a8a66b2ef49531c709782884484e5d4dea77cdd7a2feb93f5"
+    },
+    "cpp.cpp.arr2Uninit": {
+      "merkle": "31804a39545ee02ce4e0d839254fe63ece532b081783209a9f8104ff02ffbb45",
+      "own": "bb9b7c839d59557e350933f79b098cfb0b03b9f00937536daf0f1060a7d48fd3"
+    },
+    "cpp.cpp.arr2Zeros": {
+      "merkle": "da0c089e964c9dadf41980f5598976c535bcd997c4f7b24f5293af571e8cb5e4",
+      "own": "3996952405ec7b5de54789ce27d6324878910443257455689f5b0f1ddf62a50a"
+    },
     "cpp.cpp.arrLen": {
       "merkle": "0b893f8bc8fb528dba09cfe0cc0295f0046eb57bd84bc0f62b58ec47055d807d",
       "own": "982c718ebbfc048fd06a19cc184a5fc7760b0182aa0f11d9fba1e1b84532a537"
@@ -1022,33 +1042,45 @@
       "merkle": "bd892c34fde54ef0dce27d069eebe1a4894925d7fd67ca2c4008a8e7f31f64ba",
       "own": "1340232d7333f09348ed8115519d3c571ab369de1d1f9384d4ee904a99fccffd"
     },
+    "cpp.cpp.cerrS": {
+      "merkle": "61ef68bd332dbaacce5f292fd405f4b5e8d547f7b3cd6cd348387d90afe3b692",
+      "own": "685874d7b7587418c7eb23737c10dce9691e95beeb6bd95c734100e9beb88c95"
+    },
+    "cpp.cpp.cerrV": {
+      "merkle": "91bc7d749b98b6f46b88cb0d87c765774630b7d8b2a7262349c0c52fb9abed42",
+      "own": "286dea05054c10010fa69eb5883697b729f5a392c97cc69c587843e7b5c12f0e"
+    },
     "cpp.cpp.charVal": {
       "merkle": "1842da71fb1bcf098a960468618fed418a85ee3328305b77951ac0da37fc47dc",
       "own": "bff31031400b7d754110ae122b70446abab0aa4bc1c689f59f2b684100b208e0"
     },
+    "cpp.cpp.chunkRows": {
+      "merkle": "4b86a104d5b866a79db976b52a5dde175eef2ec36448eedacc9b57f634748ac3",
+      "own": "2b9d795b1b089e4766f483b8b3acf1e45b27766891f52792f1b0e0692ed9ff98"
+    },
     "cpp.cpp.cinF": {
-      "merkle": "81a066f8c4f962339db4f748446cbcf8afe5e62f825f30be829cd085e5a80cff",
-      "own": "75d9c92a3fe66c2102e5663dbf36a96c76589fc8bcdc095e9dd0be1932e17af3"
+      "merkle": "cd8278b7f72dfcc3df75d65f733d4a35f34e9bd9d494629656eac39dba766da7",
+      "own": "c5f0f1d047d223a6a99ac9130e863ca99f717212929e549bc3f096d46ca2af25"
     },
     "cpp.cpp.cinGo": {
-      "merkle": "ecc7a8cd5e25aa3ab36b41b706368136ef341c733cb0fd67803fe6b59b725025",
-      "own": "248f7531b9d675f6a64288f5b181ae2b6ae71af1994b7c17a243aa20fd0b835e"
+      "merkle": "1c894572abe62277f9b2c08987cf2356233e29d2c652e34c89550be26edf057d",
+      "own": "a4c2e9a0be18c4714e49e676478e9145814c11073fa13936008c5efe638d289e"
     },
     "cpp.cpp.cinOk": {
-      "merkle": "defc451c18e86150951bc79767c68058e9fcd9bc4dac9c35fe087bc7b961b4ae",
-      "own": "185848b85fd5293e9d6ab539fa7420db4b9863570990d1354a0ea98852c1878d"
+      "merkle": "f1a39aaf5f025ecdb201aaec8995d2bddb69e1d704ccad216d5de2330b8d26d3",
+      "own": "5d7524a15eb939a1bfc5ea294c8a11e9fc909c28c2de50fe567f6c0479b91b41"
     },
     "cpp.cpp.cinStr": {
-      "merkle": "c9b3da5d4afe7f6bff3f6346ecead7df06c92c967a8c1598c15af8a52112f31f",
-      "own": "f01e44d66c4c099bfe262d3877bcbf1f1ef05f1246013d6728bd6e319c5e4325"
+      "merkle": "c6fec1824c857ed343b78c1bc871150167f5a8ca964fb8e831f347739ad8ad07",
+      "own": "f54715d34c9d4483810fe7d0d2a31fe689d594deb904a0d079725f7adacf1a87"
     },
     "cpp.cpp.cinStrGo": {
-      "merkle": "82fef0e5579e28b415986f20154ea47b4f6c65555ce7eae8d364165913ff7a5d",
-      "own": "cde255ba1bd504d90c72f8f3b772875cd84dbf59f92ababa56b91c0e4ec357ae"
+      "merkle": "1fe4d4a8b4e2af9e2b5d839cf2cb195fe2d6d1c93125c0faf61cbf062be356ec",
+      "own": "b76aab857399f1380f7bb31c86d63a61f12850830a17b5cb787f553990bac051"
     },
     "cpp.cpp.cinV": {
-      "merkle": "feb88bc0f18fde8145cc11c34a41f34b4aeac377f7ec34948327cd51c9d2643c",
-      "own": "74e47c074da1abe50a70a949055c19012994a7e9d6b671ae4930db295b3cdd9b"
+      "merkle": "efda7608e09306f6cf65423f5084ac660351655e75cb42721adfc1bea6b07d88",
+      "own": "c9b8361f36871a12bd42c7bbf99d3da24031670091727409537c34da842bac87"
     },
     "cpp.cpp.clearA": {
       "merkle": "89dad86b6244382906285895795bdf8ef368eb609856a92704c7951cdad15e66",
@@ -1159,47 +1191,47 @@
       "own": "7c3f50f276da1747bd0cd579ea30272eb467198725d7f8bbe29d1c95732a8dd1"
     },
     "cpp.cpp.coutCStr": {
-      "merkle": "77dbe6cb613414cf3077829ebda19c30d7618e6808d1703b148d6150de963fce",
+      "merkle": "77de8cf0be0bf29e33ae33226ee3be6bad4368869e1fc3926ad60c59ab9ea2a3",
       "own": "9125a345c0713b00456c0183a1b3c053e01be0502f4073088cf58d5c28598f83"
     },
     "cpp.cpp.coutF": {
-      "merkle": "7935e449e557033821c942297b019d886559d69da38aeb74a927a6774463495f",
+      "merkle": "8e216d831724c40068bd28ae63a961cbcc89be8a7fe895e4568ff6c6d30fd26f",
       "own": "06203576d7e4ddda3e63c4e367155e9a4fb98b163f685301462dd88a23701a9d"
     },
     "cpp.cpp.coutFF": {
-      "merkle": "1b017a12b3ef7e87b8f6acfdc67b1fc40e8e14a36bae8b78d82789363eeff299",
+      "merkle": "7bdf4d674a76b8715f039e46813220f0b2f87b7dd0241bb9017d8db58170eeef",
       "own": "3261056603d9dc2a39521e1a8577f55feda7fc1e8a7c6a69fd854733d0740032"
     },
     "cpp.cpp.coutFixed": {
-      "merkle": "3ef59f441670162fdccde5f37955d3f8ae8e485f5dac947a8242438d7fee36d8",
+      "merkle": "fc04f2fdd1911d4d435b0dfcfa0e0fbdab31049396a83f7e15e3c26dde97341b",
       "own": "35f343c49742c45ae1fc7c4b5e7c1b51397f6411135cc38ffaa94c28c09ca973"
     },
     "cpp.cpp.coutG": {
-      "merkle": "38c77b22bb41446b261ef1ade99eafd90e73b4a615cb56a19f4f4602222fb4dd",
+      "merkle": "e9e6b023c4bf805e544eb31f99f3cf4dd45ef772eba8eaff6e49a3fd1b77a66e",
       "own": "7c348df4cbf8459e6732aab9c8c35ccf1d2bf94118a0b12148b12e91fb4ed770"
     },
     "cpp.cpp.coutLitF": {
-      "merkle": "d79e5611ca84ce8f97ea7f390640108c0b0ddfbd80981c7a78bcff414c0a54c2",
+      "merkle": "37d1daef083a5b06d7a10cf536dfa273284df22a257aae6a61c9594ab33b33ed",
       "own": "f0788c68cfa1f1bd88ffae9dcfe68fd5942f64519df8da63acb6f3d4a2022de4"
     },
     "cpp.cpp.coutS": {
-      "merkle": "174a94933102cb291dd19e30377267cb79c832be7cf2a0e7b33a2b82c5420cfb",
-      "own": "24f2f2745e9132cf2636ad0500c6bf856d4d3ea05916b373183883c6b2be80cf"
+      "merkle": "c9a8817c019f79acc727d2f8cb4bd5e538afa29ace80de2db6e54b91bc0cab45",
+      "own": "59f832c64b7553b220ba1987f827fd6a98b96efa7c4e036abd41584899ad9f28"
     },
     "cpp.cpp.coutStr": {
-      "merkle": "744650240b801bacc04251f387c239f30f5d79aa2984a692c3315a6001d22002",
+      "merkle": "db69bb5365d16ea5db444791a7e790491b325ab2e2d98c3c03501091ef73ccd2",
       "own": "fde7640e20f5c9ecccbe698eda71ca75336d6c45c629ffd7e31eea6115e3395f"
     },
     "cpp.cpp.coutStrF": {
-      "merkle": "c53b73d192e4c791b0e2f71277714a26acd3cd62f9de6b4b88431dc6dd065bd9",
+      "merkle": "1dd21b54845736930819dbd0de79bd916e55f02f21f41acd3a80d81de498d17c",
       "own": "6ec7741a3f87f71263b1f9622d4edd79162e9a8aec5345fcf675ccc73c78b418"
     },
     "cpp.cpp.coutV": {
-      "merkle": "71da7a834267759179292d69d7aa9d5a99ceaed9fcc76dd41b0d5bae30800820",
-      "own": "b15d0e7c993d9e59fea8e417ad9955b823d934e2a68c89c661f3dde1338f037d"
+      "merkle": "a2d7d7e1bae8f6b0244666d6a9eacaa13144d9a0bb58c14a71e911e46dfeb7a7",
+      "own": "d5271024d933c06ed121ed20fd31b6b5e2f8703782c905b209a4eba00483ec0c"
     },
     "cpp.cpp.coutVF": {
-      "merkle": "9bdd6ca6c621da632b4c78c4a67369c6738385136d2b9d673e79d9d1a308d035",
+      "merkle": "db146c4d5377438de247b8068157873af49fb646712394bee05d0b4a6078332b",
       "own": "905e091ac53b38e2eba5b9c0776b34cb0376469a9123897456af9eac75919ec2"
     },
     "cpp.cpp.covers": {
@@ -1459,7 +1491,7 @@
       "own": "adc0eabb162e0e3604911eaa8b3a3efcc43603f1e559644d6b66276533ffc58e"
     },
     "cpp.cpp.endl": {
-      "merkle": "51f7d6a81e3616d36c44516d5fc23933b5b7d62b78cacc96b8570d9acc589467",
+      "merkle": "c819739fbada7798d1defb1f1adb88b49b39701e78e64951ef52f30a03a661cb",
       "own": "d3d9cf4182f2399a66e03ce6c68a8a1ec1b4e0a09ec9298fa5f2c5a6a73ec5ae"
     },
     "cpp.cpp.eq": {
@@ -2322,6 +2354,10 @@
       "merkle": "830faeab815fb670f0791352c3db9a27bb553cf060a7aee5a1e0cb16bcf92a81",
       "own": "632109aa07518e7796fdb10deb06e2b8c7b171f18d13860078e15174f71b8d8c"
     },
+    "cpp.cpp.gResize": {
+      "merkle": "c5c091f9cc9ede189cdef32913a13b7f781585681f90b57c2907b8bbc299be37",
+      "own": "78abb3abf9e3cbf44a4e4abaae6289fae3bc1412aca0b369543b438d8ba43c58"
+    },
     "cpp.cpp.gSet": {
       "merkle": "4cbf229791d0baa4b246768ec4cd779dd77e07a5362bac975f207595b9cde00c",
       "own": "d9ae3ceca5c9ea4725cdf90d3513d62ca28e4132be998dba5855ca8b53669238"
@@ -2383,12 +2419,12 @@
       "own": "af0a5713199d3f12ea809b0212f3fc768bc10c5797492f13803fdf6b6d65657c"
     },
     "cpp.cpp.getline": {
-      "merkle": "19fff09e4369064d582c7a98bcb5e47f155c7af44f369dad5e808682b62c3999",
-      "own": "2d24adb32bb82e49ebdad42d22fcd50a968354fcd0641cc0dfa388b787d45e85"
+      "merkle": "fdf5f9a9a310e9221d9f296e9a1389e53b7cf27cda114e8aab46160432e6d3c3",
+      "own": "df93fd5af2967bc06b80433a4354ed0eb6a272bfcee2d20434a6782f881bb9ff"
     },
     "cpp.cpp.getlineD": {
-      "merkle": "cb8dcd2fca9b55164460c73a582fec023846bbfcafdcd2cceba04802f1eb584b",
-      "own": "eaf5cf1e6fbc7e971dc5bd45671aeda0b4a914b9ecf529cac0262d8b7ef178e6"
+      "merkle": "e069ac5c595cc2cdff01880241c44bbfde49bbd6fa476f816a78adecb252c27d",
+      "own": "707686a730adbc568fb390133fc24750f1e2dd332b5f43c0122df3f993392e50"
     },
     "cpp.cpp.gmapCount": {
       "merkle": "a963b8298c65f424f5f15d9593e62c8673284598e5a8813f7c47891ac4a251ff",
@@ -2651,12 +2687,12 @@
       "own": "0bb6208075115ad4a12c4995c111ed7ebd99403a03c7ec54a16fbc474f8e2930"
     },
     "cpp.cpp.ioShow2": {
-      "merkle": "f3183da1e7a1be2a7d24ca4083565e6502754539c1c9fd4174de6110f8f4e0d7",
+      "merkle": "49444577fbd747a9717cfff8c54524c3b0f80e1b38b785428b56fcd040af286e",
       "own": "816d25ef9dd81c4e529dd561e1753c615ebb572802ae187324822dd957a2880a"
     },
     "cpp.cpp.ios": {
-      "merkle": "e2a922088894fefc5c6c1dc486c988e8c8e5784a83ebc38cc1b973cbc6b04c6e",
-      "own": "cfbc2f1a4910c7a19dbf9f1ec55c09c2724e299bfd58f69ba85160ec02ea6294"
+      "merkle": "7aa9e18ea431d7aae7925766ba602a4316eade5150c9d20c455cb490311bcf83",
+      "own": "a500434c0645fb93c1c211fd2310f0ed5adbdeeb8ded2d27cccbbcd5e6d3861a"
     },
     "cpp.cpp.isAlphaBool": {
       "merkle": "5dac4a07c3a1836b9446bbb62b0586b6d5b8bd3c3b236d1c8e020cc6594d9f06",
@@ -3287,8 +3323,8 @@
       "own": "1f45bd0f4a209424c5b7d5bf8a025183320f06c2660c007623c56029b29876d4"
     },
     "cpp.cpp.mkIOS": {
-      "merkle": "a7795a98d1c7c4aae5d1b8dc492843d37ac2d8f2c3a8b5af523e6f69a8886308",
-      "own": "3b4c822e0031cad94f567c2abd43f83e126d217fe237439d9fd2623d48f4d4da"
+      "merkle": "86dc6689f143e5efe2a2d9de88621a7885cafcba2d12fbe9672e19d8f8eb3fb0",
+      "own": "766e5bac4a8a24c178e520b1432761cca61d8dfe4bbd826ecb21701e68759eb1"
     },
     "cpp.cpp.mkInj": {
       "merkle": "569254e4824c81b9ee987dab78b0fc065ef5f96d39d5d28b9d0d124486580cde",
@@ -3491,12 +3527,12 @@
       "own": "f7b1babf1c65149a5a51ffcf6df22e121731c46ace35cd4d8e578609b2f9e9fa"
     },
     "cpp.cpp.numGet": {
-      "merkle": "1104103f851548bc4c43a6069bd68da6e36d7b2c1e2a725e8050bd14fc588e07",
-      "own": "1695970fe5bf60c7bcc7e4ec240615a8edb67a8e482a46fee62f1d031681f096"
+      "merkle": "cefd07d56f645a8e0d0feb4391854a027144e8e36d66ef0b472d610e7874ed47",
+      "own": "aa00710473ed78046a572c061adf1f3f6c3821903b0cfdff89f3307d1039569f"
     },
     "cpp.cpp.numGetF": {
-      "merkle": "6625699ca96b689ba4f5f42369d46a671875bef31f5586ac0cbf772547dbccab",
-      "own": "44f71546685d2dd57f34b71b940739290d27ab5a04c05cc8a5445d283095af0c"
+      "merkle": "b99bbfba83c51fee43aa92019a77cb78101591822a60803aae93303a7b8aa500",
+      "own": "baf90518ab2f4d61e76d909435c874d115a0c85e63b3562e89b88a42f89ebc84"
     },
     "cpp.cpp.objBytes": {
       "merkle": "698de08c2485a4cfdd370c7c4c57f19cad202a09d88700ed5a2adf33e4078bdf",
@@ -3546,6 +3582,10 @@
       "merkle": "2fbb98b6275ee349b83f3a484ac8f3cd7fd092da0e4f397ab8ba28204aac09f9",
       "own": "cef6c2e785e2d1a00c196ea7dab3e51970d4740e02bb7c797f0ca36b488b3545"
     },
+    "cpp.cpp.padRow": {
+      "merkle": "0e6c3951a1b17f0d43c820fde0292db9ee368d260b9fe0a0e5777751eae7b36d",
+      "own": "b46b43ef25d9eeae4cf77c6d17cfc69dcec5b66148e659ffb4a1b9c565065600"
+    },
     "cpp.cpp.padZeros": {
       "merkle": "2498eeee194c931aeccd3a3c6bd46c28e3c44948d9e7a1a90e1b031c9b724112",
       "own": "81313f78911befcb9ac753df06d5c39c0bfd400762e0ee7d8063e49a749b9657"
@@ -3831,8 +3871,8 @@
       "own": "47270ee50a909b9f076e67eede18a9130e70d39e26769d8cffbf13f0f07ec1b3"
     },
     "cpp.cpp.resizeA": {
-      "merkle": "2aae597e6b2c1c75e836e53e8ddf99ad04b5ead2222c4704be9ffa030a831e4a",
-      "own": "942821e01fec7e93127a9161f5b78e92c303f8879aa3094690591af87633a36c"
+      "merkle": "7ef56021f2f2b9fd8e12aaaa18e1fd11926d3effaca9f177611b95e91889e967",
+      "own": "cb150c9b7fdb06c2504af4faa55353e3451072fce153c228bc04e2aeaacd0be0"
     },
     "cpp.cpp.retJ": {
       "merkle": "52bc4dbf7e24abde5d838fbe183187f5efe2ec1886924ceaa2b9cec119839d78",
@@ -3851,12 +3891,12 @@
       "own": "b4c10ddedc16dcbd0c8ca95f4abd7c127067035db4978107a66b663fb5412095"
     },
     "cpp.cpp.rfSt": {
-      "merkle": "cfdca374199ae96d1d12178aa4fce2f158fc16c1e71ec4f59192f852cfdca5e1",
-      "own": "edcb10cbaa9595db019c3cba721d7019bf25c6ba8e192e67ee64b7ef6853223c"
+      "merkle": "86687ec50cf1934ee44ab49583c415979a69e31fe2447d960e10d869669b4036",
+      "own": "01bbcfb606f27259dd20712b30f0f8fcb653b9c42f24e0fcebc508fdd52be503"
     },
     "cpp.cpp.rfVal": {
-      "merkle": "d03b5e506e5e7f831652d141ec428f0d639491999ac9cce4e17b263f808bfb61",
-      "own": "2e670006d957695808d3a5411d966525e6db3ee2ca2c3bcc2d8402e9416d6f63"
+      "merkle": "1419a8a0f19df23ced22cdbfcb45783c1fe5007f5fba4f2b3e544336f8f0cfc8",
+      "own": "80ea27a3721e5f9d7a01de2ee93ecd27a630a994397cd5dca73dbf416ee63abd"
     },
     "cpp.cpp.rfindGo": {
       "merkle": "10163f8e1bf2660766a876c12a57cb82439086081c8d24afa464528ec67f66d1",
@@ -3883,12 +3923,12 @@
       "own": "8c2cae195e9b41950bd68a636873a26d23af45b9cc4b7760c4135df7a5376bb0"
     },
     "cpp.cpp.rsIOS": {
-      "merkle": "eebec28eb52dfdf0ed975c23ca790c3172f4ba508da50b8dea30ea13dfaea908",
-      "own": "51b184ea70c62ab7c8512369ad1c412fa8b24a582eaae72b12056418d1e27c30"
+      "merkle": "4dd8dc27474afc9e5c12286937d3693eff6638a4ae75996fd08e83d4a1491095",
+      "own": "b5c2a4d5be5f6aa9910f5c15b3c904b88cf28b494dbc1a951facb79b6db1878e"
     },
     "cpp.cpp.rsStr": {
-      "merkle": "807883ab825f9d7ce3a9cbffdc728155dd31896128a48c468fb2e4abcedf7b3c",
-      "own": "7bf0978ddf9383e540e0ba1a45df72b25e71394aa1efda4563f484b3aac25664"
+      "merkle": "b14fd99ff2443c981b9f334ca21ba8de5cf7b45f456da052a8c925fff0eccd75",
+      "own": "21b200617f8e8ad1ffa593ebb47ee9b468dc152511c5ef411bcdd5e10b4281ae"
     },
     "cpp.cpp.runFrom": {
       "merkle": "9d4a461edbc2d39f5e0ea2a4a2f1039c2bc8056f4b35dd73173e42cbf0531974",
@@ -4071,8 +4111,8 @@
       "own": "5d00edff420da75e87691a635012ead9ca8f9c41cbca095e08b34c4aa516b02c"
     },
     "cpp.cpp.showRead2": {
-      "merkle": "d55b066a30f457fe0d05c75ed27154e3c77817bc5b43e45a3e42d757502c61c8",
-      "own": "d63b17a05281fd72fc49a220aea55ec3a3ceebb7afddb47fe73e2663aa8113bc"
+      "merkle": "c4d3d94fa3067acdf69b347be7c6c2f37df87253e697d37bd1f910fdd53cd133",
+      "own": "3899dbf8157e0bc04cbc959a6f5447cf0a5f6f804e7124475e807b0736a86406"
     },
     "cpp.cpp.shrB": {
       "merkle": "7f5bb1a77449d72dd452711c9cd8dbbc1dff13a271951de88ba4d128de9b6062",
@@ -5094,7 +5134,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2646320,
+      "bytes": 2657692,
       "deps": [
         "cpp"
       ]
@@ -5102,7 +5142,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "5659db50b465572f",
+      "checkerHash": "e3a9dfcff5b4cc62",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610102151",
+  "version": "0.1.202610102224",
   "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.202610101724"
+    "cella-lang": "0.1.202610102224"
   },
   "cella": {
-    "checkerHash": "5659db50b465572f",
+    "checkerHash": "e3a9dfcff5b4cc62",
     "cbfVersion": 24,
     "modules": [
       "cpp"
     ],
-    "packHash": "770e67cc6a6a68c3"
+    "packHash": "b23f23e87fe76f01"
   }
 }