@cella-lang/cpp 0.1.202610100934 → 0.1.202610101043
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 +2 -0
- package/cpp.cell +0 -0
- package/index.json +183 -163
- package/package.json +4 -4
package/CHANGES.md
CHANGED
|
@@ -7,6 +7,8 @@
|
|
|
7
7
|
|
|
8
8
|
### 記憶體與 C 字串
|
|
9
9
|
|
|
10
|
+
- **⚠️ 不相容**：記憶體對元素型別是泛型的：`cpp.GMem A`、`cpp.GAlloc A`、`cpp.GAllocated A`（整數的 `cpp.Mem t`、`cpp.Alloc t`、`cpp.Allocated t` 是 `GMem (Val t)` 等的別名，照舊可用）。配置、解參照的判斷、寫（`cpp.store`）、指標加減、`delete`、離開作用域對任意 `A`；另加泛型的讀 `cpp.loadD`、`cpp.gmemNew`。前置條件的資料型別 `cpp.DerefOkD`、`StoreOkD`、`PtrAddOkD`、`DeleteOkD` 的第一個索引從 `IType` 改成元素型別：寫 `cpp.DerefOkD (cpp.Val t) m p`（用 `cpp.derefOk refl` 的不受影響）。
|
|
11
|
+
|
|
10
12
|
- **⚠️ 不相容**：配置 `cpp.Alloc` 多一個欄位 `ro`（唯讀）：`cpp.alloc cells alive heap ro`，投影 `cpp.allocRo`。寫入的判斷（`cpp.derefB m p false`，即 `cpp.storeOk` 的條件）與 C 字串的 `cpp.cRoomB` 要求不是唯讀。自己建 `cpp.alloc` 的程式要補上最後一個引數（一般的配置是 `false`）。
|
|
11
13
|
- 新增 `cpp.cstrLit`（`const char *p = "…"`：字面量自己的唯讀配置）；`cpp.strncmpC`、`cpp.strncpyC`、`cpp.strchrC`，與前置條件 `cpp.CStrND`（最多讀 n 個位元組）、`cpp.StrncpyD`。
|
|
12
14
|
- **雜湊改變**：記憶體段（配置、`load`／`store`、指標、C 字串）的定義與用到它們的定理。
|
package/cpp.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"cbfVersion": 24,
|
|
3
|
-
"checkerHash": "
|
|
3
|
+
"checkerHash": "47832d6e908a8854",
|
|
4
4
|
"defs": {
|
|
5
5
|
"cpp.__RecordTag_cpp.IOS": {
|
|
6
6
|
"merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
|
|
@@ -23,12 +23,12 @@
|
|
|
23
23
|
"own": "9e2df223266ba029dd87772a9b018ff330a41074d3f9ada5f525d2138270cfe7"
|
|
24
24
|
},
|
|
25
25
|
"cpp.cpp.Alloc": {
|
|
26
|
-
"merkle": "
|
|
27
|
-
"own": "
|
|
26
|
+
"merkle": "df46177580c4bd209fa394dc9cc63a0a8c29276d27778b1016ea682e901e0343",
|
|
27
|
+
"own": "38e22f8cc19d6397dd57326252c227590e992016e54d83be379e1efb9bd1b197"
|
|
28
28
|
},
|
|
29
29
|
"cpp.cpp.Allocated": {
|
|
30
|
-
"merkle": "
|
|
31
|
-
"own": "
|
|
30
|
+
"merkle": "82933629a55c103e92562d00ecdc3da7e6ef177b68d00573635c91feccb9005f",
|
|
31
|
+
"own": "ebb0cc1c3f293538edfa169a5fa8f3f591bc33e9b407362915e026856c318459"
|
|
32
32
|
},
|
|
33
33
|
"cpp.cpp.Approx": {
|
|
34
34
|
"merkle": "f6625d29558ce87cc0d22ebb29013cca38492846913b5dc802d67f13e267d260",
|
|
@@ -47,12 +47,12 @@
|
|
|
47
47
|
"own": "12b2ae9ff4d6424b28e8679baef313f72d272dc5891104e44596cad44ed99939"
|
|
48
48
|
},
|
|
49
49
|
"cpp.cpp.ByteAddOkD": {
|
|
50
|
-
"merkle": "
|
|
51
|
-
"own": "
|
|
50
|
+
"merkle": "ac02c9185e0074b4abe68a30ffb2229357cbb6cf0b81c4b760fe0b4ed0d5cd90",
|
|
51
|
+
"own": "2f3fe42a2e13a1d87eb4e540c81c113ad0c6a7deeb0dbb7648693ffc0ba322be"
|
|
52
52
|
},
|
|
53
53
|
"cpp.cpp.ByteDerefOkD": {
|
|
54
|
-
"merkle": "
|
|
55
|
-
"own": "
|
|
54
|
+
"merkle": "0acde27f65cd177e583c054011d572b5a6a43ff6cb7affc0c52782dc53ce92c0",
|
|
55
|
+
"own": "b2ef7cabffe26773ddbb7449f6b7521721adc1e5a332a210c8056abf148e02ac"
|
|
56
56
|
},
|
|
57
57
|
"cpp.cpp.ByteIndexD": {
|
|
58
58
|
"merkle": "4e36f6e2de536cd6fbdaf12c03b3b4e3ece13039a9f7ae903e47955f3fbf4a66",
|
|
@@ -71,12 +71,12 @@
|
|
|
71
71
|
"own": "e788362b8a196670dc644c932fb993002d10d40e5af99d62f3e829fb87e75803"
|
|
72
72
|
},
|
|
73
73
|
"cpp.cpp.CStrD": {
|
|
74
|
-
"merkle": "
|
|
75
|
-
"own": "
|
|
74
|
+
"merkle": "3111b538ff246a249edec4463ac113ffe2f7c0f729eaf1cc631b9f2c8afbdc3e",
|
|
75
|
+
"own": "fef5d6ad9b810c2067326ba7831d72fc804015505fb8e8cdc418059d31312ffd"
|
|
76
76
|
},
|
|
77
77
|
"cpp.cpp.CStrND": {
|
|
78
|
-
"merkle": "
|
|
79
|
-
"own": "
|
|
78
|
+
"merkle": "f40cee699754fd84726ebe4592e2462288dc8125c60225e8f22eb21b0e6c48c5",
|
|
79
|
+
"own": "14e085703d174b8dc62e30420f24f5bc4fc2231994b36e2bfe7b595f874c481d"
|
|
80
80
|
},
|
|
81
81
|
"cpp.cpp.Call": {
|
|
82
82
|
"merkle": "89c2e7785a2892ce1bcb9809409d5a821b385cfdff8d133ea2f863b7e908842a",
|
|
@@ -95,16 +95,16 @@
|
|
|
95
95
|
"own": "0c550bc24d373ca9c703b96efec0f059549f507e7c67e8cfe6b4298cd25c9dd3"
|
|
96
96
|
},
|
|
97
97
|
"cpp.cpp.DeleteOkD": {
|
|
98
|
-
"merkle": "
|
|
99
|
-
"own": "
|
|
98
|
+
"merkle": "70932a6c797ea027d44728065c7aa9d59ee4d9c8803086d2b8a4e027ed085015",
|
|
99
|
+
"own": "caf8939a92a8a569097a6c1c09e81428e631959d9183b196400dc0a61f0dca6d"
|
|
100
100
|
},
|
|
101
101
|
"cpp.cpp.Deque": {
|
|
102
102
|
"merkle": "3399c31d4c3a2aac7a8cf43e9048bc33f5c0cf61de6bbbbe8184505182e53dae",
|
|
103
103
|
"own": "50d3ac8200f87ed551b55ab4a095b02302f47691325c666c765194ded87e860d"
|
|
104
104
|
},
|
|
105
105
|
"cpp.cpp.DerefOkD": {
|
|
106
|
-
"merkle": "
|
|
107
|
-
"own": "
|
|
106
|
+
"merkle": "89915c86e57541a27e840580ee0d9f3ccf161bf0d8b967f15d71db03991ec491",
|
|
107
|
+
"own": "be47c41d0f1221db5f8c56bb3ab9f7be74ade51003855cf9d0a186251fa96282"
|
|
108
108
|
},
|
|
109
109
|
"cpp.cpp.DigN": {
|
|
110
110
|
"merkle": "e310bc47e7cf557c834d7c25daee71cdd6d5e07042de037cc2c0a69f87a1df2f",
|
|
@@ -182,6 +182,18 @@
|
|
|
182
182
|
"merkle": "08ec5eae1c1e3f1952ae378e32872de13153e585eae4223ffbabb2317682c2e9",
|
|
183
183
|
"own": "ccf9540155526dbc07667337e554f3f1295d600f8ec757f5f3082f7cabb442c3"
|
|
184
184
|
},
|
|
185
|
+
"cpp.cpp.GAlloc": {
|
|
186
|
+
"merkle": "edf752e305934a90c41befb2c37ac02e372edb7e3b22f184fdcb6c1fa0757f23",
|
|
187
|
+
"own": "31d8bed9fde15afc56a26c4b8f450652bf25fb3b2c59c2d565b99b546621bb09"
|
|
188
|
+
},
|
|
189
|
+
"cpp.cpp.GAllocated": {
|
|
190
|
+
"merkle": "72b1861d09c5e5267fb1171eca6ce9dc61e747b21e3e018485c87974ab3da0ef",
|
|
191
|
+
"own": "247eddd9f25e9d801e85ecb9fa6989a5cce2fd3cb075a41bb6ce694804d52223"
|
|
192
|
+
},
|
|
193
|
+
"cpp.cpp.GMem": {
|
|
194
|
+
"merkle": "d9911ff1a75bdb5ebb4e87aab5a3db9f57af0c13bdfc502b150f1f67dc676c86",
|
|
195
|
+
"own": "24a2a9edb879274a0a88a31007ff33f8591ee4dfd8d699a6bf032387397510c8"
|
|
196
|
+
},
|
|
185
197
|
"cpp.cpp.HypFn": {
|
|
186
198
|
"merkle": "7462de806d21637e219d6f5ef4f077aac4a34f942a2a42e48753d37f77c38891",
|
|
187
199
|
"own": "48d00acc74a7a299381e8fe2d57475ec9ae90585c4971c00edd63a9958eb7097"
|
|
@@ -231,8 +243,8 @@
|
|
|
231
243
|
"own": "4a1b77eaf27cf33adec81725368c24c0fc6fc11687da5f249f047c6f36c7fdda"
|
|
232
244
|
},
|
|
233
245
|
"cpp.cpp.IntToPtrOkD": {
|
|
234
|
-
"merkle": "
|
|
235
|
-
"own": "
|
|
246
|
+
"merkle": "8e7366cd5db5857bb24d2720c8882f9f14176b79b29e4a217d2ff9259294c41e",
|
|
247
|
+
"own": "06f75076572ebc8844814547e085c35d4e1610d999129e747bd24a5151d3da73"
|
|
236
248
|
},
|
|
237
249
|
"cpp.cpp.It": {
|
|
238
250
|
"merkle": "216814f47592ceaa8458a31a67cf148b19543f40ab1e23c45c2f8c0932e0f063",
|
|
@@ -275,8 +287,8 @@
|
|
|
275
287
|
"own": "baecd2b1d215aac9d493f6a42063b7d32955ef21866456236351def3990de618"
|
|
276
288
|
},
|
|
277
289
|
"cpp.cpp.Mem": {
|
|
278
|
-
"merkle": "
|
|
279
|
-
"own": "
|
|
290
|
+
"merkle": "b8135ea41e2b7ad2e786840ad8e4b4e9c71eafe2bfe21b1c37a10b59b421b34a",
|
|
291
|
+
"own": "f4fe7d74d3fe367a623acdf59e46a70d6ec5047cf3b4dd08fb15b41a6d6addf2"
|
|
280
292
|
},
|
|
281
293
|
"cpp.cpp.NonEmptyD": {
|
|
282
294
|
"merkle": "0970fb617811ad8f0cb9dd1c2c87afa294cb707cdce6aba6063fc02863aa6a0b",
|
|
@@ -319,8 +331,8 @@
|
|
|
319
331
|
"own": "02e03002eae92ce02d327201ae40b40dcd1d40e423e4dc86be9366883911ed04"
|
|
320
332
|
},
|
|
321
333
|
"cpp.cpp.PtrAddOkD": {
|
|
322
|
-
"merkle": "
|
|
323
|
-
"own": "
|
|
334
|
+
"merkle": "cb1bb99c93dfd10101f7145a15a0583a41683d12bc1fc417f18ff6b3a1c75fb6",
|
|
335
|
+
"own": "f42e29b5eaf1b33b304bb233f180f43a193e17a1940f65cefd3a85511e63cfb5"
|
|
324
336
|
},
|
|
325
337
|
"cpp.cpp.PtrIntOkD": {
|
|
326
338
|
"merkle": "11f0cdab3c1b536ecae82ee41dfd0489267dded37d11e8398719c22f83cb0559",
|
|
@@ -439,8 +451,8 @@
|
|
|
439
451
|
"own": "5af2aa6102ffc48080aecb9e3197c71b8d5f67808e2041b1a608ddfd35c7bf3a"
|
|
440
452
|
},
|
|
441
453
|
"cpp.cpp.StoreOkD": {
|
|
442
|
-
"merkle": "
|
|
443
|
-
"own": "
|
|
454
|
+
"merkle": "c732d340dcccd97b6d7b65429e6542a1bd998d28228e88746262d82a18867089",
|
|
455
|
+
"own": "0c07383712cf05f63cee1e8cf6cf080140dee7d90bbaceefc2a3cec97f1c0ef0"
|
|
444
456
|
},
|
|
445
457
|
"cpp.cpp.StrNonEmptyD": {
|
|
446
458
|
"merkle": "27033a89795a51cdb62f35becd67a65249f7e6cc7ba162d66d1318145d95e7f7",
|
|
@@ -463,16 +475,16 @@
|
|
|
463
475
|
"own": "6be75095171865c78f4d47288c66d3f5a81dab2bdef5601bc875ab5eb4627d54"
|
|
464
476
|
},
|
|
465
477
|
"cpp.cpp.StrcatD": {
|
|
466
|
-
"merkle": "
|
|
467
|
-
"own": "
|
|
478
|
+
"merkle": "dcd0ce96d30941eb6f6d9d31b8619450b6b17fcda0fcd3d064171eeafc2cf781",
|
|
479
|
+
"own": "d4436cdc7b431ad925afb3d14aeba8b9b7237b6916709a2022e97a6b401f46a2"
|
|
468
480
|
},
|
|
469
481
|
"cpp.cpp.StrcpyD": {
|
|
470
|
-
"merkle": "
|
|
471
|
-
"own": "
|
|
482
|
+
"merkle": "8e1a019e76888446dcb1d5b49c6caa5b579f4e2f6d150322df6a129b61b7ad0a",
|
|
483
|
+
"own": "82800d1b866e036335c6d2f90a3004f2bfd98c7e875d90cfb094c16d4d7f7fdb"
|
|
472
484
|
},
|
|
473
485
|
"cpp.cpp.StrncpyD": {
|
|
474
|
-
"merkle": "
|
|
475
|
-
"own": "
|
|
486
|
+
"merkle": "f6a6711065fb30949d504d0060d2a6190fbabb47120238bb32ee64e1d3f28784",
|
|
487
|
+
"own": "56f10a85a7529f0c311dcda62663c94b8d7268a86b74e6c8521942bd759b6ae6"
|
|
476
488
|
},
|
|
477
489
|
"cpp.cpp.SumN": {
|
|
478
490
|
"merkle": "71de94d183e70b7029c563aac07805833c4680051b9f89e371e2ccb48260b355",
|
|
@@ -519,12 +531,12 @@
|
|
|
519
531
|
"own": "55dddb329fadc10e4692da25f18529b86b928e6a432a2b129e5fe13520365118"
|
|
520
532
|
},
|
|
521
533
|
"cpp.cpp.addAlloc": {
|
|
522
|
-
"merkle": "
|
|
523
|
-
"own": "
|
|
534
|
+
"merkle": "c57157d3a08c53fa187dbc708057ea3ad1078a746a1e4f5702a95a090846f38d",
|
|
535
|
+
"own": "aed5c7c1280f95af4521cd5c54494fc5f6c6a89540485e7b06c195b415c91471"
|
|
524
536
|
},
|
|
525
537
|
"cpp.cpp.addB": {
|
|
526
|
-
"merkle": "
|
|
527
|
-
"own": "
|
|
538
|
+
"merkle": "c92a2bfdae423889d167bc27d9852d5f24fb428cba0383c6ca0b3e6b0314da01",
|
|
539
|
+
"own": "535fdacf1868fbcc6f136603d3fca9815f0b12aa6e38b0cef2f517f843869843"
|
|
528
540
|
},
|
|
529
541
|
"cpp.cpp.addFF": {
|
|
530
542
|
"merkle": "ad00535f2f83b486902422bda3f8a8abc48ed8abe3c27b89d905967f4200f842",
|
|
@@ -559,8 +571,8 @@
|
|
|
559
571
|
"own": "e92c121270518cf902c4d0a28fb93947538549291980151c452c4e912d09fa07"
|
|
560
572
|
},
|
|
561
573
|
"cpp.cpp.addrOf": {
|
|
562
|
-
"merkle": "
|
|
563
|
-
"own": "
|
|
574
|
+
"merkle": "716e56652c1624401556c90e47bef62c8b3de9b48e60c4e149b4305508edc95e",
|
|
575
|
+
"own": "8a464cb8b43aff3425d89272fedff0befcfe712db5e962fdb69f5051670597d3"
|
|
564
576
|
},
|
|
565
577
|
"cpp.cpp.addrOfPtr": {
|
|
566
578
|
"merkle": "2797de816974335e84ea5174aeede30c6a184340b47b48ac19d6b39bf4db6e90",
|
|
@@ -587,24 +599,24 @@
|
|
|
587
599
|
"own": "8a6a225045c57a5bcb022f5a73a9132c208f408a3702f3d23cecd14786b18695"
|
|
588
600
|
},
|
|
589
601
|
"cpp.cpp.allocAlive": {
|
|
590
|
-
"merkle": "
|
|
591
|
-
"own": "
|
|
602
|
+
"merkle": "e9ca02509f9a56bcb04162f6e6ac0e353b567295f0dbb8be07c50cfce7903566",
|
|
603
|
+
"own": "d57c84ed6c1ef66cda9b93f206b4d99e7e7941d6d30dfaf5de2f77cdf25337d5"
|
|
592
604
|
},
|
|
593
605
|
"cpp.cpp.allocCells": {
|
|
594
|
-
"merkle": "
|
|
595
|
-
"own": "
|
|
606
|
+
"merkle": "d0e6d46c36aa70d6da253a12ec87428968cfd5aa761ca26dc76980ae9b336352",
|
|
607
|
+
"own": "d4e108904190e04fa5ed90c845dff9c995d1fbfd020377fadb1d2298ba4adf2b"
|
|
596
608
|
},
|
|
597
609
|
"cpp.cpp.allocHeap": {
|
|
598
|
-
"merkle": "
|
|
599
|
-
"own": "
|
|
610
|
+
"merkle": "2161951baca130b40f93f5beefa4ba61a884f3071217184d624a16324ab0cdec",
|
|
611
|
+
"own": "cd648541ab4a9411978d59cb88fef529a481e08d000f3eb09b7c54e553fc4084"
|
|
600
612
|
},
|
|
601
613
|
"cpp.cpp.allocRo": {
|
|
602
|
-
"merkle": "
|
|
603
|
-
"own": "
|
|
614
|
+
"merkle": "2f90a06b2fd7b68c88eb9d0c5eeb0a023631459d52e39ed4d92b52a763c50d83",
|
|
615
|
+
"own": "7dd42d86b78c2b4d87d519735865a58bb0c6a35370b34e95239796541c9cc7e8"
|
|
604
616
|
},
|
|
605
617
|
"cpp.cpp.amem": {
|
|
606
|
-
"merkle": "
|
|
607
|
-
"own": "
|
|
618
|
+
"merkle": "aa7750f02c2d31c65ee0ace658707140625ddbbfe52012ff686971cbf6daba56",
|
|
619
|
+
"own": "be8cf344cfcf8f67e3238f04965ee06ba9fd68bedb95aec8ca3a9bb89b70d7c6"
|
|
608
620
|
},
|
|
609
621
|
"cpp.cpp.andFalse": {
|
|
610
622
|
"merkle": "678cdc68caccb5e92105c259e8bd96bc6694c6810e3957c97d15ce3378d305bb",
|
|
@@ -627,8 +639,8 @@
|
|
|
627
639
|
"own": "550ff2d2dac6227ac263dc29edcc352fc66146834609a8dee43c6254d82982b6"
|
|
628
640
|
},
|
|
629
641
|
"cpp.cpp.aptr": {
|
|
630
|
-
"merkle": "
|
|
631
|
-
"own": "
|
|
642
|
+
"merkle": "d9bb8683426a67f28697c9f002cf5a79c2960ec8927ec45af72b0cd37d1831de",
|
|
643
|
+
"own": "503fa8c2960e791123808d4fca9f6b0db26c847e4f17c54953097d421c8c418a"
|
|
632
644
|
},
|
|
633
645
|
"cpp.cpp.arithT": {
|
|
634
646
|
"merkle": "f761bb63ebd69ec287aee0ae7c8fdf7543a5f488ab093f66e4a5b8e9f34b0c65",
|
|
@@ -799,8 +811,8 @@
|
|
|
799
811
|
"own": "d70daba208dda37266f7355b7578b36c4189a8971b6b86e213d1971cb789cb83"
|
|
800
812
|
},
|
|
801
813
|
"cpp.cpp.blockOf": {
|
|
802
|
-
"merkle": "
|
|
803
|
-
"own": "
|
|
814
|
+
"merkle": "63219d46ac2247e578ae19a06335740a4aa22afef84e9f6dc24bf1ada6771ae0",
|
|
815
|
+
"own": "37b1e48eb3aa3694e2c98ab9956d9f54161aa6621a423ee2416f1a1ed3760ecb"
|
|
804
816
|
},
|
|
805
817
|
"cpp.cpp.boolCode": {
|
|
806
818
|
"merkle": "09e45afde7627039cd7bb53ec6bcb049615f9a450e94030c2fd30ab0e0c3f62d",
|
|
@@ -831,28 +843,28 @@
|
|
|
831
843
|
"own": "ba22d1112a201db549922f6271db1737d54acacb57da8298d27f843db24f289b"
|
|
832
844
|
},
|
|
833
845
|
"cpp.cpp.byteAdd": {
|
|
834
|
-
"merkle": "
|
|
835
|
-
"own": "
|
|
846
|
+
"merkle": "916d0d77547015ace123c3019d878a82db7755ca117e2f5abc97f3e4db274e20",
|
|
847
|
+
"own": "4f5c8f4e909c22a94b0061dd49f61f8bd9cdfd0ed510194e23d35060c8a82d7b"
|
|
836
848
|
},
|
|
837
849
|
"cpp.cpp.byteAddB": {
|
|
838
|
-
"merkle": "
|
|
839
|
-
"own": "
|
|
850
|
+
"merkle": "982537dc0e1c2554a98be246965b57c5f6d7913492a09743e665e5ec6c7165f6",
|
|
851
|
+
"own": "6417ad07e373fde41e98c5594b21f8a4acf0da763f3697ff65c34d06566f109d"
|
|
840
852
|
},
|
|
841
853
|
"cpp.cpp.byteAt": {
|
|
842
854
|
"merkle": "980c030fd4eacaaedf9092638df31a5c3b86935b6c10d3766e7c594585b310e0",
|
|
843
855
|
"own": "d516b27adcfbc871fb067d6c579da8b2843c0145daa20aafe544abf5e6bbdc64"
|
|
844
856
|
},
|
|
845
857
|
"cpp.cpp.byteDerefB": {
|
|
846
|
-
"merkle": "
|
|
847
|
-
"own": "
|
|
858
|
+
"merkle": "c3fa77197889e724469938e48ac54a2ddb12f252fff41db24b61cf9c1a9fa030",
|
|
859
|
+
"own": "6ac201b2b9b9e6008871d542c495998d51f73d72cc54def4f018d3906c7fd769"
|
|
848
860
|
},
|
|
849
861
|
"cpp.cpp.byteIdx": {
|
|
850
862
|
"merkle": "327ed36ce701faf2f8bfba0943833bfc2da46495a6ec50fe46c221b23b6637dd",
|
|
851
863
|
"own": "c83beaf4adf82f396c7ad574bb2babb88b354ffeeab9505d40e336793b772b4a"
|
|
852
864
|
},
|
|
853
865
|
"cpp.cpp.byteLoad": {
|
|
854
|
-
"merkle": "
|
|
855
|
-
"own": "
|
|
866
|
+
"merkle": "ce09f2aa78f217969a853c96ec8b596f415c0c8d37824f1cd788a9aa2c58b52c",
|
|
867
|
+
"own": "d7782ed0921fd766e2f06106b8e2398294e2b80936edb2dc3c6d73a86b3c16c4"
|
|
856
868
|
},
|
|
857
869
|
"cpp.cpp.byteOf": {
|
|
858
870
|
"merkle": "89e769a3887d4dd0ee312a987f6d228c3b74510934ccad4abe4566b423cac174",
|
|
@@ -871,8 +883,8 @@
|
|
|
871
883
|
"own": "9756f4b499dc4f7c3ad1e7f73ea9db463d0f75cc1e233f57679c26db0ce214df"
|
|
872
884
|
},
|
|
873
885
|
"cpp.cpp.byteStore": {
|
|
874
|
-
"merkle": "
|
|
875
|
-
"own": "
|
|
886
|
+
"merkle": "eeb8d2a078900eb29b7b97d0a86e842b6ceb250d586a28f3493afb7897093afa",
|
|
887
|
+
"own": "ea763c01c56feaf4ea361692436b77283bc194ca0d5a60b73334e0f137ac2584"
|
|
876
888
|
},
|
|
877
889
|
"cpp.cpp.bytesEq": {
|
|
878
890
|
"merkle": "0e61c1ae893b7bcc67f4020fcae57b30c58545914703e0bad5eee86df9ade39c",
|
|
@@ -907,8 +919,8 @@
|
|
|
907
919
|
"own": "37b6c2153770d591fa0a2b42ae4f9afa07eed0047f88d9183b4d9bd943c16858"
|
|
908
920
|
},
|
|
909
921
|
"cpp.cpp.cRoomB": {
|
|
910
|
-
"merkle": "
|
|
911
|
-
"own": "
|
|
922
|
+
"merkle": "cbc9e214a82c9ce7d053d70d0d2c11381b7e8760fd5cd1affaa35d36a9cdab18",
|
|
923
|
+
"own": "c66cd80604ef3313c99170870650e4c72b52d5617ed66b605793184135862a7e"
|
|
912
924
|
},
|
|
913
925
|
"cpp.cpp.callAfter": {
|
|
914
926
|
"merkle": "584f5b53f7c76240b9f2054041abed96932c136262531a712b5b8366540cef8b",
|
|
@@ -1083,8 +1095,8 @@
|
|
|
1083
1095
|
"own": "7c3f50f276da1747bd0cd579ea30272eb467198725d7f8bbe29d1c95732a8dd1"
|
|
1084
1096
|
},
|
|
1085
1097
|
"cpp.cpp.coutCStr": {
|
|
1086
|
-
"merkle": "
|
|
1087
|
-
"own": "
|
|
1098
|
+
"merkle": "77dbe6cb613414cf3077829ebda19c30d7618e6808d1703b148d6150de963fce",
|
|
1099
|
+
"own": "9125a345c0713b00456c0183a1b3c053e01be0502f4073088cf58d5c28598f83"
|
|
1088
1100
|
},
|
|
1089
1101
|
"cpp.cpp.coutF": {
|
|
1090
1102
|
"merkle": "7935e449e557033821c942297b019d886559d69da38aeb74a927a6774463495f",
|
|
@@ -1131,28 +1143,28 @@
|
|
|
1131
1143
|
"own": "42fa3cc397d63e2b6a3dcf5fba98931141ef0c50c9d73d1ed94c7b2e61b9bdbc"
|
|
1132
1144
|
},
|
|
1133
1145
|
"cpp.cpp.cstrArr": {
|
|
1134
|
-
"merkle": "
|
|
1135
|
-
"own": "
|
|
1146
|
+
"merkle": "a6ca568f8f5357407addf004cbab0c897d25fce9079231842763dc8d73d8f1fc",
|
|
1147
|
+
"own": "989be2cdc903d6a36e43a6019cfd0ba3e17258a0e468ffca68db9844bbd8ccd3"
|
|
1136
1148
|
},
|
|
1137
1149
|
"cpp.cpp.cstrAt": {
|
|
1138
|
-
"merkle": "
|
|
1139
|
-
"own": "
|
|
1150
|
+
"merkle": "fb8fa33146d9e3c8884a0f75b418245f83f938637dfd988ca6c38c6499661b29",
|
|
1151
|
+
"own": "0d1f7014ff588f58e3c9bbfd7796d9964f802e9b0843375d2c072abeb1b0210f"
|
|
1140
1152
|
},
|
|
1141
1153
|
"cpp.cpp.cstrAtN": {
|
|
1142
|
-
"merkle": "
|
|
1143
|
-
"own": "
|
|
1154
|
+
"merkle": "eceba5881193b9206ba5ec764010cc9758ab76103978f368f553bdcfa7fb2388",
|
|
1155
|
+
"own": "9cb0903d15421715036f2414a6d8d15a154205cbf240adf9563c767c6f3af0c3"
|
|
1144
1156
|
},
|
|
1145
1157
|
"cpp.cpp.cstrLit": {
|
|
1146
|
-
"merkle": "
|
|
1147
|
-
"own": "
|
|
1158
|
+
"merkle": "5a0fb00d2e183d2d0e0e256713e2967f9356734b3b432149587e868aa13cad0c",
|
|
1159
|
+
"own": "069b8842b93aca4d4b190a0e02989d0ccdad872a8f45dddb9427157fa7dc88b8"
|
|
1148
1160
|
},
|
|
1149
1161
|
"cpp.cpp.cstrOf": {
|
|
1150
|
-
"merkle": "
|
|
1151
|
-
"own": "
|
|
1162
|
+
"merkle": "456246d208bd6a4b0eca3433e6b93a9e5843cbf2d15c83b966d3af2c629d05f2",
|
|
1163
|
+
"own": "ed9f6fe49c127d5d7cbbb71234d106a93b3075eb074faeaf45023aa5ce3b0fb5"
|
|
1152
1164
|
},
|
|
1153
1165
|
"cpp.cpp.cstrOfN": {
|
|
1154
|
-
"merkle": "
|
|
1155
|
-
"own": "
|
|
1166
|
+
"merkle": "ce8a475788414eec672edcc233ab20778a956ef8316f8fa7e7b58daac661f884",
|
|
1167
|
+
"own": "764eafeb0ddec3a7f8bfebba0fe0e4262f2a0dbdd68d3608c77fc0896dc49050"
|
|
1156
1168
|
},
|
|
1157
1169
|
"cpp.cpp.cv": {
|
|
1158
1170
|
"merkle": "983dfb65a5f494c1de3fa18246487c8818d1a9c4ad572017d87974c018c71243",
|
|
@@ -1163,12 +1175,12 @@
|
|
|
1163
1175
|
"own": "4cffc2a83298fb2ce4191abcd5434ca514fa1f9917fa5904115f5d4631b5b4f5"
|
|
1164
1176
|
},
|
|
1165
1177
|
"cpp.cpp.deadDeleteAt": {
|
|
1166
|
-
"merkle": "
|
|
1167
|
-
"own": "
|
|
1178
|
+
"merkle": "52c44f2137c811eb461a524cbabe49ccfb3222e242d404de4d261200b08ef374",
|
|
1179
|
+
"own": "4a315706c9c1802c8708b8b1267d496d0ba6fa36615962ae4bd587513f66bbfe"
|
|
1168
1180
|
},
|
|
1169
1181
|
"cpp.cpp.deadDerefAt": {
|
|
1170
|
-
"merkle": "
|
|
1171
|
-
"own": "
|
|
1182
|
+
"merkle": "a4d43d83990f5e0064a5d0f396b960169084d31383dabbddc184e289cfec586a",
|
|
1183
|
+
"own": "9fa7ad4e45d206e66142422c16ab3e72ae5dc4cff889c2c4154eea0a8059531c"
|
|
1172
1184
|
},
|
|
1173
1185
|
"cpp.cpp.decNum": {
|
|
1174
1186
|
"merkle": "db92ba9d7c874981cafa7dd14e093cbe2996a1d550275fed197356edfe94d2a2",
|
|
@@ -1183,8 +1195,8 @@
|
|
|
1183
1195
|
"own": "c6f18652f306cb14876464d452d9455fda26c38e9062d2f4578b3ed925ea7c15"
|
|
1184
1196
|
},
|
|
1185
1197
|
"cpp.cpp.declArr": {
|
|
1186
|
-
"merkle": "
|
|
1187
|
-
"own": "
|
|
1198
|
+
"merkle": "2b2482913d799eddb81a23bb00fa13a11c215765d4ac68ca78ff28e9956fc59e",
|
|
1199
|
+
"own": "40ea1faf2131bd61f16f6a8e88f6256fe1720f41e43be95d604d5834d4754a78"
|
|
1188
1200
|
},
|
|
1189
1201
|
"cpp.cpp.decodeV": {
|
|
1190
1202
|
"merkle": "15729f9015ab8666902bb09f04c53b477d94d24ac2d5abe0d12a468c5e56464c",
|
|
@@ -1195,16 +1207,16 @@
|
|
|
1195
1207
|
"own": "13efd28162f09386b7e473930e67dcc5ede3832b823a40b7b69cdb142763083a"
|
|
1196
1208
|
},
|
|
1197
1209
|
"cpp.cpp.delete": {
|
|
1198
|
-
"merkle": "
|
|
1199
|
-
"own": "
|
|
1210
|
+
"merkle": "9bccfcf792d1db28a8e183f76ae21b473abcc00e3204eb6bc5c26b8d26096e92",
|
|
1211
|
+
"own": "20de3eed47abf11ae203dc7299b907ab6e531bcb63a49a6671d20fb82758131c"
|
|
1200
1212
|
},
|
|
1201
1213
|
"cpp.cpp.deleteB": {
|
|
1202
|
-
"merkle": "
|
|
1203
|
-
"own": "
|
|
1214
|
+
"merkle": "352baa3ec4a7efa89ea4aa7f508c224c83ed435bedbbc32a6cb626e9556c16f0",
|
|
1215
|
+
"own": "88afaa7be0c8a3267ba225988d09c5260db48665896b73ed2e538e78f487cedf"
|
|
1204
1216
|
},
|
|
1205
1217
|
"cpp.cpp.deleteTwice": {
|
|
1206
|
-
"merkle": "
|
|
1207
|
-
"own": "
|
|
1218
|
+
"merkle": "b079caf76137dcd0abc06cfbdb196e55891b9dd65ce090a68458a4bc8046d1a2",
|
|
1219
|
+
"own": "85a3fe0ca239f2c1ac774bc71642c11825fd1ddaa366d6b23f772280bae3b85f"
|
|
1208
1220
|
},
|
|
1209
1221
|
"cpp.cpp.denote": {
|
|
1210
1222
|
"merkle": "509595cc82204a3267b85d26ec96bdaa5d668f9ce2ccac33d916b1da3997740f",
|
|
@@ -1219,16 +1231,16 @@
|
|
|
1219
1231
|
"own": "0d57e5452cca2555a75c0b6de8990b2b4c7b11e5a0ba3cb35a20f6d8aa912e9a"
|
|
1220
1232
|
},
|
|
1221
1233
|
"cpp.cpp.derefAfterDelete": {
|
|
1222
|
-
"merkle": "
|
|
1223
|
-
"own": "
|
|
1234
|
+
"merkle": "5f2c227792a8bb452a0842727ce7f9c04ee7e285c021e21e6ba782a1d251a66a",
|
|
1235
|
+
"own": "f5b2c28cd1b2334053d74d24882f231bfa48d35cd9b8b82e2b88d8e4514553d7"
|
|
1224
1236
|
},
|
|
1225
1237
|
"cpp.cpp.derefAfterScope": {
|
|
1226
|
-
"merkle": "
|
|
1227
|
-
"own": "
|
|
1238
|
+
"merkle": "f6b33ff84cb3eff6e9b47313fe99827e1c58cab126d4e0592453a0f5c91d6a67",
|
|
1239
|
+
"own": "0df46e2e878948bb1ecb02f30f7305b5c206d5271c6c214610e2c83a553fba92"
|
|
1228
1240
|
},
|
|
1229
1241
|
"cpp.cpp.derefB": {
|
|
1230
|
-
"merkle": "
|
|
1231
|
-
"own": "
|
|
1242
|
+
"merkle": "172dbfc4b20a20957a76811d6b850d7ba4862e981f4b7dbb0598763b8e695b00",
|
|
1243
|
+
"own": "3be6d09459a11e049d21eab57935227118fa0f748fd1c347d6518560a1365fe2"
|
|
1232
1244
|
},
|
|
1233
1245
|
"cpp.cpp.digitB": {
|
|
1234
1246
|
"merkle": "c8d7d3da2ee6f0732c19d45a76c8394d3ad1c9fee89e891733938be138e8c9e3",
|
|
@@ -1379,8 +1391,8 @@
|
|
|
1379
1391
|
"own": "2e14303c688d4e4d3675487454dbced9d2d60a9c8ad7d9911054ede5899e01a9"
|
|
1380
1392
|
},
|
|
1381
1393
|
"cpp.cpp.endScope": {
|
|
1382
|
-
"merkle": "
|
|
1383
|
-
"own": "
|
|
1394
|
+
"merkle": "51ae6ee30dcf655634b93e84bc04961d860f7497794efaa9f904a4eae168dd42",
|
|
1395
|
+
"own": "adc0eabb162e0e3604911eaa8b3a3efcc43603f1e559644d6b66276533ffc58e"
|
|
1384
1396
|
},
|
|
1385
1397
|
"cpp.cpp.endl": {
|
|
1386
1398
|
"merkle": "51f7d6a81e3616d36c44516d5fc23933b5b7d62b78cacc96b8570d9acc589467",
|
|
@@ -2146,6 +2158,10 @@
|
|
|
2146
2158
|
"merkle": "cb8dcd2fca9b55164460c73a582fec023846bbfcafdcd2cceba04802f1eb584b",
|
|
2147
2159
|
"own": "eaf5cf1e6fbc7e971dc5bd45671aeda0b4a914b9ecf529cac0262d8b7ef178e6"
|
|
2148
2160
|
},
|
|
2161
|
+
"cpp.cpp.gmemNew": {
|
|
2162
|
+
"merkle": "e6848b17d9759ec1b05213c32f550e2b43e0fbf8b3a55a2cac2ea0db5b199be9",
|
|
2163
|
+
"own": "37178fec1d2016505d219fc61018aa9fe7ee88be08b09e9bc6c357d43b792bc8"
|
|
2164
|
+
},
|
|
2149
2165
|
"cpp.cpp.gtV": {
|
|
2150
2166
|
"merkle": "3ad5c904935d49df91e235697f84b5563ba634eccff66aeb66b8f951313eec6a",
|
|
2151
2167
|
"own": "4779c91e99221bd21d48b9e870556716321f29053bf5b78435c41ff74621c8c3"
|
|
@@ -2267,12 +2283,12 @@
|
|
|
2267
2283
|
"own": "740633029d9481598e5ab43fbf298fe8fbc702a5c64fd4aae0c4f54b332b906e"
|
|
2268
2284
|
},
|
|
2269
2285
|
"cpp.cpp.intToPtr": {
|
|
2270
|
-
"merkle": "
|
|
2271
|
-
"own": "
|
|
2286
|
+
"merkle": "199856e152e2069c102614208efd71c04e9246cf73fe70e947ec841ceaeaaaf4",
|
|
2287
|
+
"own": "0bef18b2e6ea13b711248f97bf8e9e592b271fb0ce4b57f9cd28e977218c3fae"
|
|
2272
2288
|
},
|
|
2273
2289
|
"cpp.cpp.intToPtrB": {
|
|
2274
|
-
"merkle": "
|
|
2275
|
-
"own": "
|
|
2290
|
+
"merkle": "65bf9cfc164b450c4ea91f71ce79fbe6ac626a68ff13ae1afe3da6fc0603cac7",
|
|
2291
|
+
"own": "02a1beebe9bf43908fa3ebbdda147b6dab93ef5e0ece279e932507091e305fd4"
|
|
2276
2292
|
},
|
|
2277
2293
|
"cpp.cpp.intTri": {
|
|
2278
2294
|
"merkle": "e03e1732ae04600ec5ab0b82ce85b43ab102f22ba2cbf8759588870b76eecc39",
|
|
@@ -2551,44 +2567,48 @@
|
|
|
2551
2567
|
"own": "0a48873899fa65a0ce410139e7e5374bfbfbdde84a3b302d42dbda591b90ac62"
|
|
2552
2568
|
},
|
|
2553
2569
|
"cpp.cpp.load": {
|
|
2554
|
-
"merkle": "
|
|
2555
|
-
"own": "
|
|
2570
|
+
"merkle": "4b20e1a19356ee3f6547f3377b4f49951b0f42b961b92d411fb9f02ce7341f6f",
|
|
2571
|
+
"own": "5e55eb1d195391c9e56b01fc2b328e5572774c52341b654e4669db992fbd1c7d"
|
|
2556
2572
|
},
|
|
2557
2573
|
"cpp.cpp.loadAddrOf": {
|
|
2558
|
-
"merkle": "
|
|
2559
|
-
"own": "
|
|
2574
|
+
"merkle": "880bc42a557b3e9e629d581b54628cf52e4426212b2d2e11ab0b39eaeaa62c7e",
|
|
2575
|
+
"own": "0f3af40216eaf615093c3b67b564f55a98c630ef0b0c536265df8088adaeb129"
|
|
2560
2576
|
},
|
|
2561
2577
|
"cpp.cpp.loadAt": {
|
|
2562
|
-
"merkle": "
|
|
2563
|
-
"own": "
|
|
2578
|
+
"merkle": "c9eafe0f08181999329ed403a4a95e28789d84912006d9e7ba819dd8bc11fa9c",
|
|
2579
|
+
"own": "0e2d2ee0cbaa3f7e2612a709c56846c1b69b3b2195005efec3d43b2126edeea4"
|
|
2580
|
+
},
|
|
2581
|
+
"cpp.cpp.loadD": {
|
|
2582
|
+
"merkle": "7ce269d81f71ffc6ac77a1a71e9e34c14eff154ec0b5e532c0326f0bf53a07d1",
|
|
2583
|
+
"own": "978da667ef45590a06fb376753a1e644f2acd2aef10e4a09704d7c6b3013d0f7"
|
|
2564
2584
|
},
|
|
2565
2585
|
"cpp.cpp.loadDeleteOther": {
|
|
2566
|
-
"merkle": "
|
|
2567
|
-
"own": "
|
|
2586
|
+
"merkle": "b5a22638377d777d7577930842aa98248e635206493258233e7540033ce8ba15",
|
|
2587
|
+
"own": "dcb34e93d6c1e8bc61457c81beed9ee497d1c4af67f5ec69d33847ca6de10f49"
|
|
2568
2588
|
},
|
|
2569
2589
|
"cpp.cpp.loadNewObj": {
|
|
2570
|
-
"merkle": "
|
|
2571
|
-
"own": "
|
|
2590
|
+
"merkle": "70b9721fb82880c86c020e54522b3bf9c2d332b5ef61a0d043739c04e597a811",
|
|
2591
|
+
"own": "265703ebdd73c697edb040d1b5dee9b41017c88cd788615edebaf39eb5cc41a9"
|
|
2572
2592
|
},
|
|
2573
2593
|
"cpp.cpp.loadStore": {
|
|
2574
|
-
"merkle": "
|
|
2575
|
-
"own": "
|
|
2594
|
+
"merkle": "f5516cd2849a9ad92ca429d8c6e5b7e1a4dce6ee60abeb8815974ec44caf5366",
|
|
2595
|
+
"own": "e75aa446c46169c326c6b4b4c405e69a41705e107efdd5f8f31e0cee264d87c5"
|
|
2576
2596
|
},
|
|
2577
2597
|
"cpp.cpp.loadStoreAt": {
|
|
2578
|
-
"merkle": "
|
|
2579
|
-
"own": "
|
|
2598
|
+
"merkle": "77c375170d17316f0f4124b8d159506dbdda87f781450e7eec645bced89fc950",
|
|
2599
|
+
"own": "953e46d368bf4540c807ac611b6a7e66dae08f413c1a2a0f0abcd8356d6c850e"
|
|
2580
2600
|
},
|
|
2581
2601
|
"cpp.cpp.loadStoreCellAt": {
|
|
2582
|
-
"merkle": "
|
|
2583
|
-
"own": "
|
|
2602
|
+
"merkle": "856d5501646d36d3d998dc95cb4125406793df5ec2e1f0bf7a47360e345e9d11",
|
|
2603
|
+
"own": "42358821473e81f9513015c57fd895b6ebd146d670bc37fe592274a855127296"
|
|
2584
2604
|
},
|
|
2585
2605
|
"cpp.cpp.loadStoreOtherBlock": {
|
|
2586
|
-
"merkle": "
|
|
2587
|
-
"own": "
|
|
2606
|
+
"merkle": "d32ff7081f8a2aefbea39743c276ee0a2d96a9e4aeabcb3a864a7bd33193be84",
|
|
2607
|
+
"own": "5dcb79f0bd93f9d906b3b53701bdaf3e9b9de05f592f97490e16af9506024738"
|
|
2588
2608
|
},
|
|
2589
2609
|
"cpp.cpp.loadStoreOtherCell": {
|
|
2590
|
-
"merkle": "
|
|
2591
|
-
"own": "
|
|
2610
|
+
"merkle": "4fb1db3ed4fce3450e8f3c806673e4d82fa6492050aac89037532a0d41312666",
|
|
2611
|
+
"own": "dfeed364856cf65f14a2cca97b04cc8f1da2d1e47917a903d7086f5f0d74c21d"
|
|
2592
2612
|
},
|
|
2593
2613
|
"cpp.cpp.log1pTry": {
|
|
2594
2614
|
"merkle": "9d70f812e2e620401a0ca891d39ccef2897521ac260e251faddba1a32caef3cb",
|
|
@@ -2831,16 +2851,16 @@
|
|
|
2831
2851
|
"own": "794419d13eb30c650e03e3db1eac5afb8f2bba6c9c86a2b9374b946f5a56b95d"
|
|
2832
2852
|
},
|
|
2833
2853
|
"cpp.cpp.memAllocs": {
|
|
2834
|
-
"merkle": "
|
|
2835
|
-
"own": "
|
|
2854
|
+
"merkle": "4efaf460f491834739cb418920d96173d602fd20e312cc0b007636e35e8524a5",
|
|
2855
|
+
"own": "a84885fc841248120fe2ff5c626824712bb64edcca4f847b045890060b8a77a5"
|
|
2836
2856
|
},
|
|
2837
2857
|
"cpp.cpp.memN": {
|
|
2838
2858
|
"merkle": "2eb7a8c924cbc7876cf4f5a7768bc25cbc9302b1075c808acd1d75bd7aa777b0",
|
|
2839
2859
|
"own": "a824186e13d96e26bddee1cacda4cd2b122edcf52c77c50e55ff9de18ad14d04"
|
|
2840
2860
|
},
|
|
2841
2861
|
"cpp.cpp.memNew": {
|
|
2842
|
-
"merkle": "
|
|
2843
|
-
"own": "
|
|
2862
|
+
"merkle": "ae008071b98c78a3780db9f53edd34c01d969e2b6a762edbb8ae896c4bcf9e84",
|
|
2863
|
+
"own": "2674e91f2d7be65a9821113a800e8c22cb6bafa3e87d6ec9ae838b084ba6b1e1"
|
|
2844
2864
|
},
|
|
2845
2865
|
"cpp.cpp.memV": {
|
|
2846
2866
|
"merkle": "119e0561b0e30c5c005a13b233bb1d89964a0dac57816976fd349b42eac3c39b",
|
|
@@ -2975,12 +2995,12 @@
|
|
|
2975
2995
|
"own": "7d1c9e668363ab0088fd1d954080e0e94bdc0743d4bce8cf57244e13c6560805"
|
|
2976
2996
|
},
|
|
2977
2997
|
"cpp.cpp.newArr": {
|
|
2978
|
-
"merkle": "
|
|
2979
|
-
"own": "
|
|
2998
|
+
"merkle": "e5aa0d3116f76693b48d52aef5fc84233308c1d9a294933a788afe42a58d8154",
|
|
2999
|
+
"own": "f59901fdb54b4b47c90610b10838e3c0144b5af0309a5676849e2b3e48d1f530"
|
|
2980
3000
|
},
|
|
2981
3001
|
"cpp.cpp.newObj": {
|
|
2982
|
-
"merkle": "
|
|
2983
|
-
"own": "
|
|
3002
|
+
"merkle": "c835830fdd0bf490838a0546f59abd735731177a56a47d0560ae5f305f191531",
|
|
3003
|
+
"own": "049462c71ed8631d001c065066e96f4dd76c54efd17fa9d0c42d390adf9a23b3"
|
|
2984
3004
|
},
|
|
2985
3005
|
"cpp.cpp.nmul": {
|
|
2986
3006
|
"merkle": "d84da9875e52d5485e8e6d5a8ff8551f3bda2a9fa573d4783a83dc75915e1d61",
|
|
@@ -3023,8 +3043,8 @@
|
|
|
3023
3043
|
"own": "e44f3aad9bffd3b3dd05f8ba890cfa45ec2ce6041484313ed7ed8319979092fe"
|
|
3024
3044
|
},
|
|
3025
3045
|
"cpp.cpp.nthUpdOther": {
|
|
3026
|
-
"merkle": "
|
|
3027
|
-
"own": "
|
|
3046
|
+
"merkle": "b51e87b6022d92d950b8c6e6ba60d0795433b07f7c4dd76f7240596cdb35145b",
|
|
3047
|
+
"own": "334a7018bc2d08b84dbf50447bc3b28f5cf5cdbf8f6fb94da3f347e7cc869fcf"
|
|
3028
3048
|
},
|
|
3029
3049
|
"cpp.cpp.nthVal": {
|
|
3030
3050
|
"merkle": "85dbec253a0fe17b10cf42be015ad8e22d801a3dc086bb1a07978734967a6034",
|
|
@@ -3219,8 +3239,8 @@
|
|
|
3219
3239
|
"own": "f492278ed096b313bb486b7ee8e44a87cd335ed24c2e36046770ea2f8fd64221"
|
|
3220
3240
|
},
|
|
3221
3241
|
"cpp.cpp.ptrAdd": {
|
|
3222
|
-
"merkle": "
|
|
3223
|
-
"own": "
|
|
3242
|
+
"merkle": "e83cf623e3a4a99f173be3285238f9a726cb3064617b25465664c2101e14838d",
|
|
3243
|
+
"own": "b368f9e27c6d166a973a3ccd1e5bbba3851395a040ca2ddb3c51f7c41c528332"
|
|
3224
3244
|
},
|
|
3225
3245
|
"cpp.cpp.ptrBlock": {
|
|
3226
3246
|
"merkle": "68ee1ed53268fc0efd192f0642c3b967eb3faa4ed8e87c84adab1067abbe6bc9",
|
|
@@ -3835,20 +3855,20 @@
|
|
|
3835
3855
|
"own": "1016e71aa2e588f6ecbfad779fc98351a7041c08119d4a130514982818e28603"
|
|
3836
3856
|
},
|
|
3837
3857
|
"cpp.cpp.store": {
|
|
3838
|
-
"merkle": "
|
|
3839
|
-
"own": "
|
|
3858
|
+
"merkle": "fb43839593e1e7ccefdff57e798c4e173aaeb5f976f90f2cdedff83e36fdf340",
|
|
3859
|
+
"own": "666d47abb07d51788b4c5b5785c4cc0be19fae8fda2745f9112ba9d1a54fe36b"
|
|
3840
3860
|
},
|
|
3841
3861
|
"cpp.cpp.storeAfterDelete": {
|
|
3842
|
-
"merkle": "
|
|
3843
|
-
"own": "
|
|
3862
|
+
"merkle": "af19e00e791e183785332e989e163fc7deaee855498ad4a7b2cbe28bcf95cc90",
|
|
3863
|
+
"own": "6c120f5f044d4b883653ab85e0fd002c657a7c9aa67217bca1c1f7c8a9f6c220"
|
|
3844
3864
|
},
|
|
3845
3865
|
"cpp.cpp.storeAfterScope": {
|
|
3846
|
-
"merkle": "
|
|
3847
|
-
"own": "
|
|
3866
|
+
"merkle": "f44779fe819b1cfd9fad1c035196e4be1fa943264de6c740728578f3be8d337d",
|
|
3867
|
+
"own": "e1ba8bdd22bdcf64df74a08f19d3c9b7e448c925de41305a88cd6394617cbbcf"
|
|
3848
3868
|
},
|
|
3849
3869
|
"cpp.cpp.storeAt": {
|
|
3850
|
-
"merkle": "
|
|
3851
|
-
"own": "
|
|
3870
|
+
"merkle": "bb3b6efaa37cd5fc527340d6bb185e860729b552fac03bd0ff74ef8dbafe11dd",
|
|
3871
|
+
"own": "31390d46abcdef3496d4312454d77d57762b289a5003a267ed45d13ce5bae8fb"
|
|
3852
3872
|
},
|
|
3853
3873
|
"cpp.cpp.stoul": {
|
|
3854
3874
|
"merkle": "d1b431ca7b1703515f1f817178ff27a3c471f371770fe710642cbcdad0a3d5cd",
|
|
@@ -3995,32 +4015,32 @@
|
|
|
3995
4015
|
"own": "60adcc2b7e26676824960fe26b639e85236163d3433933d936f09ee5021fdc0a"
|
|
3996
4016
|
},
|
|
3997
4017
|
"cpp.cpp.strcatC": {
|
|
3998
|
-
"merkle": "
|
|
3999
|
-
"own": "
|
|
4018
|
+
"merkle": "b04d1851cf44fd6ff51e38dfd6e1f1c6e89e44c2390902c26bb43c5c1623129d",
|
|
4019
|
+
"own": "2e410eac3460b49f809aea9524b4879d3a0227692289ec006efda1025d2579ad"
|
|
4000
4020
|
},
|
|
4001
4021
|
"cpp.cpp.strchrC": {
|
|
4002
|
-
"merkle": "
|
|
4003
|
-
"own": "
|
|
4022
|
+
"merkle": "d1e01f13959c4ed9952730223d1a4d843e39a4ed4c47b470d2c87e0660c11e33",
|
|
4023
|
+
"own": "ea235a3de91312e187d145077dafbbb8e132b51ab32a585dcccb9cae5895ff5d"
|
|
4004
4024
|
},
|
|
4005
4025
|
"cpp.cpp.strcmpC": {
|
|
4006
|
-
"merkle": "
|
|
4007
|
-
"own": "
|
|
4026
|
+
"merkle": "c87631ad1b2b47e47699ed34df9d0519318a49917321d7a4235b9ec3b0c2bf53",
|
|
4027
|
+
"own": "00482fc1c9d496b384154ac8a846d6e9cdb0bb75ddc9411bec5af15f4c8a4047"
|
|
4008
4028
|
},
|
|
4009
4029
|
"cpp.cpp.strcpyC": {
|
|
4010
|
-
"merkle": "
|
|
4011
|
-
"own": "
|
|
4030
|
+
"merkle": "e6c0b5bd7639ae087a7978759961bca59784c1a95918978af218b4c89af75b4b",
|
|
4031
|
+
"own": "002ab78a9f1645847223afb76e9294016e3ededc447539007febe7f103fdae2b"
|
|
4012
4032
|
},
|
|
4013
4033
|
"cpp.cpp.strlenC": {
|
|
4014
|
-
"merkle": "
|
|
4015
|
-
"own": "
|
|
4034
|
+
"merkle": "69cb76690602dd3c6f7b2d02d70170f2a09434865d0e4a3767cb54094fe125be",
|
|
4035
|
+
"own": "994f9370ea43850dcf4462465d7e3a30d63266edb39a0ec5bf1c258c47bcd3f1"
|
|
4016
4036
|
},
|
|
4017
4037
|
"cpp.cpp.strncmpC": {
|
|
4018
|
-
"merkle": "
|
|
4019
|
-
"own": "
|
|
4038
|
+
"merkle": "ee8b149cdfa194a79e22f3dcc4f0b82fdd86c01720a47ac61d7dcf788accf750",
|
|
4039
|
+
"own": "12d22ac36d46f0beb939c8e34f2688ac6d5de20c2a2e6ed1f2ce6ad517f4d819"
|
|
4020
4040
|
},
|
|
4021
4041
|
"cpp.cpp.strncpyC": {
|
|
4022
|
-
"merkle": "
|
|
4023
|
-
"own": "
|
|
4042
|
+
"merkle": "0caf39355630fecbbde9e662abcd27d336172ced34bbe20b013fbc357f922734",
|
|
4043
|
+
"own": "14031d0379377c7f0ea3df6c321874fe538a3326870f5cceefbbcfbd66ad6d06"
|
|
4024
4044
|
},
|
|
4025
4045
|
"cpp.cpp.strtodNum": {
|
|
4026
4046
|
"merkle": "9c050beaf6b649f62e42a283091b369b8a1337aa292dcf83ca01c89835dd7bb9",
|
|
@@ -4315,8 +4335,8 @@
|
|
|
4315
4335
|
"own": "5934b1f6096475f92e318f1a81b7976da9d0a7aaf52d966ebf530536c20bcd43"
|
|
4316
4336
|
},
|
|
4317
4337
|
"cpp.cpp.updBlock": {
|
|
4318
|
-
"merkle": "
|
|
4319
|
-
"own": "
|
|
4338
|
+
"merkle": "70d9e5052428783a41411895d11a59369a3d7fe269697245e2bfad84bf25629a",
|
|
4339
|
+
"own": "d0108b06b14b28d2a91f6758e4436fb8408089959b481455bc31c2c36c8c14a5"
|
|
4320
4340
|
},
|
|
4321
4341
|
"cpp.cpp.upperChar": {
|
|
4322
4342
|
"merkle": "c2de9b260658144f3c8bcef914868493edf14709a38244a17fbbeacd01a30362",
|
|
@@ -4427,12 +4447,12 @@
|
|
|
4427
4447
|
"own": "c66fa754525736f21ba203ea433fbacdf0d33f383d52677ed173e8e2de02c4b6"
|
|
4428
4448
|
},
|
|
4429
4449
|
"cpp.cpp.writableAt": {
|
|
4430
|
-
"merkle": "
|
|
4431
|
-
"own": "
|
|
4450
|
+
"merkle": "884ebbccc8b1cbe87df338bf1a56d9147df5eebca321c220f1699b9941603649",
|
|
4451
|
+
"own": "521ca06dc54e442e81edceb52f4a1b69d268cd2ad92f39808524d9b347116f1b"
|
|
4432
4452
|
},
|
|
4433
4453
|
"cpp.cpp.writeBytes": {
|
|
4434
|
-
"merkle": "
|
|
4435
|
-
"own": "
|
|
4454
|
+
"merkle": "0e440fe107c00131a6f2be17e3444e01c0ffd4e3ddddf26fcb8c0fcc41c8126e",
|
|
4455
|
+
"own": "0ecd3633fcde6ff1c39e1266100f2fa5231417008426a02c193da4994ffefe4a"
|
|
4436
4456
|
},
|
|
4437
4457
|
"cpp.cpp.xorB": {
|
|
4438
4458
|
"merkle": "b053368e78f8f935f799f09213b5757113a456775728d8d3f98f9e4b992dd1b1",
|
|
@@ -4474,7 +4494,7 @@
|
|
|
4474
4494
|
"format": 1,
|
|
4475
4495
|
"modules": {
|
|
4476
4496
|
"cpp": {
|
|
4477
|
-
"bytes":
|
|
4497
|
+
"bytes": 2511801,
|
|
4478
4498
|
"deps": [
|
|
4479
4499
|
"cpp"
|
|
4480
4500
|
]
|
|
@@ -4482,7 +4502,7 @@
|
|
|
4482
4502
|
},
|
|
4483
4503
|
"requires": {
|
|
4484
4504
|
"cella-lang": {
|
|
4485
|
-
"checkerHash": "
|
|
4505
|
+
"checkerHash": "47832d6e908a8854",
|
|
4486
4506
|
"modules": [
|
|
4487
4507
|
"int"
|
|
4488
4508
|
]
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/cpp",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610101043",
|
|
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.
|
|
23
|
+
"cella-lang": "0.1.202610101043"
|
|
24
24
|
},
|
|
25
25
|
"cella": {
|
|
26
|
-
"checkerHash": "
|
|
26
|
+
"checkerHash": "47832d6e908a8854",
|
|
27
27
|
"cbfVersion": 24,
|
|
28
28
|
"modules": [
|
|
29
29
|
"cpp"
|
|
30
30
|
],
|
|
31
|
-
"packHash": "
|
|
31
|
+
"packHash": "736fd092268ad01c"
|
|
32
32
|
}
|
|
33
33
|
}
|