@cella-lang/cpp 0.1.202610102126 → 0.1.202610102151
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 +6 -0
- package/cpp.cell +0 -0
- package/index.json +225 -1
- package/package.json +2 -2
package/CHANGES.md
CHANGED
|
@@ -5,9 +5,15 @@
|
|
|
5
5
|
|
|
6
6
|
## 未發佈
|
|
7
7
|
|
|
8
|
+
### 二維 vector、multiset 與 multimap
|
|
9
|
+
|
|
10
|
+
- `gFill`、`gAt2`、`gSet2`(`vector<vector<T>>`)。
|
|
11
|
+
- `GMSet`(`msNew`、`msInsert`、`msErase`、`msCount`、`msSize`、`msEmpty`、`msValues`、`msOkB`)、`GMMap`(`mmNew`、`mmInsert`、`mmErase`、`mmCount`、`mmValuesOf`、`mmSize`、`mmEmpty`、`mmToList`、`mmKeys`、`mmOkB`)。
|
|
12
|
+
|
|
8
13
|
### set 與 map
|
|
9
14
|
|
|
10
15
|
- 鍵的型別任意、比較函式可自訂:`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`)。
|
|
16
|
+
- `unordered_set`/`unordered_map`:`GUSet`、`GUMap`(`usNew`、`usInsert`、`usErase`、`usHas`、`usCount`、`usSize`、`usEmpty`、`usSortOkB`、`usSortedBy`;`umNew`、`umSet`、`umTouch`、`umGet`、`umGetM`、`umErase`、`umHas`、`umCount`、`umSize`、`umEmpty`、`umSortOkB`、`umSortedBy`;`insertionSortBy`)。
|
|
11
17
|
|
|
12
18
|
### `<cmath>`
|
|
13
19
|
|
package/cpp.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -206,6 +206,14 @@
|
|
|
206
206
|
"merkle": "181a49eb1a1f43c81de9a731397b08c3c334cae07ddfbd4364e07629d80a2157",
|
|
207
207
|
"own": "6cda4f9b32ed7b93b65fe28a7e2856bd6e302e41fd2f67a27ecea93f03b951dd"
|
|
208
208
|
},
|
|
209
|
+
"cpp.cpp.GMMap": {
|
|
210
|
+
"merkle": "937b740f287d1917fd9d283cd67a40ac09726f3f9d925bd4825da1fb035bf5d9",
|
|
211
|
+
"own": "89c9d37835b5cac1310d6211c6d6ea43ab98f54d637fcb75f50b35699bd123c3"
|
|
212
|
+
},
|
|
213
|
+
"cpp.cpp.GMSet": {
|
|
214
|
+
"merkle": "78877855891e804b8d5de07ac4a4a3571e2adc9e46a302e167f293846953497f",
|
|
215
|
+
"own": "70c3ff42790a76a8d57c37719acb624e65faa873f4b1dc77bc0ebddc56dbfc69"
|
|
216
|
+
},
|
|
209
217
|
"cpp.cpp.GMap": {
|
|
210
218
|
"merkle": "5bf723468ebb1b9bac4f155dd9bfe532d52e47d6d821ee87f8568a5a826bb83b",
|
|
211
219
|
"own": "dd7b59ed5fd0993254ecbd3c9199acb3bbbd38ca1c6134b7e95d3d924f1a6330"
|
|
@@ -218,6 +226,14 @@
|
|
|
218
226
|
"merkle": "88c678f911ea059f53bfdb3ca6b9daf229cfd6b0f3d067a4d72ef26c9c40e8a4",
|
|
219
227
|
"own": "5ea099fee36a0005e62f8214b6cece4fa6b3112bca48f55356d0c9b46f222fc2"
|
|
220
228
|
},
|
|
229
|
+
"cpp.cpp.GUMap": {
|
|
230
|
+
"merkle": "2b652a7967eadb8a15e6200b1407cd879c952feea1c133bf8d0156d9d3720cbe",
|
|
231
|
+
"own": "c18dc3ae167a2538a0caf37b4fcbfe2a768f91e69546abff68d47d1c7fc2f182"
|
|
232
|
+
},
|
|
233
|
+
"cpp.cpp.GUSet": {
|
|
234
|
+
"merkle": "3c2f555b24b816c57c3ef5814cc0a61ff237061ad176e14c47b295d96cfaf1e7",
|
|
235
|
+
"own": "5a2f4cff0f701ad18b68900852718b0c8fd33c5aecc2f48da35df74d1cd94d0a"
|
|
236
|
+
},
|
|
221
237
|
"cpp.cpp.HypFn": {
|
|
222
238
|
"merkle": "7462de806d21637e219d6f5ef4f077aac4a34f942a2a42e48753d37f77c38891",
|
|
223
239
|
"own": "48d00acc74a7a299381e8fe2d57475ec9ae90585c4971c00edd63a9958eb7097"
|
|
@@ -2254,6 +2270,10 @@
|
|
|
2254
2270
|
"merkle": "48014d87da937f92b959cab11e19851c397789e1a256f376a8dc7e6b34c3444c",
|
|
2255
2271
|
"own": "306fcd38404d35f2ad15e39db7569bbdd8768f9ee560e56129a31e8a4d3a4856"
|
|
2256
2272
|
},
|
|
2273
|
+
"cpp.cpp.gAt2": {
|
|
2274
|
+
"merkle": "66bda7638693ee66ee65cd2f548cfce2ad9f5d0ab746457fb2966191a8cc9b3f",
|
|
2275
|
+
"own": "84996ebff816ef7d5dc0446d21eb39ca938fd3a4a0b5f6032b176cc065218da7"
|
|
2276
|
+
},
|
|
2257
2277
|
"cpp.cpp.gElems": {
|
|
2258
2278
|
"merkle": "61508375e2a8b45dfd18a7dbe162e1c7fb80d13f5b6d62a752260bb92b0c5494",
|
|
2259
2279
|
"own": "14a294e84c2416b7824dfbc1802414c272461d7c7cfe96a2584149b7b6a3a9eb"
|
|
@@ -2270,6 +2290,10 @@
|
|
|
2270
2290
|
"merkle": "a08d6bf11247fefae8292faa595b6ce32b6a6fbf3ddf904692f08b0ba8c38d65",
|
|
2271
2291
|
"own": "2ab447caee20bb86fb367c01128414258b44b8b1ef2a57ff5c0f755ed53d4f1e"
|
|
2272
2292
|
},
|
|
2293
|
+
"cpp.cpp.gFill": {
|
|
2294
|
+
"merkle": "8a4e0b14f31a863b631dce0a6e923d761ed8d68a721d8dd9d780dbc87e44c523",
|
|
2295
|
+
"own": "bb581ef6f95eac1ad39a2d6563d393a94fd246af5a96b8ab48c3064709bcc72c"
|
|
2296
|
+
},
|
|
2273
2297
|
"cpp.cpp.gFind": {
|
|
2274
2298
|
"merkle": "4d7e39e6eaa9a36aa9c07d969ceb09f3a4af9a8dd52e1d1de8fdb4470748acdc",
|
|
2275
2299
|
"own": "ef21243bddf9f8cf73227558e8742fdd597f97f8a092560ed612ac49b5f0df73"
|
|
@@ -2302,6 +2326,10 @@
|
|
|
2302
2326
|
"merkle": "4cbf229791d0baa4b246768ec4cd779dd77e07a5362bac975f207595b9cde00c",
|
|
2303
2327
|
"own": "d9ae3ceca5c9ea4725cdf90d3513d62ca28e4132be998dba5855ca8b53669238"
|
|
2304
2328
|
},
|
|
2329
|
+
"cpp.cpp.gSet2": {
|
|
2330
|
+
"merkle": "6c27037e473771e6a422d39d5cd83395f3971797b5ad04d694ca9ff350de2bea",
|
|
2331
|
+
"own": "79fd8c0f7177740f686c766f36e96cef888ebfc072b4bba234e4298347f4ad78"
|
|
2332
|
+
},
|
|
2305
2333
|
"cpp.cpp.gSize": {
|
|
2306
2334
|
"merkle": "8241c811a29bc73eaa07512d8e59403df390c008e477c28711d5dd9c547b71ba",
|
|
2307
2335
|
"own": "75d2e754f0057c00b97a387148e8a019784a1cfb4c8d59ad72d012065da52c41"
|
|
@@ -2602,6 +2630,10 @@
|
|
|
2602
2630
|
"merkle": "9bbc63d42d57b4f289beb2895ab3a930a306a3c07d354cf9464ba6bec67de830",
|
|
2603
2631
|
"own": "740633029d9481598e5ab43fbf298fe8fbc702a5c64fd4aae0c4f54b332b906e"
|
|
2604
2632
|
},
|
|
2633
|
+
"cpp.cpp.insertionSortBy": {
|
|
2634
|
+
"merkle": "f8fff0ba7d4f2f107543bcd94833c93acd5512a1bf08c1f556ea2256af90d44a",
|
|
2635
|
+
"own": "29d000265e7a1c647eae2308637b60a9ee0a6538812fa190061a2758c95e3168"
|
|
2636
|
+
},
|
|
2605
2637
|
"cpp.cpp.intToPtr": {
|
|
2606
2638
|
"merkle": "199856e152e2069c102614208efd71c04e9246cf73fe70e947ec841ceaeaaaf4",
|
|
2607
2639
|
"own": "0bef18b2e6ea13b711248f97bf8e9e592b271fb0ce4b57f9cd28e977218c3fae"
|
|
@@ -3262,10 +3294,90 @@
|
|
|
3262
3294
|
"merkle": "569254e4824c81b9ee987dab78b0fc065ef5f96d39d5d28b9d0d124486580cde",
|
|
3263
3295
|
"own": "47f179d33e6acee33837acdfa6b9d428c33d0fca13d0ded755bc2440f7f13696"
|
|
3264
3296
|
},
|
|
3297
|
+
"cpp.cpp.mmCount": {
|
|
3298
|
+
"merkle": "55fc6e6277ff24e503103db6b00ce18fcba06dd63ac8c8c153f66d5204419ce7",
|
|
3299
|
+
"own": "ad489581dd4a26576563c503f1689560855194f67da7dad4b866334aa1b00ae5"
|
|
3300
|
+
},
|
|
3301
|
+
"cpp.cpp.mmEmpty": {
|
|
3302
|
+
"merkle": "2a23c245b6a37d0b919620b395c0f03c43f3233ccb3a4ee0ad6eca731f85dcef",
|
|
3303
|
+
"own": "38e46e0726562c6307835036d2f60c441e19d51669eb816d59970a033a3ae5c1"
|
|
3304
|
+
},
|
|
3305
|
+
"cpp.cpp.mmErase": {
|
|
3306
|
+
"merkle": "8b1a98d7dd35b9b4a378a6db6b63c9abe946aa25eb889c87726cc9d6146c1c73",
|
|
3307
|
+
"own": "b2e7cd5775a2204b588e3e0d71944e272bf1e78846256fb970e44eea09329c4e"
|
|
3308
|
+
},
|
|
3309
|
+
"cpp.cpp.mmInsert": {
|
|
3310
|
+
"merkle": "0a4d838ea0b231f649e9881e085d18dbc57082885f4b745c011001ac61e4c64f",
|
|
3311
|
+
"own": "42393f9a5fe713578b876d06177cb0cea08583f0765d4f4338e0ee038f2437a3"
|
|
3312
|
+
},
|
|
3313
|
+
"cpp.cpp.mmKeys": {
|
|
3314
|
+
"merkle": "4213741005bc3152bf0a3ae2237bd78bdf31a33b8c0f951c68a9a372c1e0e1ed",
|
|
3315
|
+
"own": "9cd91590aa8ba599502b352cf70370a837632fd119619c7abcb2ab4ea351bcd8"
|
|
3316
|
+
},
|
|
3317
|
+
"cpp.cpp.mmLt": {
|
|
3318
|
+
"merkle": "71fe7cbf5f5040f9b245fe1aff92ab99960112cb632c13e858e682521ee3edcb",
|
|
3319
|
+
"own": "ea7288d540c5015945f31b51ead68c0b452aab982e6705793a3767a7680edda0"
|
|
3320
|
+
},
|
|
3321
|
+
"cpp.cpp.mmNew": {
|
|
3322
|
+
"merkle": "384f6ec0c55627a1ce21f117deb69d03fa9b933a8a606ba3eeddd1a2d9520762",
|
|
3323
|
+
"own": "be86fa5286f925be0ae5cc9bedbb4efa505f2a81588015162600a3a7fe7fc2f1"
|
|
3324
|
+
},
|
|
3325
|
+
"cpp.cpp.mmOkB": {
|
|
3326
|
+
"merkle": "7600758480e410bb91c6b9d1a1def4f2448a44dfc5e8f3d1492ab96f25ef28b4",
|
|
3327
|
+
"own": "0f63233bb3cf79357f9ba83b13f561e3f28cdc41087766d5ca6c95333f762285"
|
|
3328
|
+
},
|
|
3329
|
+
"cpp.cpp.mmSize": {
|
|
3330
|
+
"merkle": "2c9c9e3b3d0a263fee07699e7170a2f8997a6faa8673a1164636937d45794648",
|
|
3331
|
+
"own": "8ba652d69c4b0bd2e6186a3d44feacfb04290b30dd41d3d98bff0694db09e525"
|
|
3332
|
+
},
|
|
3333
|
+
"cpp.cpp.mmToList": {
|
|
3334
|
+
"merkle": "b57c16094d6a281886b8fc36281eb1fa51a8398fdd0006d9ecdd9ecd1c983973",
|
|
3335
|
+
"own": "6aed2a2c37262bf0985c636c4905b6ac8c4e0df595204841c514d32e1a3946c8"
|
|
3336
|
+
},
|
|
3337
|
+
"cpp.cpp.mmValuesOf": {
|
|
3338
|
+
"merkle": "b1cde48bacab99fa5572dc8bb6887620fd5bda6c972a723d31b97a03e4255d2f",
|
|
3339
|
+
"own": "96e10899a123d59f605137f18636325ed1c03a1723ad8ec0976022e97c383abd"
|
|
3340
|
+
},
|
|
3265
3341
|
"cpp.cpp.modNat4": {
|
|
3266
3342
|
"merkle": "0a9b2b06b9d3e09ce24c0f587654f489714d9cda79118dc29d36e7297b7ed84e",
|
|
3267
3343
|
"own": "a7d09eecd3ab05ae8a65b89270f5e177dafa303d6d1fe64bc7272e4dcbb496ec"
|
|
3268
3344
|
},
|
|
3345
|
+
"cpp.cpp.msCount": {
|
|
3346
|
+
"merkle": "1536a5192c150307a3a38ac300ae3a609590e6b9cee198051b3c82c46f666f87",
|
|
3347
|
+
"own": "7b9f2b29e64c31366a7d3db5abf32718543d27c4a4a69362ae96ae5c9be411e2"
|
|
3348
|
+
},
|
|
3349
|
+
"cpp.cpp.msEmpty": {
|
|
3350
|
+
"merkle": "d233de52d9f7544582c016615a835d3fc94f22ad83db66d2c17175fa91ffe611",
|
|
3351
|
+
"own": "493dd38eeeda5eb204307fee9b439ddd20931c483366efeeed5c73ac8075ded2"
|
|
3352
|
+
},
|
|
3353
|
+
"cpp.cpp.msErase": {
|
|
3354
|
+
"merkle": "4df445d04fbb817dbeb377e46fe986069f8aae99ec96ce51e794ac991848600a",
|
|
3355
|
+
"own": "9a8e74fedbe7bf37eb2d5a44fae3996eb1a0424eb14bf3046b72ba8e0a785b3b"
|
|
3356
|
+
},
|
|
3357
|
+
"cpp.cpp.msInsert": {
|
|
3358
|
+
"merkle": "b8b2a7212cfe77dde7e9b926a10679a40d1d96fe9338445515ee7d653d6cfa91",
|
|
3359
|
+
"own": "521a26fe2998367c18a91093aeb1ee16bf8d91b40f532fbf676e8152199d879b"
|
|
3360
|
+
},
|
|
3361
|
+
"cpp.cpp.msLt": {
|
|
3362
|
+
"merkle": "7c772951c206f322c08c97a7b7118567469b88c8ff0cf81cdf4d1e5cea2a7997",
|
|
3363
|
+
"own": "80ef409b87c618e473c2435e23a6e7fb26e15b2fc62fbebc6adca56ac0635ab9"
|
|
3364
|
+
},
|
|
3365
|
+
"cpp.cpp.msNew": {
|
|
3366
|
+
"merkle": "cc47d55f680bd89a74eddc52267d3e75d33559c37171b0b3e662186ed83bfc7e",
|
|
3367
|
+
"own": "752cfa6ffde5a715239d6a3ca7ebb841c24cef607cfba1dda92c426bf5775b0c"
|
|
3368
|
+
},
|
|
3369
|
+
"cpp.cpp.msOkB": {
|
|
3370
|
+
"merkle": "3155f7c532dcd06fba88f58c9fa1a3536bd4ba043555d7091276b57158cbb047",
|
|
3371
|
+
"own": "f8df08e988dc9b0bd97469cbe06859f0709bde02bf1d204bd2667cbb346da1dc"
|
|
3372
|
+
},
|
|
3373
|
+
"cpp.cpp.msSize": {
|
|
3374
|
+
"merkle": "e0d31017f6624152ec3df28b6d0c21e2194e73c0af2414c85b0c4a2e37756c90",
|
|
3375
|
+
"own": "d096922f7d0a9de8d11b46b5fd81aaef9d0c7e65c7a2859cfd9bbed2663d8b33"
|
|
3376
|
+
},
|
|
3377
|
+
"cpp.cpp.msValues": {
|
|
3378
|
+
"merkle": "56fb39fba05746dcdcb6717cbb6d121e73272bd6dc65f49cf83ffd8209a77e5b",
|
|
3379
|
+
"own": "79d936aee6e3101df235a62cc3e8191a0a5b80c118f79dcf5d675bdfe286bf1a"
|
|
3380
|
+
},
|
|
3269
3381
|
"cpp.cpp.mul": {
|
|
3270
3382
|
"merkle": "aed5e5eb778c628376866474038dbd047492b4dd1dd9022e1f1fdf7936c8a1a2",
|
|
3271
3383
|
"own": "59c50c23e150ca0a1f4c80b98130ebe99c1d50e11d4ba176a45fef1cdf62a7d5"
|
|
@@ -4698,6 +4810,74 @@
|
|
|
4698
4810
|
"merkle": "e1bdaf9fa4a254cfc256b1cf569e2867a69c10859e8900e9b0df9e9434f6c76e",
|
|
4699
4811
|
"own": "c9c5321bcc4df517827880865524f513db187eb7bb8805c046d609a554398e3b"
|
|
4700
4812
|
},
|
|
4813
|
+
"cpp.cpp.umCount": {
|
|
4814
|
+
"merkle": "038362c2198504bab2ed5cadd176e5ac880b7277bbaeb635565e181558c8134f",
|
|
4815
|
+
"own": "22ac8919b54b79c0de23846fd3f1d73451cf974169a7748d9010e261abda997e"
|
|
4816
|
+
},
|
|
4817
|
+
"cpp.cpp.umElems": {
|
|
4818
|
+
"merkle": "d254aa720f89589324b3d5e9d1158efe4e7a7fd1e191d3f5c88f69cf2b54a679",
|
|
4819
|
+
"own": "60ee3feb4880e7d025b5b931a23534408cd06f52a2c0a4cbc1262f3706433741"
|
|
4820
|
+
},
|
|
4821
|
+
"cpp.cpp.umEmpty": {
|
|
4822
|
+
"merkle": "7401898beeca25eb43c6c7d560eedc65d19b4969fa0aacb72440064bbac394f1",
|
|
4823
|
+
"own": "feab834f1a422026232a12ace21e70aef01c65a51a7d5f174c2888494edbbec5"
|
|
4824
|
+
},
|
|
4825
|
+
"cpp.cpp.umEq": {
|
|
4826
|
+
"merkle": "29d43ac59e3877e4951c948b8a4c9de9190c9feef703104e8d0867ef219ad03e",
|
|
4827
|
+
"own": "85d47b044f7e84786dd95023c98c17915edccec9496c3cf53ddd1157015d1eaf"
|
|
4828
|
+
},
|
|
4829
|
+
"cpp.cpp.umErase": {
|
|
4830
|
+
"merkle": "8f5fe9f8837a3d7f4fee4fe4f96cf6525df2e007f408c0ac9295f245d613de2e",
|
|
4831
|
+
"own": "5abdde9205c7551618cf64d17862ae58118cb44d1c40042b3545c06f54aa9fc6"
|
|
4832
|
+
},
|
|
4833
|
+
"cpp.cpp.umFind": {
|
|
4834
|
+
"merkle": "8b87b9b0e717903e8eaeadd279f1af4eed6d86031476471cdef97fc2bf1468f7",
|
|
4835
|
+
"own": "36529e2e7cf20210b91baa5f29019128ed70db618213d372a4a5a237c444f5bf"
|
|
4836
|
+
},
|
|
4837
|
+
"cpp.cpp.umGet": {
|
|
4838
|
+
"merkle": "3cb9192c6ef713914ed17fd74b3fc9e04b7a3a09e066c76c1940f21327525f02",
|
|
4839
|
+
"own": "a4e41810653a6bc533f54cf996920f3c0cc1c983ded6f69c2738e39b2c908c90"
|
|
4840
|
+
},
|
|
4841
|
+
"cpp.cpp.umGetM": {
|
|
4842
|
+
"merkle": "80d4b694e826a1ecd00685fca1cf74d7d57c04529796895e465f72f83db5f94c",
|
|
4843
|
+
"own": "8d3dced8ab9af523fadee6a2391598265518b4894402d48429e5be3742a7d3fa"
|
|
4844
|
+
},
|
|
4845
|
+
"cpp.cpp.umHas": {
|
|
4846
|
+
"merkle": "5b6bccc278664c1e100973222e34fce01a8e22fc3d0c52a93f9d9d6054a5eade",
|
|
4847
|
+
"own": "bbfa55a6f03eba6f567a64a7f78e6bc08700e463e96424cb01afeebcebe914e4"
|
|
4848
|
+
},
|
|
4849
|
+
"cpp.cpp.umKeysRaw": {
|
|
4850
|
+
"merkle": "e4d6be42300fdae420c8db0e7fd60f5f979a7aa89fcf224a55e52c28495e9092",
|
|
4851
|
+
"own": "454abf9921db94ba27cd89168eaad14f9fc88cabdbf131c4eb33529e39d0d042"
|
|
4852
|
+
},
|
|
4853
|
+
"cpp.cpp.umNew": {
|
|
4854
|
+
"merkle": "032d5ce31c20b0928c67091b1b0b0cb6b2c90251afdd83beff9fd7538c078d52",
|
|
4855
|
+
"own": "2deb4fcc21d70699f61573bebc265760f17f6fd6537e43eea38413a01ccebee1"
|
|
4856
|
+
},
|
|
4857
|
+
"cpp.cpp.umPut": {
|
|
4858
|
+
"merkle": "1e67e22b90ea79bd79d6a5eadb832ca878f4e3510c3ea5fdc35e71ab125bdc49",
|
|
4859
|
+
"own": "9790127c5d47ab7b367ed11f6715327cc09f78b5efa97c1a04192b65fe82cbd2"
|
|
4860
|
+
},
|
|
4861
|
+
"cpp.cpp.umSet": {
|
|
4862
|
+
"merkle": "5115efb3150136e18a6fe5c6de859f05f76b07de5484cc9e89fad0d526d3cd6a",
|
|
4863
|
+
"own": "eaa39c37c6c6e564363dda7fcacdbd42594ea5c70ac6e44e80077c8507703207"
|
|
4864
|
+
},
|
|
4865
|
+
"cpp.cpp.umSize": {
|
|
4866
|
+
"merkle": "66a40c539644be718aeee4e9c77135ff9670d4133b6ad60b8d01dce785fb44a7",
|
|
4867
|
+
"own": "4a7bb57b41fabdbc867f7b8f43ffbe9887bacb16390ad3026bb3529907bca522"
|
|
4868
|
+
},
|
|
4869
|
+
"cpp.cpp.umSortOkB": {
|
|
4870
|
+
"merkle": "fc4cdb80971423530a625cf535e43df1b3d46dc0f4e202218987ef0e8f7903fb",
|
|
4871
|
+
"own": "a0d90375c0eafffbfd68ebdd6ce663bb32caddc3d25024d927773b69661e7f64"
|
|
4872
|
+
},
|
|
4873
|
+
"cpp.cpp.umSortedBy": {
|
|
4874
|
+
"merkle": "bd4a002b19c0b378126a6a628db8bce69a1ddf72bbd69ed62fd3e4c6f04ca267",
|
|
4875
|
+
"own": "8050afeb2c4cb2777706260b9a1b2d5be9a57ad196c24295accd8ab1d8ca0b12"
|
|
4876
|
+
},
|
|
4877
|
+
"cpp.cpp.umTouch": {
|
|
4878
|
+
"merkle": "b7c52f9b2f3c16a40c38694abc42308621b0a2653b4c7f827bd6a6ad2a642351",
|
|
4879
|
+
"own": "ef052d50690862983b65bb407f3b455e49c58476781210b6fa41a870ddc348b6"
|
|
4880
|
+
},
|
|
4701
4881
|
"cpp.cpp.uninit": {
|
|
4702
4882
|
"merkle": "8c5a548daeb3200b749d631114ccd0241bde5c5e4bbecec5851147f6156b6782",
|
|
4703
4883
|
"own": "ea620b5955e4d15be42f5e18ba13db915873c403e5b109ebaa53d3e225acf1ca"
|
|
@@ -4718,6 +4898,50 @@
|
|
|
4718
4898
|
"merkle": "60a023ec5a6f4fbfd9879aaf441ee8b1ad8894057aa95c24228e7ce0e17c817b",
|
|
4719
4899
|
"own": "c236995e09ad82d7749bf8e113553ec857197d456ff96b085bd201b7bc965986"
|
|
4720
4900
|
},
|
|
4901
|
+
"cpp.cpp.usCount": {
|
|
4902
|
+
"merkle": "1ff4b3a676297943a29c868f21db67f5b5482950ac488ad71d3e52f2c982adfc",
|
|
4903
|
+
"own": "957de48a5f1111022ddd36308b6f667d2efe30d5bd537750af8b2f90cf7952d8"
|
|
4904
|
+
},
|
|
4905
|
+
"cpp.cpp.usElems": {
|
|
4906
|
+
"merkle": "03cbfeefb3ceb4cd09429b83407e954cb31237a18dbbd2418eff19d9508ba896",
|
|
4907
|
+
"own": "860163add4e0f218dbcc70d47870b1fa1c3b6fcb2bce1c6673f542e4b2757dba"
|
|
4908
|
+
},
|
|
4909
|
+
"cpp.cpp.usEmpty": {
|
|
4910
|
+
"merkle": "014cc69ebeab83ba80992a465fcfc5665d4cda7b2ce6def5caaef150ebf8ccef",
|
|
4911
|
+
"own": "32f3cea60a6d4995fd2dc59c643da6fbfbb8a5d94e2c6d1f08c6f42a94845a36"
|
|
4912
|
+
},
|
|
4913
|
+
"cpp.cpp.usEq": {
|
|
4914
|
+
"merkle": "0989680f8522dd471a7f595926cb50a5ebc5105c74443dea1d0bc6a16d971e75",
|
|
4915
|
+
"own": "a18919dc07b0ad8d103f733a8a801ffef860637b069c46c1220d74eaf49afce1"
|
|
4916
|
+
},
|
|
4917
|
+
"cpp.cpp.usErase": {
|
|
4918
|
+
"merkle": "15fbe7e7431693f9e5202b4b156ae5df2f1171d45d94a4806e3e0d79f7687b2e",
|
|
4919
|
+
"own": "efc6d4bee86afbaf10042c3ed28f5bb3b30291b6c691c16f47f76a28795dba2e"
|
|
4920
|
+
},
|
|
4921
|
+
"cpp.cpp.usHas": {
|
|
4922
|
+
"merkle": "57eb47e70c5d9cfc23169ff9bc4fa630213af24417aa38a1f7d85e4111a44b0f",
|
|
4923
|
+
"own": "9df263986d00677ee8535799f0f1b19b9ccd77f939a8bab2211220d1ff9083da"
|
|
4924
|
+
},
|
|
4925
|
+
"cpp.cpp.usInsert": {
|
|
4926
|
+
"merkle": "78acca30459c27f772405f23f2e524e90a144e96090b8da86a0bc6d0f2340408",
|
|
4927
|
+
"own": "8b64d1510d25cd8d06e54a33f81564b556f982c5586ff547da3ce0ceb056350f"
|
|
4928
|
+
},
|
|
4929
|
+
"cpp.cpp.usNew": {
|
|
4930
|
+
"merkle": "b5fc8db89ab57eb0e6ff34a9bbc2bdf015ce5e690520206ccbce0d03d2f4fe7c",
|
|
4931
|
+
"own": "269dd0e1904f285a21915040d23bfe412fb2a678ecb586cb0139828c07a2c990"
|
|
4932
|
+
},
|
|
4933
|
+
"cpp.cpp.usSize": {
|
|
4934
|
+
"merkle": "109dc33eae42a01cb70d9dbc7e81b6d28f5733866671e895655dd2f04826b7b9",
|
|
4935
|
+
"own": "a7bac8dc5dadca2eaa83d60e4f249c82635bb44b231c3fe4f55c93a06528717e"
|
|
4936
|
+
},
|
|
4937
|
+
"cpp.cpp.usSortOkB": {
|
|
4938
|
+
"merkle": "f28d09d0929059783cac8170d0e525af2d1d3fb656cf4f644cb3b33febdcf934",
|
|
4939
|
+
"own": "801a92cbaa62ed0dd40bda7f916f6ca544b7f283454d8f56474952da04997205"
|
|
4940
|
+
},
|
|
4941
|
+
"cpp.cpp.usSortedBy": {
|
|
4942
|
+
"merkle": "3c718e501685b4819235161ab9c7aff9f379acece5d61aae29bc28d23c82148c",
|
|
4943
|
+
"own": "066cad5d24ec37d8b0a2d06eec5af2275971c23d4916d9eb0c00e158e252ced9"
|
|
4944
|
+
},
|
|
4721
4945
|
"cpp.cpp.utf8": {
|
|
4722
4946
|
"merkle": "757f08b676b26b452cdcf7b29cc0bf1236f4e33ff0ebe5e6fb66686ca4869069",
|
|
4723
4947
|
"own": "06eb76f473a3fff60022203b1bfe9c9705043d65caf1f729f6033b758562a949"
|
|
@@ -4870,7 +5094,7 @@
|
|
|
4870
5094
|
"format": 1,
|
|
4871
5095
|
"modules": {
|
|
4872
5096
|
"cpp": {
|
|
4873
|
-
"bytes":
|
|
5097
|
+
"bytes": 2646320,
|
|
4874
5098
|
"deps": [
|
|
4875
5099
|
"cpp"
|
|
4876
5100
|
]
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/cpp",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610102151",
|
|
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": "
|
|
31
|
+
"packHash": "770e67cc6a6a68c3"
|
|
32
32
|
}
|
|
33
33
|
}
|