@cella-lang/cpp 0.1.202610081421 → 0.1.202610081530

package/CHANGES.md

@@ -18,6 +18,23 @@
 - **自然數次方加速**（`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）時，前置條件寫在函式套用裡會讓檢查用光預算（判成無法判定），單獨寫的時候正常拒絕。
+
+### 輸出格式操縱子
+
+- **`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` 不變。
+
 ### 迭代器
 
 - **API 改變**：vector／陣列的迭代器從單純的位置（`Nat`）改成 `cpp.It`（位置＋取得時容器的版本）。`itBegin`／`itEnd`／`itMove`／`itNext` 回傳 `It`；`itDiff` 多了容器與前置條件（`cpp.itDiff pl a k2 k1 (cpp.itBothOk refl)`）；位置用 `cpp.itPos`。`findA`／`minElementA`／`maxElementA` 照舊回傳位置，另有回傳迭代器的 `findIt`／`minElementIt`／`maxElementIt`。

package/index.json

@@ -1,11 +1,15 @@
 {
   "cbfVersion": 19,
-  "checkerHash": "8090aec587c73d7e",
+  "checkerHash": "cfa14e496df4272a",
   "defs": {
     "cpp.__RecordTag_cpp.IOS": {
       "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
       "own": "4044c970bfd3496a125208d8989fd262f489b8d1370675fa4d2a3c698140b916"
     },
+    "cpp.__RecordTag_cpp.OutFmt": {
+      "merkle": "417bd6dfca710f12bc2adf971f944b23335bfa066c61883b09980eeaf9872acb",
+      "own": "69bb670c3c1b87b1ef608fd56292a5e9c01d68157e46bcdd2eaa85a71cdc3ca5"
+    },
     "cpp.cpp.AType": {
       "merkle": "a62c085c174dae0c69ecfb42bdb09fd1d8097da9ffffdb4bc2ec443cc42f0715",
       "own": "f2a0398b1a8ae3dafb8055f7b1914a6d4e6ec316c9dbb94329cb0eb9f792bb07"
@@ -98,6 +102,10 @@
       "merkle": "71710401b491267505566755d399cd775c9c7392c79b055f9f3ae3833526a0be",
       "own": "ec5cb06b69b843dd853ddf6234b63bf2113ce388471feaacdb3170cf23bb9cbc"
     },
+    "cpp.cpp.DigN": {
+      "merkle": "e310bc47e7cf557c834d7c25daee71cdd6d5e07042de037cc2c0a69f87a1df2f",
+      "own": "37eb3afcd46e0a359c60d704b19f03ba4225ca6655c13b24df41b9a2c8525950"
+    },
     "cpp.cpp.Digits": {
       "merkle": "fd81324c20eef0ece2931038d298080833f2da455e438d63437aa931bc4df97b",
       "own": "029e560fd404553dea06c01c6f66db20d741a96800a805e84889c225a16f4776"
@@ -118,14 +126,30 @@
       "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"
     },
+    "cpp.cpp.FMode": {
+      "merkle": "15646e4998caa7360e9d63d12ad04c1cb7a814a9a309fbbe80ab8c5f859ed694",
+      "own": "3174bfd4d5b6e10f64970994d59cf94e8e4d4e13e1237673d0a315436fe7d6cb"
+    },
     "cpp.cpp.FNonZeroD": {
       "merkle": "b1280fc9afbeda3542ee0ba9f7570f9e5c03d3d67cd796c5029513f1aebb0316",
       "own": "e0ef51ecb0d859e7da8d1d700c54ae9e765ec4bc30f79b285909796f0fb87c3f"
     },
+    "cpp.cpp.FParse": {
+      "merkle": "8e936b3dfc4dee4f78a4684f897377f55bbe25598be8b2fa4e2e316eac324d67",
+      "own": "a3c4b18fca9e5f2214087bd5295fb67a02b6ac49cbc38a1588157793c0926a55"
+    },
     "cpp.cpp.FSameSizeD": {
       "merkle": "7d65f9ea7f6b0a16d33b1e2c0d4b106653beead29fb54c7fbc59e84508b6d6f8",
       "own": "f32cc8ecf132548822b89b518ca89f0f2447fe03c4db0f5019d3d75349f4594e"
@@ -262,6 +286,14 @@
       "merkle": "07fe796fb3726b7569ff0294816f52a131f3626abcbb3e3d6c8e3f6cac092669",
       "own": "bd72f3688030a234dc8be7104b82c6b9f7643206751942c06a6617885f66e80c"
     },
+    "cpp.cpp.OutFmt": {
+      "merkle": "b2636a459034c7d8e85bd08495d02d348015f6eaea7e09c34d871e749a3a2124",
+      "own": "f1dd6eddd187f76022215e39005cb9b74ecd092d2b6012ffc27d1080f7ff61af"
+    },
+    "cpp.cpp.OutFmt.mk": {
+      "merkle": "d5f45952d492a186acdf4793093a9a803f96696f6acff674a92d53aa4be96692",
+      "own": "707fa820a34f82ec24cb75e74c702200cde9b2d0804121340d778fd8ecbb1e62"
+    },
     "cpp.cpp.PQ": {
       "merkle": "945dda41a96282ede434134bbc6d6e63bf88e3245d559644f84fdc27b5d91293",
       "own": "015b45e139220153b4a3cf01e8fc6f0730eb4d016a78ea2e64519fff2f871493"
@@ -302,6 +334,10 @@
       "merkle": "e40cada6fa32b1efa4d7de92f9144ad528c6f1d7450cfb6a7f06857c440c3724",
       "own": "a4000a8025e5fd1f869fcd92044925ccbd19a1529683e65dd854cce7905db67d"
     },
+    "cpp.cpp.ReadF": {
+      "merkle": "fb287a80e023e979fc1309464a5a2aa7f36165cc244bd1d8d383debcde65c7f2",
+      "own": "072e48ad4d0490379ad8562edbb42134a0853031dfeb7970ce63282b3dbb3ee0"
+    },
     "cpp.cpp.ReadS": {
       "merkle": "e58c63d65ede45a6a31a0dc3449201e97a5c497961b9c6d8ad86a2d575255147",
       "own": "2c89844d4671be02b5055235c3179d8fd818737e1e4d7e9e417a8b2d7fdfe0ac"
@@ -382,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"
@@ -486,6 +530,10 @@
       "merkle": "63ce87888940f1fa2ca5e40040a0dffdf0fd7fd44462708b191fd43bf996b965",
       "own": "b1120fd892c0fe20c8c7613b9a55a89fa4aa713d214ce1432e8fe5049e03a033"
     },
+    "cpp.cpp.addUsed": {
+      "merkle": "4c1f9a1fe83a9a42d8a42feef636823213ed41363f967049141853d1161fb512",
+      "own": "2d6cb6884b887789f3440bf3b8607cac25d002567d0ef5d81ca9cc754084a634"
+    },
     "cpp.cpp.addV": {
       "merkle": "ed640cf94b2e95b2d02c286d272673a556e50cbc6b015b6a3adb1b3d2a68bd56",
       "own": "51749e58de87cc60d002767108377ef7e6b65e9f17c3a869607b140b4ced2163"
@@ -506,6 +554,10 @@
       "merkle": "2797de816974335e84ea5174aeede30c6a184340b47b48ac19d6b39bf4db6e90",
       "own": "c167bd1a3297cd070b72d4234f2842d1931eb01627c793265403f714f674df74"
     },
+    "cpp.cpp.afterDelim": {
+      "merkle": "643b70a4512be11e01b7efa98e851346cbe684d52acc6113b9a5d8d521be6694",
+      "own": "df13c755511ed62e0f9b1588a5d99c8df6297f2b70b7470a1042f6feb81292bb"
+    },
     "cpp.cpp.afterLine": {
       "merkle": "b5ef423be6b0113035c2a46e956c7f1edc96a9aef1f676cf01f8a562ab6468ee",
       "own": "0fa1ba30b1abef19dd23a05492a6c7eec7f14ff22c48ffdecd84f7dbc8dcfb0c"
@@ -594,6 +646,10 @@
       "merkle": "76394046af7e4b200938e255fa5a6f546c1f31cbda04c385b69bbb032d2f57eb",
       "own": "05bf5bac7b0eda566d3d05dee6443dc885b3384f87917f228a894c40f4758cb8"
     },
+    "cpp.cpp.assignA": {
+      "merkle": "eeed744889ca056047e778e5f833cc3348e3b585a036d5be01a6b257827c64fa",
+      "own": "590728cc6004beb47d5aa116fa748f9bd3db4ac994f8bf41b684a13c85c7d971"
+    },
     "cpp.cpp.assocSet": {
       "merkle": "6c0b450857f68c773c127c4c1dcc6c793e268d773764af4c06cc7b2d09e31b1b",
       "own": "bd0d0885fdbef9f994cfe842efd339b57f33c479196063bc1ed1fa8969f616fd"
@@ -614,6 +670,10 @@
       "merkle": "5788aa7b8bc41921e48a4d557267688f3dcfc722840c11a7d6e974e4f4412ff6",
       "own": "80f9ece5515014cb96fbd5798983c86555d24fc87a42e5207cd1be250fa5083d"
     },
+    "cpp.cpp.atV": {
+      "merkle": "8fcdb09a7aae639aa081d8fd86f7fb4eac91a7610b3e77515ed6b08e58759325",
+      "own": "dc720d9c1753e21f0c658e05188f1bf51aba570294e781422e7f6a209ec398ce"
+    },
     "cpp.cpp.atan2Fin": {
       "merkle": "67673a52fa631f02075e8bcc4f14c00bdab35dc866d48467f99a796acb692ef1",
       "own": "7c059d35edc959b9df76d964d419076498994fe4beeef838eb4534e4e6833d8d"
@@ -658,6 +718,10 @@
       "merkle": "b13606b16bb2987b562b054348a119809e340d7851d9159b6c44f3d7900d92f1",
       "own": "d55457b1ffae8170691dc1ae3f3855735c315dadba16416da1d6e052ef64ac37"
     },
+    "cpp.cpp.atomB": {
+      "merkle": "d6e606a3f78cce7406bb66c220c0f7a366308dc56b1d738935c9a1676bc0f767",
+      "own": "c4f87b05d104c375f550ad2227972370b5e9d77d44a3bd034c359798b5c07589"
+    },
     "cpp.cpp.avr.Int": {
       "merkle": "f283f1566869a5f2e89279a7c2bc36cc717d82ffd0d12457ea53ef16e89f5665",
       "own": "948687d513255e558f901d1c950fa4039c71e6fc5b47dde521157df38b997cd0"
@@ -674,6 +738,10 @@
       "merkle": "b4527fefeb2ff35dd631fb8050198668c14d43ce2bc7df467adaa2f5267ceb39",
       "own": "454eee96e1a29c483cee6d7734eb1e63398b51120278a7c14255edcccbd3c931"
     },
+    "cpp.cpp.binValue": {
+      "merkle": "67b596c3106e666e4aa73fdf77888a8d335638402d6825b98e880a6e92af3cf6",
+      "own": "60a6d9314c6a1230ee61263af101cb48578d5e4f65b0f3f4b6970d982428ca0e"
+    },
     "cpp.cpp.binary32": {
       "merkle": "defa811bdea4b6beb5f275b6d0816428c933337d6c80bfa51997aa83fcdc1d8a",
       "own": "a232b2ee6182bb05047a7bcf5d4cfb0e324d8074e0bfc711c6bac1dcd315ec0a"
@@ -854,6 +922,10 @@
       "merkle": "1842da71fb1bcf098a960468618fed418a85ee3328305b77951ac0da37fc47dc",
       "own": "bff31031400b7d754110ae122b70446abab0aa4bc1c689f59f2b684100b208e0"
     },
+    "cpp.cpp.cinF": {
+      "merkle": "81a066f8c4f962339db4f748446cbcf8afe5e62f825f30be829cd085e5a80cff",
+      "own": "75d9c92a3fe66c2102e5663dbf36a96c76589fc8bcdc095e9dd0be1932e17af3"
+    },
     "cpp.cpp.cinGo": {
       "merkle": "ecc7a8cd5e25aa3ab36b41b706368136ef341c733cb0fd67803fe6b59b725025",
       "own": "248f7531b9d675f6a64288f5b181ae2b6ae71af1994b7c17a243aa20fd0b835e"
@@ -878,6 +950,10 @@
       "merkle": "1464e3db1309efd77e5f25addc125fdf23c5f749a350541870774bf6a9c0893b",
       "own": "5bb4865667e559e9644bcd66ae37e15a8a13fc92a19b8ed681f6cc2c7b0e9db2"
     },
+    "cpp.cpp.collectF": {
+      "merkle": "2c744c65458313342ce5ea0ccb637e02795ca04b391c904e7c4696e701028c80",
+      "own": "d073e795a7917aebf49e95a36ba0091a5485004c2b3a582c5dd6bcd84e9de58a"
+    },
     "cpp.cpp.common": {
       "merkle": "d898b4d6a3e3d2f9322e6f213956d9885e8036d3cbff002c6e51b520ab2f2259",
       "own": "fe8870cf3e9c5efa9ae7268a06a639c911b69713da5058c2cb840f7f88b70e57"
@@ -982,6 +1058,10 @@
       "merkle": "7935e449e557033821c942297b019d886559d69da38aeb74a927a6774463495f",
       "own": "06203576d7e4ddda3e63c4e367155e9a4fb98b163f685301462dd88a23701a9d"
     },
+    "cpp.cpp.coutFF": {
+      "merkle": "1b017a12b3ef7e87b8f6acfdc67b1fc40e8e14a36bae8b78d82789363eeff299",
+      "own": "3261056603d9dc2a39521e1a8577f55feda7fc1e8a7c6a69fd854733d0740032"
+    },
     "cpp.cpp.coutFixed": {
       "merkle": "3ef59f441670162fdccde5f37955d3f8ae8e485f5dac947a8242438d7fee36d8",
       "own": "35f343c49742c45ae1fc7c4b5e7c1b51397f6411135cc38ffaa94c28c09ca973"
@@ -990,6 +1070,10 @@
       "merkle": "38c77b22bb41446b261ef1ade99eafd90e73b4a615cb56a19f4f4602222fb4dd",
       "own": "7c348df4cbf8459e6732aab9c8c35ccf1d2bf94118a0b12148b12e91fb4ed770"
     },
+    "cpp.cpp.coutLitF": {
+      "merkle": "d79e5611ca84ce8f97ea7f390640108c0b0ddfbd80981c7a78bcff414c0a54c2",
+      "own": "f0788c68cfa1f1bd88ffae9dcfe68fd5942f64519df8da63acb6f3d4a2022de4"
+    },
     "cpp.cpp.coutS": {
       "merkle": "174a94933102cb291dd19e30377267cb79c832be7cf2a0e7b33a2b82c5420cfb",
       "own": "24f2f2745e9132cf2636ad0500c6bf856d4d3ea05916b373183883c6b2be80cf"
@@ -998,10 +1082,18 @@
       "merkle": "744650240b801bacc04251f387c239f30f5d79aa2984a692c3315a6001d22002",
       "own": "fde7640e20f5c9ecccbe698eda71ca75336d6c45c629ffd7e31eea6115e3395f"
     },
+    "cpp.cpp.coutStrF": {
+      "merkle": "c53b73d192e4c791b0e2f71277714a26acd3cd62f9de6b4b88431dc6dd065bd9",
+      "own": "6ec7741a3f87f71263b1f9622d4edd79162e9a8aec5345fcf675ccc73c78b418"
+    },
     "cpp.cpp.coutV": {
       "merkle": "71da7a834267759179292d69d7aa9d5a99ceaed9fcc76dd41b0d5bae30800820",
       "own": "b15d0e7c993d9e59fea8e417ad9955b823d934e2a68c89c661f3dde1338f037d"
     },
+    "cpp.cpp.coutVF": {
+      "merkle": "9bdd6ca6c621da632b4c78c4a67369c6738385136d2b9d673e79d9d1a308d035",
+      "own": "905e091ac53b38e2eba5b9c0776b34cb0376469a9123897456af9eac75919ec2"
+    },
     "cpp.cpp.covers": {
       "merkle": "4efd904b333c8e276425e58e79c4ea667025cf61d3bbe71817bab2c583374c71",
       "own": "42fa3cc397d63e2b6a3dcf5fba98931141ef0c50c9d73d1ed94c7b2e61b9bdbc"
@@ -1026,6 +1118,18 @@
       "merkle": "4ff70fff850da8a17dd0faef8ebafc3ab910e18369f3b8dbf38c45fb9f1bbe30",
       "own": "4cffc2a83298fb2ce4191abcd5434ca514fa1f9917fa5904115f5d4631b5b4f5"
     },
+    "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"
@@ -1034,6 +1138,10 @@
       "merkle": "15729f9015ab8666902bb09f04c53b477d94d24ac2d5abe0d12a468c5e56464c",
       "own": "4041eeb54d67e53f283fe61aa9ef9ffe9d146370dbe6560968b6200c7636061d"
     },
+    "cpp.cpp.defaultFmt": {
+      "merkle": "7f0ae5e4ece5ba77be5838d4026de63b2d62c7070a36cf46bf6b7969cddc55b5",
+      "own": "13efd28162f09386b7e473930e67dcc5ede3832b823a40b7b69cdb142763083a"
+    },
     "cpp.cpp.delete": {
       "merkle": "c3d09313994355fe2c38faa2d502d2e05e7ee2f83d3ea6026849a8b84b273ad0",
       "own": "453bc32883bcdf3f3c1eea31439b7b299f242001c2da9a84b3591876a801b6e8"
@@ -1062,10 +1170,18 @@
       "merkle": "c8d7d3da2ee6f0732c19d45a76c8394d3ad1c9fee89e891733938be138e8c9e3",
       "own": "4719744efa895d881497b95f309819f8b96b7aaa1c620ec390cfe5ccb8ccd719"
     },
+    "cpp.cpp.digitChar": {
+      "merkle": "0be278c9ff3095809f312c61c3fa528acc62e6635192efcffedf918b7bc57808",
+      "own": "3eb5e5b81111ac2b54927ded0fb1f75f3270d1c071040246f410bb0e0fab5441"
+    },
     "cpp.cpp.digitsB": {
       "merkle": "489ce1b10a6d5b7084ff74ca185655e40c269d4c8140aabdcb459b09605b24e7",
       "own": "5fb4b7346f41f6b6ec0f986bee57811df62301d44672d73c7cc31d38355ba415"
     },
+    "cpp.cpp.digitsIn": {
+      "merkle": "c5d04fa157ce718c00e6603e3ad780feca6ab4791f7ebc9b90445ec4a44421a2",
+      "own": "0044244af3af0e25b7900117197c789cf7a4cffdcf080f7372ab87b20aad0703"
+    },
     "cpp.cpp.div": {
       "merkle": "c25dce8a08ffad1401476e5afde888d957231ea148a7f1305607296240009f56",
       "own": "5257e22728d218342ee89c501d91fea5acad72c90b9a8d28b2532b1da771b7a4"
@@ -1254,6 +1370,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"
@@ -1298,6 +1422,10 @@
       "merkle": "9d236ae34756686f3df837b0688c4c412c5a42c535a8c2eab81550886d3c0378",
       "own": "0b923c27e35cdbdec04e2993a8504f0fbfe1196babcc8baa4210040f7a8aadef"
     },
+    "cpp.cpp.expPart": {
+      "merkle": "1acabd3cc32977b284422246676389dce4f70ab1e1d7d0fe9621189e5dbc1757",
+      "own": "cf6b0ab4769668628e621dbc8028ba0d1a446bf1743dee9db0d512a6504c9e4a"
+    },
     "cpp.cpp.expSeries": {
       "merkle": "f5221e7d3bab67dede2f9aa65502651628b944c9e24118b099846a75dedf3553",
       "own": "91c5a2ceff14abd3b3254f8e2ba2bc34bf5561272fb16f89756f4652bce58133"
@@ -1670,10 +1798,26 @@
       "merkle": "4cfdac841b46a9ced8957b9b67f2984d4c934b8dd09c44f3e17486cd88625100",
       "own": "6d304afcf1de0f298c80bccc3819c4eeffe02f71d026afcec1ff4c072bb92a12"
     },
+    "cpp.cpp.fmtBase": {
+      "merkle": "4f362e41c92bb75fcdf93762e020457312df07d6fced62e9f7762723da577158",
+      "own": "656e9a536dc6847371d42749c72fdb23b4d88c3bc623062a70dc008d0ebafa4c"
+    },
+    "cpp.cpp.fmtBoolAlpha": {
+      "merkle": "19a0a1b9b7adf5043714a6ef7b3dbfec68f511e01f9e3123e3ffb0f26688a5eb",
+      "own": "fd0438782d7995d99d1069d7e23f53d192860583f30f69ee7c1e892463860ccd"
+    },
+    "cpp.cpp.fmtFill": {
+      "merkle": "88a235d1748ea1813d7948491cb51308bbfc466946a080acb34b819e52f97307",
+      "own": "5fc8a02ec1d128fafba3de6e866c94c3a23c612b48ca555631870de22e17bb80"
+    },
     "cpp.cpp.fmtFixed": {
       "merkle": "3d427b9b7bc35b33cbb352390a81b6eb0b4eb6b359ec3737b6109f256298207e",
       "own": "74af221a9f3ea84b8da18a6597b6785cb44ed4755c10fc42240433086572ac8e"
     },
+    "cpp.cpp.fmtFloatF": {
+      "merkle": "3105719f0f05af71164b67f42d667be249f76a6ba77ddf5d73eeaea359d5ca2b",
+      "own": "a88d022fdc6e782860b84128bfbc735718e1665303e37b56da4e25f7e9f00eeb"
+    },
     "cpp.cpp.fmtG": {
       "merkle": "f79bcd381c319b0c1b557f19cbb65841d70072e3a2179492be0e7f68de70ae79",
       "own": "962ab31c52e28bcd17139e6a2d13c6e1dc669c145b76b9089d47b3e3cd9b3ae8"
@@ -1682,6 +1826,34 @@
       "merkle": "588b088bc1e615a471cd3be363520815a920d6756a82b50d2a8de83055a58201",
       "own": "36b4e37adcad05e00575985a7e9925c413682912dc7678ab047cb0f7005e4b49"
     },
+    "cpp.cpp.fmtIntV": {
+      "merkle": "874918d7ace20c43987d1fe371007763c84d738cb58b6cce29ecd373f94e49c6",
+      "own": "028fce48a4d5e981732d808f795abad4112f3a2c8c0392fe4ca21b63a4cb55cd"
+    },
+    "cpp.cpp.fmtLeft": {
+      "merkle": "0e6b795135b6ed585d2c88f7b8248c6fe882a75ce0e43aa8327e2656e2cb76e4",
+      "own": "2be808bcb8bbbcbedeb45d49f2eda6a330c41dbddf800a60e33cbec637083c02"
+    },
+    "cpp.cpp.fmtMode": {
+      "merkle": "dc9f6da7290b2b46589944713081c27b9c05f945c75074b60d6daaaa99bfffa6",
+      "own": "a46a1d7804a4b7b70877620b1cb2d271fab809bed5cdeda6f05b789b6ac5bf81"
+    },
+    "cpp.cpp.fmtPrec": {
+      "merkle": "1222328bcd1d9b7de77ffc2f935fe4fe6528e1df698c76cf6db953d9cd5d08aa",
+      "own": "d434114b8205d78ce02946216b4d0846657569ac2ec612dbfe1f08875ddaa7f8"
+    },
+    "cpp.cpp.fmtSci": {
+      "merkle": "bf471fee82b9c7c6e164ef3be1b73a6c682170163f075a4b831d52e7e3ce221f",
+      "own": "9cea8a1691a8c5b52e9339a26960c5bf77acd4033b1d5425594f06f05554eb1e"
+    },
+    "cpp.cpp.fmtShowBase": {
+      "merkle": "e65fb975fc17a7c377db3ffc5ae20cd585aafc6edc59154715b082ab1d64c7bd",
+      "own": "e512b82b6d3538d0535357bc37b82f1770e2f23d426fd568493e75389ce6b994"
+    },
+    "cpp.cpp.fmtShowPos": {
+      "merkle": "1b1d222b73b7118b24763daeeb1143ca6dc94a4dd7f8e49df5c8d9af15842c45",
+      "own": "db5ea8b4a056796d13d47519bd48acffec38a4ea9eb59c221ce897edeabee7da"
+    },
     "cpp.cpp.fmtSig": {
       "merkle": "69b47e75ba22da834738e5a16e4039f42c6a33bc3345ad6bb029e696dbf32124",
       "own": "c998b2b3995cf98ca351fa2281d485e6b32c5ec95a3fca64b44bbe784cf85124"
@@ -1690,6 +1862,14 @@
       "merkle": "c5ddb6f28fc7aff34690cc1b838453db96286b7654172d9fac0b6be334ceb377",
       "own": "131bc048bc28dce386739ec94062bb1111e4b0bb3bb81aa55a8a590fc07befb6"
     },
+    "cpp.cpp.fmtUpper": {
+      "merkle": "02beeee813b6293d1b74cf5017d094e8a5c525a9093dbf40e1fe6497f4e96f6e",
+      "own": "8592a9d5f7a91ea4a3637fb5fd703d20e25e628a1fb7ed32f0dbaed85466a771"
+    },
+    "cpp.cpp.fmtWidth": {
+      "merkle": "8a6635d5c2e998fbf32bb8109a8746fc6915511ed126023bd91b2f43ac80bad6",
+      "own": "5986576efbf5a161db303ad9e6f50f2ef4f2fc2f1d4cb52bf55f37ffc9498b77"
+    },
     "cpp.cpp.fmul": {
       "merkle": "d9bffcbd14997138415f59b92c51d610ae3790833a3c034c47d6d39909544637",
       "own": "751fdbc797cb914d0df2917da5c76f53c295c4a6dcb72767e621b04168d76fa9"
@@ -1766,6 +1946,18 @@
       "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"
@@ -1886,6 +2078,10 @@
       "merkle": "19fff09e4369064d582c7a98bcb5e47f155c7af44f369dad5e808682b62c3999",
       "own": "2d24adb32bb82e49ebdad42d22fcd50a968354fcd0641cc0dfa388b787d45e85"
     },
+    "cpp.cpp.getlineD": {
+      "merkle": "cb8dcd2fca9b55164460c73a582fec023846bbfcafdcd2cceba04802f1eb584b",
+      "own": "eaf5cf1e6fbc7e971dc5bd45671aeda0b4a914b9ecf529cac0262d8b7ef178e6"
+    },
     "cpp.cpp.gtV": {
       "merkle": "3ad5c904935d49df91e235697f84b5563ba634eccff66aeb66b8f951313eec6a",
       "own": "4779c91e99221bd21d48b9e870556716321f29053bf5b78435c41ff74621c8c3"
@@ -1914,6 +2110,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"
@@ -1950,6 +2154,10 @@
       "merkle": "1034d94eacb82adfb90d361875c4a1e491c7eae0c4b6523c6997c393079a8c98",
       "own": "5356c5242dc19d4a2eae185345e6f33023dd53c44b1958fe13fd27c0a9ac7ea6"
     },
+    "cpp.cpp.infNan": {
+      "merkle": "57d2f83ce851b1a69e9cff1c71d6d2d82afd1ca9877626bdb7cdfdc9d0f04eac",
+      "own": "f6598efb6d224f03e2500962ca5f053cb855dc99eba24a6387ca85125ca13fe1"
+    },
     "cpp.cpp.initB": {
       "merkle": "82530a4000e32a99996a6ebcab2836f9f776b1669db022a1510cad7bb3abe008",
       "own": "683db7871033280059f9d628b630a290d390e56b69003d74c2785b7ef5b8072e"
@@ -1978,6 +2186,10 @@
       "merkle": "7f62d8f0cd3c8062d569c5ce5c63497df8508b5eaf43499917bc2c19b7d702ee",
       "own": "4118edb93832b60fd630423eb3881dd09aec4d07090adf8f91f6215c2d369b00"
     },
+    "cpp.cpp.insertNIt": {
+      "merkle": "92eaaf299fb614ba24227b676c7e2829d9ff00c3cb8a02f123a473fe09836a1b",
+      "own": "4cdcd3e479b1d077fce67dcfacae3b851bd7e23b7d6093e420881834b4341fa4"
+    },
     "cpp.cpp.insertNth": {
       "merkle": "918f64322976567b21f7da8d1974bd92d8ff71776129feaa0e3f5d7040111d22",
       "own": "4afc2d71362f0e4161c89143a45279f67cd92ea601bd09ca3248cfb0a23c1e8e"
@@ -2014,6 +2226,14 @@
       "merkle": "e2a922088894fefc5c6c1dc486c988e8c8e5784a83ebc38cc1b973cbc6b04c6e",
       "own": "cfbc2f1a4910c7a19dbf9f1ec55c09c2724e299bfd58f69ba85160ec02ea6294"
     },
+    "cpp.cpp.isAlphaBool": {
+      "merkle": "5dac4a07c3a1836b9446bbb62b0586b6d5b8bd3c3b236d1c8e020cc6594d9f06",
+      "own": "0512b715485dd2ddf6ff4be63189f1fcf7771232c61ccd31d5c5d17238395f09"
+    },
+    "cpp.cpp.isB": {
+      "merkle": "dfe81d0c457ed5ba36dad0cadfbb96d78ba2104ac0c76220368ceefc1da7b2fb",
+      "own": "b9b58c124b1b8db31c924adabdf26794d8c1c16702683774e378764ea4334077"
+    },
     "cpp.cpp.isJustB": {
       "merkle": "379c414abdd3805df9ab007fe14336f0667ae7eb632a7cb14257e5397b10e495",
       "own": "723c13fd5439da1e5db023621443e6137c438411eef4c7ba727cc735fd13f68b"
@@ -2366,6 +2586,10 @@
       "merkle": "109488acf500d224da29e1ea5e61fb357c6837843180b419eafe141f9fc4faf7",
       "own": "62396beba73d62a4ef9110253121ab3e520d4b91ba79105d4faa1cc5e997ddf0"
     },
+    "cpp.cpp.lowerB": {
+      "merkle": "7c2ddc955f942a2d7c8070d890479baba48e4a31c247380e10b30c60e1f6720a",
+      "own": "a350b04a214d273680a66698bdc4b9fa4ea9fd6e39da23b83b5e6417be9c736d"
+    },
     "cpp.cpp.lp64.Int": {
       "merkle": "830a776c42b702fe9984210179b83bd8b6b9db97753998c497a77e73f63307d7",
       "own": "ca53ec9d050dd3d2bb09750705cd5a4f1cdff63e4c9aa6e7a8ddf2b10aac2e27"
@@ -2538,6 +2762,10 @@
       "merkle": "8a89ddb4f685424d12ed6d9c97340bfb82b42d1dc5de42270ee49e6d2ead0b38",
       "own": "122bd86045946dc4957e5ab007e0e2dea3432b27ff054d41a067fa6b16dcc8f9"
     },
+    "cpp.cpp.memN": {
+      "merkle": "2eb7a8c924cbc7876cf4f5a7768bc25cbc9302b1075c808acd1d75bd7aa777b0",
+      "own": "a824186e13d96e26bddee1cacda4cd2b122edcf52c77c50e55ff9de18ad14d04"
+    },
     "cpp.cpp.memNew": {
       "merkle": "79d5bca0dd88261a299908f10a2c14a29bcb13961c1b99d76fdb7d5848b07a3f",
       "own": "4709635877b49ccbf27705340916d69ce0ad7361e1bc3436f0d6b4a045a26d91"
@@ -2606,6 +2834,10 @@
       "merkle": "ca488f78de7ddc49eb56dd62f56c61d93be541e34f8e2e5d318e0a024d4cbf88",
       "own": "89f8fb43f27850d283f5ea493e0ddfa8fb85d1116627b29f49eb5a56d91d9b79"
     },
+    "cpp.cpp.mkFmt": {
+      "merkle": "c25f7627217c05a65f8b288a38527c4433f9202ac0c57833de92056e98045dcd",
+      "own": "1f45bd0f4a209424c5b7d5bf8a025183320f06c2660c007623c56029b29876d4"
+    },
     "cpp.cpp.mkIOS": {
       "merkle": "a7795a98d1c7c4aae5d1b8dc492843d37ac2d8f2c3a8b5af523e6f69a8886308",
       "own": "3b4c822e0031cad94f567c2abd43f83e126d217fe237439d9fd2623d48f4d4da"
@@ -2682,6 +2914,10 @@
       "merkle": "52be169dbc49e8af18dbedcc7870b9f6a41f5954cb2f57e5d7dbd696f3b8e662",
       "own": "c0d6d7e659a00fecdf49c6e689dc3c45925894863eb5035e7d968fa7f58b2664"
     },
+    "cpp.cpp.nposV": {
+      "merkle": "4d38ea87128e21aab09e8851514c004d73d6a25f7ada8ae8e745ed8e36bfdc44",
+      "own": "0dba07841472160acbd655b0e522f0d250679752fe437efcb7727cd6b4efdf06"
+    },
     "cpp.cpp.nsub": {
       "merkle": "47e8765583ffa4e2b693e1cb45366b36db9af2e0e99327ffac7d5bd2e8cb00de",
       "own": "fc60dfc162b5dc4654d7c9f6558429704aab51502b196f45731a5d539114851e"
@@ -2722,6 +2958,10 @@
       "merkle": "1104103f851548bc4c43a6069bd68da6e36d7b2c1e2a725e8050bd14fc588e07",
       "own": "1695970fe5bf60c7bcc7e4ec240615a8edb67a8e482a46fee62f1d031681f096"
     },
+    "cpp.cpp.numGetF": {
+      "merkle": "6625699ca96b689ba4f5f42369d46a671875bef31f5586ac0cbf772547dbccab",
+      "own": "44f71546685d2dd57f34b71b940739290d27ab5a04c05cc8a5445d283095af0c"
+    },
     "cpp.cpp.objBytes": {
       "merkle": "698de08c2485a4cfdd370c7c4c57f19cad202a09d88700ed5a2adf33e4078bdf",
       "own": "8843b39996c42f7d7b699872e161eef67ed544a89b2d7f9a7b0d140161aa6d2f"
@@ -2762,6 +3002,10 @@
       "merkle": "96157b37450610df386a63dd18be210efb983d2d0f636ee4b8130bad9e96e953",
       "own": "79e899cbb4493eca1ca37df3432b7d109d906ad3b2f735e2f403136ab7f846a7"
     },
+    "cpp.cpp.padField": {
+      "merkle": "6ed7c7cf2a20142b51aa72e441fdc7723e0806609415b8a443a6accf3a21929a",
+      "own": "56e2c3e1f2007e0c8faf595ce06ded3afae5c729d0a0e2b7a18388d14771f7c5"
+    },
     "cpp.cpp.padLeft": {
       "merkle": "2fbb98b6275ee349b83f3a484ac8f3cd7fd092da0e4f397ab8ba28204aac09f9",
       "own": "cef6c2e785e2d1a00c196ea7dab3e51970d4740e02bb7c797f0ca36b488b3545"
@@ -2986,6 +3230,10 @@
       "merkle": "87a467fd7e8bc7c7db3566288a95cdd11172a66566757773a5b09637317b6967",
       "own": "b2f3b3b765a47cc5625e70ca33b7d607591f9049caab9cd21f591716c0565ac6"
     },
+    "cpp.cpp.rangeErr": {
+      "merkle": "33cb293597621cf07f8d39c7c37571d016dcaf7f78d34206a5fa8283d8def0d9",
+      "own": "1c7dab4265665e56fe659e8f012fee5ca5074b634c433254b90b02676169991a"
+    },
     "cpp.cpp.rankOf": {
       "merkle": "f1e067d799066a4310b380df0941d9c83694a5171d54a421e5b576566b46771e",
       "own": "a09d219d6a028f7dd474f27afed92ffe2b666978f8d882e0f35433751159c3f7"
@@ -3018,6 +3266,10 @@
       "merkle": "c1f70cdf17d277a8148763d1407952cee275067d7966e0ab1d1b5a054d7f7f81",
       "own": "def6cddb12974cb37c7f5040e45736544d1ccf1c8c9aee9d230841ddd81d5bc1"
     },
+    "cpp.cpp.repeatChar": {
+      "merkle": "9c9849f2c81aac13fd1ca182cad8ed85603c48c39ac3187dd463c8f39bfa98ac",
+      "own": "3bcb6ee9d0fd9cb163acbe5fccc25b342c4467c039921dfff744d5f015886b41"
+    },
     "cpp.cpp.repr": {
       "merkle": "3287655de4951cf1c3b1a7887c4edee5f1aa327665307c0b82128f1a5e86c6ed",
       "own": "12277fc86030a4fb4d8f14414e4f9f94f07fa8476c7bf7ad4ae685d8bbba481c"
@@ -3026,6 +3278,10 @@
       "merkle": "d7da61d9ad9c0b56258997090955305d4a962c695aaeda8f3d9db0033eeb745b",
       "own": "d97ae355b9476219c5f5390ff1df13d5bf87d17c127f41f51952224f4b4385eb"
     },
+    "cpp.cpp.reserveA": {
+      "merkle": "b8560c50d0dbedd234780b143a76e3cffb33e39147a93f2dba4fa5d6a8dd06ac",
+      "own": "bf1e4ea65f75cd99e464757dc94c3ba12bea835087dbf2516d23c5626db396af"
+    },
     "cpp.cpp.resizeA": {
       "merkle": "9cf4316f6505cb047aab5da552236b109785435878253eba59a98306154ad84b",
       "own": "09a73f3387469e6655d31ac4b3f5c55ed04791ed8fe6da6b6025a71352e44b09"
@@ -3042,6 +3298,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"
@@ -3102,6 +3370,10 @@
       "merkle": "45c3b8ce166824ca58e3b06c47198d8628a6a5970510dc8fdf9144252b8dfba2",
       "own": "44f9fa7f83ac9b0114f1ea85df9f91a9da186d873c27a311e29817d2132d7854"
     },
+    "cpp.cpp.sciBody": {
+      "merkle": "35e900b5be9afdb617ca1ebaa05905735ad74b97509fdffd2e049575057a513b",
+      "own": "ad196d9c28900fc70fd9d29447e9ab9a26f910c44e633fbb7f4f200b1141e19a"
+    },
     "cpp.cpp.seq": {
       "merkle": "681ef2a43e7c8f364ec3a97deeea667f88d8f60497cb5be58679de7e9907773c",
       "own": "c2fbe33aa66ad77fc7a0fce9d01de1b356c9144fbc9ff355671f4102e9b8de90"
@@ -3290,6 +3562,10 @@
       "merkle": "16d2c3fa6c392acaeb652596d361f7f1c560208a1ef2382853bdec70c031e2c9",
       "own": "b1e8f12a67b8e97990a11e62d0767ce1cbd8a3e214b72c61dba64a2d6a849c37"
     },
+    "cpp.cpp.sizeArg": {
+      "merkle": "9f40dc7ccf0fa36ed20e71dd6b53aea02591de74ac3147350623d63e595a0bb6",
+      "own": "eae6dfb9b23d3fd55bacd1355ef8d86cd016300b9b34c6ecc29cef72c2f5cd15"
+    },
     "cpp.cpp.sizeOf": {
       "merkle": "6da5866f8fb0e7cea658b89da84b6ed7eecceb22d9e7f3da25b185ebcb6437db",
       "own": "17f99dc2224ac3cc7727ffedd804ecb32b886e0b369adae09bfb3011abb502be"
@@ -3350,6 +3626,14 @@
       "merkle": "ada668bbd18d584252f656188577dc8d1718984f570472b07330760d6eb647fa",
       "own": "c69674c14e2c43e0a1eb14464e1f8ee6546ba4b50e2bc47cfdb5d544d35601e7"
     },
+    "cpp.cpp.startsL": {
+      "merkle": "335af703ac91a793ee9b1d2b2e7ced11d7f0b8eef5fa5ac9f6b699aac494a090",
+      "own": "e6c2a186c357e44e29cbe67415fa03c782c1df8efc6278b183737379fedf9445"
+    },
+    "cpp.cpp.startsMinus": {
+      "merkle": "018c632caa2df0248105d0153c116b0131351cd6a507d6b2d632c7de903e32ee",
+      "own": "1a4f9a0bb9f0c1a4dfca1f79cdd69a3872b8e45428771dd865cf41fbd15d3627"
+    },
     "cpp.cpp.step": {
       "merkle": "cf2ec3b57af7097a01aedc0f331c3afa103839eb5558e475c5edc037830bf49c",
       "own": "bb1767b6c2504fd7b989ecebb506087c038af57da0b4776478868b7540acd012"
@@ -3406,6 +3690,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"
@@ -3422,6 +3734,14 @@
       "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"
@@ -3430,6 +3750,14 @@
       "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"
@@ -3466,6 +3794,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"
@@ -3514,6 +3854,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"
@@ -3550,6 +3902,10 @@
       "merkle": "8054e13b4d8ab769b41f14bf7fc21f69c43ad2082581416e96c427d2a0d0b09a",
       "own": "20ecb92cc21f4cc0367951266096da3c4142026817879aa07ce05ea9ce90aec4"
     },
+    "cpp.cpp.strtodNum": {
+      "merkle": "9c050beaf6b649f62e42a283091b369b8a1337aa292dcf83ca01c89835dd7bb9",
+      "own": "f1eb17c24b51cb94eefaa65def1bbc3bd86890ee5be92b73baa1de99adec11cb"
+    },
     "cpp.cpp.sub": {
       "merkle": "a0dde2ad9495663248cf9022828c62a28f41ba1a08f2c6cbc3d3b14134cfa91c",
       "own": "d607cfd8f3a5924db4b3183896e56379c315aa87f93ce117f38aa1ea45450681"
@@ -3706,6 +4062,10 @@
       "merkle": "fd60b83a0bd9963c3f50b54627e1e7430b978490391eddf137b8161da8c99670",
       "own": "6fbd06a5deb1c6aeaca134b39bfc3a8ee54301a86de02cea7039b904ef8980bc"
     },
+    "cpp.cpp.tailB": {
+      "merkle": "585a384eaa5f679d82c50beed789c509e70ec2aac536b327713834d8c461591f",
+      "own": "534cc170acfcb352ae9be141a4428385d856269959e10a69549e6312b8d13779"
+    },
     "cpp.cpp.tailL": {
       "merkle": "d79c494cda1b8085056d7b85e8b22da5b818661c14e295ff9248c890b67f4627",
       "own": "e35401621ad4bd5465fc41eb9d6a1986d3238b69012d2913dc2b93ac1ca6e8d4"
@@ -3714,6 +4074,10 @@
       "merkle": "9a6237cf187507150ad16e7c27231eff90b3869cde34febe4c05b7403e9fdb28",
       "own": "484ae1371f02dacc53233b79c7b1b87461ddcd2accfca31c8e2b431e3fa6f75e"
     },
+    "cpp.cpp.takeUntil": {
+      "merkle": "24f4424be78ff5c78188a53b49853d9697f10922fee3c2fd2819052d60039f34",
+      "own": "17bbfc031d0fe48a732b3732be3c543d0e6d6d114b62c062d73d5a090cdd9834"
+    },
     "cpp.cpp.takeWord": {
       "merkle": "980c708a8530ad465a9ceeffd10ca5af8a7ee1a4e5ab11d5c1dc568b080da6ea",
       "own": "09aefe9d093ad76ffc4c3b1192397c5f7e072755c18e2f1d002ba756b31f279c"
@@ -3726,6 +4090,14 @@
       "merkle": "f35caab62807204dc8c2bb559dca5f0cc6cf337680174a72bee297519042e1a5",
       "own": "0db0ccf9617a0a40c252ea7a6818f2a856162427be03f358696f41d54226734a"
     },
+    "cpp.cpp.toBase": {
+      "merkle": "68cf2b7a4632d7d4689edc615050a4b633bdc662ef0a0771a36e682c9a0e008e",
+      "own": "217861eb43142cf2e0e805efa84de296bdbc10e75d2cce4f4e7a6e3a113c23ad"
+    },
+    "cpp.cpp.toBaseGo": {
+      "merkle": "abbb1d9bc6baef6028d4e030ce3d5054d432e4c7d4d4c9744b818291c748d67c",
+      "own": "dbb75cbd8256dd444152cebdf9e3c2b13054476d22e7e9b0428f569013b62a02"
+    },
     "cpp.cpp.toC": {
       "merkle": "21400b0487778d94a469d05b4f87f95096dd937c5ac70119e3f725e9c65ce06b",
       "own": "87a839ad9d3354ac8420e725717d997b4574a606b7144029487ec49b3d87b0ba"
@@ -3766,6 +4138,10 @@
       "merkle": "ec450a46604896e4afdfdaa0f67c83c086edf8268b56e134879385b3ce469482",
       "own": "aa00aa9f82ce63287f7432726ad708c3e169783ff61aa1bd7a8ff8902e90acdc"
     },
+    "cpp.cpp.toStringF": {
+      "merkle": "72982de5eacdbc71698de69908dba98d1f34f2e511558320072fb55564d47401",
+      "own": "fd07804d09cf406bc3b4a745e2f42ebb59b1a615e75dfcc3116bf0241a1c7be5"
+    },
     "cpp.cpp.toStringV": {
       "merkle": "ae1d83e83edebcd3088ab15c6ce0c266f4f316f029efc8b79726ac220f8ccaa0",
       "own": "464f77775fe0d83006c42b91aa158e1ed1a396d373f9216dde7d2b90d94a8fd8"
@@ -3822,6 +4198,14 @@
       "merkle": "49813079dd7673def72e6226a60c43584b8c35f13830627f493f53efae44b09b",
       "own": "686b8c1958ef00d9086eadc24efe7dc37b0f732f0564fd1a19efa1d97728e03f"
     },
+    "cpp.cpp.upperChar": {
+      "merkle": "c2de9b260658144f3c8bcef914868493edf14709a38244a17fbbeacd01a30362",
+      "own": "5c6ec19b0fde078513820e39973562fde68f9038eb0c651f7e43ab61cc60523b"
+    },
+    "cpp.cpp.upperStr": {
+      "merkle": "60a023ec5a6f4fbfd9879aaf441ee8b1ad8894057aa95c24228e7ce0e17c817b",
+      "own": "c236995e09ad82d7749bf8e113553ec857197d456ff96b085bd201b7bc965986"
+    },
     "cpp.cpp.utf8": {
       "merkle": "757f08b676b26b452cdcf7b29cc0bf1236f4e33ff0ebe5e6fb66686ca4869069",
       "own": "06eb76f473a3fff60022203b1bfe9c9705043d65caf1f729f6033b758562a949"
@@ -3830,6 +4214,10 @@
       "merkle": "4efe764fc75482fffa562f3eeaec13619359db9e60543c54bb23bcb864f4e7ed",
       "own": "a0d2ddfcc659e14edcb8f853a8797da39f2f90f00f08a82d72baad33975aa074"
     },
+    "cpp.cpp.valStrF": {
+      "merkle": "dd74413e45d36baf203321e412580b3b21efd49d3e270ae12a4ee5ec986b98d2",
+      "own": "be48cedf1495559563aa0270f92bd1aff5ee0599e3afabc2aa097afa2195c4fe"
+    },
     "cpp.cpp.valsOf": {
       "merkle": "8616a8d0e69de0b061bcdc66f1ab7da327583ba76384aad4ce9d46c4733ae105",
       "own": "ff1264ac6ee73f76fb7a04bdff814d760bebdc174f87645a260398e465aedaef"
@@ -3934,6 +4322,10 @@
       "merkle": "303c57701f7f8a1eec57c315f1d423575f1509a9e4dbb1946440be68be638c56",
       "own": "8f6b82db2839196bd036eebe7479434cbb43da8cb7f6911677e2b20d026532ba"
     },
+    "cpp.cpp.zeroF": {
+      "merkle": "36164aad6ad24d9dcec66e60be519985e56990ce805f2b32410e1ae72405ea28",
+      "own": "5c26d70bf0c4c99449aca5496b10012f571e2e33656ccac91e279880daa93aa8"
+    },
     "cpp.cpp.zeroV": {
       "merkle": "4e54c9d0115333794f82565362892364f67240a8a7a71c8189d7d5d0ea2b087f",
       "own": "d142e34c31f214988c95aecdd65bee68f2a6d4e56d55a52e2089f2e84fe0391c"
@@ -3962,7 +4354,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2299567,
+      "bytes": 2401308,
       "deps": [
         "cpp"
       ]
@@ -3970,7 +4362,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "8090aec587c73d7e",
+      "checkerHash": "cfa14e496df4272a",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610081421",
+  "version": "0.1.202610081530",
   "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.202610081245"
+    "cella-lang": "0.1.202610081453"
   },
   "cella": {
-    "checkerHash": "8090aec587c73d7e",
+    "checkerHash": "cfa14e496df4272a",
     "cbfVersion": 19,
     "modules": [
       "cpp"
     ],
-    "packHash": "86248133e38b35a0"
+    "packHash": "660b25c23b4ac18a"
   }
 }