@cella-lang/cpp 0.1.202610110300 → 0.1.202610110317

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/CHANGES.md CHANGED
@@ -5,6 +5,18 @@
5
5
 
6
6
  ## 未發佈
7
7
 
8
+ ### 三維陣列
9
+
10
+ - `gAt3`、`gSet3`、`arr3Zeros`、`arr3Uninit`、`arr3InitOkB`、`padPlane`、`arr3Init`、`arr3InitFlat`。
11
+
12
+ ### 函式指標與 std::function
13
+
14
+ - `FnP`(`fnNullP`、`fnP`)、`fnPOf`、`fnPEqB`、`fnPNullB`、`fnPResM`、`fnPCall`;`FnObj`(`fnEmpty`、`fnObj`)、`fnObjOf`、`fnObjOfP`、`fnObjB`、`fnObjOkB`、`fnObjCall`;`ExcKind` 多一個 `eBadFunctionCall`(父類別 `eException`)。
15
+
16
+ ### `remquo`
17
+
18
+ - `fremquoOkB`、`remQuot`、`fremquoQ8`(商的 `q % 8`,帶符號)。
19
+
8
20
  ### `<cstring>` 的其餘
9
21
 
10
22
  - `strrchrC`(`byteIdxLast`)、`strstrC`(`bytesPrefixB`、`subIdx`)、`strncatC`、`cellsAt`、`writeCells`、`memsetC`、`memcpyOkB`、`memcpyC`、`memmoveOkB`、`memmoveC`、`allJustB`、`memcmpOkB`、`cellBytes`、`memcmpC`。
package/cpp.cell CHANGED
Binary file
package/index.json CHANGED
@@ -87,7 +87,7 @@
87
87
  "own": "cf93a1909d0b49c86f5068025c837362dd865ccdc390aa2ac25a85e2b63d1ba2"
88
88
  },
89
89
  "cpp.cpp.Catch": {
90
- "merkle": "b787c81fac9d87a3e7db960499119a9e5e2af55039ee0ba50764e7c7106e8d63",
90
+ "merkle": "01b4940aa421df44aa5ffbd236c775905a7d65e1dcb39617d1b91de1bb6639d2",
91
91
  "own": "cb6231355172a4e9aac36e922b3519b506cf6e91ad6dffd2e2f35b40f69f327e"
92
92
  },
93
93
  "cpp.cpp.Conf": {
@@ -139,12 +139,12 @@
139
139
  "own": "7de358756be383842b445402aec395364a4359d2682efd01f13e88def5044cdd"
140
140
  },
141
141
  "cpp.cpp.Exc": {
142
- "merkle": "b42bd12623bfc5c3fb3d214da5419337efefcc089cdd299cd8d758a47267747f",
142
+ "merkle": "a2c8c483fb989d267993f5bc239ea92378434a5c615afc168427c8067331c413",
143
143
  "own": "2625f7a5f5cf34dac67d6e2f0541be502f44b04a09dcfb48afd94a39a06b0d62"
144
144
  },
145
145
  "cpp.cpp.ExcKind": {
146
- "merkle": "26d124af34d38f6f09ec486ac9d5e6670001979162a9f5a963f93cedec3867b0",
147
- "own": "1dbfde993f1a2ca19eba3dd37457685743db9db967cb9f20fb8ad1c40c9f323f"
146
+ "merkle": "64aaa600b9d71f6b2b10958313d97b1d31940fada05219e4c98eadbe08616a8f",
147
+ "own": "936d801ad978d04bec56d8116bcef2c3186a751d1c8f89ac604c4cd2394278d4"
148
148
  },
149
149
  "cpp.cpp.ExpP": {
150
150
  "merkle": "18d197623a69d657d88723d9fbb85f88f9381f65d2ef1128d83790665814e474",
@@ -190,6 +190,14 @@
190
190
  "merkle": "9606d6453900de107692233eb18f07cf6fe5408e4a2a2de93df6f67ac090a4f5",
191
191
  "own": "5be6679cd5ec758a463219a41ac79f656d92d5b1a52b41f07e77aad8dc201452"
192
192
  },
193
+ "cpp.cpp.FnObj": {
194
+ "merkle": "2bfecc44fac96c38197cb95125658547333824371fbbf9276474acbbcaa0e9ee",
195
+ "own": "1097226fc46726b7e8b02bdd09595d87d82d5386c9bf49afa822865c4cf870b4"
196
+ },
197
+ "cpp.cpp.FnP": {
198
+ "merkle": "39206a6a815a194c714afe6472816ba70729d4b259ce3c90b212a2ac4a1721a9",
199
+ "own": "370d3b0ec6cf50898ef5830e8543aafa7b4efbef6a8daad19c25d2b9a42ab4a9"
200
+ },
193
201
  "cpp.cpp.Frame": {
194
202
  "merkle": "08ec5eae1c1e3f1952ae378e32872de13153e585eae4223ffbabb2317682c2e9",
195
203
  "own": "ccf9540155526dbc07667337e554f3f1295d600f8ec757f5f3082f7cabb442c3"
@@ -611,7 +619,7 @@
611
619
  "own": "b3e08f239cda917a8313dcf56a6058849cd2e0fe41e4f3a2c6c4cb86b5a65da1"
612
620
  },
613
621
  "cpp.cpp.Thr": {
614
- "merkle": "450933c8bbd924716d1cef94cd31542880f901459c608be9bcee8ac56bfe8f03",
622
+ "merkle": "bc95a27ef8b26ae1ed064c896b75da453c1fb5ad2d8b54819d824097f27d8b78",
615
623
  "own": "0862ea61a90ac820dc44b28b55b9ffa1c6f8a89c93841671eea9de7dcae5fe95"
616
624
  },
617
625
  "cpp.cpp.Total": {
@@ -631,7 +639,7 @@
631
639
  "own": "7c85e2d84c71ce7b5f9c15f91caebad3e9de0849d31c11c4f65f2d3b41a00fb2"
632
640
  },
633
641
  "cpp.cpp.Xr": {
634
- "merkle": "2e60b5676f43502c70054659f35b9fc1f66b0b994fffe6ba0a823b01c56aa2c3",
642
+ "merkle": "7d7526286779bde9b322be1f827116643118aefff435e5e5a0a844d3222c4ffe",
635
643
  "own": "90ff25649ae458948c1cffdad2cd70d42139dfead091aee859405d3dc24d8a94"
636
644
  },
637
645
  "cpp.cpp.absInt": {
@@ -830,6 +838,26 @@
830
838
  "merkle": "494964c156f493058ebabb9aa79f14f38a1527eb6261cf77a4b1f0b30e9b30d3",
831
839
  "own": "3996952405ec7b5de54789ce27d6324878910443257455689f5b0f1ddf62a50a"
832
840
  },
841
+ "cpp.cpp.arr3Init": {
842
+ "merkle": "bb0634cc74eee22e02942ccd8f3d7390e7056e0065a9e92e70889c3ba61f8568",
843
+ "own": "84646281e34704b9fcfcf0f7723965fd585b6032a3e20fedb5e0acf81dad80f5"
844
+ },
845
+ "cpp.cpp.arr3InitFlat": {
846
+ "merkle": "ded5cc4de560e5bad572bc4e7ad7dde769e84f86c9f6612623e97c2902af94c9",
847
+ "own": "caf0711b09ecdc4370e1d1e4d287d7cff059b1af1e04cd9c9e25221f71294092"
848
+ },
849
+ "cpp.cpp.arr3InitOkB": {
850
+ "merkle": "eed1ce288244d32b86d6fc80383a6fb2a7d7472986f297daccd06c0d305e1ea6",
851
+ "own": "83bb5ab3885790205c5c0f04417b5274503c7a0483196804380dc655786d8589"
852
+ },
853
+ "cpp.cpp.arr3Uninit": {
854
+ "merkle": "99fe98bdb0ff23ef347bcaab0cc3ca100cde47ec805715d8b3c578faeb0a70a4",
855
+ "own": "756dace5bb39cf3732970fcbaaa6746b728440dd66c5ad312fe8e840c04f02da"
856
+ },
857
+ "cpp.cpp.arr3Zeros": {
858
+ "merkle": "9bb50fb2b56aa580cdd8256ddcedd8b44c8d2efab3483d620210dae48ffc4e1e",
859
+ "own": "8b26f7597458159064bbecbd1be62838ae24f5f2c2e37cbdfa8659f7107a3a28"
860
+ },
833
861
  "cpp.cpp.arrLen": {
834
862
  "merkle": "01cb7d9256c1791b6ac5639150f7c38bb59cb3c18e4afb44c24df63ec4e107ec",
835
863
  "own": "982c718ebbfc048fd06a19cc184a5fc7760b0182aa0f11d9fba1e1b84532a537"
@@ -979,7 +1007,7 @@
979
1007
  "own": "c6e0110feef54e6079cfb03be16c67c854a778516158e54218386781f8ec3bd7"
980
1008
  },
981
1009
  "cpp.cpp.bindX": {
982
- "merkle": "3e4ef433e0d15a5f96b9789b6343b482f003129fce0f6b749d81c1c59c00fbf9",
1010
+ "merkle": "b1bbe2947b653ac2ee9c9e76b480b71ff999dbdde10f4fdeab1bf271fcc1de48",
983
1011
  "own": "2b295161a228b5ea97f393f1463de99042f1917d246d49a5d0f547d465629580"
984
1012
  },
985
1013
  "cpp.cpp.bitCast": {
@@ -1167,23 +1195,23 @@
1167
1195
  "own": "a54f4588a4a690b2655224d5e3f06c781bdde85738258413d864eb679aeccfe0"
1168
1196
  },
1169
1197
  "cpp.cpp.catchAll": {
1170
- "merkle": "0e0efe36fe8237f0a7de59f4a526f541e45eb62a4f41780a10d439eff4ae0b01",
1198
+ "merkle": "be48340f3a6f3412ca1b6244ab9fb01df558fd6a9c82a73fac0030ec2137a5a7",
1171
1199
  "own": "44906221b1ba5464b8b85c49e028a5974fa319afd0ae3fe107aa487ef89841ad"
1172
1200
  },
1173
1201
  "cpp.cpp.catchFn": {
1174
- "merkle": "db9ab3b499f02347ba5b3fbd9b74e10c2198f2b07e93d99814359b8607f84c5b",
1202
+ "merkle": "fa86f9148c06bc5c5da6ccd8050555f5630a1aa25b0eaf135bfbf2ab9331e02d",
1175
1203
  "own": "492746f440164ec81a74af915c54571fc5a80329a81c64df5ec72941166192ea"
1176
1204
  },
1177
1205
  "cpp.cpp.catchInt": {
1178
- "merkle": "ba879f36f46510ab0f2fbc67c127cbd5290bdb6f029dfb2d39397be56cdf2354",
1206
+ "merkle": "1faff0013ef02284a615030b0f47f078b669ba1ab5e340cd3c46f2697d8a3259",
1179
1207
  "own": "59f65e65fd4db5c9e57b6cca05ae9658a97da6c8067c2d9e420bd21bdb7e5004"
1180
1208
  },
1181
1209
  "cpp.cpp.catchStd": {
1182
- "merkle": "9fb7c25552f6a12a40ad3163ed153d2a546cabfb00b34b84b6f8df5cf663f799",
1210
+ "merkle": "840edc8425b61f388a05213e612d8adbc4b93f160fe03aac1d2ac7fe0b867f10",
1183
1211
  "own": "0f7c2c3bddd255db645d23ea0b0ac91cb749c17191a845cd1fe2cffb61665bd1"
1184
1212
  },
1185
1213
  "cpp.cpp.catchStr": {
1186
- "merkle": "0f2507a0a3b786edd2846a4d43d83de8cf3be7ed7dcb0f981dde280487644cf5",
1214
+ "merkle": "b9f477ba372595e53af65032bd57f42af02c812c8e1db6949a8eb5667df803a1",
1187
1215
  "own": "e7357eca86328a13ca7d54a79bfeaa02250ffa7ae67a32f6f8c6390c0a69f896"
1188
1216
  },
1189
1217
  "cpp.cpp.cbrtTry": {
@@ -1647,7 +1675,7 @@
1647
1675
  "own": "fd050fb496aff460a6a72c04ed62f098ac429a5b351f68c618678c74d7b3d6a5"
1648
1676
  },
1649
1677
  "cpp.cpp.dqAtX": {
1650
- "merkle": "89dbd741477bb9f8f823823b408b0a6b71eaa4f10fb4be5ceea2f211ab534562",
1678
+ "merkle": "0794a5e3586943a69c17ef8cb998b5cdce3156120813b80a9cfbefad67fde1b0",
1651
1679
  "own": "874d17d6cbd5f2f1675d67a19575bf04732a25d90ec188b2645406dd48338ae4"
1652
1680
  },
1653
1681
  "cpp.cpp.dqBack": {
@@ -1791,27 +1819,27 @@
1791
1819
  "own": "59d200d75c5588a1ecd6f9c94ec565a827891485a39ffcdf6ad8f9bcba9bb017"
1792
1820
  },
1793
1821
  "cpp.cpp.excIsA": {
1794
- "merkle": "1dc91ebe3298a41a13dcba833af7e7cf6228a7375ae84675c5f322470592ecdc",
1822
+ "merkle": "10ac1e05a45c333e118e6781ff9f3af06824efa1020235c00d0fff397099c252",
1795
1823
  "own": "b634781414815b6715d7e3dd6a0afb16c11cbceb229b14a75b5b50b36a151f6e"
1796
1824
  },
1797
1825
  "cpp.cpp.excIsAF": {
1798
- "merkle": "f599652146f28f3d8fb59ce7ca8e4bbfb57a7f422d8848a752c79235619462e5",
1826
+ "merkle": "5809f31218ae814b1ccfefa0bb95c59a0e625d996f13a0adb8fd59cbf12886f6",
1799
1827
  "own": "1e721b25bfad4e7b648edb5da16810cd5bd1efdf2b606ee3f25d73d166100761"
1800
1828
  },
1801
1829
  "cpp.cpp.excKindEq": {
1802
- "merkle": "a1fa9b70097a28fcb229d6c6a7dabf718dc85bc5b4f9c2228ba16c124ef18563",
1803
- "own": "b6abc6edef495951d2ff98a573416ecfe156fecf0ceb0b3834d177b3f37bfaed"
1830
+ "merkle": "f4e0f417ab31b857a344bb4dda509500800609930c7324da3f88a0757885182a",
1831
+ "own": "fc0815f9c41b7099f5b0164af2b22f35f7fa9c44700303c433169e9ef885dddd"
1804
1832
  },
1805
1833
  "cpp.cpp.excKindOf": {
1806
- "merkle": "9f11a337116693fca8c551a872f2332bdedf03e66638cd1cde40efd31c0c7611",
1834
+ "merkle": "d5a57a5fa9ca967c54430add103610e560e152e0b25ec8659840d1730aa69422",
1807
1835
  "own": "c8228d825e16389031c6a8ea84c182e07860191e3bc63e24ea7417e7f52d0ffd"
1808
1836
  },
1809
1837
  "cpp.cpp.excParent": {
1810
- "merkle": "631184b9aa7fc9b1215bec8fadac47dbd56c5b5a895cc2f186ac26b06163ce3c",
1811
- "own": "02f8191fbe7d93f7d80c1a7426080d94dd536fbc1859869cb73c0adde2851e61"
1838
+ "merkle": "c1f798cd11fee2c85b74fc323ab1da8191959226a3b4b62d5059ba5a27d3f368",
1839
+ "own": "055d0e21806aba9d6a0efa361f8441cba5ca65ab27173c08abb3b636db2ef6ce"
1812
1840
  },
1813
1841
  "cpp.cpp.excWhatM": {
1814
- "merkle": "a04f5e7edd56e01b6059b21ef06a955621d414ef05997da41c5bf666b28cc296",
1842
+ "merkle": "a4f922036a70155c85b56c7a9229a1462e68ad418bdfb18bea2eb46c2a595105",
1815
1843
  "own": "0a99505b557bb9be63a7c7f994473c19c2fd35c6692b7c126f4f398446f2cce4"
1816
1844
  },
1817
1845
  "cpp.cpp.exec": {
@@ -2191,7 +2219,7 @@
2191
2219
  "own": "8bd446db2184bf50b1cab3b14150724def8c4d889236e1d21493c19f653d21e6"
2192
2220
  },
2193
2221
  "cpp.cpp.firstCatch": {
2194
- "merkle": "d636fd5a623e178017afd5c27d554e178d0ed55e54294a655a5a3d6b59621893",
2222
+ "merkle": "a69227ab5488a236d6dc674ff43668b6bcb9e6050b14dfe34c63b470e7958604",
2195
2223
  "own": "d52ecf4eb7d09b620a4b370f83fc03730a9a176fdb42a49e61d71b8fd125154a"
2196
2224
  },
2197
2225
  "cpp.cpp.firstIdWhere": {
@@ -2410,6 +2438,46 @@
2410
2438
  "merkle": "aacf038b69195e29016e32892d1bb65965ab9573874b68f7a3f84a8f3151545b",
2411
2439
  "own": "225366bd3aaf41e96961106df52870b9fd2db6303fdd10bc440301a759b91bce"
2412
2440
  },
2441
+ "cpp.cpp.fnObjB": {
2442
+ "merkle": "53b3c8ab1d1f6e23438777c4f67ef801341dc91121261cd161ff78c7b5a3cac4",
2443
+ "own": "988bd3739d7588f223b3c3c98a1100ae35817b40a61adc7770c268ae244645c7"
2444
+ },
2445
+ "cpp.cpp.fnObjCall": {
2446
+ "merkle": "24f64e2fd7a43487dd9b293f1d706e63ff5575739698d9658a47f5203a5c82aa",
2447
+ "own": "70ddefe858eda62f49f8baf83fe0dae2172b9f03ed247017ac8a5ebcad26c4f4"
2448
+ },
2449
+ "cpp.cpp.fnObjOf": {
2450
+ "merkle": "b90d962c570cb2ed0dd8e480f07a4f5e59e36e9eeeb489faaa3e1c9c7c28494c",
2451
+ "own": "b744e83f7ef9578ea6fd96b38f228dc5400affe6bf4756ad1bb8d59d6a44548c"
2452
+ },
2453
+ "cpp.cpp.fnObjOfP": {
2454
+ "merkle": "4fed0197557abc34fdaa43f18fd3ec53cd8584e9d947cb4e0c71a5f8b448489d",
2455
+ "own": "d4d49122ebce4cac5fb35cde57ee1da9214a61acec84ed6565fc7e360573d71f"
2456
+ },
2457
+ "cpp.cpp.fnObjOkB": {
2458
+ "merkle": "da509012c897b6438b4a838e8652fd7f681a87fa5aa9883092f111e40b808638",
2459
+ "own": "731c663f7bd0bb18770505cc3032d9344874767a2490c91a2b8a4bf28816c384"
2460
+ },
2461
+ "cpp.cpp.fnPCall": {
2462
+ "merkle": "e8e60aa07327a98891c8f6db33336b5cd45b0cc9c0a72262c0ba24dfc5bc1a00",
2463
+ "own": "4fb2d4158890b228f050ce795cee58708fcfa2b11cc4d926483a17f3b3fa48eb"
2464
+ },
2465
+ "cpp.cpp.fnPEqB": {
2466
+ "merkle": "e3bda95c62db45a2491c7c02ac876bc44915921254626d1d83ac3ae6cb052ff9",
2467
+ "own": "a6a181f18b68d481fbc9c746ae32283a75847d71dff2c58e93a80fa36e7fef99"
2468
+ },
2469
+ "cpp.cpp.fnPNullB": {
2470
+ "merkle": "56098991e177414d50b94d54c00066db330c7b27ee220cf7a14011ce462fcac9",
2471
+ "own": "fbd55f8565ea25e1bdc4036d4dfeb6acc6ef614d99b01b5fb20302e9c5f6b51e"
2472
+ },
2473
+ "cpp.cpp.fnPOf": {
2474
+ "merkle": "41b68c336624d23f9707633d58772be609670bb02b567e0163348e2994d0e990",
2475
+ "own": "8fa6ed2d64949c433cabbd46eb4b37f2891ffa1d3fca57a44b2247ee66bbc27d"
2476
+ },
2477
+ "cpp.cpp.fnPResM": {
2478
+ "merkle": "50dfe8163580e3d00960d42a7917927596cd4899f518ea9bd43f940983419957",
2479
+ "own": "aa6a58be19667d596d1473bcfbe03f1a1a3481f8239cc451e41b47de5e865c32"
2480
+ },
2413
2481
  "cpp.cpp.fneg": {
2414
2482
  "merkle": "be2ee44fd660b5f7d3318a6723d98803b45d092ffdd3a4130b06ca955422dd41",
2415
2483
  "own": "07b028432c7d4b48aee54660602b8066eb19b54236ad0034b9a4b691dd848dcb"
@@ -2542,6 +2610,14 @@
2542
2610
  "merkle": "07ee46b03ef2ed022a5e4073d73094b5bb6d5f42b204c8d2d80efaf531e0fb32",
2543
2611
  "own": "07285573c88e8942e8fddabec3928d332c4d04cbdb3ddd6cde3ec38e61301ad3"
2544
2612
  },
2613
+ "cpp.cpp.fremquoOkB": {
2614
+ "merkle": "742e2309e796cce7b5a62f52e2987c64876ec51b810f44b41a98ddaf7a96b317",
2615
+ "own": "6a9f4411b986b356f1955591f2b9b751672a360b4cd8fd244b9222f21afea146"
2616
+ },
2617
+ "cpp.cpp.fremquoQ8": {
2618
+ "merkle": "1aab9edf04a0605ab4c892aa7ac555b4dd76adf4e748c7572af820bbe4127028",
2619
+ "own": "4595d3cfde3fc59108f114c8990ad25a16a047e146e3dbc4c2186b007f41ea21"
2620
+ },
2545
2621
  "cpp.cpp.fromBytes": {
2546
2622
  "merkle": "ff2e41d256e31ca83f67c33fff2da10a00a352700848512e0ca43d75f4005017",
2547
2623
  "own": "c385a3da88b0f8a69591a1c787d79241d89b739618eea3c8f7dad49efaa7f166"
@@ -2678,12 +2754,16 @@
2678
2754
  "merkle": "826cf2d779176c3ae31e1ac9110f36b04512aa9e8585b8c001f2b50f5dd3daad",
2679
2755
  "own": "84996ebff816ef7d5dc0446d21eb39ca938fd3a4a0b5f6032b176cc065218da7"
2680
2756
  },
2757
+ "cpp.cpp.gAt3": {
2758
+ "merkle": "6a02e6a0a5d0e2540fc374539e791118cfeb60afb7a5368c1defecdc29c28a1d",
2759
+ "own": "cfc5d616f732bf4412511df2019f3868e37d18db0f1bfd781252c415ee69c671"
2760
+ },
2681
2761
  "cpp.cpp.gAtOkB": {
2682
2762
  "merkle": "a5e162cc13c5d68257a368970813ada55fc4d06a2f644fc0a1ef8ddc0754eb38",
2683
2763
  "own": "4606354962d15f439e52ee90799c897b24f2f9955af90778463c68af808c97c0"
2684
2764
  },
2685
2765
  "cpp.cpp.gAtX": {
2686
- "merkle": "984595532e670a41659ec6404841ae39e2d08dd43ce3926f32b28a692cb4e984",
2766
+ "merkle": "f28a2e7c157fc7cd2ac1a3d5c5342f689c5208207e142fd1cab1922e5813dcda",
2687
2767
  "own": "29fcde19f83f1b8833e830bc34f67945847426d583c34cc10a699e02bf527fca"
2688
2768
  },
2689
2769
  "cpp.cpp.gBinarySearch": {
@@ -2802,6 +2882,10 @@
2802
2882
  "merkle": "7ef88d68b0c1e77f86d0e3b9131dd13213839bb8b17001a4022e2fd22421a470",
2803
2883
  "own": "79fd8c0f7177740f686c766f36e96cef888ebfc072b4bba234e4298347f4ad78"
2804
2884
  },
2885
+ "cpp.cpp.gSet3": {
2886
+ "merkle": "df191b6776df93f6a4f0c7d6480716f6071ace2bf43247c15344a8dcd38fa69d",
2887
+ "own": "a9fa7b4c6e8f711034c50edee34dd2b1e5e9daa0ece9741ccffec5afcf1ac4e8"
2888
+ },
2805
2889
  "cpp.cpp.gSize": {
2806
2890
  "merkle": "be42a8f6a31a5cea5abe73ba213e781bc03923ba0bdb41e4059a3939f2de30de",
2807
2891
  "own": "75d2e754f0057c00b97a387148e8a019784a1cfb4c8d59ad72d012065da52c41"
@@ -3195,7 +3279,7 @@
3195
3279
  "own": "2c0da35b29a67f8a8fdec2324c4c12c0c010db36887d921f40ccb858b1cb94d0"
3196
3280
  },
3197
3281
  "cpp.cpp.gmapAtX": {
3198
- "merkle": "c6fb7cbceedb9afddb01309d6c70356479fbccedc7d83973139e8ec9f530d7dc",
3282
+ "merkle": "2672c377d76ad159d9cfb5967d2c4e50381f4e55070e4c8bf66ffcc171305731",
3199
3283
  "own": "58edf5f54dbcdf224d8db7c032e6ac21984c1ed695fa69c7ccab6bc11f9970bf"
3200
3284
  },
3201
3285
  "cpp.cpp.gmapCount": {
@@ -4810,6 +4894,10 @@
4810
4894
  "merkle": "2fbb98b6275ee349b83f3a484ac8f3cd7fd092da0e4f397ab8ba28204aac09f9",
4811
4895
  "own": "cef6c2e785e2d1a00c196ea7dab3e51970d4740e02bb7c797f0ca36b488b3545"
4812
4896
  },
4897
+ "cpp.cpp.padPlane": {
4898
+ "merkle": "b87e0daf3cd1ab1650b7c73fcea79a4a76bc5b7a836360e60895206f9ffbb7c9",
4899
+ "own": "0dc3cd72a0317373d35ce0b7df78d11e962a9c96207aa2887e3b95790301dd41"
4900
+ },
4813
4901
  "cpp.cpp.padRow": {
4814
4902
  "merkle": "be2be78b8134badb9c23529614e77252e9786ba019d30e7532ff757ce3c037cf",
4815
4903
  "own": "b46b43ef25d9eeae4cf77c6d17cfc69dcec5b66148e659ffb4a1b9c565065600"
@@ -5090,6 +5178,10 @@
5090
5178
  "merkle": "a96eab9a498341d06161de5f16b36166df123377a2fb68d3eac8c44195d07be0",
5091
5179
  "own": "7c7c17df53e56593bfafbace48ddc262f36b2aaf4551cb5c478c39e9c0fde016"
5092
5180
  },
5181
+ "cpp.cpp.remQuot": {
5182
+ "merkle": "c9af4631b78626b130a9ef56e9477a4ff758689ad0744a3d1a27934d4dea1411",
5183
+ "own": "b1613fc4890174979f95d96f9e6b609005b80ba152ed7ed1bfa6281f275b9589"
5184
+ },
5093
5185
  "cpp.cpp.remV": {
5094
5186
  "merkle": "aa08388b58537eb0eda703f4f1d89189030d14c9fb6292619abcf9427f8659f1",
5095
5187
  "own": "cf108c8b3e80750c8b84e3a29bbfa036ee32d6bc7c5b3986d298df9ae5187721"
@@ -5123,7 +5215,7 @@
5123
5215
  "own": "3a68fdecc890ed763b3a9d349d8dc52f1554f1c0368e2e4b63c1372e229782f5"
5124
5216
  },
5125
5217
  "cpp.cpp.retT": {
5126
- "merkle": "c18bcab8e27b2b5b282baa2f1210384519caa32452b2dd213d622fb580ebee8c",
5218
+ "merkle": "6092ea09d04e92f1cbaebcee33fca79014e197ae6c15434255e72fb3da5f4dd6",
5127
5219
  "own": "5a5238bea97f77855b6f75c1572677bee7d5d8c173950818fa477a0117812dc6"
5128
5220
  },
5129
5221
  "cpp.cpp.retVal": {
@@ -5635,7 +5727,7 @@
5635
5727
  "own": "0cf4f643032753c09e3a1f2ee7edd80e935b467f062733cb17648a649bdf8f6e"
5636
5728
  },
5637
5729
  "cpp.cpp.stoX": {
5638
- "merkle": "d657615ef0f1e94e0ada19b9969f6b80e650596ba0d37939ac6aa051de7e556e",
5730
+ "merkle": "7abe6728da60e11790bccdf51c3e40f6c7f6fc5132d35d28de526c1262312602",
5639
5731
  "own": "674eef30900562328ccf4988d0423fec3af925222dad0cce5e1bb4432dfd9d57"
5640
5732
  },
5641
5733
  "cpp.cpp.stod": {
@@ -5655,11 +5747,11 @@
5655
5747
  "own": "283cb9eb35cd1c7cab9957ed135c1c5022d58dd83398b4d5ba35f128a05ec273"
5656
5748
  },
5657
5749
  "cpp.cpp.stodX": {
5658
- "merkle": "9568af2c70a7d469d73c3a7d9307769899cada9bcce0a9a737cbba731e47e367",
5750
+ "merkle": "19b8200620487545554d456e0de5930c5e14dc5c0de612d741d0ec8cd46b366f",
5659
5751
  "own": "7297a95fc0dacaff2f4d6de880db281815d532f596bd45cf1105f2156209c43e"
5660
5752
  },
5661
5753
  "cpp.cpp.stodXF": {
5662
- "merkle": "c8f5192fcbdb2b1aa0cf53338960c952fd3a270fd22b19c20d49e4d61d0fbea9",
5754
+ "merkle": "05824fc7c5031bfbbae26a9258787e220d46551dfa9e85e37afa993336daa885",
5663
5755
  "own": "aa9e4b6fab4d16437ab28077c854c0747344a051fd6f4ac057ac144aa9e8467c"
5664
5756
  },
5665
5757
  "cpp.cpp.stof": {
@@ -5667,7 +5759,7 @@
5667
5759
  "own": "3dd24a2a0ad091f412d8369c6c087d4401c2322a777408730901f4c91cc1a3d3"
5668
5760
  },
5669
5761
  "cpp.cpp.stofX": {
5670
- "merkle": "3c4eadd8138d4b1c298e7d8baefcbf6bf566b87e0935d710d5a806e7445b21fd",
5762
+ "merkle": "c78f30e1c30d4d62a402ce5710b6e55d208a633c7e3c814b813b79355266910f",
5671
5763
  "own": "c6afb9c09ef2f0cf1b849168e58833562045b33bf9838ad0ff473846f6c5237a"
5672
5764
  },
5673
5765
  "cpp.cpp.stoi": {
@@ -5687,7 +5779,7 @@
5687
5779
  "own": "54bd7a228a618550ac744fdaa0cd461d3cbe782f6be50f4a583411135c0389c7"
5688
5780
  },
5689
5781
  "cpp.cpp.stoiX": {
5690
- "merkle": "27b9da1687a120fdd73c93cec6eadcc4f13b41bec4de6548e83f3294ceff96ce",
5782
+ "merkle": "35628570493ce01664d233c08f2b96f64934b6843f44b2f24009599b231e9109",
5691
5783
  "own": "5852a7897bb1139fd441bbc41407937d900e04144eb35c4b73b4ddd5fb6c0716"
5692
5784
  },
5693
5785
  "cpp.cpp.stol": {
@@ -5695,7 +5787,7 @@
5695
5787
  "own": "24c141acc629008ca9de673ece68c79e5722fa19309fa8ad2327cceb2eb3ce63"
5696
5788
  },
5697
5789
  "cpp.cpp.stolX": {
5698
- "merkle": "7ee40f7222555290f4ef99bac8700cb8c099a57be8cac247730c7149694f3fb9",
5790
+ "merkle": "9c001b38f53bbe0de0e75049842e847a6f9feb1dced8037c81e0aa54864a597c",
5699
5791
  "own": "ef9b286eaf2213ce34e89ba01be0a86b32ecbf9c4212deed3a94bd7ff05e9845"
5700
5792
  },
5701
5793
  "cpp.cpp.stoll": {
@@ -5703,7 +5795,7 @@
5703
5795
  "own": "1016e71aa2e588f6ecbfad779fc98351a7041c08119d4a130514982818e28603"
5704
5796
  },
5705
5797
  "cpp.cpp.stollX": {
5706
- "merkle": "d205aedfd2263da9a64d58d1836f6f80e0da0585c1207ed083a1f9e46dc9f536",
5798
+ "merkle": "a8c18bb7e275f31ac53b0416cc8671039f121422cb3ae66fb28b5d6c1fcdd740",
5707
5799
  "own": "28d3afef3667103a98aea718099f64fef40ca0dcb93e1bd4e94afc8e564e802d"
5708
5800
  },
5709
5801
  "cpp.cpp.store": {
@@ -5727,7 +5819,7 @@
5727
5819
  "own": "22b189aa43d62ff30ceb28caccacab5750703a4d22bbe4dbd98c25b5f40f132e"
5728
5820
  },
5729
5821
  "cpp.cpp.stoulX": {
5730
- "merkle": "8aefb07ed957117f1994e32073ded4f3bc7bb01d968e47122600a802de630a13",
5822
+ "merkle": "958b752323fb923801587f6350f7c85c48500b3c32a2bc809b90853ef1a084ad",
5731
5823
  "own": "6522e78a9ea642ef930560b00a7d3172cac5cfcf7678eccb929ab0b4789909c5"
5732
5824
  },
5733
5825
  "cpp.cpp.stoull": {
@@ -5735,7 +5827,7 @@
5735
5827
  "own": "9c866c5d92cbc04c81bfd4addd11e0541414a2462d6aa43ac391ea25c8ac794f"
5736
5828
  },
5737
5829
  "cpp.cpp.stoullX": {
5738
- "merkle": "da239db75b1374cd32eb75ae81de6764e0fcc4c918d8ceb28407798c6b2f5da7",
5830
+ "merkle": "e9590bc2ee1c4097f1ae935cb1d2dd5e0a308723b96bb9bba8d1abdc04a2bae1",
5739
5831
  "own": "01dc618bcc8492c78ff3d4264e15928b848f688970202e369a24b947acad1e82"
5740
5832
  },
5741
5833
  "cpp.cpp.strAt": {
@@ -5743,7 +5835,7 @@
5743
5835
  "own": "f04d4bda24159f8ad4d6fdc2b36c2460f678a0de80bd59dab9474b81ebc814f6"
5744
5836
  },
5745
5837
  "cpp.cpp.strAtX": {
5746
- "merkle": "02fb55766d24abe52d49ccadabf1de6fa385d1f89cc58d3c50303465d6a749b2",
5838
+ "merkle": "459345b3b7b9107f88e2e7c89114c1799c9915bd80e241d30765dd314065219f",
5747
5839
  "own": "3f2fad886bd50c655b47e2495660bd0e775c07b8b0d1af0a9aaea8540337513b"
5748
5840
  },
5749
5841
  "cpp.cpp.strBack": {
@@ -5875,7 +5967,7 @@
5875
5967
  "own": "1452135671e93d835c015c618ec889c594d7693adb0fe6a88588c67e63be699a"
5876
5968
  },
5877
5969
  "cpp.cpp.strSubX": {
5878
- "merkle": "92c1fe836a61caf644ccb30e64462c968664d9f9277d86737f39f13455d19106",
5970
+ "merkle": "acb0e2232a1b473b20a762deaedd1a91d32e8d4ff2c4ec553549c92a4755cf52",
5879
5971
  "own": "c005f9f3448f6b744185a58a599ce9874b485911d66404f102ea6b0df6360f22"
5880
5972
  },
5881
5973
  "cpp.cpp.strWriteB": {
@@ -6123,11 +6215,11 @@
6123
6215
  "own": "0db0ccf9617a0a40c252ea7a6818f2a856162427be03f358696f41d54226734a"
6124
6216
  },
6125
6217
  "cpp.cpp.throwS": {
6126
- "merkle": "4798525e1f125ae76a3b02ae85dc802a7aa2aafa68f9e98ce636ea21dc64332e",
6218
+ "merkle": "1d8865421a17348fca571896309be372a3cf0ed78e953e5c3b9141847abacdd6",
6127
6219
  "own": "481d5300828f41f8ffbc9194e13b33f555a842e03a4de05b2116db4dbabc7e54"
6128
6220
  },
6129
6221
  "cpp.cpp.thrownState": {
6130
- "merkle": "30cfabada9ec57b43f219c48a2b7eaa999952622ab9b459a32d2da534ea1d430",
6222
+ "merkle": "6168c8a38bde6877ae231341412317e8c2c8ff6a93d6a995dc4edaf56cfdbf95",
6131
6223
  "own": "206c97de3caa29b4900e2a51c228eafb5af94422409e47bce2e47cb60d9030f6"
6132
6224
  },
6133
6225
  "cpp.cpp.toBase": {
@@ -6227,7 +6319,7 @@
6227
6319
  "own": "16c328d5b12143a87f3ecdbd27561ab1ab7320d23087d4cc37f0acb4c81ddb88"
6228
6320
  },
6229
6321
  "cpp.cpp.tryS": {
6230
- "merkle": "cfb18c1970fa754276c2dfb93e3a801d125fde5c94a172044b127e0c60152fce",
6322
+ "merkle": "ce58747b9982373d3ca727a7132824b7c81accb1e1b606bde3dc218a789df7f6",
6231
6323
  "own": "ab24493a4b46a482d4ec56295869b6d95c08008b0dd2e968a12ecb5b89d3441e"
6232
6324
  },
6233
6325
  "cpp.cpp.typeCode": {
@@ -6235,7 +6327,7 @@
6235
6327
  "own": "c9c5321bcc4df517827880865524f513db187eb7bb8805c046d609a554398e3b"
6236
6328
  },
6237
6329
  "cpp.cpp.umAtX": {
6238
- "merkle": "459918d5831dec02a33a40665ddb2bf005236efee4a29a6fd6ee54738b7221c9",
6330
+ "merkle": "1a7ee14f6e43aadd020c67f94060eeb4df4d8151a42af4d68f682fe1cfaa1a95",
6239
6331
  "own": "c594115ef8562fb1311581977af74be225d5547f4a75de570df05051c261cee5"
6240
6332
  },
6241
6333
  "cpp.cpp.umCount": {
@@ -6307,7 +6399,7 @@
6307
6399
  "own": "ef052d50690862983b65bb407f3b455e49c58476781210b6fa41a870ddc348b6"
6308
6400
  },
6309
6401
  "cpp.cpp.uncaughtB": {
6310
- "merkle": "2e36274f5ccf0f4d6d2860466334dfa35c8ba3415961a68b678d0cbd2fdb8909",
6402
+ "merkle": "d6e29554cd542316bbef3450eb8a4660a90d1e560d2a706d7765226fceb868c0",
6311
6403
  "own": "03b91555cfa9b117bc845a2b96a09b2b844b542c03d98fd69830934f63f8a6cc"
6312
6404
  },
6313
6405
  "cpp.cpp.uninit": {
@@ -6538,7 +6630,7 @@
6538
6630
  "format": 1,
6539
6631
  "modules": {
6540
6632
  "cpp": {
6541
- "bytes": 3135158,
6633
+ "bytes": 3169301,
6542
6634
  "deps": [
6543
6635
  "cpp"
6544
6636
  ]
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@cella-lang/cpp",
3
- "version": "0.1.202610110300",
3
+ "version": "0.1.202610110317",
4
4
  "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.",
5
5
  "files": [
6
6
  "cpp.cell",
@@ -28,6 +28,6 @@
28
28
  "modules": [
29
29
  "cpp"
30
30
  ],
31
- "packHash": "a94ab6467d9b7825"
31
+ "packHash": "c0dc9a409e664848"
32
32
  }
33
33
  }