@cella-lang/cpp 0.1.202610102224 → 0.1.202610110024

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,16 @@
5
5
 
6
6
  ## 未發佈
7
7
 
8
+ ### set 與 map 的迭代器
9
+
10
+ - `GSet`、`GMap` 多一個版本欄位(建構子 `gset lt xs ver`、`gmap lt xs ver`;`gsetVer`、`gmapVer`),erase 時加一。
11
+ - `GIt`(`git`、`gitKey`、`gitVer`)、`gsBegin`、`gsEnd`、`gsFind`、`gsLowerBound`、`gsUpperBound`、`gsValidB`、`gsDerefB`、`gsDeref`、`gsNext`、`gsPrevB`、`gsPrev`、`gsEq`、`GSetIt`(`gsiSet`、`gsiIt`)、`gsEraseIt`;`gmBegin`、`gmEnd`、`gmFind`、`gmLowerBound`、`gmUpperBound`、`gmValidB`、`gmDerefB`、`gmKey`、`gmValM`、`gmVal`、`gmItSet`、`gmNext`、`gmPrevB`、`gmPrev`、`gmEq`、`GMapIt`(`gmiMap`、`gmiIt`)、`gmEraseIt`。
12
+
13
+ ### 例外
14
+
15
+ - `ExcKind`(`eException` … `eOverflowError`、`excParent`、`excIsA`)、`Exc`(`stdExc`、`libExc`、`intExc`、`strExc`;`excWhatM`、`excKindOf`)、`Thr`(`thrown`、`done`)、`throwS`、`retT`、`Catch`(`catchStd`、`catchInt`、`catchStr`、`catchAll`、`firstCatch`)、`tryS`、`uncaughtB`、`thrownState`、`Xr`(`xThrow`、`xVal`)、`bindX`、`gAtX`(`gAtOkB`)。
16
+ - 丟例外版:`stoX`、`stoiX`、`stolX`、`stollX`、`stoulX`、`stoullX`、`strSubX`。
17
+
8
18
  ### 二維陣列、resize、cerr
9
19
 
10
20
  - 內建的二維陣列:`arr2Zeros`、`arr2Uninit`、`arr2Init`、`arr2InitFlat`(`arr2InitOkB`、`padRow`、`chunkRows`)。
package/cpp.cell CHANGED
Binary file
package/index.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "cbfVersion": 24,
3
- "checkerHash": "e3a9dfcff5b4cc62",
3
+ "checkerHash": "5ff10db7c5abddd3",
4
4
  "defs": {
5
5
  "cpp.__RecordTag_cpp.IOS": {
6
6
  "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
@@ -86,6 +86,10 @@
86
86
  "merkle": "ffda8776b6155e216bd34f0f22d7cbdfafba6f8db98cd070466ec55a3580c44a",
87
87
  "own": "cf93a1909d0b49c86f5068025c837362dd865ccdc390aa2ac25a85e2b63d1ba2"
88
88
  },
89
+ "cpp.cpp.Catch": {
90
+ "merkle": "b787c81fac9d87a3e7db960499119a9e5e2af55039ee0ba50764e7c7106e8d63",
91
+ "own": "cb6231355172a4e9aac36e922b3519b506cf6e91ad6dffd2e2f35b40f69f327e"
92
+ },
89
93
  "cpp.cpp.Conf": {
90
94
  "merkle": "92c4e4f14c14795950cd46b89a1034bcbdec146daaac28492e0a971e765707bf",
91
95
  "own": "9093938d5aa8d9564ef71f1999c023c507e2f4117a7097a3202f71255af9eb53"
@@ -134,6 +138,14 @@
134
138
  "merkle": "0aec188711b585dd0a1dba309a47450bde0efcdeb0de2bf4f039ebd3d777267b",
135
139
  "own": "7de358756be383842b445402aec395364a4359d2682efd01f13e88def5044cdd"
136
140
  },
141
+ "cpp.cpp.Exc": {
142
+ "merkle": "b42bd12623bfc5c3fb3d214da5419337efefcc089cdd299cd8d758a47267747f",
143
+ "own": "2625f7a5f5cf34dac67d6e2f0541be502f44b04a09dcfb48afd94a39a06b0d62"
144
+ },
145
+ "cpp.cpp.ExcKind": {
146
+ "merkle": "26d124af34d38f6f09ec486ac9d5e6670001979162a9f5a963f93cedec3867b0",
147
+ "own": "1dbfde993f1a2ca19eba3dd37457685743db9db967cb9f20fb8ad1c40c9f323f"
148
+ },
137
149
  "cpp.cpp.ExpP": {
138
150
  "merkle": "18d197623a69d657d88723d9fbb85f88f9381f65d2ef1128d83790665814e474",
139
151
  "own": "03d00284480b6d02fe2bd8effe332bb6a7e0ec2989ded20d9f7e0c72740ae026"
@@ -206,6 +218,10 @@
206
218
  "merkle": "181a49eb1a1f43c81de9a731397b08c3c334cae07ddfbd4364e07629d80a2157",
207
219
  "own": "6cda4f9b32ed7b93b65fe28a7e2856bd6e302e41fd2f67a27ecea93f03b951dd"
208
220
  },
221
+ "cpp.cpp.GIt": {
222
+ "merkle": "ae9223a42b880ab3be83dc0f42f83b241c22c790ec60e149f2e39831750b34a8",
223
+ "own": "efdeb0e6aada4a485d3fdd86a090955747cde893e957c0f1122db8b72e362249"
224
+ },
209
225
  "cpp.cpp.GMMap": {
210
226
  "merkle": "937b740f287d1917fd9d283cd67a40ac09726f3f9d925bd4825da1fb035bf5d9",
211
227
  "own": "89c9d37835b5cac1310d6211c6d6ea43ab98f54d637fcb75f50b35699bd123c3"
@@ -215,16 +231,24 @@
215
231
  "own": "70c3ff42790a76a8d57c37719acb624e65faa873f4b1dc77bc0ebddc56dbfc69"
216
232
  },
217
233
  "cpp.cpp.GMap": {
218
- "merkle": "5bf723468ebb1b9bac4f155dd9bfe532d52e47d6d821ee87f8568a5a826bb83b",
219
- "own": "dd7b59ed5fd0993254ecbd3c9199acb3bbbd38ca1c6134b7e95d3d924f1a6330"
234
+ "merkle": "541c7ff874b4d3019a8cc373d3764dfff7bca184934eea846581eba7d8b863d0",
235
+ "own": "465415e4d14105b5fecd6452d04a7cc52bc4d7cadf6062a283ff99e025c23f52"
236
+ },
237
+ "cpp.cpp.GMapIt": {
238
+ "merkle": "bc791bb9c8f3bcbada78cf1ca48d4965390df85e41d38c5a47ff5d2de0e9966d",
239
+ "own": "de47e35edd14b1cffe1517fdbc2febb0bec3e14f6000990df8bc7bd40718ba91"
220
240
  },
221
241
  "cpp.cpp.GMem": {
222
242
  "merkle": "d9911ff1a75bdb5ebb4e87aab5a3db9f57af0c13bdfc502b150f1f67dc676c86",
223
243
  "own": "24a2a9edb879274a0a88a31007ff33f8591ee4dfd8d699a6bf032387397510c8"
224
244
  },
225
245
  "cpp.cpp.GSet": {
226
- "merkle": "88c678f911ea059f53bfdb3ca6b9daf229cfd6b0f3d067a4d72ef26c9c40e8a4",
227
- "own": "5ea099fee36a0005e62f8214b6cece4fa6b3112bca48f55356d0c9b46f222fc2"
246
+ "merkle": "c4dbc50b38079cf185efc20644efdf14a7f4a877ea3895267e909e930bfd2b9d",
247
+ "own": "613f2af3df067c496d6994c18ceb3330a8cce83d219c80b9642db00f0640ae9d"
248
+ },
249
+ "cpp.cpp.GSetIt": {
250
+ "merkle": "a3c7bd803fbc4f830138770c7efe78e01d06eb9097050a5ca033db44b40dc581",
251
+ "own": "0322acfc2282e8e32693b2087ab4da99e7fbbeabd243f7f32efdda42b94a3074"
228
252
  },
229
253
  "cpp.cpp.GUMap": {
230
254
  "merkle": "2b652a7967eadb8a15e6200b1407cd879c952feea1c133bf8d0156d9d3720cbe",
@@ -542,6 +566,10 @@
542
566
  "merkle": "fbc13b9c8b9304ba038accf58268e78aae73b9870a62d095e3f90ef4ef9fa4b5",
543
567
  "own": "b3e08f239cda917a8313dcf56a6058849cd2e0fe41e4f3a2c6c4cb86b5a65da1"
544
568
  },
569
+ "cpp.cpp.Thr": {
570
+ "merkle": "450933c8bbd924716d1cef94cd31542880f901459c608be9bcee8ac56bfe8f03",
571
+ "own": "0862ea61a90ac820dc44b28b55b9ffa1c6f8a89c93841671eea9de7dcae5fe95"
572
+ },
545
573
  "cpp.cpp.Total": {
546
574
  "merkle": "c3af475c032d67c1da8add2f771ea06f14a3473bf21fef2d4d90fca48e15f51f",
547
575
  "own": "7e6ca93ce33a4e6b4d9074722c9c232476033b4efaa56e717fb35f8d8754fcb4"
@@ -558,6 +586,10 @@
558
586
  "merkle": "1db86625b298b656a1c4a8487a326cedbc78336f7a1225188080e0d97d4be573",
559
587
  "own": "7c85e2d84c71ce7b5f9c15f91caebad3e9de0849d31c11c4f65f2d3b41a00fb2"
560
588
  },
589
+ "cpp.cpp.Xr": {
590
+ "merkle": "2e60b5676f43502c70054659f35b9fc1f66b0b994fffe6ba0a823b01c56aa2c3",
591
+ "own": "90ff25649ae458948c1cffdad2cd70d42139dfead091aee859405d3dc24d8a94"
592
+ },
561
593
  "cpp.cpp.absInt": {
562
594
  "merkle": "60ec77a82128437f2225e377dc40e7ea9e7c66d28ebab6909c858b3836dfebe7",
563
595
  "own": "3247fa434f888ad71f8f54b8a747ce712170fb89d4f251d422dc166e02fb566b"
@@ -862,6 +894,10 @@
862
894
  "merkle": "5a6caf0cb2d672f9c93a748444a0c66dbd49b8c9af808cd0e70d0d13a24ebf49",
863
895
  "own": "c6e0110feef54e6079cfb03be16c67c854a778516158e54218386781f8ec3bd7"
864
896
  },
897
+ "cpp.cpp.bindX": {
898
+ "merkle": "3e4ef433e0d15a5f96b9789b6343b482f003129fce0f6b749d81c1c59c00fbf9",
899
+ "own": "2b295161a228b5ea97f393f1463de99042f1917d246d49a5d0f547d465629580"
900
+ },
865
901
  "cpp.cpp.bitCast": {
866
902
  "merkle": "512303aab53acdaf9e1ea3a8daba4bd3ee1a811d33d036396630dafd7e7e9d2c",
867
903
  "own": "a7926ddccf226a4a18db2e431ac07900b7d42b1fc1e3d3c52eaf03c195d2dd99"
@@ -1038,6 +1074,26 @@
1038
1074
  "merkle": "b96fb9b287334757c08ba9cd3bb2ed65c83357ad5dea7e2f060e1f4434abd4fc",
1039
1075
  "own": "a54f4588a4a690b2655224d5e3f06c781bdde85738258413d864eb679aeccfe0"
1040
1076
  },
1077
+ "cpp.cpp.catchAll": {
1078
+ "merkle": "0e0efe36fe8237f0a7de59f4a526f541e45eb62a4f41780a10d439eff4ae0b01",
1079
+ "own": "44906221b1ba5464b8b85c49e028a5974fa319afd0ae3fe107aa487ef89841ad"
1080
+ },
1081
+ "cpp.cpp.catchFn": {
1082
+ "merkle": "db9ab3b499f02347ba5b3fbd9b74e10c2198f2b07e93d99814359b8607f84c5b",
1083
+ "own": "492746f440164ec81a74af915c54571fc5a80329a81c64df5ec72941166192ea"
1084
+ },
1085
+ "cpp.cpp.catchInt": {
1086
+ "merkle": "ba879f36f46510ab0f2fbc67c127cbd5290bdb6f029dfb2d39397be56cdf2354",
1087
+ "own": "59f65e65fd4db5c9e57b6cca05ae9658a97da6c8067c2d9e420bd21bdb7e5004"
1088
+ },
1089
+ "cpp.cpp.catchStd": {
1090
+ "merkle": "9fb7c25552f6a12a40ad3163ed153d2a546cabfb00b34b84b6f8df5cf663f799",
1091
+ "own": "0f7c2c3bddd255db645d23ea0b0ac91cb749c17191a845cd1fe2cffb61665bd1"
1092
+ },
1093
+ "cpp.cpp.catchStr": {
1094
+ "merkle": "0f2507a0a3b786edd2846a4d43d83de8cf3be7ed7dcb0f981dde280487644cf5",
1095
+ "own": "e7357eca86328a13ca7d54a79bfeaa02250ffa7ae67a32f6f8c6390c0a69f896"
1096
+ },
1041
1097
  "cpp.cpp.cbrtTry": {
1042
1098
  "merkle": "bd892c34fde54ef0dce27d069eebe1a4894925d7fd67ca2c4008a8e7f31f64ba",
1043
1099
  "own": "1340232d7333f09348ed8115519d3c571ab369de1d1f9384d4ee904a99fccffd"
@@ -1558,6 +1614,30 @@
1558
1614
  "merkle": "70a7a88d1654aa5af3260b6d5e97d913b966db665a6210ff5c5bd469e411142d",
1559
1615
  "own": "59d200d75c5588a1ecd6f9c94ec565a827891485a39ffcdf6ad8f9bcba9bb017"
1560
1616
  },
1617
+ "cpp.cpp.excIsA": {
1618
+ "merkle": "1dc91ebe3298a41a13dcba833af7e7cf6228a7375ae84675c5f322470592ecdc",
1619
+ "own": "b634781414815b6715d7e3dd6a0afb16c11cbceb229b14a75b5b50b36a151f6e"
1620
+ },
1621
+ "cpp.cpp.excIsAF": {
1622
+ "merkle": "f599652146f28f3d8fb59ce7ca8e4bbfb57a7f422d8848a752c79235619462e5",
1623
+ "own": "1e721b25bfad4e7b648edb5da16810cd5bd1efdf2b606ee3f25d73d166100761"
1624
+ },
1625
+ "cpp.cpp.excKindEq": {
1626
+ "merkle": "a1fa9b70097a28fcb229d6c6a7dabf718dc85bc5b4f9c2228ba16c124ef18563",
1627
+ "own": "b6abc6edef495951d2ff98a573416ecfe156fecf0ceb0b3834d177b3f37bfaed"
1628
+ },
1629
+ "cpp.cpp.excKindOf": {
1630
+ "merkle": "9f11a337116693fca8c551a872f2332bdedf03e66638cd1cde40efd31c0c7611",
1631
+ "own": "c8228d825e16389031c6a8ea84c182e07860191e3bc63e24ea7417e7f52d0ffd"
1632
+ },
1633
+ "cpp.cpp.excParent": {
1634
+ "merkle": "631184b9aa7fc9b1215bec8fadac47dbd56c5b5a895cc2f186ac26b06163ce3c",
1635
+ "own": "02f8191fbe7d93f7d80c1a7426080d94dd536fbc1859869cb73c0adde2851e61"
1636
+ },
1637
+ "cpp.cpp.excWhatM": {
1638
+ "merkle": "a04f5e7edd56e01b6059b21ef06a955621d414ef05997da41c5bf666b28cc296",
1639
+ "own": "0a99505b557bb9be63a7c7f994473c19c2fd35c6692b7c126f4f398446f2cce4"
1640
+ },
1561
1641
  "cpp.cpp.exec": {
1562
1642
  "merkle": "a55acd9ae1b097531566025fa3b75b69c570ba2b279e4e1f28546b856ca5d9f8",
1563
1643
  "own": "4a9de798c933487554e2ed22d59737a0c585c85a006f1046475659711029a08f"
@@ -1914,6 +1994,14 @@
1914
1994
  "merkle": "2e5212fa236387e4fd0d912b92bcad2acace650d52d00791cff28bc6d9b949e5",
1915
1995
  "own": "8bd446db2184bf50b1cab3b14150724def8c4d889236e1d21493c19f653d21e6"
1916
1996
  },
1997
+ "cpp.cpp.firstCatch": {
1998
+ "merkle": "d636fd5a623e178017afd5c27d554e178d0ed55e54294a655a5a3d6b59621893",
1999
+ "own": "d52ecf4eb7d09b620a4b370f83fc03730a9a176fdb42a49e61d71b8fd125154a"
2000
+ },
2001
+ "cpp.cpp.firstWhereG": {
2002
+ "merkle": "3eab71f4e63085fdc495f6eca8bcfeda5b709bdd06d735a95cbdc85bf931eb4a",
2003
+ "own": "7b75fb12711a529813b47409567c525bdd4238d64361792b3f80273a600f46e9"
2004
+ },
1917
2005
  "cpp.cpp.firstWhereV": {
1918
2006
  "merkle": "a3d56da8029da2634f6d9b35f558538637eff50e5cdd49dfb68df8a13c727f56",
1919
2007
  "own": "daac448fff4fe1ab442889f56cb13c8f172e9bf401a6cfb964fa9a7744726cc5"
@@ -2306,6 +2394,14 @@
2306
2394
  "merkle": "66bda7638693ee66ee65cd2f548cfce2ad9f5d0ab746457fb2966191a8cc9b3f",
2307
2395
  "own": "84996ebff816ef7d5dc0446d21eb39ca938fd3a4a0b5f6032b176cc065218da7"
2308
2396
  },
2397
+ "cpp.cpp.gAtOkB": {
2398
+ "merkle": "330a1b1d63c7645e219779459fe27377c9e6803b8d0f82a1e50e2487984c18d7",
2399
+ "own": "4606354962d15f439e52ee90799c897b24f2f9955af90778463c68af808c97c0"
2400
+ },
2401
+ "cpp.cpp.gAtX": {
2402
+ "merkle": "b75650266e976219704afa429fa52f71bdb4e7d7fa38ebceb32c699a3cb7e2ce",
2403
+ "own": "29fcde19f83f1b8833e830bc34f67945847426d583c34cc10a699e02bf527fca"
2404
+ },
2309
2405
  "cpp.cpp.gElems": {
2310
2406
  "merkle": "61508375e2a8b45dfd18a7dbe162e1c7fb80d13f5b6d62a752260bb92b0c5494",
2311
2407
  "own": "14a294e84c2416b7824dfbc1802414c272461d7c7cfe96a2584149b7b6a3a9eb"
@@ -2426,48 +2522,120 @@
2426
2522
  "merkle": "e069ac5c595cc2cdff01880241c44bbfde49bbd6fa476f816a78adecb252c27d",
2427
2523
  "own": "707686a730adbc568fb390133fc24750f1e2dd332b5f43c0122df3f993392e50"
2428
2524
  },
2525
+ "cpp.cpp.gitKey": {
2526
+ "merkle": "62713efd9a527fa3a62350b390c71fbfcc8deea96892e142a06137e56f63a6ff",
2527
+ "own": "41f573f43eb694316ea42772632550215324964c4e6a2b618353894aa280fd9d"
2528
+ },
2529
+ "cpp.cpp.gitVer": {
2530
+ "merkle": "2dfaeec3a4ebc2c0e1ad2ab5ca277e443cd87f6ff6a9a856b990155da39af496",
2531
+ "own": "1cb6c4a18533fae3e6de2794ffbc1eec6978b6790ed2a1762fff83501c07fb77"
2532
+ },
2533
+ "cpp.cpp.gmBegin": {
2534
+ "merkle": "02da1fa2dc4e9a183237d90fa56775bfad17f4e4e7c971a3c8253d632f00d513",
2535
+ "own": "27b841bf7fa34ce11fa5535a166ed8148cf54a4c79c37f891f53ab643b17acfc"
2536
+ },
2537
+ "cpp.cpp.gmDerefB": {
2538
+ "merkle": "c0abf3a46d52c607bb8ed04d7e661220b4cb4280b37e4d7d3f9b3c488427d498",
2539
+ "own": "6d8bf8887cac08fcdcbbc07b87fdcb5afbe5aedf5c3629505453fbcbf808fada"
2540
+ },
2541
+ "cpp.cpp.gmEnd": {
2542
+ "merkle": "186e8e3364f9b9e8b2da63700e49213aecc42b0a42ca9ace4143ae06af5c1063",
2543
+ "own": "ac171a82a893587426c0f236a3126aaaa0a0ffe6e37e5f56a6186e58292af8b7"
2544
+ },
2545
+ "cpp.cpp.gmEq": {
2546
+ "merkle": "bb4b44f837e599b84785246e9c5ab64011bcb9d17daaa2978a4c365d0307fc67",
2547
+ "own": "cb49f442ebf586b2f275fa941316b3d53eb9b510731e012cdbda9c3261faea6b"
2548
+ },
2549
+ "cpp.cpp.gmEraseIt": {
2550
+ "merkle": "4d0362fddef484a1c83cff3bb70d511a9235af13264884fca3cf75c4791b9e5b",
2551
+ "own": "f95cbea63cea0aa9cc18d61129daf87c5522948150580c8efbd0b67d82359e89"
2552
+ },
2553
+ "cpp.cpp.gmFind": {
2554
+ "merkle": "6417065c9a090f4fd1cde12b35ceb1937a371629f4327c393701829c7704e3f5",
2555
+ "own": "b0309712f1f29be170a716943002adbc095925c333bbfae52edf29b7ae4efc5b"
2556
+ },
2557
+ "cpp.cpp.gmItSet": {
2558
+ "merkle": "ae4bd6b3d78a267ce9ed9131ccffe4ec0df631b1f5b754fb885fd1c7e9f31249",
2559
+ "own": "68ef6b932fd93f865a768a97d5901a33b70f40764f1a005ffcfde89d1c3d8834"
2560
+ },
2561
+ "cpp.cpp.gmKey": {
2562
+ "merkle": "b0ba4b68f0429025e7e23fd65dc6ea784b55cf067e884fe146043557fda465eb",
2563
+ "own": "a8b40b20ab6bbe37c90a04a1511de020cdbe0add07ee8aeb5db64b240cc3c2f1"
2564
+ },
2565
+ "cpp.cpp.gmLowerBound": {
2566
+ "merkle": "156030b62d205e1e5e00a1b331a7833ad36c951f88b1359466329b855d0d8eff",
2567
+ "own": "2eda77739db5fb48a45737a655a77a1d6e2384c18188ceae14232996abe36870"
2568
+ },
2569
+ "cpp.cpp.gmNext": {
2570
+ "merkle": "a4dfb89190a1589f402c28f826117ee2b9a482c701e776af626d04ef305ea53b",
2571
+ "own": "7610adfe57aa782af514fe5693ecc34001c04030d97e761c278e2a6dfa89db31"
2572
+ },
2573
+ "cpp.cpp.gmPrev": {
2574
+ "merkle": "d2dd74cd07e335fac89f348dd5ce6f0f6548af340609f635161456e3df8f282a",
2575
+ "own": "647fe4eac0bb63bcefeba62da57d65c2097fb36e47814c743a971c19dd9565c0"
2576
+ },
2577
+ "cpp.cpp.gmPrevB": {
2578
+ "merkle": "0c74ad57aa20e32fed45345980951a312fd54e1004056fd2b9aef2c4218ff597",
2579
+ "own": "b4ac09e71f614e914f2c1132348eda4747fb6c6368c4c7da5ab186d3d29ef66b"
2580
+ },
2581
+ "cpp.cpp.gmUpperBound": {
2582
+ "merkle": "778475335af7e72a5af1ee1263714904dd7e8336d9627101d64a68dd33eeb8b8",
2583
+ "own": "e695c8b01b69720c12c90b2a50501af7b108ea8564c7c8a732e7431ce0a1e855"
2584
+ },
2585
+ "cpp.cpp.gmVal": {
2586
+ "merkle": "aff6c8f5c08f4af1413ee795a737c030ddded1a270576f05c54685a7fc462441",
2587
+ "own": "a2d4b1bf529092ba6051178e14866b6f18af251f187f22fa12b25bacca69ce8d"
2588
+ },
2589
+ "cpp.cpp.gmValM": {
2590
+ "merkle": "79458601ac04ea5fe71e79fc87bfaedafeb602c2fe588cbd661f4be7ec3a6dcc",
2591
+ "own": "eaeeaaa74d5a6897f96ce1f80083d25a69d9423c5427fddfa45db9ef16ca6c33"
2592
+ },
2593
+ "cpp.cpp.gmValidB": {
2594
+ "merkle": "dba86273b00067223bd4797014cf0da39d316927389e5b758215e394aa809187",
2595
+ "own": "0759e84533c8838998c9813c9aad64a696f07163dd6cced98ae2addc3b857d28"
2596
+ },
2429
2597
  "cpp.cpp.gmapCount": {
2430
- "merkle": "a963b8298c65f424f5f15d9593e62c8673284598e5a8813f7c47891ac4a251ff",
2598
+ "merkle": "172482a3783cadbbdbbb9b89aabad2e5fd0840f2ed87b941006fef12e3b18d6a",
2431
2599
  "own": "fbfdc09e3c127e304f5d84e43b3f93f0057c9f3e1475e35c341c0bacd098cdf2"
2432
2600
  },
2433
2601
  "cpp.cpp.gmapEmpty": {
2434
- "merkle": "df7d172c690ec0ce7dbd472b07ec89f551b671f727a94232f6aea776ea85ab3e",
2602
+ "merkle": "b27d7be1c7efe6cfe73eb074e88476cf071448979e74971905f16e1c69c3c7ee",
2435
2603
  "own": "c083f8f021e2d8ac4bf889a2512f89dee53234f76d1863a1aac088670070a20f"
2436
2604
  },
2437
2605
  "cpp.cpp.gmapErase": {
2438
- "merkle": "54bb4d68e9ca3f1190ded0d4134b49fd5a3530f592f8253dea9a9909002e6d27",
2439
- "own": "be9c207ea92f7e5f31b51133ebc8eee50d54a49359ff88c44c0c086717470ff0"
2606
+ "merkle": "db402e61f59dbd1e00a1c89265b5eed4b165a83e5e4860d01e80b9ddc1a7a4a3",
2607
+ "own": "f50f6ee7b7a40b4614a68be6bab6b0535081901a1fae0f33e2996607590808c9"
2440
2608
  },
2441
2609
  "cpp.cpp.gmapFind": {
2442
2610
  "merkle": "bd98c84e0edbe3c745bdf85c491589fd5d62ff1cf72596936fe0ef984b486c7e",
2443
2611
  "own": "665ec88fcbe3a58440ff09479af2c7e66e62c0fd6b792a4f0d585d255d841ca1"
2444
2612
  },
2445
2613
  "cpp.cpp.gmapGet": {
2446
- "merkle": "0f375f76f6b30e88a6a2a49759c05b19ec55774b8023b17e0d0903f965ca144f",
2614
+ "merkle": "fcf68ac596001fbe98e7f0e99ac3ab24bd50c71e4480d4b65ff225d11a784d29",
2447
2615
  "own": "bdd04256554692ad9c41d79ac18db5137894a42e18c7052e7d7a2d71027e3192"
2448
2616
  },
2449
2617
  "cpp.cpp.gmapGetM": {
2450
- "merkle": "2555421d37df2c6569ac1a7faf76195c7e946079165e3abe05ca9eb930a80a6e",
2618
+ "merkle": "c784f80420839207e79065738f2bead46ff0e4fd67598ea237cc6864cdcbf63e",
2451
2619
  "own": "8a861d9d310bdc8708222630cc5d4bb0e0d531f03f08f6c04d504d8db8dbac4d"
2452
2620
  },
2453
2621
  "cpp.cpp.gmapHas": {
2454
- "merkle": "d51c1d4194329933062e074364590e4484e4c48d5a490997da5a74caba51236f",
2622
+ "merkle": "52a0eb8b37986bc7fecabc2af8eb5ba267181177861c4aa5fa2e691ccafb3483",
2455
2623
  "own": "a4f1a9856fb23077bb9826873cfe206efe3a0d9417b6e54374998647c9a3dcea"
2456
2624
  },
2457
2625
  "cpp.cpp.gmapKeys": {
2458
- "merkle": "47713a6dddbde372c908927d5b1cbb41ca236d6b023f865d344344444e98d369",
2626
+ "merkle": "3fe681dc635c6253d19741c90c02af8c236eb02110220c835bb9a23052f24a96",
2459
2627
  "own": "9c366349a6f4ea1f78e5007a3fd936f766d700ed132bb91c7123e3884494d699"
2460
2628
  },
2461
2629
  "cpp.cpp.gmapLt": {
2462
- "merkle": "99080bb796ef56b4460997ea635df2b087ea4e9f7ca898a2064c6283e8bd2369",
2463
- "own": "09c13bb479042137ded60e3b1fcc5422a57420a848ae3513e696243496c086e4"
2630
+ "merkle": "ff0c5284d80847d301574c1aa1fca9707d12e60244d5a60e60d1c32506be1ba5",
2631
+ "own": "67e8d3fa2e3bed6752719122059d730135c660db99a263453631ae64d3bc6745"
2464
2632
  },
2465
2633
  "cpp.cpp.gmapNew": {
2466
- "merkle": "e81f4333823d3f80ee96c109a6cf20e4d831e626589a86959bd8b6f2db6fb5b1",
2467
- "own": "e83c40542a4a04a058c99a9e0ca9be45f053aa1b7120039af09fd3cee38e72f1"
2634
+ "merkle": "2802787c0fde92b493516404834bc109fa67a0cfe68bcd2076dff22b46373fd1",
2635
+ "own": "2f6547d5f7be45ded22914950ce8551131588ab38c3cc3c1c9e7596c244032a8"
2468
2636
  },
2469
2637
  "cpp.cpp.gmapOkB": {
2470
- "merkle": "1c03d22308f09c27343f6b7d0ca82b812bbc48130e42b98aa0c6ca753229aed0",
2638
+ "merkle": "6a3741cbb0e7d722b1f5bb79d7c74f6a101dc5133358dab93c3520d838bdc439",
2471
2639
  "own": "da41edb6a231b3ba9678804dcf8cde8c5b34fa26ca214c35c09b71b9ca5acd67"
2472
2640
  },
2473
2641
  "cpp.cpp.gmapPut": {
@@ -2475,72 +2643,148 @@
2475
2643
  "own": "cd574a645bb256947eca1dfc9051dd268807e0e0d9b3d693f38e4e82024f60ee"
2476
2644
  },
2477
2645
  "cpp.cpp.gmapSet": {
2478
- "merkle": "5cb3360b70d678838dd1f204704f8be6ff33e4e740f515c754f63a6f770b8f9f",
2479
- "own": "3d0d780fe59fada85deda3d5b7fbafe7a2622e4a9bdc814c146644f6dfec3ca4"
2646
+ "merkle": "205d8d7db53f935fe2c9d028d7bdf5c76fa1bdee40835957bf2a16d40e36d943",
2647
+ "own": "005e477c115584a9d4c77a0b4c5241ee54ad5cf229b3f466864d33f67bafc489"
2480
2648
  },
2481
2649
  "cpp.cpp.gmapSize": {
2482
- "merkle": "b44c0493d5a62407672590cd693821fd458e272868cddfcb15ac5a4be732a4d5",
2650
+ "merkle": "4bc801848b2f0cf417cf9d921319de04f802ba9dd999e0ee3f953009d68a2aa2",
2483
2651
  "own": "a551f2cc801ec30774049941f294a669df42338611af5991c25b215bea47f563"
2484
2652
  },
2485
2653
  "cpp.cpp.gmapToList": {
2486
- "merkle": "8e9c10d40d74d6663234c81c748e4b6b4efe126b3c51ad9e19c31665e2351799",
2487
- "own": "d1c1f87acd47c835efef30bca3bd6954781cc98be7cf7579d22bdb89354e6003"
2654
+ "merkle": "c38a633f564cfab2196fb9d0f540bceb301c2e50b1dad1bd97499c11f3a400c5",
2655
+ "own": "bbecb11b7c0434d10386c6e6b3fa12ee39ef692532a53fd6fd22d110dd3ce726"
2488
2656
  },
2489
2657
  "cpp.cpp.gmapTouch": {
2490
- "merkle": "df9ef4f180368029c382ef223de8f80091412bba9b91abd53b3eacf32b4130bb",
2491
- "own": "84a712aceb8a43c78d4a3c443ada2575b0acdb5dbc9e965758dcc300a92e631b"
2658
+ "merkle": "c9403cb265ce7a36e13997abe8a09e9ee09bd7453262a3748d02cd5a4a6291c6",
2659
+ "own": "ebefd09664d6d90a11e2173d82e88a479df38582d887d24ba5e73ea3987ea0a6"
2492
2660
  },
2493
2661
  "cpp.cpp.gmapValues": {
2494
- "merkle": "5122b796046dea94d0f55680f88c85bc4817db5eaf7d588f549f888b6059092d",
2662
+ "merkle": "0f813533b5687fdd8e88e00873ed2fc73ae3feb099f525ca4b0ef1e32f4a10ab",
2495
2663
  "own": "667434e692ff71058682933a44255502e9b102039b38d57d92b6f5e7385e7655"
2496
2664
  },
2665
+ "cpp.cpp.gmapVer": {
2666
+ "merkle": "1d196e0b55541d42f0cd31045e5a9b6a1c8a2509c2d82f0e177e66ba0186deea",
2667
+ "own": "44cb07d0c27ecdcd3c165f3f6b520bc6ee121a29c99bfa8ff313c9f217ec5ad3"
2668
+ },
2497
2669
  "cpp.cpp.gmemNew": {
2498
2670
  "merkle": "e6848b17d9759ec1b05213c32f550e2b43e0fbf8b3a55a2cac2ea0db5b199be9",
2499
2671
  "own": "37178fec1d2016505d219fc61018aa9fe7ee88be08b09e9bc6c357d43b792bc8"
2500
2672
  },
2673
+ "cpp.cpp.gmiIt": {
2674
+ "merkle": "add0dce6264634ac80a873a000d6a2f6abe86aeaa9e9ed1ad37a6fa5055f27ef",
2675
+ "own": "52d0d21dd268cff38d3aebbd1f52b3e40ab49e55edb8388dc2dfcbf000c1fa24"
2676
+ },
2677
+ "cpp.cpp.gmiMap": {
2678
+ "merkle": "8a32221e6b20f2dbe207acd3871e1c1bd6809a001ebe78fe8b6773d6fdea68a5",
2679
+ "own": "043b055a784dd852cfcbe56a4b683a42dc00878b79729ed1f4c09d11f81f8594"
2680
+ },
2501
2681
  "cpp.cpp.gotoS": {
2502
2682
  "merkle": "181c864d873eb556bed3d76e2bcbd1a6b623758392e74a89770463b3cfca1f59",
2503
2683
  "own": "24dbd9e4b263f8f50e6c5a83d5d411f64807152ada4eadaa6fffb414b62cd892"
2504
2684
  },
2685
+ "cpp.cpp.gsBegin": {
2686
+ "merkle": "2569d72c2236a17b9912c5ff9ba73d6e859bd2bd9c32fa8e3cede357f3a88a84",
2687
+ "own": "8806ea6e069470eab393e543ec253032ba0ded47a752375bae2538cc79bc4144"
2688
+ },
2689
+ "cpp.cpp.gsDeref": {
2690
+ "merkle": "3831437891b377d71fd1c65cd03fed188e0a0c43df9fbbc5b03ef074a54db382",
2691
+ "own": "f0c8822e11f01f96dd7dec505dddd6941203997a417173d267197fa00fde9b32"
2692
+ },
2693
+ "cpp.cpp.gsDerefB": {
2694
+ "merkle": "874f20236dc0bd0e6d8719cdadb906bde7a8b5e4c0152740ea2268e47465b73f",
2695
+ "own": "aa7be3c939030d13e38344dfe9393b0a505b3620e04771a42ac784acbce7be67"
2696
+ },
2697
+ "cpp.cpp.gsEnd": {
2698
+ "merkle": "daa01e02bcc806a3e237ef831345059b215568388b7470a2244b725ea796d3e3",
2699
+ "own": "196336cdf0bc21a545362c3cc38519062e175a6713e165b1fe774921e3e8f4e0"
2700
+ },
2701
+ "cpp.cpp.gsEq": {
2702
+ "merkle": "1ba96a229ef1d4b036b6a5c1d8be2083d808e275ee012adea331c81b3f553e22",
2703
+ "own": "227a0c4032b38ab79105802e1f9da631f51dbfac9783496900fee06846e90a30"
2704
+ },
2705
+ "cpp.cpp.gsEraseIt": {
2706
+ "merkle": "a211eb8a1310c25bb11766e378797a8a408c17cb5bb8349636e325a5806c3dcc",
2707
+ "own": "71ec82d164608f26ab9811778240ef7147bc17494bcf560fa0a5ddafcd0c3985"
2708
+ },
2709
+ "cpp.cpp.gsFind": {
2710
+ "merkle": "2973d5a585239d3efecbc9747b6d28156d0e923d2febbc081f10cd0f70fa72bd",
2711
+ "own": "535a1917b49bf44d7eb2ee507459b6e61956dfc0f5143000d99b9447cd9ea759"
2712
+ },
2713
+ "cpp.cpp.gsLowerBound": {
2714
+ "merkle": "e4ac6e7f70dfb84a8627f0e59a51a5c62fdb999f810f6ca1e4727d8ef016c1f9",
2715
+ "own": "133b9f0004224eff30503e2e4dd84a41bb7c08d236220c5dbf024a1b3f17a13d"
2716
+ },
2717
+ "cpp.cpp.gsNext": {
2718
+ "merkle": "7a7604be8960220ca3d29e8a219c403e983828601d21b59ff523b2a90b3166ff",
2719
+ "own": "f02373ee6187235a731f0730fe18506a35777d778e642b39e01adb8a6090cde3"
2720
+ },
2721
+ "cpp.cpp.gsPrev": {
2722
+ "merkle": "d595a7e83bb6fb9b2dedccd8751b1148f2cc54aeffa6ac44090fdc3ef7c3f807",
2723
+ "own": "0493468e1e264ec05af2d41065077b464577f51e12ac2a02bfba90804b08a14a"
2724
+ },
2725
+ "cpp.cpp.gsPrevB": {
2726
+ "merkle": "9a9603cee6ab9815aa1224dddf55b4b0a70dffe57099f9c99870d33e48723e05",
2727
+ "own": "babe28899be52896de24e109204bb4291dbdf7138fe015a7f03e5d6f0e21fcb5"
2728
+ },
2729
+ "cpp.cpp.gsUpperBound": {
2730
+ "merkle": "8f472da4119485301dabb9105c7e152b07d71e74344147b7950025fe0852c339",
2731
+ "own": "8789c05cbc68522f080ab5b843a0bed57ecfa7c12708f0fb8f939405abebc13f"
2732
+ },
2733
+ "cpp.cpp.gsValidB": {
2734
+ "merkle": "4d0a337d310dc5da993c5058b89c0c2afb934c9ed6cc3bda99fb42e1a7aacf83",
2735
+ "own": "ab4053fea4e1f0f0cf12e8772b6307ceb48b087c92cb07f2f3e6bd66a966a6db"
2736
+ },
2505
2737
  "cpp.cpp.gsetCount": {
2506
- "merkle": "50525284ce8f6f70d4a838152e500268dd25cc1bc403ac4d4ea2a75d3fb5d169",
2738
+ "merkle": "e152371a9ff3be4823b75921e9421cee0074935e47dfb20dcca056a34bbf093a",
2507
2739
  "own": "10a6b31764cf1e66fe0965bb112ac9e761929df454a20799559a549207df75a0"
2508
2740
  },
2509
2741
  "cpp.cpp.gsetEmpty": {
2510
- "merkle": "83d8da20399c03052eedd4b69d1449ce4572988e4337319f349836bf64c83326",
2742
+ "merkle": "fa8cc23f73e30baac3b5ea1fdfcb6d9eefba7e8b25195306680d208e8ae26a84",
2511
2743
  "own": "e335c195d1796f0f4b467b29049e957b16f59cc2dcf6d831560d80fa63dbb9e5"
2512
2744
  },
2513
2745
  "cpp.cpp.gsetErase": {
2514
- "merkle": "497b9d25b83c64e378a67b506343b04f9b7d872e7ad2f39b014912c985f2f406",
2515
- "own": "39f54b1311768c3bdf75f6a7bb2b83b5d1b425ba624004dcffc3d9373b8eaf3a"
2746
+ "merkle": "218d422c7b59fb0a6face3e0f56979dd80e3ac2fc367bba4cf734ac3ef70bd76",
2747
+ "own": "00d34d5a919a51ff4cac7d0bc7bd09a6722ccd87b116e3e026d85e9147d2f549"
2516
2748
  },
2517
2749
  "cpp.cpp.gsetHas": {
2518
- "merkle": "8d1eb266ec6a498917fd8ff10614cf68bf09db9da1ba43302a1b522fc6e63d0f",
2750
+ "merkle": "0468a8e3849a9862429d508cc802f91cd90f7f07b34b9cab6fcd267e08675a0d",
2519
2751
  "own": "35980161ada889578dc9c8e79168af9f40152183dc6f10acd7860911f3ff069a"
2520
2752
  },
2521
2753
  "cpp.cpp.gsetInsert": {
2522
- "merkle": "11852ee053281baa13cf943b9cf09750c0e0b3e9c734b72d7db13e6ad4f780e2",
2523
- "own": "c468f390ab4c8e66384fc1aef9bbb7bd7ec7d2fc96504eab970bf663c03935db"
2754
+ "merkle": "0ac3573d9b9783284c07344f1d01438af4eb910f18309f5cb961812af89d5114",
2755
+ "own": "3c869c15c4492a84a0ccd5e9bd44c37da083dd53a3341b3733e09633b6269fa0"
2524
2756
  },
2525
2757
  "cpp.cpp.gsetLt": {
2526
- "merkle": "bbdb1643c7cf52a1bab2edb21511f7d43b11f3221af340806f102400d6194c4d",
2527
- "own": "ed8df917895939aa3134aab3066057e06fb9298a964bdf8316233b62b3826253"
2758
+ "merkle": "4b905ab42ecc80d5ec9e79ee49a563f0edf06173892043eced119e0bc14f7cdd",
2759
+ "own": "f8488bcc9abe82ee0512c2a4c1056398fe64a2c155b1b2c06fcfec6b3b67755e"
2528
2760
  },
2529
2761
  "cpp.cpp.gsetNew": {
2530
- "merkle": "7eae25fcba74e2f653ae1fd7d5d93733637e70ba12d18a7f42cff6354d408c6d",
2531
- "own": "acb385ead4c5fb506446397e83a621dc6fc6f6d7f53a150d7538c1d00fb5400b"
2762
+ "merkle": "5cfbf79e06cc24b50ec9c4449292c69382f775261c47d80cbb7d141ba683971f",
2763
+ "own": "b68775ad52e7e17dd57586924e47842615b2d3cbe517a450d6686bfd60ba5a9a"
2532
2764
  },
2533
2765
  "cpp.cpp.gsetOkB": {
2534
- "merkle": "c6f2547b404cb963e338ed7a19646abb5a3dd42f6ddf15f6c43b0297c1250a3d",
2766
+ "merkle": "343dae89820137c5b6559cce79c97cbc2bcf7c80f43d7c92703b11e5f8472df1",
2535
2767
  "own": "8c7fd7d129bf67a0121c50488724dd9e9070bdb16a09b1c3b5807119f4631c01"
2536
2768
  },
2537
2769
  "cpp.cpp.gsetSize": {
2538
- "merkle": "f6cce9c6043408324bf24d588fe4a7b1ce7e6569d3745c8122c77bb10881aae9",
2770
+ "merkle": "55bafaa365bc52bfd500a8bebcce1f22687ab134eda5e18250da369d61f88aed",
2539
2771
  "own": "d9c95b3acdbffc458b05a3298695084258fe2e36add55f31f71e8da0287704b4"
2540
2772
  },
2541
2773
  "cpp.cpp.gsetValues": {
2542
- "merkle": "5670b5350c7c0739f2b8d3d9f01029b393fe4f7a9035cb221523714fe7919377",
2543
- "own": "55dcc9c3fd4c3cb91b34ab78bf120810e49098d49888edf14e6424545e5d9b28"
2774
+ "merkle": "6e8bd8605e927a7d7d50a4bbfae1831dfc85ba39f0e966699d04cd27900450dd",
2775
+ "own": "ce59684e5c4b4c9b791483fe88589ac9ebab529ddcf44e210fe90a25b8aa97fb"
2776
+ },
2777
+ "cpp.cpp.gsetVer": {
2778
+ "merkle": "35830d49c289d1c4cc9b2bb7732e92730a9ace5ec4bb3441c507c72913f69913",
2779
+ "own": "1227fae8e2d6f41d437c1ae14fa68ad2e9ae2136ea3fba106b0a2deecbce4346"
2780
+ },
2781
+ "cpp.cpp.gsiIt": {
2782
+ "merkle": "f2d7af1b4a3a60ba4019c46c5279826530049254eea4bffa06f449472ca1e1fb",
2783
+ "own": "4b7599e02f8597fb6f5ed6f0772e9e2e960a00f5b73e49737f316cc0ab9592d8"
2784
+ },
2785
+ "cpp.cpp.gsiSet": {
2786
+ "merkle": "4cc2a5d10183e75be1e3ff66e8f2aa3544c7035bb29bf2187cba5af8d5ea8d8d",
2787
+ "own": "f5e1c320d6462c1443234b92c57e748231e2d33a28697f20948247013d600c9c"
2544
2788
  },
2545
2789
  "cpp.cpp.gtV": {
2546
2790
  "merkle": "3ad5c904935d49df91e235697f84b5563ba634eccff66aeb66b8f951313eec6a",
@@ -2706,6 +2950,10 @@
2706
2950
  "merkle": "379c414abdd3805df9ab007fe14336f0667ae7eb632a7cb14257e5397b10e495",
2707
2951
  "own": "723c13fd5439da1e5db023621443e6137c438411eef4c7ba727cc735fd13f68b"
2708
2952
  },
2953
+ "cpp.cpp.isJustG": {
2954
+ "merkle": "8cf819774b27afa1588bbaeb009ccccc8c419573b9da4dd567e21365ceb4e664",
2955
+ "own": "1e39cb95f8e2bf05686ba36ce05f4ad7434cf265c0f3765984bcf44a0c486dc3"
2956
+ },
2709
2957
  "cpp.cpp.isNaNV": {
2710
2958
  "merkle": "d59bf81ca3e00d63d899859945bad74df4f0ec69b4793f1666d2bdd8ffa4c0cb",
2711
2959
  "own": "8efe49e60b672a1e6f7b5dd465ba36d639d23fa1ac1c6f79ae3775f368d255ff"
@@ -2834,14 +3082,26 @@
2834
3082
  "merkle": "3f6b8780fcfd63b617d89ea72935892f1ea52be66955aefd158061ab7d6a691a",
2835
3083
  "own": "3666cdfbb2a3978da254f5c525df2df815614cd70c26ccc923974555b5421884"
2836
3084
  },
3085
+ "cpp.cpp.keyAfterG": {
3086
+ "merkle": "84bca073eee03b0343b457923deff747f3ffae25c6091f13a33c752c7a942a09",
3087
+ "own": "cf2ac794110e26cc2e11f786d6989f809d459c13f1e5d9c5bf907dcad3abf336"
3088
+ },
2837
3089
  "cpp.cpp.keyBefore": {
2838
3090
  "merkle": "dd46eed674c88b7b0128f7dcb63e9aeaedafd4bba7a88ae5f0bfc362240c236e",
2839
3091
  "own": "c3aabc1adce1b652b0c27b2faca4351d0a67b75f2d52f59689610294122a0b5a"
2840
3092
  },
3093
+ "cpp.cpp.keyBeforeG": {
3094
+ "merkle": "7566b227c4db12cc3df5f1c8c5f02759142852c9b273a114e3b8f1b524238360",
3095
+ "own": "523f60d7ac314670c055e0aaf25e72e5f91384dd0f77a29c2d696e170bf3473d"
3096
+ },
2841
3097
  "cpp.cpp.keyEq": {
2842
3098
  "merkle": "8300c503aaa8660f102944eb20bddc72d5578639aec0cd8077640574e35ae2b4",
2843
3099
  "own": "d56825b863dedc7477d76d67699d9fe76c175c5479497cc14e8bd3a843225113"
2844
3100
  },
3101
+ "cpp.cpp.keyOf": {
3102
+ "merkle": "3f0afc8aad9f0aa1f9324c964b6e142ef81d89291cebe8d5113a1a6a41efdfa4",
3103
+ "own": "2578eec5f958acbf56f828ec88fb0409e8eff993b6ab44a167c12a35e74abc4f"
3104
+ },
2845
3105
  "cpp.cpp.labelOf": {
2846
3106
  "merkle": "0abb1e1f7da1ca3d8bd73356d735e04021abe35d6d63af234d4bbac5ac8bde0f",
2847
3107
  "own": "7546103c3f5ed7be8118a9b6b8eb42fe1aced780c5e9955288674fab90f1d663"
@@ -2854,6 +3114,10 @@
2854
3114
  "merkle": "3cac5dbda416929fcaac480f985bd92a119f05e49d16b6f7197e11180c2f922a",
2855
3115
  "own": "ca81f36dbf323fedb5e9b6b7922387659931138e925b8301e9cdaaec30175eb9"
2856
3116
  },
3117
+ "cpp.cpp.lastWhereG": {
3118
+ "merkle": "4f69b8e61f251d717ccf5dcfd4beafa5f9311070f53ab1b99e40ef0ca709541d",
3119
+ "own": "ec1ba4944c292134dff6d7fed32ce2ff371a651ece429ffdac68b9339f60bcbf"
3120
+ },
2857
3121
  "cpp.cpp.lastWhereV": {
2858
3122
  "merkle": "0ae012dbd0d9a7ab2721c36dd6895f1ea04b2be5dfe24207679a61048539d8f2",
2859
3123
  "own": "ae69b4b5dce500e0289f42a32754ada83c16060a33672e63283cb78b86f850be"
@@ -3878,6 +4142,10 @@
3878
4142
  "merkle": "52bc4dbf7e24abde5d838fbe183187f5efe2ec1886924ceaa2b9cec119839d78",
3879
4143
  "own": "3a68fdecc890ed763b3a9d349d8dc52f1554f1c0368e2e4b63c1372e229782f5"
3880
4144
  },
4145
+ "cpp.cpp.retT": {
4146
+ "merkle": "c18bcab8e27b2b5b282baa2f1210384519caa32452b2dd213d622fb580ebee8c",
4147
+ "own": "5a5238bea97f77855b6f75c1572677bee7d5d8c173950818fa477a0117812dc6"
4148
+ },
3881
4149
  "cpp.cpp.retVal": {
3882
4150
  "merkle": "fd31f2297889638eb2ea37b642c7aad61b860b22a563f5a6bc45d036bb47b289",
3883
4151
  "own": "62fd145559758c9b194ff86a498190851db671380618238f37224c1d48c0aa37"
@@ -3966,6 +4234,10 @@
3966
4234
  "merkle": "45c3b8ce166824ca58e3b06c47198d8628a6a5970510dc8fdf9144252b8dfba2",
3967
4235
  "own": "44f9fa7f83ac9b0114f1ea85df9f91a9da186d873c27a311e29817d2132d7854"
3968
4236
  },
4237
+ "cpp.cpp.sameKeyG": {
4238
+ "merkle": "7fe8d7c32fbd769cdc936bd90b602f9da8e39debf95375c87b8a4e991028947d",
4239
+ "own": "4c4444c11fe880031ce5cb48ddb9e7176fbe5d850e0d6e465c24d79015746bdb"
4240
+ },
3969
4241
  "cpp.cpp.sciBody": {
3970
4242
  "merkle": "35e900b5be9afdb617ca1ebaa05905735ad74b97509fdffd2e049575057a513b",
3971
4243
  "own": "ad196d9c28900fc70fd9d29447e9ab9a26f910c44e633fbb7f4f200b1141e19a"
@@ -4322,6 +4594,10 @@
4322
4594
  "merkle": "cfb85bb6a8418084ff841f49f0132a66eb37d448f5e30c0801a02a7d561aafe7",
4323
4595
  "own": "0cf4f643032753c09e3a1f2ee7edd80e935b467f062733cb17648a649bdf8f6e"
4324
4596
  },
4597
+ "cpp.cpp.stoX": {
4598
+ "merkle": "d657615ef0f1e94e0ada19b9969f6b80e650596ba0d37939ac6aa051de7e556e",
4599
+ "own": "674eef30900562328ccf4988d0423fec3af925222dad0cce5e1bb4432dfd9d57"
4600
+ },
4325
4601
  "cpp.cpp.stod": {
4326
4602
  "merkle": "36f46a248a41f5036c69acc9bc1968a351da748cac4f865b8364243163ce0db6",
4327
4603
  "own": "6ca8183f53951384842ca8d671c5c92c723e3158d528c0a07d23912e07fe3968"
@@ -4358,14 +4634,26 @@
4358
4634
  "merkle": "8fa571599bc904d774eee066e1801b8bd5f332daead38c50a7f4d9756c56dbe2",
4359
4635
  "own": "54bd7a228a618550ac744fdaa0cd461d3cbe782f6be50f4a583411135c0389c7"
4360
4636
  },
4637
+ "cpp.cpp.stoiX": {
4638
+ "merkle": "27b9da1687a120fdd73c93cec6eadcc4f13b41bec4de6548e83f3294ceff96ce",
4639
+ "own": "5852a7897bb1139fd441bbc41407937d900e04144eb35c4b73b4ddd5fb6c0716"
4640
+ },
4361
4641
  "cpp.cpp.stol": {
4362
4642
  "merkle": "43c8d01ff1a01ff036f1ef7f768c958dc2f55c9eaf8d6f23cc35314304ff5987",
4363
4643
  "own": "24c141acc629008ca9de673ece68c79e5722fa19309fa8ad2327cceb2eb3ce63"
4364
4644
  },
4645
+ "cpp.cpp.stolX": {
4646
+ "merkle": "7ee40f7222555290f4ef99bac8700cb8c099a57be8cac247730c7149694f3fb9",
4647
+ "own": "ef9b286eaf2213ce34e89ba01be0a86b32ecbf9c4212deed3a94bd7ff05e9845"
4648
+ },
4365
4649
  "cpp.cpp.stoll": {
4366
4650
  "merkle": "9dcd2d187b0113093928f81594eee93fc622f1cd317c3cf26cdd990b2329083a",
4367
4651
  "own": "1016e71aa2e588f6ecbfad779fc98351a7041c08119d4a130514982818e28603"
4368
4652
  },
4653
+ "cpp.cpp.stollX": {
4654
+ "merkle": "d205aedfd2263da9a64d58d1836f6f80e0da0585c1207ed083a1f9e46dc9f536",
4655
+ "own": "28d3afef3667103a98aea718099f64fef40ca0dcb93e1bd4e94afc8e564e802d"
4656
+ },
4369
4657
  "cpp.cpp.store": {
4370
4658
  "merkle": "fb43839593e1e7ccefdff57e798c4e173aaeb5f976f90f2cdedff83e36fdf340",
4371
4659
  "own": "666d47abb07d51788b4c5b5785c4cc0be19fae8fda2745f9112ba9d1a54fe36b"
@@ -4386,10 +4674,18 @@
4386
4674
  "merkle": "d1b431ca7b1703515f1f817178ff27a3c471f371770fe710642cbcdad0a3d5cd",
4387
4675
  "own": "22b189aa43d62ff30ceb28caccacab5750703a4d22bbe4dbd98c25b5f40f132e"
4388
4676
  },
4677
+ "cpp.cpp.stoulX": {
4678
+ "merkle": "8aefb07ed957117f1994e32073ded4f3bc7bb01d968e47122600a802de630a13",
4679
+ "own": "6522e78a9ea642ef930560b00a7d3172cac5cfcf7678eccb929ab0b4789909c5"
4680
+ },
4389
4681
  "cpp.cpp.stoull": {
4390
4682
  "merkle": "0fc1d9c1dfbd41be5c49284e1e1f7b2cf607089bdf8d07575341c7427f0bd961",
4391
4683
  "own": "9c866c5d92cbc04c81bfd4addd11e0541414a2462d6aa43ac391ea25c8ac794f"
4392
4684
  },
4685
+ "cpp.cpp.stoullX": {
4686
+ "merkle": "da239db75b1374cd32eb75ae81de6764e0fcc4c918d8ceb28407798c6b2f5da7",
4687
+ "own": "01dc618bcc8492c78ff3d4264e15928b848f688970202e369a24b947acad1e82"
4688
+ },
4393
4689
  "cpp.cpp.strAt": {
4394
4690
  "merkle": "d519966299740af29757c7e99e16419fe924c8647d35f4b072815ff835668153",
4395
4691
  "own": "f04d4bda24159f8ad4d6fdc2b36c2460f678a0de80bd59dab9474b81ebc814f6"
@@ -4522,6 +4818,10 @@
4522
4818
  "merkle": "f6d5b39bbd1935f42699eff8dbbf70196c80ea7f1a5abe11d45a375ff58fb9e9",
4523
4819
  "own": "1452135671e93d835c015c618ec889c594d7693adb0fe6a88588c67e63be699a"
4524
4820
  },
4821
+ "cpp.cpp.strSubX": {
4822
+ "merkle": "92c1fe836a61caf644ccb30e64462c968664d9f9277d86737f39f13455d19106",
4823
+ "own": "c005f9f3448f6b744185a58a599ce9874b485911d66404f102ea6b0df6360f22"
4824
+ },
4525
4825
  "cpp.cpp.strWriteB": {
4526
4826
  "merkle": "2d8f437553b7188fdc8d5a2158b5c9b60c8124f02f40e02e0e9377006a20e0a2",
4527
4827
  "own": "60adcc2b7e26676824960fe26b639e85236163d3433933d936f09ee5021fdc0a"
@@ -4750,6 +5050,14 @@
4750
5050
  "merkle": "f35caab62807204dc8c2bb559dca5f0cc6cf337680174a72bee297519042e1a5",
4751
5051
  "own": "0db0ccf9617a0a40c252ea7a6818f2a856162427be03f358696f41d54226734a"
4752
5052
  },
5053
+ "cpp.cpp.throwS": {
5054
+ "merkle": "4798525e1f125ae76a3b02ae85dc802a7aa2aafa68f9e98ce636ea21dc64332e",
5055
+ "own": "481d5300828f41f8ffbc9194e13b33f555a842e03a4de05b2116db4dbabc7e54"
5056
+ },
5057
+ "cpp.cpp.thrownState": {
5058
+ "merkle": "30cfabada9ec57b43f219c48a2b7eaa999952622ab9b459a32d2da534ea1d430",
5059
+ "own": "206c97de3caa29b4900e2a51c228eafb5af94422409e47bce2e47cb60d9030f6"
5060
+ },
4753
5061
  "cpp.cpp.toBase": {
4754
5062
  "merkle": "68cf2b7a4632d7d4689edc615050a4b633bdc662ef0a0771a36e682c9a0e008e",
4755
5063
  "own": "217861eb43142cf2e0e805efa84de296bdbc10e75d2cce4f4e7a6e3a113c23ad"
@@ -4846,6 +5154,10 @@
4846
5154
  "merkle": "e1b5c3333f64ddae4cc96e5a73e531e519995d2dfd698fa7e972f09ef4c2d60e",
4847
5155
  "own": "16c328d5b12143a87f3ecdbd27561ab1ab7320d23087d4cc37f0acb4c81ddb88"
4848
5156
  },
5157
+ "cpp.cpp.tryS": {
5158
+ "merkle": "cfb18c1970fa754276c2dfb93e3a801d125fde5c94a172044b127e0c60152fce",
5159
+ "own": "ab24493a4b46a482d4ec56295869b6d95c08008b0dd2e968a12ecb5b89d3441e"
5160
+ },
4849
5161
  "cpp.cpp.typeCode": {
4850
5162
  "merkle": "e1bdaf9fa4a254cfc256b1cf569e2867a69c10859e8900e9b0df9e9434f6c76e",
4851
5163
  "own": "c9c5321bcc4df517827880865524f513db187eb7bb8805c046d609a554398e3b"
@@ -4918,6 +5230,10 @@
4918
5230
  "merkle": "b7c52f9b2f3c16a40c38694abc42308621b0a2653b4c7f827bd6a6ad2a642351",
4919
5231
  "own": "ef052d50690862983b65bb407f3b455e49c58476781210b6fa41a870ddc348b6"
4920
5232
  },
5233
+ "cpp.cpp.uncaughtB": {
5234
+ "merkle": "2e36274f5ccf0f4d6d2860466334dfa35c8ba3415961a68b678d0cbd2fdb8909",
5235
+ "own": "03b91555cfa9b117bc845a2b96a09b2b844b542c03d98fd69830934f63f8a6cc"
5236
+ },
4921
5237
  "cpp.cpp.uninit": {
4922
5238
  "merkle": "8c5a548daeb3200b749d631114ccd0241bde5c5e4bbecec5851147f6156b6782",
4923
5239
  "own": "ea620b5955e4d15be42f5e18ba13db915873c403e5b109ebaa53d3e225acf1ca"
@@ -5134,7 +5450,7 @@
5134
5450
  "format": 1,
5135
5451
  "modules": {
5136
5452
  "cpp": {
5137
- "bytes": 2657692,
5453
+ "bytes": 2741892,
5138
5454
  "deps": [
5139
5455
  "cpp"
5140
5456
  ]
@@ -5142,7 +5458,7 @@
5142
5458
  },
5143
5459
  "requires": {
5144
5460
  "cella-lang": {
5145
- "checkerHash": "e3a9dfcff5b4cc62",
5461
+ "checkerHash": "5ff10db7c5abddd3",
5146
5462
  "modules": [
5147
5463
  "int"
5148
5464
  ]
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@cella-lang/cpp",
3
- "version": "0.1.202610102224",
3
+ "version": "0.1.202610110024",
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",
@@ -20,14 +20,14 @@
20
20
  "license": "Apache-2.0",
21
21
  "author": "SungYu Chang",
22
22
  "peerDependencies": {
23
- "cella-lang": "0.1.202610102224"
23
+ "cella-lang": "0.1.202610110024"
24
24
  },
25
25
  "cella": {
26
- "checkerHash": "e3a9dfcff5b4cc62",
26
+ "checkerHash": "5ff10db7c5abddd3",
27
27
  "cbfVersion": 24,
28
28
  "modules": [
29
29
  "cpp"
30
30
  ],
31
- "packHash": "b23f23e87fe76f01"
31
+ "packHash": "5b174b6d08d34e19"
32
32
  }
33
33
  }