@cella-lang/cpp 0.1.202610081453 → 0.1.202610081556

package/CHANGES.md

@@ -5,6 +5,11 @@
 
 ## 2026-10-08
 
+### 定理
+
+- 物件生命期（對任意記憶體）：`cpp.derefAfterDelete`、`storeAfterDelete`、`deleteTwice`、`derefAfterScope`、`storeAfterScope`、`loadDeleteOther`。
+- 容器與字串：`cpp.atPushBack`、`arrLenPopBack`、`strCatLength`、`strCatAssoc`。
+
 ### 檢查器
 
 - 非遞迴、頂層 match 在參數上的定義，在 scrutinee 卡住時保持折疊。存下來的項變小：這個套件從 6.6 MB 變成約 2 MB，載入更快。
@@ -18,6 +23,19 @@
 - **自然數次方加速**（`power`，照 Lean 4 的 `Nat.pow`，指數 ≤ 2^24）：數學函式的每一輪都要算好幾次 2 的冪，sinh 一筆從 5 秒變成約 0.1 秒；差分與測試都跟著變快。
 - **拒絕的判決也帶其他定義的狀態**：一份檔有錯時，之前判決只有錯誤；現在其他定義照樣跑終止性檢查與第二個 kernel，`--json` 的 `unknown` 列出無法判定的定義（洞、預算用完、依賴被拒絕的定義），文字輸出也列出 `? 名字 — 原因`。`verdict` 仍是 `reject`；沒列出的定義是通過。
 
+### string 與 vector 的其餘成員
+
+- **string**：`cpp.strFindFrom`、`cpp.strFindChar`／`strFindCharFrom`、`cpp.strRfind`／`strRfindFrom`／`strRfindChar`、`cpp.getlineD s delim st`（`getline` 的分隔字元）。
+- **vector**：`cpp.atV`（前置條件同 `v[i]`）、`cpp.assignA`、`cpp.reserveA`、`cpp.eraseRange`（區間）、`cpp.insertNIt`（插入 n 個）。
+
+### 數字與文字之間
+
+- **`std::cin >> d`**（`double`、`float`）：`cpp.cinF f x st`，照 libc++ 的 `num_get`（`cpp.rfVal`、`cpp.rfSt` 取值與串流）。
+- **`std::stod`／`std::stof`**：`cpp.stod s (cpp.stodOk refl)`、`cpp.stof`——最長的合法前綴（含十六進位浮點、inf、nan）；例外（invalid_argument、out_of_range）是前置條件。
+- **`std::stol`／`stoll`／`stoul`／`stoull`**：`cpp.stol p s (cpp.stoOk refl)` 等（`cpp.stoT t s ok` 是一般形）。
+- **`std::to_string(double)`**：`cpp.toStringF x`（`%f`）。
+- 檢查器：`stod`／`stof` 的結果是次正規數（out_of_range）時，前置條件寫在函式套用裡（`cpp.stod s (cpp.stodOk refl)`）之前會用光預算（判成無法判定），現在約 1 秒拒絕。
+
 ### 輸出格式操縱子
 
 - **`hex`／`oct`、`showbase`、`uppercase`、`boolalpha`、`showpos`、`setw`、`setfill`、`left`、`fixed`／`scientific`、`setprecision`**：格式描述 `cpp.OutFmt`（`cpp.defaultFmt` 與 `cpp.fmtBase`、`fmtShowBase`、`fmtUpper`、`fmtBoolAlpha`、`fmtShowPos`、`fmtWidth`、`fmtFill`、`fmtLeft`、`fmtMode cpp.fmFixed`／`cpp.fmSci`／`cpp.fmDefault`、`fmtPrec`），由呼叫端帶著；`cpp.coutVF fmt x st`、`cpp.coutFF fmt x st`、`cpp.coutStrF`、`cpp.coutLitF` 照它輸出。`setw` 只作用在下一次輸出：輸出之後把寬度設回 0（`boolalpha` 的 bool 例外，見邊界清單）。既有的 `coutV`、`coutF`、`coutG`、`coutFixed` 不變。

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 19,
-  "checkerHash": "cfa14e496df4272a",
+  "checkerHash": "fe5a6d3009b729cb",
   "defs": {
     "cpp.__RecordTag_cpp.IOS": {
       "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
@@ -102,6 +102,10 @@
       "merkle": "71710401b491267505566755d399cd775c9c7392c79b055f9f3ae3833526a0be",
       "own": "ec5cb06b69b843dd853ddf6234b63bf2113ce388471feaacdb3170cf23bb9cbc"
     },
+    "cpp.cpp.DigN": {
+      "merkle": "e310bc47e7cf557c834d7c25daee71cdd6d5e07042de037cc2c0a69f87a1df2f",
+      "own": "37eb3afcd46e0a359c60d704b19f03ba4225ca6655c13b24df41b9a2c8525950"
+    },
     "cpp.cpp.Digits": {
       "merkle": "fd81324c20eef0ece2931038d298080833f2da455e438d63437aa931bc4df97b",
       "own": "029e560fd404553dea06c01c6f66db20d741a96800a805e84889c225a16f4776"
@@ -122,6 +126,14 @@
       "merkle": "afb694fb47f23e172ada64cada095416bd51ffd222ee73ed5e1ebc0b0d3f2f84",
       "own": "4c300a2aea91a5ea05c1e664af303f604c41becfa13a475a2ca7870c2a29c591"
     },
+    "cpp.cpp.EraseRangeD": {
+      "merkle": "ff3c66704f1a50e1f17ae95eadd7c8bee93b067b7302cdd44bbcd740f7ce9739",
+      "own": "2913e66159ee1d6d78d5767445d82a36adf8248bbd6e08ddf6ec873f87e1c1c4"
+    },
+    "cpp.cpp.ExpP": {
+      "merkle": "18d197623a69d657d88723d9fbb85f88f9381f65d2ef1128d83790665814e474",
+      "own": "03d00284480b6d02fe2bd8effe332bb6a7e0ec2989ded20d9f7e0c72740ae026"
+    },
     "cpp.cpp.FFmt": {
       "merkle": "c2a364aa33f08f48f10a1b99189af212beefb3aba2520599836dd4b35f4dabd4",
       "own": "42367c4fbf4fb4de12a5c446d81389b737983c8a002be446ad56fa641fa53fe8"
@@ -134,6 +146,10 @@
       "merkle": "b1280fc9afbeda3542ee0ba9f7570f9e5c03d3d67cd796c5029513f1aebb0316",
       "own": "e0ef51ecb0d859e7da8d1d700c54ae9e765ec4bc30f79b285909796f0fb87c3f"
     },
+    "cpp.cpp.FParse": {
+      "merkle": "8e936b3dfc4dee4f78a4684f897377f55bbe25598be8b2fa4e2e316eac324d67",
+      "own": "a3c4b18fca9e5f2214087bd5295fb67a02b6ac49cbc38a1588157793c0926a55"
+    },
     "cpp.cpp.FSameSizeD": {
       "merkle": "7d65f9ea7f6b0a16d33b1e2c0d4b106653beead29fb54c7fbc59e84508b6d6f8",
       "own": "f32cc8ecf132548822b89b518ca89f0f2447fe03c4db0f5019d3d75349f4594e"
@@ -318,6 +334,10 @@
       "merkle": "e40cada6fa32b1efa4d7de92f9144ad528c6f1d7450cfb6a7f06857c440c3724",
       "own": "a4000a8025e5fd1f869fcd92044925ccbd19a1529683e65dd854cce7905db67d"
     },
+    "cpp.cpp.ReadF": {
+      "merkle": "fb287a80e023e979fc1309464a5a2aa7f36165cc244bd1d8d383debcde65c7f2",
+      "own": "072e48ad4d0490379ad8562edbb42134a0853031dfeb7970ce63282b3dbb3ee0"
+    },
     "cpp.cpp.ReadS": {
       "merkle": "e58c63d65ede45a6a31a0dc3449201e97a5c497961b9c6d8ad86a2d575255147",
       "own": "2c89844d4671be02b5055235c3179d8fd818737e1e4d7e9e417a8b2d7fdfe0ac"
@@ -398,6 +418,14 @@
       "merkle": "18a38766c5fd119d392ed62eb3b61c328e770619054000ffd772b554e393eb15",
       "own": "5c7cebc46fa1c38613e942c27fa7f779097579f9d77f54652e8153d3a24d9be8"
     },
+    "cpp.cpp.StoOkD": {
+      "merkle": "14c17872231a794de9d483a67075aecac7ba487f3ef517a16cb116a3a053a2ac",
+      "own": "089cfbba0c71a006da0c463340ce452f4c085e39bdb5f8ac37cfb40cc396521a"
+    },
+    "cpp.cpp.StodOkD": {
+      "merkle": "fdadd7dc496a89d67dad4143e82e13b60d9757e8a6be8e92bada302ba6d80785",
+      "own": "8e39b77a2880bd9b5dc488920f736a7b7588fe1a0d608f47b4cfa0897425aba0"
+    },
     "cpp.cpp.StoiOkD": {
       "merkle": "b64aa9667724a3084aa73cdc392c582802edfb1c77f135a9f9dc298ce076cc0e",
       "own": "5af2aa6102ffc48080aecb9e3197c71b8d5f67808e2041b1a608ddfd35c7bf3a"
@@ -502,6 +530,10 @@
       "merkle": "63ce87888940f1fa2ca5e40040a0dffdf0fd7fd44462708b191fd43bf996b965",
       "own": "b1120fd892c0fe20c8c7613b9a55a89fa4aa713d214ce1432e8fe5049e03a033"
     },
+    "cpp.cpp.addUsed": {
+      "merkle": "4c1f9a1fe83a9a42d8a42feef636823213ed41363f967049141853d1161fb512",
+      "own": "2d6cb6884b887789f3440bf3b8607cac25d002567d0ef5d81ca9cc754084a634"
+    },
     "cpp.cpp.addV": {
       "merkle": "ed640cf94b2e95b2d02c286d272673a556e50cbc6b015b6a3adb1b3d2a68bd56",
       "own": "51749e58de87cc60d002767108377ef7e6b65e9f17c3a869607b140b4ced2163"
@@ -522,6 +554,10 @@
       "merkle": "2797de816974335e84ea5174aeede30c6a184340b47b48ac19d6b39bf4db6e90",
       "own": "c167bd1a3297cd070b72d4234f2842d1931eb01627c793265403f714f674df74"
     },
+    "cpp.cpp.afterDelim": {
+      "merkle": "643b70a4512be11e01b7efa98e851346cbe684d52acc6113b9a5d8d521be6694",
+      "own": "df13c755511ed62e0f9b1588a5d99c8df6297f2b70b7470a1042f6feb81292bb"
+    },
     "cpp.cpp.afterLine": {
       "merkle": "b5ef423be6b0113035c2a46e956c7f1edc96a9aef1f676cf01f8a562ab6468ee",
       "own": "0fa1ba30b1abef19dd23a05492a6c7eec7f14ff22c48ffdecd84f7dbc8dcfb0c"
@@ -586,6 +622,10 @@
       "merkle": "643d7b43f8e4512c3c339321b8ca8dfd5c7ba59f5c05c8e94b422a1fa63f3de4",
       "own": "1a44b6226c26366fd6fc429dafb3644d373a2bebd8ae5cc9c55cb74f4dc134b4"
     },
+    "cpp.cpp.arrLenPopBack": {
+      "merkle": "dc02adb11237ff6319389d31549588ff794dd5e98c9daf86e5c540accfa0376c",
+      "own": "a3a60d8aba69ce8d38992e1405c0d7e11ef475e4ebbfe5e32b886cd2eced595a"
+    },
     "cpp.cpp.arrNonEmptyB": {
       "merkle": "b42750fbfa15969ac804547d12be3c6b59fdc3b5c47b9a4b6a6d54584372a994",
       "own": "9d8c7d5b70ad61cbeb09ab2c2e2b6588633a4786270b858cfb0af9a05ce0c06a"
@@ -610,6 +650,10 @@
       "merkle": "76394046af7e4b200938e255fa5a6f546c1f31cbda04c385b69bbb032d2f57eb",
       "own": "05bf5bac7b0eda566d3d05dee6443dc885b3384f87917f228a894c40f4758cb8"
     },
+    "cpp.cpp.assignA": {
+      "merkle": "eeed744889ca056047e778e5f833cc3348e3b585a036d5be01a6b257827c64fa",
+      "own": "590728cc6004beb47d5aa116fa748f9bd3db4ac994f8bf41b684a13c85c7d971"
+    },
     "cpp.cpp.assocSet": {
       "merkle": "6c0b450857f68c773c127c4c1dcc6c793e268d773764af4c06cc7b2d09e31b1b",
       "own": "bd0d0885fdbef9f994cfe842efd339b57f33c479196063bc1ed1fa8969f616fd"
@@ -622,6 +666,10 @@
       "merkle": "7f0930b3f2896ad213e855071749de57a950f137f28dbb394ed77bd9e4c0b984",
       "own": "00e63cc1ee5f3f95b8c452aab0d70d6aa9e6821b0e1dc41ab828ddb129f7a99b"
     },
+    "cpp.cpp.atPushBack": {
+      "merkle": "eba0bc3e075801dffe2c6c97e61e22c0fbc99c1c1a5067bf47d4655831b5fd8a",
+      "own": "d1d2ac48b9c7791f0d15dc34271e59808a66ff474ba3f03f10aee5de2928193c"
+    },
     "cpp.cpp.atSetAt": {
       "merkle": "a212e0233c618bab49ba101ee009691b68fa1389417677b6b30876e5f6e6d96e",
       "own": "863fb81b3be5a504c3043d56323ef4cde3ed8e5ea40a1869dd53a4e25a51a90a"
@@ -630,6 +678,10 @@
       "merkle": "5788aa7b8bc41921e48a4d557267688f3dcfc722840c11a7d6e974e4f4412ff6",
       "own": "80f9ece5515014cb96fbd5798983c86555d24fc87a42e5207cd1be250fa5083d"
     },
+    "cpp.cpp.atV": {
+      "merkle": "8fcdb09a7aae639aa081d8fd86f7fb4eac91a7610b3e77515ed6b08e58759325",
+      "own": "dc720d9c1753e21f0c658e05188f1bf51aba570294e781422e7f6a209ec398ce"
+    },
     "cpp.cpp.atan2Fin": {
       "merkle": "67673a52fa631f02075e8bcc4f14c00bdab35dc866d48467f99a796acb692ef1",
       "own": "7c059d35edc959b9df76d964d419076498994fe4beeef838eb4534e4e6833d8d"
@@ -674,6 +726,10 @@
       "merkle": "b13606b16bb2987b562b054348a119809e340d7851d9159b6c44f3d7900d92f1",
       "own": "d55457b1ffae8170691dc1ae3f3855735c315dadba16416da1d6e052ef64ac37"
     },
+    "cpp.cpp.atomB": {
+      "merkle": "d6e606a3f78cce7406bb66c220c0f7a366308dc56b1d738935c9a1676bc0f767",
+      "own": "c4f87b05d104c375f550ad2227972370b5e9d77d44a3bd034c359798b5c07589"
+    },
     "cpp.cpp.avr.Int": {
       "merkle": "f283f1566869a5f2e89279a7c2bc36cc717d82ffd0d12457ea53ef16e89f5665",
       "own": "948687d513255e558f901d1c950fa4039c71e6fc5b47dde521157df38b997cd0"
@@ -690,6 +746,10 @@
       "merkle": "b4527fefeb2ff35dd631fb8050198668c14d43ce2bc7df467adaa2f5267ceb39",
       "own": "454eee96e1a29c483cee6d7734eb1e63398b51120278a7c14255edcccbd3c931"
     },
+    "cpp.cpp.binValue": {
+      "merkle": "67b596c3106e666e4aa73fdf77888a8d335638402d6825b98e880a6e92af3cf6",
+      "own": "60a6d9314c6a1230ee61263af101cb48578d5e4f65b0f3f4b6970d982428ca0e"
+    },
     "cpp.cpp.binary32": {
       "merkle": "defa811bdea4b6beb5f275b6d0816428c933337d6c80bfa51997aa83fcdc1d8a",
       "own": "a232b2ee6182bb05047a7bcf5d4cfb0e324d8074e0bfc711c6bac1dcd315ec0a"
@@ -870,6 +930,10 @@
       "merkle": "1842da71fb1bcf098a960468618fed418a85ee3328305b77951ac0da37fc47dc",
       "own": "bff31031400b7d754110ae122b70446abab0aa4bc1c689f59f2b684100b208e0"
     },
+    "cpp.cpp.cinF": {
+      "merkle": "81a066f8c4f962339db4f748446cbcf8afe5e62f825f30be829cd085e5a80cff",
+      "own": "75d9c92a3fe66c2102e5663dbf36a96c76589fc8bcdc095e9dd0be1932e17af3"
+    },
     "cpp.cpp.cinGo": {
       "merkle": "ecc7a8cd5e25aa3ab36b41b706368136ef341c733cb0fd67803fe6b59b725025",
       "own": "248f7531b9d675f6a64288f5b181ae2b6ae71af1994b7c17a243aa20fd0b835e"
@@ -894,6 +958,10 @@
       "merkle": "1464e3db1309efd77e5f25addc125fdf23c5f749a350541870774bf6a9c0893b",
       "own": "5bb4865667e559e9644bcd66ae37e15a8a13fc92a19b8ed681f6cc2c7b0e9db2"
     },
+    "cpp.cpp.collectF": {
+      "merkle": "2c744c65458313342ce5ea0ccb637e02795ca04b391c904e7c4696e701028c80",
+      "own": "d073e795a7917aebf49e95a36ba0091a5485004c2b3a582c5dd6bcd84e9de58a"
+    },
     "cpp.cpp.common": {
       "merkle": "d898b4d6a3e3d2f9322e6f213956d9885e8036d3cbff002c6e51b520ab2f2259",
       "own": "fe8870cf3e9c5efa9ae7268a06a639c911b69713da5058c2cb840f7f88b70e57"
@@ -943,7 +1011,7 @@
       "own": "7a4594f014a3b617adff86f5f99da2c63adfe4bc242d3f586dfdbef7dcf34bc2"
     },
     "cpp.cpp.confMono": {
-      "merkle": "f84526da3a0bbc0cca43a920820b257793c7ad54b0b41f0aecee3169c5d3674d",
+      "merkle": "b3d545d2eab6c4fce51c6f58ca92452ac695d459ea7a14916d14ad3074d404c8",
       "own": "4e4845ed83f0b29898354143eaa615e42f01e6a52ab74253830a0c8318e72613"
     },
     "cpp.cpp.confN": {
@@ -1058,6 +1126,26 @@
       "merkle": "4ff70fff850da8a17dd0faef8ebafc3ab910e18369f3b8dbf38c45fb9f1bbe30",
       "own": "4cffc2a83298fb2ce4191abcd5434ca514fa1f9917fa5904115f5d4631b5b4f5"
     },
+    "cpp.cpp.deadDeleteAt": {
+      "merkle": "748b7555a84a99065aa1bd0dd49e8aa199c659f3d4a1ff30117b0826d39016b6",
+      "own": "f613a6acda6dfdc8755a991e78bd625eb7b7588c5d158d464b58bf82901a3c4d"
+    },
+    "cpp.cpp.deadDerefAt": {
+      "merkle": "1d04fb3af44e8b0de3ea8de4f4df86678b56659646135aaf9184843990ea2d1a",
+      "own": "81ae6e7fcf879c12e00180b7712c7103874f00345f5bf79ed2eadf93a2d92f5d"
+    },
+    "cpp.cpp.decNum": {
+      "merkle": "db92ba9d7c874981cafa7dd14e093cbe2996a1d550275fed197356edfe94d2a2",
+      "own": "5790b472337e966cc051f984cd85a31a6a9afa6d33f56e071f9dcb558aa42d26"
+    },
+    "cpp.cpp.decValB": {
+      "merkle": "ed9876a297bce17b939ca4ebf83de24cd6d51a3d3b59073cd7e585c6cc0462b7",
+      "own": "f58f617e57cc75e9957d2612e58be2156ad46921b60c1dbfe49f00159dac01c1"
+    },
+    "cpp.cpp.decValue": {
+      "merkle": "5d07d4db3aa869553eddaa6c0ac2feba4e9850f18a24aa6926147a1f9edebf56",
+      "own": "c6f18652f306cb14876464d452d9455fda26c38e9062d2f4578b3ed925ea7c15"
+    },
     "cpp.cpp.declArr": {
       "merkle": "3eaf2a3dbc7bfbd33d731370e613d0a87edb0d646cb9f61de6b31cf19d703a2a",
       "own": "112d742acfee5acee5f0d79410421c27c6d743dd21a6eeff02b6152b08ad0ce4"
@@ -1078,6 +1166,10 @@
       "merkle": "ddfd4b398a268ba377ccb626fb901bcff3c0590b20448f9ffd4a3c89ba77a404",
       "own": "cf799543eef6f49eda118360c71ab15a720df1843681880c304e3003f04ab69f"
     },
+    "cpp.cpp.deleteTwice": {
+      "merkle": "1e06a015a770e5afe2f502d81896e6c4889b33f2e5fcac190c956aa049d69b5d",
+      "own": "5698547a1287d6fd795e0ee6d928fbd4d88735cce713cc47cd15649abdfcf4a0"
+    },
     "cpp.cpp.denote": {
       "merkle": "509595cc82204a3267b85d26ec96bdaa5d668f9ce2ccac33d916b1da3997740f",
       "own": "bae3835b71efb7a8939cd29ec40702e3048eb227cf841058c104de05ac5109c6"
@@ -1087,9 +1179,17 @@
       "own": "4c02f563f19a5e7bf713fbcfa287886ee0c3ee63486d62adb7857e58bc2ae529"
     },
     "cpp.cpp.denoteMono": {
-      "merkle": "4e090afc4c96fe2d412f55ea32f7e4938d16d779317e66d07fbe56e6ed037448",
+      "merkle": "6625bf91419cc7aeb5cf63a04281a579d9a7c856d27ba8de5a1228c73a6daa6d",
       "own": "0d57e5452cca2555a75c0b6de8990b2b4c7b11e5a0ba3cb35a20f6d8aa912e9a"
     },
+    "cpp.cpp.derefAfterDelete": {
+      "merkle": "60352be8fa9c14b6a13fcba0af510affd6646bc141978384f4c41fd7364fba67",
+      "own": "c80830ca671e316deca37d5d68d1a23340404579b27982d339d73ee3edff6c69"
+    },
+    "cpp.cpp.derefAfterScope": {
+      "merkle": "ff9295b6c335d7de2b39235056bd31321faf95c5fc3181968b3ab3b96f455de3",
+      "own": "3e538a8c369f25eb424714242816c692e32d1d419b25311c8377c9d20e4b725c"
+    },
     "cpp.cpp.derefB": {
       "merkle": "41c431e3fbc2449b64ae06f9b7c3cfcadeb0202a2873387d8e46e8c12b496305",
       "own": "59f474be83b27227473a4adb4ecb73db5dcbc78a7d6c71c4bd291ae596318169"
@@ -1106,6 +1206,10 @@
       "merkle": "489ce1b10a6d5b7084ff74ca185655e40c269d4c8140aabdcb459b09605b24e7",
       "own": "5fb4b7346f41f6b6ec0f986bee57811df62301d44672d73c7cc31d38355ba415"
     },
+    "cpp.cpp.digitsIn": {
+      "merkle": "c5d04fa157ce718c00e6603e3ad780feca6ab4791f7ebc9b90445ec4a44421a2",
+      "own": "0044244af3af0e25b7900117197c789cf7a4cffdcf080f7372ab87b20aad0703"
+    },
     "cpp.cpp.div": {
       "merkle": "c25dce8a08ffad1401476e5afde888d957231ea148a7f1305607296240009f56",
       "own": "5257e22728d218342ee89c501d91fea5acad72c90b9a8d28b2532b1da771b7a4"
@@ -1151,7 +1255,7 @@
       "own": "90b13bc37b90ae57fe3c5c277556d392746c3cfdff7b454c004c139164458402"
     },
     "cpp.cpp.doStepAgree": {
-      "merkle": "067120cc2435617d8c6cf35ebb568a18058b46cb6f32fb6fbe4816a596eb1a06",
+      "merkle": "ce0e4246652ba8b37dfdf6b9e4e3121aefce1912a535d6932e706df8fa2c3f50",
       "own": "28eb17a95d51bef98b6852bb23b35fef09132ad3300f035e80763ca1bad53dbd"
     },
     "cpp.cpp.doUnfold": {
@@ -1294,6 +1398,14 @@
       "merkle": "5f5c0e2d2d50b8baf0a1a1f1cc29b56887219c0b414008ed4c3f74bef6b682b8",
       "own": "244f3d5d82676f2696dd4382cd3a0d29d231c28de46a95b21aa6cfd465f658e2"
     },
+    "cpp.cpp.eraseRange": {
+      "merkle": "f9bf3a5cb6f786083ee1dd17a8b46abc7134421b29933e8b4943acffb544cfd6",
+      "own": "849bf48cab846e14f200ab965363638325a61d161d618b55e36bff7f93890160"
+    },
+    "cpp.cpp.eraseRangeB": {
+      "merkle": "9e67001cb203142c5a31d0b7102da33e88ef619d95fd8d236d49b6d5c52e9299",
+      "own": "8e1b8029bddd6b63128130376eca868e3a7c0497755e42363566eb909a83a34f"
+    },
     "cpp.cpp.eraseV": {
       "merkle": "70a7a88d1654aa5af3260b6d5e97d913b966db665a6210ff5c5bd469e411142d",
       "own": "59d200d75c5588a1ecd6f9c94ec565a827891485a39ffcdf6ad8f9bcba9bb017"
@@ -1307,7 +1419,7 @@
       "own": "0ae3aaa81bf2bf7fd3ee3cc5de1e0b70f5a931964e6a91baae2cdce5e72e360a"
     },
     "cpp.cpp.execAgreesN": {
-      "merkle": "6a95362fe0fb9de3dc99bba09a6d784db97a4194d4adb33c0fc8f5bfd4a2a538",
+      "merkle": "98edbc29b9f0bcbece4e37612e95bfdd6b9315f11aa333c5489f212464273b65",
       "own": "ffb31cd64297c8c39184f7b42ea7b10dcaabeb8287c16b16521f996ad6478982"
     },
     "cpp.cpp.execDenote": {
@@ -1315,7 +1427,7 @@
       "own": "859ac644ac603d21938586b13743c68761870d7333751a0d6f7e672ee9fbf3d9"
     },
     "cpp.cpp.execDenoteLoop": {
-      "merkle": "2b82f84e8109bc01cfcc4bbda53575a1b97442e2bb70bd6ba23f3378916c7f8a",
+      "merkle": "5cc9ae81c2ae0b087fd1d79b68c5e210fc492e4fbea9fcc9e0bb1f1bddcf42c1",
       "own": "61760c7ca2c678c0398f3548ce871edb324c33b39bad93dcf8aabe078fd53e4a"
     },
     "cpp.cpp.exp2At": {
@@ -1338,6 +1450,10 @@
       "merkle": "9d236ae34756686f3df837b0688c4c412c5a42c535a8c2eab81550886d3c0378",
       "own": "0b923c27e35cdbdec04e2993a8504f0fbfe1196babcc8baa4210040f7a8aadef"
     },
+    "cpp.cpp.expPart": {
+      "merkle": "1acabd3cc32977b284422246676389dce4f70ab1e1d7d0fe9621189e5dbc1757",
+      "own": "cf6b0ab4769668628e621dbc8028ba0d1a446bf1743dee9db0d512a6504c9e4a"
+    },
     "cpp.cpp.expSeries": {
       "merkle": "f5221e7d3bab67dede2f9aa65502651628b944c9e24118b099846a75dedf3553",
       "own": "91c5a2ceff14abd3b3254f8e2ba2bc34bf5561272fb16f89756f4652bce58133"
@@ -1595,7 +1711,7 @@
       "own": "4a647556009264f40081d66ad2d5bcfd1b04f2e3c48ccab390254e9bc6caeb27"
     },
     "cpp.cpp.finishMono": {
-      "merkle": "a32f97fe4a49dc09c8367e34478afe778d39c6d5472a282a0155d5742d1f1b9b",
+      "merkle": "ea8675236dc677f440890294f54463495395c49d7ef0097f0a1c2b4d56ab461d",
       "own": "e88b70f1f6a615164535356b372adea7faf4578d46990edf4ab8522fe739c7fa"
     },
     "cpp.cpp.finishN": {
@@ -1823,7 +1939,7 @@
       "own": "f06acd2dee065427ef239427f7ff9edd33d51da5a9b679da5dd96d401b122d8b"
     },
     "cpp.cpp.forFrameMono": {
-      "merkle": "221df27dabc0135961c9e5bb97bd58585c3715971de8551425fd89e86f3d36b9",
+      "merkle": "b73198a4a5fde5f2f7795a971e1a01d59a0263df5fdee830a2e09b05b5bf94ac",
       "own": "83cca7c005c54318992e709172d6bbd1344a0aac93898c396b339b4c27266906"
     },
     "cpp.cpp.forGo": {
@@ -1843,21 +1959,33 @@
       "own": "97cfe3c7b4430ec5cadf5d8cd897a8fa1f121a2683b47072fe1fb709009690bb"
     },
     "cpp.cpp.forSame": {
-      "merkle": "fb512ecea7abe9a7b49e2af5c192d3421d9ceb6c8511ea9d543e63c196c32997",
-      "own": "44c972fecc30628534c2b398f14baa296fc4c28e2c049ed6140a8aa0b0229069"
+      "merkle": "6717b99caebdbdbbbda90e7e003c62862ad3ac1b1a81ebd5c46346a25aebf407",
+      "own": "9af5de1db3fd1c7f6943c453bff40141d0e24a1c1a9bd6809d8f7bd4b54f7fb9"
     },
     "cpp.cpp.forStep": {
       "merkle": "b89bf0315006cd56c37f399cbd0c6b02e3e83510cdeb4fa512b67a12d196eb34",
       "own": "22458f0f81e07836dd06949cbcb8b756a3f5600163cd1cfc5b2443b2caa495cd"
     },
     "cpp.cpp.forStepAgree": {
-      "merkle": "2b8840277fd70b64967218c171030f7fdb1c3a8bbfc63388a22d8b69b704b6d3",
+      "merkle": "157853e61d4cc89266955f4f1278022425504e8eb4f9944e21c72ab3f07bb377",
       "own": "9a557cc3db3fed68dbf61279fda9985e370fc2c3713072d9835b51f37246f688"
     },
     "cpp.cpp.forUnfold": {
       "merkle": "25daf5f535833960cc37bdd348345d75205046c678a09d3f35f7d8bb840a0040",
       "own": "cdf1d859afba722109a32d4a9a0eb441d540afa3a042ecf7057095b9cd4d4a50"
     },
+    "cpp.cpp.fpErange": {
+      "merkle": "3aa0d5ff95ec97189f89f9438630e4b29b429568821644eec7894fb12bed786b",
+      "own": "8857dd14be33141b2e4b181e2eb29f0669f0d5f34a38349f095547e1e2f0593e"
+    },
+    "cpp.cpp.fpUsed": {
+      "merkle": "3ff51693f917e7128b92731319a92f58d8fc19b9167b0ca8a5c7f055c65ae71d",
+      "own": "a347fad651232c27d4a8a0d0467ad2c476cd478a4e7482e3aa8bf8c98405459d"
+    },
+    "cpp.cpp.fpVal": {
+      "merkle": "bcbda2dfab3f89553b5c132d5324475896d8d4f093fe175c5cf7ed807f1ee0d6",
+      "own": "ab913f52e354f7e42f85c5563ac696c6174159ac0072ce8b7bc2e7bedba980e8"
+    },
     "cpp.cpp.fpow": {
       "merkle": "b6b7447ee62c16782521f15842d6a99319f0c4d9b394c6ceac0f3f5a95240b35",
       "own": "19369025115c66775d9b192facac1905819358e8faa20aaafdb2094e737bad49"
@@ -1978,6 +2106,10 @@
       "merkle": "19fff09e4369064d582c7a98bcb5e47f155c7af44f369dad5e808682b62c3999",
       "own": "2d24adb32bb82e49ebdad42d22fcd50a968354fcd0641cc0dfa388b787d45e85"
     },
+    "cpp.cpp.getlineD": {
+      "merkle": "cb8dcd2fca9b55164460c73a582fec023846bbfcafdcd2cceba04802f1eb584b",
+      "own": "eaf5cf1e6fbc7e971dc5bd45671aeda0b4a914b9ecf529cac0262d8b7ef178e6"
+    },
     "cpp.cpp.gtV": {
       "merkle": "3ad5c904935d49df91e235697f84b5563ba634eccff66aeb66b8f951313eec6a",
       "own": "4779c91e99221bd21d48b9e870556716321f29053bf5b78435c41ff74621c8c3"
@@ -2006,6 +2138,14 @@
       "merkle": "88d674275de34211a0bdfdb7c6ac7dc9bf7e8ddfecc1371d837b6be2065f59e5",
       "own": "e0b745e391ad768f140bff1eb9b46da18d28c61e930e19b7b732691cb54eaf25"
     },
+    "cpp.cpp.hexNum": {
+      "merkle": "47a0978f83f519b5f379f7f22a2493e03a39d4a0563b9357aed6580611ddf96d",
+      "own": "8cd45a591dbd00e92f0adca1b6394d9edbb7806b85778c9906b6e8eca4dbd934"
+    },
+    "cpp.cpp.hexValB": {
+      "merkle": "af4d057092558c644240a5106d6082b7e2fa6d4079ce74cb65578b62543d3511",
+      "own": "6ecb80b5c980c5b130c9c63d0267ae3f0013bb1b4ffa082fac8e1cadb8712bfc"
+    },
     "cpp.cpp.hypTry": {
       "merkle": "eb1f0f3eb75ac9f22a4c117ad4449fc38c9be6fd41df48ad049ca2cbbe9348b5",
       "own": "351d7d441d9ff7ee0eeace3b5e5930fcd41c95a8aae84e9144613aa05a479a17"
@@ -2042,6 +2182,10 @@
       "merkle": "1034d94eacb82adfb90d361875c4a1e491c7eae0c4b6523c6997c393079a8c98",
       "own": "5356c5242dc19d4a2eae185345e6f33023dd53c44b1958fe13fd27c0a9ac7ea6"
     },
+    "cpp.cpp.infNan": {
+      "merkle": "57d2f83ce851b1a69e9cff1c71d6d2d82afd1ca9877626bdb7cdfdc9d0f04eac",
+      "own": "f6598efb6d224f03e2500962ca5f053cb855dc99eba24a6387ca85125ca13fe1"
+    },
     "cpp.cpp.initB": {
       "merkle": "82530a4000e32a99996a6ebcab2836f9f776b1669db022a1510cad7bb3abe008",
       "own": "683db7871033280059f9d628b630a290d390e56b69003d74c2785b7ef5b8072e"
@@ -2070,6 +2214,10 @@
       "merkle": "7f62d8f0cd3c8062d569c5ce5c63497df8508b5eaf43499917bc2c19b7d702ee",
       "own": "4118edb93832b60fd630423eb3881dd09aec4d07090adf8f91f6215c2d369b00"
     },
+    "cpp.cpp.insertNIt": {
+      "merkle": "92eaaf299fb614ba24227b676c7e2829d9ff00c3cb8a02f123a473fe09836a1b",
+      "own": "4cdcd3e479b1d077fce67dcfacae3b851bd7e23b7d6093e420881834b4341fa4"
+    },
     "cpp.cpp.insertNth": {
       "merkle": "918f64322976567b21f7da8d1974bd92d8ff71776129feaa0e3f5d7040111d22",
       "own": "4afc2d71362f0e4161c89143a45279f67cd92ea601bd09ca3248cfb0a23c1e8e"
@@ -2110,6 +2258,10 @@
       "merkle": "5dac4a07c3a1836b9446bbb62b0586b6d5b8bd3c3b236d1c8e020cc6594d9f06",
       "own": "0512b715485dd2ddf6ff4be63189f1fcf7771232c61ccd31d5c5d17238395f09"
     },
+    "cpp.cpp.isB": {
+      "merkle": "dfe81d0c457ed5ba36dad0cadfbb96d78ba2104ac0c76220368ceefc1da7b2fb",
+      "own": "b9b58c124b1b8db31c924adabdf26794d8c1c16702683774e378764ea4334077"
+    },
     "cpp.cpp.isJustB": {
       "merkle": "379c414abdd3805df9ab007fe14336f0667ae7eb632a7cb14257e5397b10e495",
       "own": "723c13fd5439da1e5db023621443e6137c438411eef4c7ba727cc735fd13f68b"
@@ -2302,6 +2454,10 @@
       "merkle": "62ca171bba2eea2c9d97eb02fd05a87b91d534caf38cbb8ba4a600af8b3b9cfa",
       "own": "7307545dfa1a290daf10b6d3a27958c51785c9a120a4b1e6a12e0fb7b7d3bd86"
     },
+    "cpp.cpp.lenDropLast": {
+      "merkle": "9b58946dcea6050002c97892879ecb24537fa862b96eb7f9d739857de3e75b64",
+      "own": "3d5b697d690d91427ca281894dca3437c94dc6233aeba3790c614b6affac1393"
+    },
     "cpp.cpp.lengthAppendL": {
       "merkle": "d3794b059a7a2bd8eba6bfbc00b222f94aa192932d2ae5653613773c98e8f68e",
       "own": "06403e1fa61f9c93ec36d8a3a001a45bac21b638cba388c5cbcca3ed16fdc903"
@@ -2370,6 +2526,10 @@
       "merkle": "c61ad19f1d0db07de2bb91dd7d7ed0889d4186fb592d82ec75a69bc8dddfb281",
       "own": "a82c3c3247e649f483dd03385723563a507df818351d278669bed6e1fd0f5f05"
     },
+    "cpp.cpp.loadDeleteOther": {
+      "merkle": "e10445694e449ada3b7fc3ef25a0c99fc5059e98e930aa7c2098a3c97729de95",
+      "own": "1105b8f1abf4f14d6b9a021e00116d4114869b7ecab89d785a3ebbe99a5edba2"
+    },
     "cpp.cpp.loadNewObj": {
       "merkle": "ace75c6f511d3b3307d8ad7c4ca6dbf0c5b9c1fab31d8068cab81f052ea05248",
       "own": "ac928e0a3f06ff850a6b3fa5bcca4b51323b8fc4144a254747d0b0ce8f919554"
@@ -2462,6 +2622,10 @@
       "merkle": "109488acf500d224da29e1ea5e61fb357c6837843180b419eafe141f9fc4faf7",
       "own": "62396beba73d62a4ef9110253121ab3e520d4b91ba79105d4faa1cc5e997ddf0"
     },
+    "cpp.cpp.lowerB": {
+      "merkle": "7c2ddc955f942a2d7c8070d890479baba48e4a31c247380e10b30c60e1f6720a",
+      "own": "a350b04a214d273680a66698bdc4b9fa4ea9fd6e39da23b83b5e6417be9c736d"
+    },
     "cpp.cpp.lp64.Int": {
       "merkle": "830a776c42b702fe9984210179b83bd8b6b9db97753998c497a77e73f63307d7",
       "own": "ca53ec9d050dd3d2bb09750705cd5a4f1cdff63e4c9aa6e7a8ddf2b10aac2e27"
@@ -2634,6 +2798,10 @@
       "merkle": "8a89ddb4f685424d12ed6d9c97340bfb82b42d1dc5de42270ee49e6d2ead0b38",
       "own": "122bd86045946dc4957e5ab007e0e2dea3432b27ff054d41a067fa6b16dcc8f9"
     },
+    "cpp.cpp.memN": {
+      "merkle": "2eb7a8c924cbc7876cf4f5a7768bc25cbc9302b1075c808acd1d75bd7aa777b0",
+      "own": "a824186e13d96e26bddee1cacda4cd2b122edcf52c77c50e55ff9de18ad14d04"
+    },
     "cpp.cpp.memNew": {
       "merkle": "79d5bca0dd88261a299908f10a2c14a29bcb13961c1b99d76fdb7d5848b07a3f",
       "own": "4709635877b49ccbf27705340916d69ce0ad7361e1bc3436f0d6b4a045a26d91"
@@ -2782,6 +2950,10 @@
       "merkle": "52be169dbc49e8af18dbedcc7870b9f6a41f5954cb2f57e5d7dbd696f3b8e662",
       "own": "c0d6d7e659a00fecdf49c6e689dc3c45925894863eb5035e7d968fa7f58b2664"
     },
+    "cpp.cpp.nposV": {
+      "merkle": "4d38ea87128e21aab09e8851514c004d73d6a25f7ada8ae8e745ed8e36bfdc44",
+      "own": "0dba07841472160acbd655b0e522f0d250679752fe437efcb7727cd6b4efdf06"
+    },
     "cpp.cpp.nsub": {
       "merkle": "47e8765583ffa4e2b693e1cb45366b36db9af2e0e99327ffac7d5bd2e8cb00de",
       "own": "fc60dfc162b5dc4654d7c9f6558429704aab51502b196f45731a5d539114851e"
@@ -2822,6 +2994,10 @@
       "merkle": "1104103f851548bc4c43a6069bd68da6e36d7b2c1e2a725e8050bd14fc588e07",
       "own": "1695970fe5bf60c7bcc7e4ec240615a8edb67a8e482a46fee62f1d031681f096"
     },
+    "cpp.cpp.numGetF": {
+      "merkle": "6625699ca96b689ba4f5f42369d46a671875bef31f5586ac0cbf772547dbccab",
+      "own": "44f71546685d2dd57f34b71b940739290d27ab5a04c05cc8a5445d283095af0c"
+    },
     "cpp.cpp.objBytes": {
       "merkle": "698de08c2485a4cfdd370c7c4c57f19cad202a09d88700ed5a2adf33e4078bdf",
       "own": "8843b39996c42f7d7b699872e161eef67ed544a89b2d7f9a7b0d140161aa6d2f"
@@ -3090,6 +3266,10 @@
       "merkle": "87a467fd7e8bc7c7db3566288a95cdd11172a66566757773a5b09637317b6967",
       "own": "b2f3b3b765a47cc5625e70ca33b7d607591f9049caab9cd21f591716c0565ac6"
     },
+    "cpp.cpp.rangeErr": {
+      "merkle": "33cb293597621cf07f8d39c7c37571d016dcaf7f78d34206a5fa8283d8def0d9",
+      "own": "1c7dab4265665e56fe659e8f012fee5ca5074b634c433254b90b02676169991a"
+    },
     "cpp.cpp.rankOf": {
       "merkle": "f1e067d799066a4310b380df0941d9c83694a5171d54a421e5b576566b46771e",
       "own": "a09d219d6a028f7dd474f27afed92ffe2b666978f8d882e0f35433751159c3f7"
@@ -3134,6 +3314,10 @@
       "merkle": "d7da61d9ad9c0b56258997090955305d4a962c695aaeda8f3d9db0033eeb745b",
       "own": "d97ae355b9476219c5f5390ff1df13d5bf87d17c127f41f51952224f4b4385eb"
     },
+    "cpp.cpp.reserveA": {
+      "merkle": "b8560c50d0dbedd234780b143a76e3cffb33e39147a93f2dba4fa5d6a8dd06ac",
+      "own": "bf1e4ea65f75cd99e464757dc94c3ba12bea835087dbf2516d23c5626db396af"
+    },
     "cpp.cpp.resizeA": {
       "merkle": "9cf4316f6505cb047aab5da552236b109785435878253eba59a98306154ad84b",
       "own": "09a73f3387469e6655d31ac4b3f5c55ed04791ed8fe6da6b6025a71352e44b09"
@@ -3150,6 +3334,18 @@
       "merkle": "f81910fcb80c1322fbc7134f4c5da941ad03dec52ad7a0c1accb7e6bfce400fd",
       "own": "ececdc52f770193c7f638c6c44f3e1be424de3c493a7a1a99b84b4b69f845ee4"
     },
+    "cpp.cpp.rfSt": {
+      "merkle": "cfdca374199ae96d1d12178aa4fce2f158fc16c1e71ec4f59192f852cfdca5e1",
+      "own": "edcb10cbaa9595db019c3cba721d7019bf25c6ba8e192e67ee64b7ef6853223c"
+    },
+    "cpp.cpp.rfVal": {
+      "merkle": "d03b5e506e5e7f831652d141ec428f0d639491999ac9cce4e17b263f808bfb61",
+      "own": "2e670006d957695808d3a5411d966525e6db3ee2ca2c3bcc2d8402e9416d6f63"
+    },
+    "cpp.cpp.rfindGo": {
+      "merkle": "10163f8e1bf2660766a876c12a57cb82439086081c8d24afa464528ec67f66d1",
+      "own": "774405778185c9a82ce46a64e5c8e813846e88f941f2af07a96b66ceb63cfa5b"
+    },
     "cpp.cpp.rne": {
       "merkle": "03e918176ead3c1b197d3b80516107072e1025f3f30197219db549f28c12fe0a",
       "own": "2d4b0fdd58876d3713ec253e3262b2e7420a856450c6a9d1400ef3b20ebf3b49"
@@ -3402,6 +3598,10 @@
       "merkle": "16d2c3fa6c392acaeb652596d361f7f1c560208a1ef2382853bdec70c031e2c9",
       "own": "b1e8f12a67b8e97990a11e62d0767ce1cbd8a3e214b72c61dba64a2d6a849c37"
     },
+    "cpp.cpp.sizeArg": {
+      "merkle": "9f40dc7ccf0fa36ed20e71dd6b53aea02591de74ac3147350623d63e595a0bb6",
+      "own": "eae6dfb9b23d3fd55bacd1355ef8d86cd016300b9b34c6ecc29cef72c2f5cd15"
+    },
     "cpp.cpp.sizeOf": {
       "merkle": "6da5866f8fb0e7cea658b89da84b6ed7eecceb22d9e7f3da25b185ebcb6437db",
       "own": "17f99dc2224ac3cc7727ffedd804ecb32b886e0b369adae09bfb3011abb502be"
@@ -3462,6 +3662,10 @@
       "merkle": "ada668bbd18d584252f656188577dc8d1718984f570472b07330760d6eb647fa",
       "own": "c69674c14e2c43e0a1eb14464e1f8ee6546ba4b50e2bc47cfdb5d544d35601e7"
     },
+    "cpp.cpp.startsL": {
+      "merkle": "335af703ac91a793ee9b1d2b2e7ced11d7f0b8eef5fa5ac9f6b699aac494a090",
+      "own": "e6c2a186c357e44e29cbe67415fa03c782c1df8efc6278b183737379fedf9445"
+    },
     "cpp.cpp.startsMinus": {
       "merkle": "018c632caa2df0248105d0153c116b0131351cd6a507d6b2d632c7de903e32ee",
       "own": "1a4f9a0bb9f0c1a4dfca1f79cdd69a3872b8e45428771dd865cf41fbd15d3627"
@@ -3483,7 +3687,7 @@
       "own": "12b33d4f4e60a57e4f7bc17e3f955a7f89d2300e55dbe263a9f4de0553c3c063"
     },
     "cpp.cpp.stepRunAgree": {
-      "merkle": "b35ab29eb61fe3500ab8c006f5c03d2eaf5c2e3b86a5fb129a82db3765a1f0ae",
+      "merkle": "86e818b30b47a0627db6f49f67c35fbd98c8565592172a5701764791d6d2e83e",
       "own": "e8950f914395e3c262e619af4df890c0e83d026950c61c3f4d660a3ad007d7fa"
     },
     "cpp.cpp.stepRunLF": {
@@ -3522,6 +3726,34 @@
       "merkle": "4e7bbc3e61146690b10686f04f53560611971dc59a1cdf7f5f99e77fcbea70fc",
       "own": "bed35f742ab3070b06390b184919ce296e8d75109d498a56d8e3138b27b76281"
     },
+    "cpp.cpp.stoOkB": {
+      "merkle": "ba84a43701b838a6c5f1d971030d6b76fcc459918cf77d5bda282809c6a4813c",
+      "own": "d7b1f78a56017e50ba8b66ccfda4f0a8353e77a70d79ba3100de5f29d9f86f7f"
+    },
+    "cpp.cpp.stoT": {
+      "merkle": "cfb85bb6a8418084ff841f49f0132a66eb37d448f5e30c0801a02a7d561aafe7",
+      "own": "0cf4f643032753c09e3a1f2ee7edd80e935b467f062733cb17648a649bdf8f6e"
+    },
+    "cpp.cpp.stod": {
+      "merkle": "36f46a248a41f5036c69acc9bc1968a351da748cac4f865b8364243163ce0db6",
+      "own": "6ca8183f53951384842ca8d671c5c92c723e3158d528c0a07d23912e07fe3968"
+    },
+    "cpp.cpp.stodF": {
+      "merkle": "7c24cefa6936c6d031040b25e78d4ace4fa752a942eb2482198ab0c14593af54",
+      "own": "dc3aa215bab9531e8f7b1e906398a93ee8b57303099c672fe2c2152aaedb1c9e"
+    },
+    "cpp.cpp.stodOkB": {
+      "merkle": "159867111dbde48058ba8dcaea2bc852ca0fddbcfb2ebf62104d82e19a67c8f8",
+      "own": "1a8c1ab799da2e6cebaf4c8634ec7aac0c2fd2dd3682edc86a73153314b4f33c"
+    },
+    "cpp.cpp.stodRaw": {
+      "merkle": "abeceb85850d53fbfd5265eb20e55e2762d8efc69f96ad89389084a8ee4d5309",
+      "own": "283cb9eb35cd1c7cab9957ed135c1c5022d58dd83398b4d5ba35f128a05ec273"
+    },
+    "cpp.cpp.stof": {
+      "merkle": "706584c905e7d355e3d2294fc40bc9400dedfcd3fa96c874ff9e56c0cb3b751b",
+      "own": "3dd24a2a0ad091f412d8369c6c087d4401c2322a777408730901f4c91cc1a3d3"
+    },
     "cpp.cpp.stoi": {
       "merkle": "60ae71e376450cd64f1e4bbe3dc862c3879f3fffce9bf045b862eabd0e9e8054",
       "own": "d62e6cf31cc60bd5e2780c7e691d7a5c312c971d97bad9b3f8ad2713c42ca862"
@@ -3538,14 +3770,38 @@
       "merkle": "8fa571599bc904d774eee066e1801b8bd5f332daead38c50a7f4d9756c56dbe2",
       "own": "54bd7a228a618550ac744fdaa0cd461d3cbe782f6be50f4a583411135c0389c7"
     },
+    "cpp.cpp.stol": {
+      "merkle": "43c8d01ff1a01ff036f1ef7f768c958dc2f55c9eaf8d6f23cc35314304ff5987",
+      "own": "24c141acc629008ca9de673ece68c79e5722fa19309fa8ad2327cceb2eb3ce63"
+    },
+    "cpp.cpp.stoll": {
+      "merkle": "9dcd2d187b0113093928f81594eee93fc622f1cd317c3cf26cdd990b2329083a",
+      "own": "1016e71aa2e588f6ecbfad779fc98351a7041c08119d4a130514982818e28603"
+    },
     "cpp.cpp.store": {
       "merkle": "4383c40a95d4dff7b64637a698b9c48ac61039e7cfe6d0eac4419e71e7fcf284",
       "own": "f9dbec514456fb8a597f394fd81e1403e38f5b024cadf0e6a7d7e4d658f888c1"
     },
+    "cpp.cpp.storeAfterDelete": {
+      "merkle": "78162d7096716deee1f7eec72838c5cb915c8167da7d71e2f1f5b22ee32e84c4",
+      "own": "be8413582e2845f3cb6e5ea151cfef2a68d93f9b107d11b1ceabf5aacf6f7ffe"
+    },
+    "cpp.cpp.storeAfterScope": {
+      "merkle": "0f606ad3df07945c33b3c8acf97101098c9170064d1687aeb90d3113005ea076",
+      "own": "33c7d015b45e50132cda8cba477c64e4282ea4bd2dc2d1f27bc82da7661c98c7"
+    },
     "cpp.cpp.storeAt": {
       "merkle": "a19235d8e89569ff6326ae1fad0366b8f335408c93b8271d2277b1744fcb271d",
       "own": "2c2f8ff26754c83537a077a972551817f1f88a8b14ae55649cfe46bdf26124b0"
     },
+    "cpp.cpp.stoul": {
+      "merkle": "d1b431ca7b1703515f1f817178ff27a3c471f371770fe710642cbcdad0a3d5cd",
+      "own": "22b189aa43d62ff30ceb28caccacab5750703a4d22bbe4dbd98c25b5f40f132e"
+    },
+    "cpp.cpp.stoull": {
+      "merkle": "0fc1d9c1dfbd41be5c49284e1e1f7b2cf607089bdf8d07575341c7427f0bd961",
+      "own": "9c866c5d92cbc04c81bfd4addd11e0541414a2462d6aa43ac391ea25c8ac794f"
+    },
     "cpp.cpp.strAt": {
       "merkle": "d519966299740af29757c7e99e16419fe924c8647d35f4b072815ff835668153",
       "own": "f04d4bda24159f8ad4d6fdc2b36c2460f678a0de80bd59dab9474b81ebc814f6"
@@ -3558,6 +3814,14 @@
       "merkle": "adf41f8e2cd26171c7e9e2ef9faf290b8a31f75f25f1e36f0605ac7054125c4e",
       "own": "567d0f791df7c48cea3ea40811f89efca8c4607ecb30e42cdfaa43d987ec6332"
     },
+    "cpp.cpp.strCatAssoc": {
+      "merkle": "406ecc977a3df5ad950059521bdb21c747ab11671df5bd170194d4049c67d7b2",
+      "own": "83c125476cf2827d643bf803f23be46df0c7d43b6c774a88aa0fcabfbb7ab8fb"
+    },
+    "cpp.cpp.strCatLength": {
+      "merkle": "fae21460144ecb1d09e18755c2e2c2ea86484ca33fb135ad9025c46be79eedf5",
+      "own": "02da810e098b03491c5e7a50b25ea5da6e10c42b25b9302ffede12a12eade1c7"
+    },
     "cpp.cpp.strClear": {
       "merkle": "0290b2447111997d1d78d72efbb21f651fda7e8ae3af195a88f54fd08d82d6eb",
       "own": "936c2b53eea6fc7d8576578be0243097444c186223ad9d6686aa23ae1324f2e3"
@@ -3582,6 +3846,18 @@
       "merkle": "6b3abb7fb48d2de9019fc9142f1acdb9fc19197619980ef570e1ce003eb6c4e5",
       "own": "da1a3c6b0e49ccf87de178d4a2c71e6bd19a60ead095518daf58d3d1ccfba580"
     },
+    "cpp.cpp.strFindChar": {
+      "merkle": "8443299efc864a079b73902a6c6ca381b752541faccc1478f87b8479206c8015",
+      "own": "48ac337b749c51af5850145a5215317e119fc483fd8ed7ec364aa056091050c2"
+    },
+    "cpp.cpp.strFindCharFrom": {
+      "merkle": "d6d314b9adbd3314e900cfa5e2a5f4acd0e1ab2c0a636fc54e36426430c1a5a2",
+      "own": "22fe2becab0e94f563112df37bd98b0b07dd36253f10340ff5a522b070155f29"
+    },
+    "cpp.cpp.strFindFrom": {
+      "merkle": "ab7a34032e7d343e54c7d6a30e0130047130c5e43ab792e709124399de37f642",
+      "own": "96ed4d02f260375b3702eedcb4cb85a6545747f531b3d01d8bbdb75123f81832"
+    },
     "cpp.cpp.strFront": {
       "merkle": "b4b7785a6ae86352a17aad90a011efebebd0c58049f2d2965e487554da12743e",
       "own": "4125e089ec1689879f7d45264542d52dc04d072666b73b126c337cf135b893aa"
@@ -3630,6 +3906,18 @@
       "merkle": "7613481e7ed38779f897d17bf7ca582d81c5d8daded470f2009834df2f1367fe",
       "own": "ed68f3c42c5ceffd78e6922126d31f70de851d45fb8774b6818165e0daaabd5e"
     },
+    "cpp.cpp.strRfind": {
+      "merkle": "3aeaced0364dff81df83c12132cd055679f093fe7ec88f5c4afb82a0717f27d5",
+      "own": "17645b4f8e572f75c7b5e34c93ac220640673caebe475b080f0ebed3bdad4d98"
+    },
+    "cpp.cpp.strRfindChar": {
+      "merkle": "3b71c9046af1a170d0bcfa59890d749e9c35b010dce502f17fea445ea1b067da",
+      "own": "767801e0aa99c4526cc2e82ca504153e7d4cf3ba392faba090139421f9de9d49"
+    },
+    "cpp.cpp.strRfindFrom": {
+      "merkle": "6276f3e11c36622341c3a67a345852946d33dee6eb5bf7240b85aa7dbbbed5be",
+      "own": "6c0bec13c1ff2f499e9efff6f459c2dfa171b5bc479872ccdd5b02ffe1a739d7"
+    },
     "cpp.cpp.strSet": {
       "merkle": "fe135ff6e94cabfb643c6744a49b18685a0cf2181b30d28a808cb77e502dc326",
       "own": "8055e405f61ce8c9e0efc2668fe6eedd118ae71128eed38ea3230305fcd4ac18"
@@ -3666,6 +3954,10 @@
       "merkle": "8054e13b4d8ab769b41f14bf7fc21f69c43ad2082581416e96c427d2a0d0b09a",
       "own": "20ecb92cc21f4cc0367951266096da3c4142026817879aa07ce05ea9ce90aec4"
     },
+    "cpp.cpp.strtodNum": {
+      "merkle": "9c050beaf6b649f62e42a283091b369b8a1337aa292dcf83ca01c89835dd7bb9",
+      "own": "f1eb17c24b51cb94eefaa65def1bbc3bd86890ee5be92b73baa1de99adec11cb"
+    },
     "cpp.cpp.sub": {
       "merkle": "a0dde2ad9495663248cf9022828c62a28f41ba1a08f2c6cbc3d3b14134cfa91c",
       "own": "d607cfd8f3a5924db4b3183896e56379c315aa87f93ce117f38aa1ea45450681"
@@ -3735,7 +4027,7 @@
       "own": "900c94554c7ea810a70e165938842bcf6d13385d90dd697bf6b049d7daa52a1e"
     },
     "cpp.cpp.swRestAgree": {
-      "merkle": "d2224e423165237189a4fdd960199af0223f265c3b124122890d018c7c0c43f0",
+      "merkle": "b5fbc76249303dd3d5ec15f7f137a01fcbde74be5682ecac4e570b54dbad1845",
       "own": "9ec4d71ad19a085252aeb67bd55a4c02a19bfdc74a741c988a3ee001b5eacafb"
     },
     "cpp.cpp.swRestStep": {
@@ -3751,7 +4043,7 @@
       "own": "cecba7a717382fe6fe07d75e0a05bab4040c2698b997b173b93a960e2bb5c98f"
     },
     "cpp.cpp.swStepAgree": {
-      "merkle": "6c451a7158b9522cfa351e402f4ea7db3fcac792571efb8abc60c4cad200ef98",
+      "merkle": "0a53b9dc6d6c5d3c4a0ed58d38bb4429fbbe0881941156d6b299bdbbcfe7bc0e",
       "own": "74afac5bbdb00df45e448c8cc09cec38a0e822d47097db01060146361134f868"
     },
     "cpp.cpp.swapAt": {
@@ -3822,6 +4114,10 @@
       "merkle": "fd60b83a0bd9963c3f50b54627e1e7430b978490391eddf137b8161da8c99670",
       "own": "6fbd06a5deb1c6aeaca134b39bfc3a8ee54301a86de02cea7039b904ef8980bc"
     },
+    "cpp.cpp.tailB": {
+      "merkle": "585a384eaa5f679d82c50beed789c509e70ec2aac536b327713834d8c461591f",
+      "own": "534cc170acfcb352ae9be141a4428385d856269959e10a69549e6312b8d13779"
+    },
     "cpp.cpp.tailL": {
       "merkle": "d79c494cda1b8085056d7b85e8b22da5b818661c14e295ff9248c890b67f4627",
       "own": "e35401621ad4bd5465fc41eb9d6a1986d3238b69012d2913dc2b93ac1ca6e8d4"
@@ -3830,6 +4126,10 @@
       "merkle": "9a6237cf187507150ad16e7c27231eff90b3869cde34febe4c05b7403e9fdb28",
       "own": "484ae1371f02dacc53233b79c7b1b87461ddcd2accfca31c8e2b431e3fa6f75e"
     },
+    "cpp.cpp.takeUntil": {
+      "merkle": "24f4424be78ff5c78188a53b49853d9697f10922fee3c2fd2819052d60039f34",
+      "own": "17bbfc031d0fe48a732b3732be3c543d0e6d6d114b62c062d73d5a090cdd9834"
+    },
     "cpp.cpp.takeWord": {
       "merkle": "980c708a8530ad465a9ceeffd10ca5af8a7ee1a4e5ab11d5c1dc568b080da6ea",
       "own": "09aefe9d093ad76ffc4c3b1192397c5f7e072755c18e2f1d002ba756b31f279c"
@@ -3890,6 +4190,10 @@
       "merkle": "ec450a46604896e4afdfdaa0f67c83c086edf8268b56e134879385b3ce469482",
       "own": "aa00aa9f82ce63287f7432726ad708c3e169783ff61aa1bd7a8ff8902e90acdc"
     },
+    "cpp.cpp.toStringF": {
+      "merkle": "72982de5eacdbc71698de69908dba98d1f34f2e511558320072fb55564d47401",
+      "own": "fd07804d09cf406bc3b4a745e2f42ebb59b1a615e75dfcc3116bf0241a1c7be5"
+    },
     "cpp.cpp.toStringV": {
       "merkle": "ae1d83e83edebcd3088ab15c6ce0c266f4f316f029efc8b79726ac220f8ccaa0",
       "own": "464f77775fe0d83006c42b91aa158e1ed1a396d373f9216dde7d2b90d94a8fd8"
@@ -3991,7 +4295,7 @@
       "own": "22317cc2c19846c694c01346bc20d897a0c80a6936e65548598731f5b6019e81"
     },
     "cpp.cpp.whileStepAgree": {
-      "merkle": "2423c86e27f024fbc26a77106ac85b331df688abc1c7126d639e52de7eb16154",
+      "merkle": "ec150c2bb333aa4e8eff87636c5c504b228b3af3511fb4cf18af485f52d04282",
       "own": "0dc9b22f727d098e97b8ccd6dc3ddec8b652b456a55f9024a1d691bce509c75a"
     },
     "cpp.cpp.whileStepAt": {
@@ -4070,6 +4374,10 @@
       "merkle": "303c57701f7f8a1eec57c315f1d423575f1509a9e4dbb1946440be68be638c56",
       "own": "8f6b82db2839196bd036eebe7479434cbb43da8cb7f6911677e2b20d026532ba"
     },
+    "cpp.cpp.zeroF": {
+      "merkle": "36164aad6ad24d9dcec66e60be519985e56990ce805f2b32410e1ae72405ea28",
+      "own": "5c26d70bf0c4c99449aca5496b10012f571e2e33656ccac91e279880daa93aa8"
+    },
     "cpp.cpp.zeroV": {
       "merkle": "4e54c9d0115333794f82565362892364f67240a8a7a71c8189d7d5d0ea2b087f",
       "own": "d142e34c31f214988c95aecdd65bee68f2a6d4e56d55a52e2089f2e84fe0391c"
@@ -4098,7 +4406,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2327658,
+      "bytes": 2451660,
       "deps": [
         "cpp"
       ]
@@ -4106,7 +4414,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "cfa14e496df4272a",
+      "checkerHash": "fe5a6d3009b729cb",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610081453",
+  "version": "0.1.202610081556",
   "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.202610081453"
+    "cella-lang": "0.1.202610081556"
   },
   "cella": {
-    "checkerHash": "cfa14e496df4272a",
+    "checkerHash": "fe5a6d3009b729cb",
     "cbfVersion": 19,
     "modules": [
       "cpp"
     ],
-    "packHash": "722e6ccb54de576a"
+    "packHash": "33ac70bdd5a9ec1f"
   }
 }