@cella-lang/cpp 0.1.202610102043 → 0.1.202610102126

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,9 +5,18 @@
5
5
 
6
6
  ## 未發佈
7
7
 
8
+ ### set 與 map
9
+
10
+ - 鍵的型別任意、比較函式可自訂:`GSet`、`GMap`(`gsetNew`、`gsetInsert`、`gsetErase`、`gsetHas`、`gsetCount`、`gsetSize`、`gsetEmpty`、`gsetValues`、`gsetOkB`;`gmapNew`、`gmapSet`、`gmapTouch`、`gmapGet`、`gmapGetM`、`gmapErase`、`gmapHas`、`gmapCount`、`gmapSize`、`gmapEmpty`、`gmapKeys`、`gmapValues`、`gmapToList`、`gmapOkB`;`pk`、`pv`、`swoNewB`、`triOkB`、`insertBy`)。
11
+
12
+ ### `<cmath>`
13
+
14
+ - `fmin`、`fmax`(`fminmaxOkB`)、`fdim`、`fremainder`、`fldexp`、`ffrexpM`、`ffrexpE`(`fFiniteB`)、`fisnan`、`fisinf`、`fsignbit`。
15
+
8
16
  ### vector
9
17
 
10
18
  - 元素型別任意的 vector:`GArr A`(`Arr t` 是 `GArr (Val t)` 的別名,建構子名照舊 `arr`;用到 `Arr t` 的資料型別參數改寫成 `GArr (Val t)`)、`gEmpty`、`gFromList`、`gSize`、`gPushBack`、`gAt`、`gSet`、`gPopBack`、`gValues`、`gSortBy`、`gStableSortBy`(`gSortByOkB`、`gStableSortByOkB`、`noEquivPairs`、`justOf`);`elems`、`arrVer`、`arrLen`、`pushBack` 改成泛型版的別名(雜湊改變)。
19
+ - 迭代器、`insert`、`erase` 對任意元素型別:`It` 的運算與前置條件型別(`ItDerefD`、`ItMoveD`、`ItBothD`、`EraseItD`、`InsertItD`、`EraseRangeD`、`AllInitD`)的參數從 `t : IType` 改成 `A : Type`;`itDeref` 的值從前置條件取出;`ArrIt t` 是 `GArrIt (Val t)` 的別名;`insertA` 的前置條件是 `GInsertOkD`(`InsertOkD t s` 是別名);新增 `gEraseA`(`gEraseOk`)、`gFind`、`gFindIdx`;`eraseA` 改成 `gEraseA` 的別名(雜湊改變)。
11
20
 
12
21
  ### 排序
13
22
 
package/cpp.cell CHANGED
Binary file
package/index.json CHANGED
@@ -15,12 +15,12 @@
15
15
  "own": "f2a0398b1a8ae3dafb8055f7b1914a6d4e6ec316c9dbb94329cb0eb9f792bb07"
16
16
  },
17
17
  "cpp.cpp.AllInit": {
18
- "merkle": "5edbb86c50bc4b1d7c815b06a5a42ea1f95470338e4252ccd5a4e349de72cbc2",
19
- "own": "455a4d4e5eae602c11129dcc352b284fbd67e1d00b6dcfb5f71ce58144864e7e"
18
+ "merkle": "bf253809bc9fcb1c4b4ae8d2b613277175ddc98f68bb8fd0e2947f591446f027",
19
+ "own": "57d9c1fc1c78d3ada1ee83d2d86503461a80330ca106fbf32265cb5c6128267b"
20
20
  },
21
21
  "cpp.cpp.AllInitD": {
22
- "merkle": "c91e90564de934c198c25886bcea28a12a28cf4aac8ffc372b2742c1afbc6ecd",
23
- "own": "0cf4b55ae2558fc6b614c2fec7813af585fd02ecdfafcb20429ccc6077c0f62d"
22
+ "merkle": "7e0635df6d33a67068645d09475e0796cbe2732faa96da56e84af22c2449aa8b",
23
+ "own": "ed0100ab34026508410c21398384ecf058e9428866e44fb948f7594a7a53545b"
24
24
  },
25
25
  "cpp.cpp.Alloc": {
26
26
  "merkle": "df46177580c4bd209fa394dc9cc63a0a8c29276d27778b1016ea682e901e0343",
@@ -39,8 +39,8 @@
39
39
  "own": "bb906c61e84f4a7187401ccfb5aab488e67061bcd277768a2ddc2abf582811ac"
40
40
  },
41
41
  "cpp.cpp.ArrIt": {
42
- "merkle": "56d2ef009b6a3bd094100789b92fdc85cb3b9e211bc92d14b399b7e77d6edbe3",
43
- "own": "044356f8b87ea1e028168eb9b9298d1cb6b35887953a60ea64404bca46d2741f"
42
+ "merkle": "326e83032b3f0fc87815fd03a93cb9c7d7968706918488f4aeadc7743169b5d7",
43
+ "own": "3abea8395d4a2484ed539a80871e98301367c8f4e492fc07f57c678997ee59b5"
44
44
  },
45
45
  "cpp.cpp.ArrNonEmptyD": {
46
46
  "merkle": "9eff069d445b487e24e2f506bff792f8942565a7b67b1961aad85685d0afb25f",
@@ -127,12 +127,12 @@
127
127
  "own": "60a9c4d4f38ec35d6060cf5f7aaa4c02fa80009e28de22def3a84095551c9461"
128
128
  },
129
129
  "cpp.cpp.EraseItD": {
130
- "merkle": "104e0ca1d3bfb3f43dfb01e6b1f6485a4d94ac8bf34839790a87565c0836a651",
131
- "own": "82ee6c1f0e1458d194d1ef8122d236a376cbd1c1b9ea4963664a5e0d099e4ab1"
130
+ "merkle": "70e0cfa11d09697bc18c822bf8dbf33c38f7f682a55f908216d8984782bfd2cc",
131
+ "own": "7c5b34caa1bdf52ce7441122772301e2188de6660f82add828e73b39b0d71be4"
132
132
  },
133
133
  "cpp.cpp.EraseRangeD": {
134
- "merkle": "2a0e077c93c56bf5a8bdf56ae64dfc2d10617a85c5895399e84087727d341ec8",
135
- "own": "6a7cc10744db0e4d96889057bd48adbc00c6bb37d3c768842ae74eeb6ebd4fd0"
134
+ "merkle": "0aec188711b585dd0a1dba309a47450bde0efcdeb0de2bf4f039ebd3d777267b",
135
+ "own": "7de358756be383842b445402aec395364a4359d2682efd01f13e88def5044cdd"
136
136
  },
137
137
  "cpp.cpp.ExpP": {
138
138
  "merkle": "18d197623a69d657d88723d9fbb85f88f9381f65d2ef1128d83790665814e474",
@@ -194,10 +194,30 @@
194
194
  "merkle": "9776d104fa0dff16fc3779ff0b955d6f5948d448aee1e651cf84357061e56804",
195
195
  "own": "590e6e201367700d55c90843cf942bc0fea249bca942862770ac883552ea71e8"
196
196
  },
197
+ "cpp.cpp.GArrIt": {
198
+ "merkle": "682ea6553ff0693afd24a72bfa05aef9f7b3ff2a03b55dc72f8669413838dba6",
199
+ "own": "b1d227a850d398d31730ae0086724a6ed5b217627b729e45a4c1a047771a8f91"
200
+ },
201
+ "cpp.cpp.GEraseOkD": {
202
+ "merkle": "e5922bd80b144e2684f1d4c7bcd5596e993a4b42e2184f14bb0b815240df23d1",
203
+ "own": "a475075fe6d1218f216752a3c0b750242169ecdd974e2fe3d4c8d9a2c9e714b5"
204
+ },
205
+ "cpp.cpp.GInsertOkD": {
206
+ "merkle": "181a49eb1a1f43c81de9a731397b08c3c334cae07ddfbd4364e07629d80a2157",
207
+ "own": "6cda4f9b32ed7b93b65fe28a7e2856bd6e302e41fd2f67a27ecea93f03b951dd"
208
+ },
209
+ "cpp.cpp.GMap": {
210
+ "merkle": "5bf723468ebb1b9bac4f155dd9bfe532d52e47d6d821ee87f8568a5a826bb83b",
211
+ "own": "dd7b59ed5fd0993254ecbd3c9199acb3bbbd38ca1c6134b7e95d3d924f1a6330"
212
+ },
197
213
  "cpp.cpp.GMem": {
198
214
  "merkle": "d9911ff1a75bdb5ebb4e87aab5a3db9f57af0c13bdfc502b150f1f67dc676c86",
199
215
  "own": "24a2a9edb879274a0a88a31007ff33f8591ee4dfd8d699a6bf032387397510c8"
200
216
  },
217
+ "cpp.cpp.GSet": {
218
+ "merkle": "88c678f911ea059f53bfdb3ca6b9daf229cfd6b0f3d067a4d72ef26c9c40e8a4",
219
+ "own": "5ea099fee36a0005e62f8214b6cece4fa6b3112bca48f55356d0c9b46f222fc2"
220
+ },
201
221
  "cpp.cpp.HypFn": {
202
222
  "merkle": "7462de806d21637e219d6f5ef4f077aac4a34f942a2a42e48753d37f77c38891",
203
223
  "own": "48d00acc74a7a299381e8fe2d57475ec9ae90585c4971c00edd63a9958eb7097"
@@ -231,12 +251,12 @@
231
251
  "own": "81f9e5a1a2891d1d72e5b06972985e6d7b86939c7c6703936128c897101c9c72"
232
252
  },
233
253
  "cpp.cpp.InsertItD": {
234
- "merkle": "390ad6a9dcc28a379150297009dca910d446d61d82244cd7d59bebf95a55c30d",
235
- "own": "84375361c8bdd144015ff6732fbe42586712c60a13f93d63e078dfb7e5a1d088"
254
+ "merkle": "0f70ceff0c81960056d9c9944d345f7367f70dbfce87a6759acbc425ea3cc461",
255
+ "own": "ce1c98a41ec89219dbfdd1adc65126c6d1faf01ba95877dfa10f84212b766de3"
236
256
  },
237
257
  "cpp.cpp.InsertOkD": {
238
- "merkle": "042858974c9e4e9438556708d88e1ff22a9e3a6c30060f9eae591fd93610f885",
239
- "own": "76fc50ff57a83472eef013a44fbb010f12b718b84ba6ca03d624bfe870a56b62"
258
+ "merkle": "4ffe787a24277ea0e1184da6ffc540a023ee34272f471513eee1292ea683223d",
259
+ "own": "6ff23c0f8d0edd5ca69db10ab4af5127d7e8eb6576433e3ce55bdfcc87b5d8f3"
240
260
  },
241
261
  "cpp.cpp.Int32": {
242
262
  "merkle": "0cef551223cea06da834c6b1cc731b469d293a965641747be076ba100a5fa8f1",
@@ -255,16 +275,16 @@
255
275
  "own": "8b295e17888aa2616de3ec1f4d781c9a35514f8687db5c24c4c06dcc6fd32889"
256
276
  },
257
277
  "cpp.cpp.ItBothD": {
258
- "merkle": "8a8eb8354415ce20a3ecd938f0c637927e13755db871e3983bdc4c1aadd321bb",
259
- "own": "d711f47e0197a457daef18cabb956287139c38a6b2670968b1ea261864dd3299"
278
+ "merkle": "ae10593b91c699ccba9b29615d0e6072b20182ed8c1250b1b9f0092eabb9be51",
279
+ "own": "c03cc3e0785ded2bac4eab739fcff8d25fa813cc53d4ca18e29372a2013676d1"
260
280
  },
261
281
  "cpp.cpp.ItDerefD": {
262
- "merkle": "e7677a40338dd940b126bb984512fbb62ccce668288f969d5768adbf1eba1f2b",
263
- "own": "f7d601457820d222e6173e3772ff65797f1f01bea16ee08725dfdf6c3d615170"
282
+ "merkle": "01a2f8150c3da2778b4a6016e516ba0fdae208ab6c841c30639001c0484765ce",
283
+ "own": "a46b3b0f3d18c8bfb49d561ec54b358e25a9b99ff7e6e0828cd6b0ca6c4499f4"
264
284
  },
265
285
  "cpp.cpp.ItMoveD": {
266
- "merkle": "dd353d6faaa6e9545f6aa96df8b1a03c5ce0b6ff1aa5a3919a1ea458d8741170",
267
- "own": "95a0b74bc3d261984b35bc026490c511ad33a2568bc7b095ea5ef5f6238aa475"
286
+ "merkle": "0d74ec845ed9d1aefad5ac601d1c0740d194f69ffe097f1d904432a45aa6a415",
287
+ "own": "88bcf86af913ca8087d4771d09c9d04d8da686338c20b34c424105d2ad72bf13"
268
288
  },
269
289
  "cpp.cpp.Jump": {
270
290
  "merkle": "15bfd812cfc5193e3d9993cafaa5d758943ac1b5cbcfd956b417f07f7753de90",
@@ -595,12 +615,12 @@
595
615
  "own": "0fa1ba30b1abef19dd23a05492a6c7eec7f14ff22c48ffdecd84f7dbc8dcfb0c"
596
616
  },
597
617
  "cpp.cpp.aiArr": {
598
- "merkle": "4810edd1dc8eeffd370f47e3307c11aef0a6aae217c179b2efb937c6561724f3",
599
- "own": "1ef91b72c62e8f57e992b9ed582df2174e44bdc455f85ec851ff1788c2a05e9f"
618
+ "merkle": "7e26352b0cf1de8429a58ae2f2afa2d3095010eb2ba10b7405b40302973142c3",
619
+ "own": "020483603b59b8e8ecaaf6e469ba1ef8a10eb36d1b14bdc115beb9ca9bcdea7a"
600
620
  },
601
621
  "cpp.cpp.aiIt": {
602
- "merkle": "256075094884157d9776b890cb4541b4e2e8e641e92f7c0284c3637f8a544cc4",
603
- "own": "09d6c0e0a12f310b0c197af791e48df04b68449d7399995a8d0d9e780d523f48"
622
+ "merkle": "e4e3633bcbbb6e035b75eb83f91e54c0529ab68ad059794b331135cbd873d780",
623
+ "own": "bc9e10c4e9839b51285a559f06b52e6af9ba9238b3451bdac3d4637cda953f33"
604
624
  },
605
625
  "cpp.cpp.allInitB": {
606
626
  "merkle": "2560bc00592bccdef1450853c77668948b254b71fff546e4aa218782956c02f2",
@@ -1099,8 +1119,8 @@
1099
1119
  "own": "4844bb47a294d6101722f4afeb9493be40aeeb342980d1d54135c0d1ee5464e5"
1100
1120
  },
1101
1121
  "cpp.cpp.countA": {
1102
- "merkle": "7922a61d56214e507d8ef075c9cb6cbafcd86c4a5ff6d3821e27b9b854b95692",
1103
- "own": "f7c8bc0b957552ba2075e79a678570904a0d9bdc2f6f6b67149d957d6f6ae3de"
1122
+ "merkle": "5b2b0d9b7c638d7c15a01957e9ff7aae3b2779fc8d9589c0c9d7c009261390eb",
1123
+ "own": "5ebb95c1166bd2193805f98fb57b760feabd19445b1069c89a6dea20c7bbae3a"
1104
1124
  },
1105
1125
  "cpp.cpp.countEq": {
1106
1126
  "merkle": "1b16fdadaa8dca11db6ddad4a82ffc999e02299c33672f926237598306a0521a",
@@ -1463,28 +1483,28 @@
1463
1483
  "own": "b886fb3f577d37df8725eb63cb38ca672ff94d44d6aa7bb80e80a7e75a726add"
1464
1484
  },
1465
1485
  "cpp.cpp.eraseA": {
1466
- "merkle": "a195178a3671586edceb52bd5bb2230ebd8bb1ea5695c7557e79f14225209759",
1467
- "own": "204268630eb5f0eb6dd293f27b47d97312100f2c7ecdd17c4daf809ba79bc7cc"
1486
+ "merkle": "778704eb0ea90339616a946197223e1534317d336aa38177ae8ebbba887feb08",
1487
+ "own": "bb305807e8370389c392301822cd98ce189b07e7a2df6a57cdb298aa95b629a0"
1468
1488
  },
1469
1489
  "cpp.cpp.eraseIt": {
1470
- "merkle": "8a79431f0105ce6b145f57499bf13124cdbf2e381b10420408838201351aac70",
1471
- "own": "a2c6905a454fd73973ea17e1f21fb05f61e6a9af99ec1a6c37049a1ee26401d1"
1490
+ "merkle": "db7fdcbf39ee9f7016916e40537d3be319c89279eefb8a2023f07bd631d18060",
1491
+ "own": "f9313b848c74dd5baf6c7b9eaa81c15db4c920497c73e023afacea288d09bd78"
1472
1492
  },
1473
1493
  "cpp.cpp.eraseItB": {
1474
- "merkle": "518bbb854e33bdb1af54eb731620acc0447d8749112e96aac63e63aa0601165d",
1475
- "own": "04b6759e487749572e22d100b93c30ffb19da9874b9d657a5e6094813c8dbd14"
1494
+ "merkle": "214caf7afbd35170c72e9bc44d8384bea810342461e1253a1f91a8c665754d1d",
1495
+ "own": "ff1e3ab089aed6ac32b4ba7fca5f8aaafc0f0c1296398d7f0b5824fa23688216"
1476
1496
  },
1477
1497
  "cpp.cpp.eraseKey": {
1478
1498
  "merkle": "5f5c0e2d2d50b8baf0a1a1f1cc29b56887219c0b414008ed4c3f74bef6b682b8",
1479
1499
  "own": "244f3d5d82676f2696dd4382cd3a0d29d231c28de46a95b21aa6cfd465f658e2"
1480
1500
  },
1481
1501
  "cpp.cpp.eraseRange": {
1482
- "merkle": "16f3cc3c3ab67b44314cfcd3ad7afe1e964f85de171fbd148a093fa3b89017af",
1483
- "own": "dcb541be5c71b728620c03f63da483e01d1f84c823ec81755cab2b6fd6077e27"
1502
+ "merkle": "f8bae3f76445305d6eb424aa405f7bc084fb3fb2ed89f8e325ed684348286dd1",
1503
+ "own": "1ff36ed524e64b3b3f9e3efca0925619698f6360bd130c680cfcba3382c6e79f"
1484
1504
  },
1485
1505
  "cpp.cpp.eraseRangeB": {
1486
- "merkle": "d7154630333ad329425ca02c922892347180874cb71f8536c82d09e000b1312e",
1487
- "own": "5480e1744c8faea69299491337760f8773bcd952198cdbbef4d4c68925af24c8"
1506
+ "merkle": "c14602e6b59f23a40d07b5fb17c4b905f9f1b9415e7c123b298518bd2a485f64",
1507
+ "own": "5e06f837db6d5f43e45313b06eaeb35069c2415ac7c277d6669e8d8c806bf1a8"
1488
1508
  },
1489
1509
  "cpp.cpp.eraseV": {
1490
1510
  "merkle": "70a7a88d1654aa5af3260b6d5e97d913b966db665a6210ff5c5bd469e411142d",
@@ -1574,6 +1594,10 @@
1574
1594
  "merkle": "f234307d8799eb639d9c2cac59580f88aa5895dda280a684e814c14d4a342f93",
1575
1595
  "own": "3f4306f920324c31eca2f3ce6581f4513c1cf5add43d0959e5d7a27afb870eef"
1576
1596
  },
1597
+ "cpp.cpp.fFiniteB": {
1598
+ "merkle": "a671963579beeffa502eb41b68e272aa8b65f7ab28ca50484be6e08d93b44ee1",
1599
+ "own": "523502ba222e146266a1cc9792457906015b33d36af7f56a330d9287e29e0939"
1600
+ },
1577
1601
  "cpp.cpp.fFromBytes": {
1578
1602
  "merkle": "ccec8c789a911acee1c99be2013492188d79e85043ced86c04fecc75456b193a",
1579
1603
  "own": "e79eb99ae5af9af739c4e8d057cadbd5eddcf3c0613715fafdb97c57dcd50925"
@@ -1702,6 +1726,10 @@
1702
1726
  "merkle": "c072af3e8b68dd2737b9c8c747695151af4d663701707b8b29f1428f0c56ee16",
1703
1727
  "own": "f22e9d44c3b927f1ffc15ff0d91341242a54de79f337627362c292ece20e8466"
1704
1728
  },
1729
+ "cpp.cpp.fdim": {
1730
+ "merkle": "ef445b303c153d915da9175e930781662ff959603c21de15237a6412d39912fd",
1731
+ "own": "39464c144298d9d1da033c119592073ab7065514dd41c96dc082eff1594589a3"
1732
+ },
1705
1733
  "cpp.cpp.fdiv": {
1706
1734
  "merkle": "4083f0fc6762fec84c01748285cc1a08ccac69f90d804f56c591553e638bb5a2",
1707
1735
  "own": "81dfcbb4a34f713685933b96abdf6c225c70b022d508bc661cc69bbcdded9111"
@@ -1746,6 +1774,18 @@
1746
1774
  "merkle": "b85402c6d06845a43cfc1cd60a2975866f56abf3e7e1496d6724b327ffc9a345",
1747
1775
  "own": "92f36d876a897577cdaf290beff40cdde3bf77c18e32a511ed9311e77f557c47"
1748
1776
  },
1777
+ "cpp.cpp.ffrexpE": {
1778
+ "merkle": "156d512705698b48885c88f086bb78b655c2db566772e36ab7b36278ed049ad8",
1779
+ "own": "e2d3b7cc991e1c7fd6bd7fc48408cfe91c9f57e559a736e83e019630f8371937"
1780
+ },
1781
+ "cpp.cpp.ffrexpM": {
1782
+ "merkle": "7b60bd291962fc6511733ca09479efe508d6720f0f6f1e6a3f9dff3a34a38d13",
1783
+ "own": "cb0215a2ad46dd112c6b642a45b6165ef5fbc38632ef90ca715d21d35b122b72"
1784
+ },
1785
+ "cpp.cpp.ffrexpMV": {
1786
+ "merkle": "2067992fac86dca56c5f030dc2d87abbbad8fd141b56dbab19e54dcb89fa98b1",
1787
+ "own": "31d06897049799d8b803663faffbab35ec6018ba0e3256c4e40df95ad1e4697c"
1788
+ },
1749
1789
  "cpp.cpp.fhypot": {
1750
1790
  "merkle": "42edf8140c76d0515d0bdc08c6457d6581f51b67436733d9bfd1dc8ad0596ab4",
1751
1791
  "own": "2d577c2a8ae2c838a0e964feddb2a1d7269aebc632a89ba2c054d319f9752ed6"
@@ -1755,8 +1795,8 @@
1755
1795
  "own": "1cdb2ff2bfe573f5953b7c506f6fd536c54cf3d3cc35865bbc96c1be2ca3bc1c"
1756
1796
  },
1757
1797
  "cpp.cpp.findA": {
1758
- "merkle": "ec84a483777c3fc1b3eaccfd94248d8533500f39a2a141db9eff1475f0c0b7a6",
1759
- "own": "a8fd558e3232c41345ba1402550394d001f89f91e6efb6a3be4c752ae01574ff"
1798
+ "merkle": "34b87aec169e4ddf3aabdb9d0557e3b3c91b56fc2559f32167828272c02f2ae1",
1799
+ "own": "eedd34476122eaa51004e74d31b8e1e7c5cb4af1b148139eccd8f36ba12366da"
1760
1800
  },
1761
1801
  "cpp.cpp.findFrom": {
1762
1802
  "merkle": "7b0ed505d8ca4e0c116193b9e012a09c4a5d959189203a702938c9991ac71f7a",
@@ -1767,8 +1807,8 @@
1767
1807
  "own": "65db8e201bd5fe34d7d752732d583aba27bb50c1304184e01eb813d8bc5afc12"
1768
1808
  },
1769
1809
  "cpp.cpp.findIt": {
1770
- "merkle": "561b74bc0ac9ff4c3ea687039ace306705536dfc68d89ce674cca3adf1f9bf7e",
1771
- "own": "8d079c79e9d147864dbdfd4627cf743a7820df12b69df86578758e2b99fdae54"
1810
+ "merkle": "a47d417a140b6a781d13fbde5849eb1edbb9a4d369f6bdfada501d7543e667f4",
1811
+ "own": "15bfd8f71656103a9f8db9b58c9f14f3d5feae6edaef9e6e5c90a292d8db1414"
1772
1812
  },
1773
1813
  "cpp.cpp.findLabel": {
1774
1814
  "merkle": "063ced0d72b3efdf6ba061d50c117f77524547482aaaec8b399c2b708eb02aa0",
@@ -1830,6 +1870,14 @@
1830
1870
  "merkle": "a3d56da8029da2634f6d9b35f558538637eff50e5cdd49dfb68df8a13c727f56",
1831
1871
  "own": "daac448fff4fe1ab442889f56cb13c8f172e9bf401a6cfb964fa9a7744726cc5"
1832
1872
  },
1873
+ "cpp.cpp.fisinf": {
1874
+ "merkle": "b08cd8e1f6603fd96b2d1fbed01c876365cf86640a52b378a02b29673f8c28d7",
1875
+ "own": "d3c54fd63572bbb570c2b3d713e57cd94db4cc18bc05f8c72623919236994019"
1876
+ },
1877
+ "cpp.cpp.fisnan": {
1878
+ "merkle": "7df110c46d2576ef210beba1c803c1b8c472f74a94fd882b23d5fd698e5a7f6b",
1879
+ "own": "11e11c60f31a9d0c7aae24205cfc7eb22c11830661373c46a4cea4cdc02dc882"
1880
+ },
1833
1881
  "cpp.cpp.fixLog10": {
1834
1882
  "merkle": "0c3de02b8c308096a5d49e20841371276e118402fe4b38a8182687552884e794",
1835
1883
  "own": "d7ed6d522468ea21327cf1e1980bd4530c54939719743d46d2c60cb6cbda069c"
@@ -1838,6 +1886,14 @@
1838
1886
  "merkle": "e58bcb2e23dd59ab5514e0774010a4a9ecd5cf421b0efe84a5d2293214356318",
1839
1887
  "own": "08318273fd078f3dce3bf0ffab1eb22daa675c29666a6997d38c87942315b81b"
1840
1888
  },
1889
+ "cpp.cpp.fldexp": {
1890
+ "merkle": "561cb363301c4d68e0881602b80ffa4e11b9b48ba9c6c22b2cd8412b28ea6069",
1891
+ "own": "d72345945b75c1776df8e36c2c2aba1862ef77a8936490677c2df9c088bf2d80"
1892
+ },
1893
+ "cpp.cpp.fldexpV": {
1894
+ "merkle": "d8ed2bbd12ba1209bf56f07b4c6220192d20d9bf48b3e1c6af966f4b0d708f51",
1895
+ "own": "ec501b264a50b6d45648407ee07d109e14f968134455dd339ceb287fb1575843"
1896
+ },
1841
1897
  "cpp.cpp.fle": {
1842
1898
  "merkle": "df8e2b041f78c564af61b53ec7db55a46d925919a661ee1f9192bf58ef0f210f",
1843
1899
  "own": "6ee28b8633eaa2d6ad2c138c9c0606c181345e1e8662d5563838030827629a6b"
@@ -1902,6 +1958,18 @@
1902
1958
  "merkle": "86f5f20ae987b028b15aaae7687ad2bfa9a26215b02dcfa3232f439c96ff6c62",
1903
1959
  "own": "55313fe0fe837bfc1be1c6fab6c2cfbe48a2978929ad1bd892dbdad1849fb769"
1904
1960
  },
1961
+ "cpp.cpp.fmax": {
1962
+ "merkle": "a1cf34713b2927e3a9a0ccb8c54d8135754d2773a171d2e29380450ac2af9586",
1963
+ "own": "2911c056db09d976aeb64a9fc75a7c728d55b7761f0b69152555a1b9b6ee7007"
1964
+ },
1965
+ "cpp.cpp.fmin": {
1966
+ "merkle": "5dc89450c33a61f077cd85ebbe7ca5e664cae064d4070165bac04117960a11a3",
1967
+ "own": "b1d3293c3a1e442faf72a907daf0e65d69b09a2a8af65813fd5ac59d8324a2a3"
1968
+ },
1969
+ "cpp.cpp.fminmaxOkB": {
1970
+ "merkle": "0b94b60e1d540066ac4e620f6ecdca603ff73d3dd0593e1e90448fb07e3534f2",
1971
+ "own": "cd8c824cee4fd58e4c7e4112ed7759e1db064fbbbd5bf7cd240786a4a11e0254"
1972
+ },
1905
1973
  "cpp.cpp.fmod": {
1906
1974
  "merkle": "c97ce569251845f038e8a2cae910d4c48ed8d8d7873da468f0a749a9bbc16c38",
1907
1975
  "own": "d2a4fa8a7dd494603f24aa1c73f79b77b1a8247bf24b23a4166a0970ef8ba84b"
@@ -2007,12 +2075,12 @@
2007
2075
  "own": "e575cd1ab60141fe682923f5ed6b5b5a8ba884dd48caddbf2b3f398248066e4d"
2008
2076
  },
2009
2077
  "cpp.cpp.forEachA": {
2010
- "merkle": "17fec2051c898e5cd425f5fa5c6b9072e933392f21304d911b824b7b76d4067b",
2011
- "own": "fbefef89f680e2a038261013190a28cd15ff90761871710ae1ef16f0fd3bb2f4"
2078
+ "merkle": "2b17f371d6b457fe4e2f967a706e99872b863d57b880b94e5077dcee384e4adc",
2079
+ "own": "3dc0cbfe24bbf94b60b773357c84adab913a46c6c3c5959abef46c65e9426604"
2012
2080
  },
2013
2081
  "cpp.cpp.forEachIdxA": {
2014
- "merkle": "eba8f46c60279485d0aa03cf5dabf7c029e58c848e3b4c69b414373dcbb288ce",
2015
- "own": "b64dc2b7b9d31ff9e883588046aa7bc25a9a5063b29ac95e1cdcd71c3a68fd20"
2082
+ "merkle": "1747afd67ea1e30289f3cddd1fa1ce3e7b271dcd1727a8ac1e78c1c638bc8051",
2083
+ "own": "df7360d8bb36151aa83c79b74a880126051058a2a508f745df647f4488ea0dec"
2016
2084
  },
2017
2085
  "cpp.cpp.forEachM": {
2018
2086
  "merkle": "3f1d87b838928a48f801142bf5f85f1e479a5b651e83d71753ee675a4a121365",
@@ -2098,6 +2166,14 @@
2098
2166
  "merkle": "65ed5c685f3137bbe6115cc997717a924f6c6fdae4a006d5ce5709abf851606f",
2099
2167
  "own": "7e47ba238823bdb523732ea1683925549a63c397154810b096294377f8c2bed5"
2100
2168
  },
2169
+ "cpp.cpp.fremV": {
2170
+ "merkle": "81601e28c966ff0ec2b8c0ea98202c52726540c676c97f7b0f2969ec2b6bbf91",
2171
+ "own": "5f7e2ed6cf9d38d6bd8f16c3db56a067a7445cc7102292bc5de608d83f9192f6"
2172
+ },
2173
+ "cpp.cpp.fremainder": {
2174
+ "merkle": "07ee46b03ef2ed022a5e4073d73094b5bb6d5f42b204c8d2d80efaf531e0fb32",
2175
+ "own": "07285573c88e8942e8fddabec3928d332c4d04cbdb3ddd6cde3ec38e61301ad3"
2176
+ },
2101
2177
  "cpp.cpp.fromBytes": {
2102
2178
  "merkle": "ff2e41d256e31ca83f67c33fff2da10a00a352700848512e0ca43d75f4005017",
2103
2179
  "own": "c385a3da88b0f8a69591a1c787d79241d89b739618eea3c8f7dad49efaa7f166"
@@ -2126,6 +2202,10 @@
2126
2202
  "merkle": "3a809f7d41b178ec20b24ca84cc041fe6d785b0efa762928eafa40e4f30c2de3",
2127
2203
  "own": "3f02c3bc13d0241b055c19af82134ef7b6a8256dfd1f5f884cc451d6bab7b16a"
2128
2204
  },
2205
+ "cpp.cpp.fsignbit": {
2206
+ "merkle": "8d016103001f72b0e29c004585d4453d4db788671dcdce0c7935dad301d2c884",
2207
+ "own": "51906e4edc5277c823f84167d04e5bd869ade506216d7d6efe4eb85d6ad8a5a8"
2208
+ },
2129
2209
  "cpp.cpp.fsin": {
2130
2210
  "merkle": "4b196d41c50720dcce1cccc96e67a0b4e9ac60714f28b3d3720af2c8bc63a639",
2131
2211
  "own": "734eda74cc0c7d6b6994dcb3f1b9c249afb46651d9c3264779ae585abfc6274d"
@@ -2182,6 +2262,22 @@
2182
2262
  "merkle": "7b4a783627853f9a527a948f6ebf6833d2d3c1566fbd0fe010ac33c16a3bb44f",
2183
2263
  "own": "f1fb61065a22d19cfc34e73da968f21373f72ec65e63897dd18c27bed5def8e2"
2184
2264
  },
2265
+ "cpp.cpp.gEraseA": {
2266
+ "merkle": "0770a9ad155ec09edb19b4008675185661116a4e38a78b199a6402b63ea0730a",
2267
+ "own": "064a493b8924dc21d8ca5059bff5e88545f3bf7df39fe17cbca70287197f3568"
2268
+ },
2269
+ "cpp.cpp.gEraseOkB": {
2270
+ "merkle": "a08d6bf11247fefae8292faa595b6ce32b6a6fbf3ddf904692f08b0ba8c38d65",
2271
+ "own": "2ab447caee20bb86fb367c01128414258b44b8b1ef2a57ff5c0f755ed53d4f1e"
2272
+ },
2273
+ "cpp.cpp.gFind": {
2274
+ "merkle": "4d7e39e6eaa9a36aa9c07d969ceb09f3a4af9a8dd52e1d1de8fdb4470748acdc",
2275
+ "own": "ef21243bddf9f8cf73227558e8742fdd597f97f8a092560ed612ac49b5f0df73"
2276
+ },
2277
+ "cpp.cpp.gFindIdx": {
2278
+ "merkle": "0b1b4724a5967426eff60c7e92758a32d11f3b9d854464ecdd83609df7fd9788",
2279
+ "own": "376e8772535587a1a57f03556165eae2ea8c211b57f9db82acdfb6aff990b900"
2280
+ },
2185
2281
  "cpp.cpp.gFromList": {
2186
2282
  "merkle": "5d07bee9c2aa7b1f9e33b241c80085a5f4d8b3e408fd4e5c56e3ef4ae3f86b3e",
2187
2283
  "own": "7083bea97ace23446dbe95807863455e4c9686f216a82dab4bede7800919827c"
@@ -2266,6 +2362,74 @@
2266
2362
  "merkle": "cb8dcd2fca9b55164460c73a582fec023846bbfcafdcd2cceba04802f1eb584b",
2267
2363
  "own": "eaf5cf1e6fbc7e971dc5bd45671aeda0b4a914b9ecf529cac0262d8b7ef178e6"
2268
2364
  },
2365
+ "cpp.cpp.gmapCount": {
2366
+ "merkle": "a963b8298c65f424f5f15d9593e62c8673284598e5a8813f7c47891ac4a251ff",
2367
+ "own": "fbfdc09e3c127e304f5d84e43b3f93f0057c9f3e1475e35c341c0bacd098cdf2"
2368
+ },
2369
+ "cpp.cpp.gmapEmpty": {
2370
+ "merkle": "df7d172c690ec0ce7dbd472b07ec89f551b671f727a94232f6aea776ea85ab3e",
2371
+ "own": "c083f8f021e2d8ac4bf889a2512f89dee53234f76d1863a1aac088670070a20f"
2372
+ },
2373
+ "cpp.cpp.gmapErase": {
2374
+ "merkle": "54bb4d68e9ca3f1190ded0d4134b49fd5a3530f592f8253dea9a9909002e6d27",
2375
+ "own": "be9c207ea92f7e5f31b51133ebc8eee50d54a49359ff88c44c0c086717470ff0"
2376
+ },
2377
+ "cpp.cpp.gmapFind": {
2378
+ "merkle": "bd98c84e0edbe3c745bdf85c491589fd5d62ff1cf72596936fe0ef984b486c7e",
2379
+ "own": "665ec88fcbe3a58440ff09479af2c7e66e62c0fd6b792a4f0d585d255d841ca1"
2380
+ },
2381
+ "cpp.cpp.gmapGet": {
2382
+ "merkle": "0f375f76f6b30e88a6a2a49759c05b19ec55774b8023b17e0d0903f965ca144f",
2383
+ "own": "bdd04256554692ad9c41d79ac18db5137894a42e18c7052e7d7a2d71027e3192"
2384
+ },
2385
+ "cpp.cpp.gmapGetM": {
2386
+ "merkle": "2555421d37df2c6569ac1a7faf76195c7e946079165e3abe05ca9eb930a80a6e",
2387
+ "own": "8a861d9d310bdc8708222630cc5d4bb0e0d531f03f08f6c04d504d8db8dbac4d"
2388
+ },
2389
+ "cpp.cpp.gmapHas": {
2390
+ "merkle": "d51c1d4194329933062e074364590e4484e4c48d5a490997da5a74caba51236f",
2391
+ "own": "a4f1a9856fb23077bb9826873cfe206efe3a0d9417b6e54374998647c9a3dcea"
2392
+ },
2393
+ "cpp.cpp.gmapKeys": {
2394
+ "merkle": "47713a6dddbde372c908927d5b1cbb41ca236d6b023f865d344344444e98d369",
2395
+ "own": "9c366349a6f4ea1f78e5007a3fd936f766d700ed132bb91c7123e3884494d699"
2396
+ },
2397
+ "cpp.cpp.gmapLt": {
2398
+ "merkle": "99080bb796ef56b4460997ea635df2b087ea4e9f7ca898a2064c6283e8bd2369",
2399
+ "own": "09c13bb479042137ded60e3b1fcc5422a57420a848ae3513e696243496c086e4"
2400
+ },
2401
+ "cpp.cpp.gmapNew": {
2402
+ "merkle": "e81f4333823d3f80ee96c109a6cf20e4d831e626589a86959bd8b6f2db6fb5b1",
2403
+ "own": "e83c40542a4a04a058c99a9e0ca9be45f053aa1b7120039af09fd3cee38e72f1"
2404
+ },
2405
+ "cpp.cpp.gmapOkB": {
2406
+ "merkle": "1c03d22308f09c27343f6b7d0ca82b812bbc48130e42b98aa0c6ca753229aed0",
2407
+ "own": "da41edb6a231b3ba9678804dcf8cde8c5b34fa26ca214c35c09b71b9ca5acd67"
2408
+ },
2409
+ "cpp.cpp.gmapPut": {
2410
+ "merkle": "397a86dcfa4eea0e4f1cac332d5635aa048d1efa0147f208509dc72847525c20",
2411
+ "own": "cd574a645bb256947eca1dfc9051dd268807e0e0d9b3d693f38e4e82024f60ee"
2412
+ },
2413
+ "cpp.cpp.gmapSet": {
2414
+ "merkle": "5cb3360b70d678838dd1f204704f8be6ff33e4e740f515c754f63a6f770b8f9f",
2415
+ "own": "3d0d780fe59fada85deda3d5b7fbafe7a2622e4a9bdc814c146644f6dfec3ca4"
2416
+ },
2417
+ "cpp.cpp.gmapSize": {
2418
+ "merkle": "b44c0493d5a62407672590cd693821fd458e272868cddfcb15ac5a4be732a4d5",
2419
+ "own": "a551f2cc801ec30774049941f294a669df42338611af5991c25b215bea47f563"
2420
+ },
2421
+ "cpp.cpp.gmapToList": {
2422
+ "merkle": "8e9c10d40d74d6663234c81c748e4b6b4efe126b3c51ad9e19c31665e2351799",
2423
+ "own": "d1c1f87acd47c835efef30bca3bd6954781cc98be7cf7579d22bdb89354e6003"
2424
+ },
2425
+ "cpp.cpp.gmapTouch": {
2426
+ "merkle": "df9ef4f180368029c382ef223de8f80091412bba9b91abd53b3eacf32b4130bb",
2427
+ "own": "84a712aceb8a43c78d4a3c443ada2575b0acdb5dbc9e965758dcc300a92e631b"
2428
+ },
2429
+ "cpp.cpp.gmapValues": {
2430
+ "merkle": "5122b796046dea94d0f55680f88c85bc4817db5eaf7d588f549f888b6059092d",
2431
+ "own": "667434e692ff71058682933a44255502e9b102039b38d57d92b6f5e7385e7655"
2432
+ },
2269
2433
  "cpp.cpp.gmemNew": {
2270
2434
  "merkle": "e6848b17d9759ec1b05213c32f550e2b43e0fbf8b3a55a2cac2ea0db5b199be9",
2271
2435
  "own": "37178fec1d2016505d219fc61018aa9fe7ee88be08b09e9bc6c357d43b792bc8"
@@ -2274,6 +2438,46 @@
2274
2438
  "merkle": "181c864d873eb556bed3d76e2bcbd1a6b623758392e74a89770463b3cfca1f59",
2275
2439
  "own": "24dbd9e4b263f8f50e6c5a83d5d411f64807152ada4eadaa6fffb414b62cd892"
2276
2440
  },
2441
+ "cpp.cpp.gsetCount": {
2442
+ "merkle": "50525284ce8f6f70d4a838152e500268dd25cc1bc403ac4d4ea2a75d3fb5d169",
2443
+ "own": "10a6b31764cf1e66fe0965bb112ac9e761929df454a20799559a549207df75a0"
2444
+ },
2445
+ "cpp.cpp.gsetEmpty": {
2446
+ "merkle": "83d8da20399c03052eedd4b69d1449ce4572988e4337319f349836bf64c83326",
2447
+ "own": "e335c195d1796f0f4b467b29049e957b16f59cc2dcf6d831560d80fa63dbb9e5"
2448
+ },
2449
+ "cpp.cpp.gsetErase": {
2450
+ "merkle": "497b9d25b83c64e378a67b506343b04f9b7d872e7ad2f39b014912c985f2f406",
2451
+ "own": "39f54b1311768c3bdf75f6a7bb2b83b5d1b425ba624004dcffc3d9373b8eaf3a"
2452
+ },
2453
+ "cpp.cpp.gsetHas": {
2454
+ "merkle": "8d1eb266ec6a498917fd8ff10614cf68bf09db9da1ba43302a1b522fc6e63d0f",
2455
+ "own": "35980161ada889578dc9c8e79168af9f40152183dc6f10acd7860911f3ff069a"
2456
+ },
2457
+ "cpp.cpp.gsetInsert": {
2458
+ "merkle": "11852ee053281baa13cf943b9cf09750c0e0b3e9c734b72d7db13e6ad4f780e2",
2459
+ "own": "c468f390ab4c8e66384fc1aef9bbb7bd7ec7d2fc96504eab970bf663c03935db"
2460
+ },
2461
+ "cpp.cpp.gsetLt": {
2462
+ "merkle": "bbdb1643c7cf52a1bab2edb21511f7d43b11f3221af340806f102400d6194c4d",
2463
+ "own": "ed8df917895939aa3134aab3066057e06fb9298a964bdf8316233b62b3826253"
2464
+ },
2465
+ "cpp.cpp.gsetNew": {
2466
+ "merkle": "7eae25fcba74e2f653ae1fd7d5d93733637e70ba12d18a7f42cff6354d408c6d",
2467
+ "own": "acb385ead4c5fb506446397e83a621dc6fc6f6d7f53a150d7538c1d00fb5400b"
2468
+ },
2469
+ "cpp.cpp.gsetOkB": {
2470
+ "merkle": "c6f2547b404cb963e338ed7a19646abb5a3dd42f6ddf15f6c43b0297c1250a3d",
2471
+ "own": "8c7fd7d129bf67a0121c50488724dd9e9070bdb16a09b1c3b5807119f4631c01"
2472
+ },
2473
+ "cpp.cpp.gsetSize": {
2474
+ "merkle": "f6cce9c6043408324bf24d588fe4a7b1ce7e6569d3745c8122c77bb10881aae9",
2475
+ "own": "d9c95b3acdbffc458b05a3298695084258fe2e36add55f31f71e8da0287704b4"
2476
+ },
2477
+ "cpp.cpp.gsetValues": {
2478
+ "merkle": "5670b5350c7c0739f2b8d3d9f01029b393fe4f7a9035cb221523714fe7919377",
2479
+ "own": "55dcc9c3fd4c3cb91b34ab78bf120810e49098d49888edf14e6424545e5d9b28"
2480
+ },
2277
2481
  "cpp.cpp.gtV": {
2278
2482
  "merkle": "3ad5c904935d49df91e235697f84b5563ba634eccff66aeb66b8f951313eec6a",
2279
2483
  "own": "4779c91e99221bd21d48b9e870556716321f29053bf5b78435c41ff74621c8c3"
@@ -2363,32 +2567,36 @@
2363
2567
  "own": "7962903573d98bff1f2ad1b0189f23f0a5c278f31e6f8aa6d4a4de0c2748cd69"
2364
2568
  },
2365
2569
  "cpp.cpp.insertA": {
2366
- "merkle": "a18cd2587de22cf24b134b9e95f23c515b9b5d0c9ceaaf90a7a1fc0248d08548",
2367
- "own": "7ec92e2bc6e420d57366a1bd2cdf85b1784d7713c105274d2de0761fe60cda77"
2570
+ "merkle": "b3e4595e8b109b58284d1e39fd65fd9a8d33cae240323cde5f88b61d3357a16d",
2571
+ "own": "fe6161108c61c5e637caeea636c856f48b0c7f5653725a2ff87edbb91d19e4b1"
2572
+ },
2573
+ "cpp.cpp.insertBy": {
2574
+ "merkle": "6359ab8da86f41da2796393c14e4b857138dac1124b7d1b8ccb03f24bbcfd5bd",
2575
+ "own": "42d6dc09fb45de4a7bae9095d1741ec3d7020fcf2860168d1e0bc9052968886d"
2368
2576
  },
2369
2577
  "cpp.cpp.insertIt": {
2370
- "merkle": "14de52baf345efd9124442b9064f061f74834de67922c7de5d749d07cf39e309",
2371
- "own": "3218eee535ec598ab0a3462f655bcad121c3a0b9d8df09a310441f4b09a6f02f"
2578
+ "merkle": "b29f148c0e17e525cf59ff3bb72279a8d2d6c6845590d10e6cdf627736ea6210",
2579
+ "own": "ac43ecc21402aa4820c1b6dd4ac570183c219e6f58766fad9d5e4a888b8449bf"
2372
2580
  },
2373
2581
  "cpp.cpp.insertItB": {
2374
- "merkle": "66275d98e544265a9cdecc26d233a819b2a90f2561afebd231f1e3910044a02f",
2375
- "own": "69dcb1cbec032199f8e5207ebf85937597e75cee19ad3d3660da5872e8c01520"
2582
+ "merkle": "59b96bc92c8097c81fb318d00178205e59a1d51f1e17726454e93cf4ad235a3b",
2583
+ "own": "ea2a40aeddbdc25f73c0c611061ea482b59cd0f86649b09557b8c650ec1383db"
2376
2584
  },
2377
2585
  "cpp.cpp.insertLe": {
2378
2586
  "merkle": "7f62d8f0cd3c8062d569c5ce5c63497df8508b5eaf43499917bc2c19b7d702ee",
2379
2587
  "own": "4118edb93832b60fd630423eb3881dd09aec4d07090adf8f91f6215c2d369b00"
2380
2588
  },
2381
2589
  "cpp.cpp.insertNIt": {
2382
- "merkle": "bafa4fdbae08f991724beb7f652dbb9ad726326a681efad83dbfdaf59793fc69",
2383
- "own": "2ece308b3693d72b235d7c49db9b09da4d386d646a7045f7cfa8441047642d7a"
2590
+ "merkle": "cefc3fb8fd95196332a711e6c9fc4a458b7a556e684028e354e009d357a3c3cf",
2591
+ "own": "6886c3ebe1df16d109b32e737edfefa03830488ea1367f9ae33cdf4eeac29924"
2384
2592
  },
2385
2593
  "cpp.cpp.insertNth": {
2386
2594
  "merkle": "918f64322976567b21f7da8d1974bd92d8ff71776129feaa0e3f5d7040111d22",
2387
2595
  "own": "4afc2d71362f0e4161c89143a45279f67cd92ea601bd09ca3248cfb0a23c1e8e"
2388
2596
  },
2389
2597
  "cpp.cpp.insertOkB": {
2390
- "merkle": "a0982587e3f1324c49e03b4ad916a5050b5af32b1fec6d52fe02580d3a014ca5",
2391
- "own": "7b872bdcbccd416b61e3cfb5685014b255c9ac8ce6661dd71195d5b12822669d"
2598
+ "merkle": "0126278273c6de9718e820b39ca7f78a278acea79bcf137af592c5b229026b65",
2599
+ "own": "412fe5816174e6518bb5173eba731e4ae4730275b963f715e836b1b2f222f114"
2392
2600
  },
2393
2601
  "cpp.cpp.insertUnfold": {
2394
2602
  "merkle": "9bbc63d42d57b4f289beb2895ab3a930a306a3c07d354cf9464ba6bec67de830",
@@ -2495,56 +2703,56 @@
2495
2703
  "own": "3bcf0553eb0cff75c09ccbb1395c2cc062f977ab9ff7e3dfbe8c2bda9e71b642"
2496
2704
  },
2497
2705
  "cpp.cpp.itBegin": {
2498
- "merkle": "c30c012c8a129420bc566c4bc2d17384e622d3eead9e7a8c063a6e7973c33a90",
2499
- "own": "dfc442bbbebea8e983bc6ab1a9875a066f4ace97b38e02bb2f059f99d3d855a6"
2706
+ "merkle": "f5a6d645172e86fef0a6308d8b7b14696bdccae684c177a1320d33278cb5d8a1",
2707
+ "own": "3f84a6f27d35062f98ae4ef7fb2aae6e439d28146d3537947d69198a8c3f981a"
2500
2708
  },
2501
2709
  "cpp.cpp.itBothB": {
2502
- "merkle": "dd2bfa6a00ef41bc44308239fea5194a1a6697ff917b696fcbaa798a659b0851",
2503
- "own": "097dc886e9fd75477c4be0cd6336b444781312ddf31cdc5ad2f80113338acee3"
2710
+ "merkle": "b0cc7e37739dfb9a769c5047908c10777d6459cf099bd865238523cd90ccc64d",
2711
+ "own": "182a337e9e8d681dc58938577fb25e1bd4fbfbf87b7e3a18fe7b2e7cc0e04075"
2504
2712
  },
2505
2713
  "cpp.cpp.itDeref": {
2506
- "merkle": "f39305cf46a7ca3f158ff918b5e98a004ea60737f4a17c6ac1c66e506a09d0a8",
2507
- "own": "a7a2bc7e7db346cdf0eabee6a3bb390fa7297f6055204646fcea32da6c1035b0"
2714
+ "merkle": "afe780216b9c68a970c38513c922b5b254f43fc98bd20a9877a92361d9fb111f",
2715
+ "own": "da70f10c1ab54d3148c956b0eabe6610a4b90d90e89df02e98acbc3e79b40b67"
2508
2716
  },
2509
2717
  "cpp.cpp.itDerefB": {
2510
- "merkle": "5201299bd22e0f57fdd5f123511e6e0737a012afeeb06e1ef86d1fe5169c7716",
2511
- "own": "8c419a36d11f548712344ae18977e29cfeb84233575687228f5160dc2a07b855"
2718
+ "merkle": "536b5c1e44d72f79a03a5ecb3db9c07516b636d1e41d8039e6fae30254fa8207",
2719
+ "own": "4670eea96a3c592f0529a640a99b2984858522c7f6afaec83bc4125fbb8bd2bd"
2512
2720
  },
2513
2721
  "cpp.cpp.itDiff": {
2514
- "merkle": "8fa98bc5447f3120bc6fc7e1de03069ae1f429c6f307ac631740dc17bd39cff6",
2515
- "own": "f4a7f64a77e5100880e539cc22e1c6b180398fac63eb038a00e96d148d66affb"
2722
+ "merkle": "5af7e206eaebd7f3e918a4f0625b129ac8cba43c068b16fae14fe6221ad1d04d",
2723
+ "own": "b0cf66065bcbf54637a7f50caeabf6c4f1774b93af7d34878fd7d4cd495b01e1"
2516
2724
  },
2517
2725
  "cpp.cpp.itEnd": {
2518
- "merkle": "fdfa8a42a15ee322319f0fded76c03a4664efa067bb9aa77b487ad4974bf6ec3",
2519
- "own": "ef60c0b00a175afb62f9fdd11372f5889f4027c7e18193a9a860ac4273478537"
2726
+ "merkle": "005882f974040aed7462f0ea0a3672a23788d64c2ddf53fc43a9070b1a433762",
2727
+ "own": "1e857e94432425628a1c74e1bb0e74b423ac5318802163e7c6450c6599cf58f0"
2520
2728
  },
2521
2729
  "cpp.cpp.itEq": {
2522
- "merkle": "63c542a523916c9f8aff4722d8b4b6c41c6123cafbec327f702301f18d535d02",
2523
- "own": "9f5ffd5c20b8f92d19542b4806eafe787371066f493bf904c7fcf9611a3beb6c"
2730
+ "merkle": "fe0560ec39e3f11c0200caf5b452196a7ef29ed667b641c8edaaacf50a85e283",
2731
+ "own": "d99181360d275fe8ef6e2eeec23fe3ce48a32300e49a6e34ba0cf19cf072f203"
2524
2732
  },
2525
2733
  "cpp.cpp.itLt": {
2526
- "merkle": "bf93269213db308cc2524bb47fb78ee94d0d782190e62d7a4b04fa05afe61726",
2527
- "own": "ff7305b318ee8979a7cfafd2aca78831efcdbeb5d576244d2104c87b4604f18f"
2734
+ "merkle": "ee4f1ede1c727ab513fbb97d10dd0a9cd0ac3c60280b717f76294921f753c326",
2735
+ "own": "2bb78ec42f24ec820f81aadafbea423c64607332a6e0d30a2e86294ef8cca601"
2528
2736
  },
2529
2737
  "cpp.cpp.itMove": {
2530
- "merkle": "b15f4f7cea591ab0ca2f3af3b0860f33d52a00b9c39cbf3c973906f87acdb327",
2531
- "own": "9c7adf3ef9af03a8e213ddd2dff4d7a0fddfcaa82b11e6f182e59bf21e76f13d"
2738
+ "merkle": "4727afadc82a464427f9ac825f92dffd8fa9ecdb6f34fddf65ff4fb08a9cdf3b",
2739
+ "own": "f18c0f5018d66a403460ac53632fd8a1afaed0bf8bf4150f69efa6f99f175348"
2532
2740
  },
2533
2741
  "cpp.cpp.itMoveB": {
2534
- "merkle": "3ffcdb2d3a4b4c6ad2dd8bf63ac7b7e4c93abb3fceec06de9259b38e1acf9823",
2535
- "own": "85235bd78550c57a090f6a27b51588cd740c6ca813dca32b947475bfffee960a"
2742
+ "merkle": "40d0b3e2412a9527075a1ce4ceaa4b032ef9f04248e19662b48fbdffe61e589d",
2743
+ "own": "b0fc6fa0928bcf6bc25b49a96592412c989ea3b9548b879bf1c8a7023d25cde7"
2536
2744
  },
2537
2745
  "cpp.cpp.itNext": {
2538
- "merkle": "aa64bb1d66e2d5b7e3e0ea6da95f703e1d003eac9a131f91be95e22fdd3094a9",
2539
- "own": "0eb6007f561c8aad7ed1036ec2911571e64852748dcd5e1a1099026adde78073"
2746
+ "merkle": "15e0de34ac1c054b2a38eca210f200197a79dded8e111b471f42b4671ba1555a",
2747
+ "own": "5c93c75f8d7c421beb18fe58bfb9d9c2f7b89dc472f87fc393117deb1778915b"
2540
2748
  },
2541
2749
  "cpp.cpp.itPos": {
2542
2750
  "merkle": "bfdb14a49bde13250a3302c38d63f2b064abf4c24abb58a8aade148c244e8e83",
2543
2751
  "own": "26667aec7bbd091f5db6dfc224bccfa108d746597b1b27a689870901f65ac14e"
2544
2752
  },
2545
2753
  "cpp.cpp.itValidB": {
2546
- "merkle": "e86c6a2be940fd3a7eeeb4e3030e19ef46553ef3e1773f13d058e5aea62860c9",
2547
- "own": "612ff0eebc7038948633191805d3a0b8868a48eece2f591ee82615768ad79d9f"
2754
+ "merkle": "2155e46fb4a4df12f427c9fea906e5a7976807c713ff1468f4f6b9465093ba30",
2755
+ "own": "31dd6e044e8ca93bc8154a5bd8ce5f6f8366061e19cb740a7b3d4ae4260ab341"
2548
2756
  },
2549
2757
  "cpp.cpp.itVer": {
2550
2758
  "merkle": "84b5efd3feeed57c4c6dc0a747c1286cbc9543ff3c1fdf0f667a4784eb11e089",
@@ -2635,12 +2843,12 @@
2635
2843
  "own": "ca128de0931deae2162437c10a97d008d3f09941b6544d7338fc73c130668b2b"
2636
2844
  },
2637
2845
  "cpp.cpp.lengthEraseA": {
2638
- "merkle": "53e73f2860b92664b50e0251a98bf709a5759faac824566bff83acb852ba48f6",
2846
+ "merkle": "6ff863ba426521cd90ad573e8b2c1473acbe86672649b800eda51a1c491b7122",
2639
2847
  "own": "fbeb9e72e77d2713b71f99874fdc7591f009d5bae7ae8c2187f105d954fbb248"
2640
2848
  },
2641
2849
  "cpp.cpp.lengthInsertA": {
2642
- "merkle": "229ae920b39ceb46209046e3d8a5c28431058535d9d8afdb48db4e599ae51529",
2643
- "own": "b7dfe2a6d7c825624c9d55db26b0f1f296c05718b52090a42849d002e82f6160"
2850
+ "merkle": "7f344de2786402ab2110cce29be17a75fbc404a5385e86e6f6a4d0d84eab4371",
2851
+ "own": "0a506fc9ea40fd2402f357c518312cdfe9eeed68aa15dc30f659f67185338ddf"
2644
2852
  },
2645
2853
  "cpp.cpp.lengthInsertNth": {
2646
2854
  "merkle": "a7e3a5699df79e9dbcbfad5d8049a7bc5098c1f3afa42f28ec40670ddbda415d",
@@ -2939,12 +3147,12 @@
2939
3147
  "own": "bebfc099a9f55c6089717fae0b3ad464e0724a26b58915da789b411b284a33e1"
2940
3148
  },
2941
3149
  "cpp.cpp.maxElementA": {
2942
- "merkle": "b7e31fb07d09e69b9cf3d1843b48c51c689d5f9239291ecf967008af9a995186",
2943
- "own": "4a87e7b148173d06b49b1af2443dcad1b3c98e286a83a07b2c65ad64de26a9f5"
3150
+ "merkle": "cd9526049088feb02a191a6f0de167f479c8250fd9af278a775ecb38a37fb968",
3151
+ "own": "002829a016d0d8e57ddf45ca94816d27bff86144df6159cf6f09d05eafe5e5f1"
2944
3152
  },
2945
3153
  "cpp.cpp.maxElementIt": {
2946
- "merkle": "28f3dae501f5e5bf4de4a0d2f65086b2abdd950ac4537add08b11d1f26c70f95",
2947
- "own": "0189ba0aad3ca0c33c00ce12a1c689ac4cbdfdce7f148742ea13a4aeef9a18c1"
3154
+ "merkle": "3820364e4af2ac5f61dc120beb63ea03c824b15ea62250d3f062f275cdb76154",
3155
+ "own": "400773396ab6eaf12e25e04b7913d892dfd872c7db36027e33a7314208756e97"
2948
3156
  },
2949
3157
  "cpp.cpp.maxI": {
2950
3158
  "merkle": "242ad2352e942423f19efc6a726922e6d3257f43884be08b451b46621d990e54",
@@ -2991,12 +3199,12 @@
2991
3199
  "own": "1fe096b5acd6dae13c0028dc6327efb0f82483451336a72df3873e77586f99cf"
2992
3200
  },
2993
3201
  "cpp.cpp.minElementA": {
2994
- "merkle": "780aade116ee51b09ac49b30af772f629140df075801c32bf8f68de9accea336",
2995
- "own": "b86cf08fe99b68bb3c74d0c4b636163125ac17484bcd323c6104264cc19fbfc1"
3202
+ "merkle": "73ecf8090c079d495b275abffd848eeec59526fdc32f2b6100fbeafab213548b",
3203
+ "own": "a9f720c42d16fa8c90459308f735000509fe59168f44c56cce8186f55548d76a"
2996
3204
  },
2997
3205
  "cpp.cpp.minElementIt": {
2998
- "merkle": "ac88d2f386edc82dd435fc585f3e6657435ed65bc4dacbbda55d752e5434434a",
2999
- "own": "042efa6c88d0d18ed35a9d691f6cb1b11784fb4359866d0731650ae407c319d9"
3206
+ "merkle": "47f5854bb520818057dabc663f489ebfdeb4e90ad44820a35227b0b49069b7c7",
3207
+ "own": "fb7160b296cd57cc736eb736b2b25673dc6f4da8cf9fb1514977fe960ccf3840"
3000
3208
  },
3001
3209
  "cpp.cpp.minI": {
3002
3210
  "merkle": "78be104d0e09356ca8826ee04c2501bef5233c037650e77265e6c8a6e6ac927f",
@@ -3254,6 +3462,10 @@
3254
3462
  "merkle": "f9fb8dc6471f8329c99b5165ff82d2655740988b8526de215baadc83c8522fa6",
3255
3463
  "own": "b745dbd03a4e2ee25d3eab29d4553923ab864bb8ac95aa520f5bc41fa829b05d"
3256
3464
  },
3465
+ "cpp.cpp.pk": {
3466
+ "merkle": "65d3449ef3b3145fbab20db6c41d76f7f2d35ccaba1275d2e08198b6eb5ea12c",
3467
+ "own": "99080acec8b559f53a49c8b64243bd48e3838510259a57c2f805d379422d53d9"
3468
+ },
3257
3469
  "cpp.cpp.popBack": {
3258
3470
  "merkle": "c06d3b15c21810ca745d404564c9114f34830fdb692489dbef9bc79158a06c52",
3259
3471
  "own": "fba2178d2ef9019a11163593d1f78a8fc678bc3ba4bb419dbfa939f9a8ed7fe1"
@@ -3402,6 +3614,10 @@
3402
3614
  "merkle": "f97b1e488d6c273e775cd390f8adf930bbf8e654653a55f7293877b8878af899",
3403
3615
  "own": "799257641fad37ee77932c80d5496411211dbef7d103edcf5a9cf974bad149b1"
3404
3616
  },
3617
+ "cpp.cpp.pv": {
3618
+ "merkle": "714125b8fbc9dc770e7a62dfa4adb2d102d652f50ff5f810ba26c86ea7521930",
3619
+ "own": "b99bf3100896a6f52eb7095809fa112d41cec4be536eee23d6913808af0e6208"
3620
+ },
3405
3621
  "cpp.cpp.qDen": {
3406
3622
  "merkle": "f37e544291c6ce0d35fc853ef4e72d01841c1fc72348b14ea1e8cd56c39a7b1e",
3407
3623
  "own": "22dde5b8c028248144fabd97adb940bb7bef80749f5f13152241c5da718bbcaa"
@@ -3835,12 +4051,12 @@
3835
4051
  "own": "8754ceefa5817a9c47897e04b9607cfd480f3bcbf88ef48fe6cc788564a0745f"
3836
4052
  },
3837
4053
  "cpp.cpp.sortArr": {
3838
- "merkle": "c2e01e1465f547f44b500fddba77d1aa3c71940da731e322c4b4a4ba8d508008",
3839
- "own": "d86aee6356bc0b1c921949eb91691617365f72515f6b08e3010f36ac47e7684b"
4054
+ "merkle": "1a73a38a3376f6319c4844524a86a88f52839a77e7c021423c3e6bd078bd6027",
4055
+ "own": "ab1eaf8f5b68f98998a2050f7c96201db7b2aeb6e3ab2fcc750948ea1cb74248"
3840
4056
  },
3841
4057
  "cpp.cpp.sortArrDesc": {
3842
- "merkle": "40b9a1e256c67cd4176a8e8b48bdb67f5bdd992a9d86bd41f39303fe88fd50d8",
3843
- "own": "bfeaf3047cbde9fd74696a54da492ec46ab1726ee280d5cd1ff58ce52d67ae32"
4058
+ "merkle": "84228b97c8f7c4812b9b9f5d26ddaaf5a90e25ec234441b5297feafdac541803",
4059
+ "own": "4322bcba6d9e3be5abef63458dffe09851054fef7e562a79ea4382d53a315d35"
3844
4060
  },
3845
4061
  "cpp.cpp.sortBy": {
3846
4062
  "merkle": "5031eb9e7e8f6f17dd9155df7d25f65b1fb3408c18acc90f52f1731f7d235e08",
@@ -4294,6 +4510,10 @@
4294
4510
  "merkle": "017b90bd2f65e51963227ef1e28e6f7c341321afe97f3026414dd3b790fc2c5a",
4295
4511
  "own": "46ebb45df876e8c11388d444e840f5a3496c8bfd305e3d6b54aa9e38daacd1eb"
4296
4512
  },
4513
+ "cpp.cpp.swoNewB": {
4514
+ "merkle": "e5a558522116b7cba25465a72fd5db1b8feb7dd3aa8727f1f18e9bba20940067",
4515
+ "own": "5951f8571ac5c2986c6ce3dcbab01a41f3ead1f70ff9239d68ea542930960bd9"
4516
+ },
4297
4517
  "cpp.cpp.tBool": {
4298
4518
  "merkle": "0d39a926e94c3aadb56a184f2c3b80a5d2f668acc23df79402d0c070121e41ad",
4299
4519
  "own": "fa9896e6538210ce3a5b464ca11d3b6c4201b7f2f985a77807ff6014d15ee303"
@@ -4442,6 +4662,10 @@
4442
4662
  "merkle": "80cec9044dea1f6b69e5dc564c277c2d46e62a6805a2573aea3eafff3a88f5c0",
4443
4663
  "own": "2c32d03fd55629b81195e6887edc073cb5c4c60e4d4374b0afc61d1381d0c499"
4444
4664
  },
4665
+ "cpp.cpp.triOkB": {
4666
+ "merkle": "c0caed1792fce624d12f921f03d7ef61282b21973659feaf077ada1ea2ca5c97",
4667
+ "own": "fe480e76d4e0a88429169db7bb2087464c9a0628eba8e39fe0e01ccd5659bd71"
4668
+ },
4445
4669
  "cpp.cpp.trigAt": {
4446
4670
  "merkle": "ad2698d3847cc245f5844117ce75a0c5d578f42b58be4ad5bfe5456bd129b1fc",
4447
4671
  "own": "6dde71ce016b62becfcd7f50dca9fd33e3e0c5746d95cd1a492c583a8e89b79c"
@@ -4646,7 +4870,7 @@
4646
4870
  "format": 1,
4647
4871
  "modules": {
4648
4872
  "cpp": {
4649
- "bytes": 2557614,
4873
+ "bytes": 2601798,
4650
4874
  "deps": [
4651
4875
  "cpp"
4652
4876
  ]
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@cella-lang/cpp",
3
- "version": "0.1.202610102043",
3
+ "version": "0.1.202610102126",
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": "186ca5a239d06c45"
31
+ "packHash": "bbe6d5ea1ed094c6"
32
32
  }
33
33
  }