@cella-lang/cpp 0.1.202610070620 → 0.1.202610070718
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/cpp.cell +0 -0
- package/index.json +63 -3
- package/package.json +3 -3
package/cpp.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -1,7 +1,15 @@
|
|
|
1
1
|
{
|
|
2
2
|
"cbfVersion": 18,
|
|
3
|
-
"checkerHash": "
|
|
3
|
+
"checkerHash": "82a42cc2ebadce78",
|
|
4
4
|
"defs": {
|
|
5
|
+
"cpp.cpp.Call": {
|
|
6
|
+
"merkle": "89c2e7785a2892ce1bcb9809409d5a821b385cfdff8d133ea2f863b7e908842a",
|
|
7
|
+
"own": "694ed9d3cd750686c748d229a467b5a988e1ceb51d632f67c40f56beeca896ec"
|
|
8
|
+
},
|
|
9
|
+
"cpp.cpp.Flow": {
|
|
10
|
+
"merkle": "9606d6453900de107692233eb18f07cf6fe5408e4a2a2de93df6f67ac090a4f5",
|
|
11
|
+
"own": "5be6679cd5ec758a463219a41ac79f656d92d5b1a52b41f07e77aad8dc201452"
|
|
12
|
+
},
|
|
5
13
|
"cpp.cpp.IType": {
|
|
6
14
|
"merkle": "0dd443ac677be03bf00dd3f4a0924b29f9e7ffe592ad7a666d6febcdf3735499",
|
|
7
15
|
"own": "5b8072fd8363e89c76e6e4044a0d01fed0cd51dd261e2fab0846124b3278c66b"
|
|
@@ -34,6 +42,10 @@
|
|
|
34
42
|
"merkle": "7f06d1077bd84d07b009525d6f4a9eb23e24e65531212d346cd0e3fc030490d7",
|
|
35
43
|
"own": "695647c61d8bd6c290c5daa89d773930e740dfb9b98f9a459df6a7cfc7000c8d"
|
|
36
44
|
},
|
|
45
|
+
"cpp.cpp.Stmt": {
|
|
46
|
+
"merkle": "18a38766c5fd119d392ed62eb3b61c328e770619054000ffd772b554e393eb15",
|
|
47
|
+
"own": "5c7cebc46fa1c38613e942c27fa7f779097579f9d77f54652e8153d3a24d9be8"
|
|
48
|
+
},
|
|
37
49
|
"cpp.cpp.Val": {
|
|
38
50
|
"merkle": "1db86625b298b656a1c4a8487a326cedbc78336f7a1225188080e0d97d4be573",
|
|
39
51
|
"own": "7c85e2d84c71ce7b5f9c15f91caebad3e9de0849d31c11c4f65f2d3b41a00fb2"
|
|
@@ -58,6 +70,10 @@
|
|
|
58
70
|
"merkle": "d7b93602bbc7f3e54c2260f738e4fbd693bef3ccb9284cf2282c692e7d7dc08e",
|
|
59
71
|
"own": "7c835e28ae8709fccc6c5163f9e3f9711c3da68e157c637048ef12936ab70407"
|
|
60
72
|
},
|
|
73
|
+
"cpp.cpp.assign": {
|
|
74
|
+
"merkle": "76394046af7e4b200938e255fa5a6f546c1f31cbda04c385b69bbb032d2f57eb",
|
|
75
|
+
"own": "05bf5bac7b0eda566d3d05dee6443dc885b3384f87917f228a894c40f4758cb8"
|
|
76
|
+
},
|
|
61
77
|
"cpp.cpp.avr.Int": {
|
|
62
78
|
"merkle": "f283f1566869a5f2e89279a7c2bc36cc717d82ffd0d12457ea53ef16e89f5665",
|
|
63
79
|
"own": "948687d513255e558f901d1c950fa4039c71e6fc5b47dde521157df38b997cd0"
|
|
@@ -74,6 +90,14 @@
|
|
|
74
90
|
"merkle": "393ec1aa5a8de5f928fe1ee1046176811763318d8851114179ce007544395e36",
|
|
75
91
|
"own": "a42e9657fb56a9056b45acd74ea6cb2aac5740e200be2ea0399113436e517cbd"
|
|
76
92
|
},
|
|
93
|
+
"cpp.cpp.breakS": {
|
|
94
|
+
"merkle": "ee55801529b44a9568e151483018110e0b3d2470a737f81dc5b863ce7ee56cb8",
|
|
95
|
+
"own": "93e2860a4ff9ac6811bf8effc667dedc84733ad37644ceee0f0ea7e5d5526819"
|
|
96
|
+
},
|
|
97
|
+
"cpp.cpp.callF": {
|
|
98
|
+
"merkle": "f211989a0a8d41f9b98f69f1e12f22aee0961284d0b24287047575fa5948a03b",
|
|
99
|
+
"own": "3fe9feb1d86d2c2c3e3bf98cb2dc463e7437b1c7c539df6b48e62e7ce9e15431"
|
|
100
|
+
},
|
|
77
101
|
"cpp.cpp.cast": {
|
|
78
102
|
"merkle": "afcaf4dc541392fb8c5ff342241e07d4b13a9e9594d1e829e3c43a90b1fbb0d2",
|
|
79
103
|
"own": "2f7ecdc5628e76bbe488aeb0862cee8e00e0bc78bc2758e75d4f3e037c190c62"
|
|
@@ -90,6 +114,10 @@
|
|
|
90
114
|
"merkle": "ae3aed4196d7085680871698f70526b2af165fb2a8bce7f9da9d3255242c9222",
|
|
91
115
|
"own": "40b35cd77b858832c6a19f8fe0dfc1e11b74dbaafa6cd5f493e8d52d340adb8e"
|
|
92
116
|
},
|
|
117
|
+
"cpp.cpp.continueS": {
|
|
118
|
+
"merkle": "7a4f3f44b16e4fd471e95f8b94c35777570b01f058fe0806e9a37d3abdf2c12c",
|
|
119
|
+
"own": "cba4ff031d8e98256a3ea3c82bb52d6c4ceb2bc73c737dafd6bf336b95fba3a9"
|
|
120
|
+
},
|
|
93
121
|
"cpp.cpp.covers": {
|
|
94
122
|
"merkle": "4efd904b333c8e276425e58e79c4ea667025cf61d3bbe71817bab2c583374c71",
|
|
95
123
|
"own": "42fa3cc397d63e2b6a3dcf5fba98931141ef0c50c9d73d1ed94c7b2e61b9bdbc"
|
|
@@ -118,6 +146,14 @@
|
|
|
118
146
|
"merkle": "90c908a31e37277afd8203917a112f0cf9447649a8748d64953c1ebc3b12476a",
|
|
119
147
|
"own": "526669331ca6d0966d6753c41eb39ffec4fede6766d23b6d3b2585f550b29ff2"
|
|
120
148
|
},
|
|
149
|
+
"cpp.cpp.forCount": {
|
|
150
|
+
"merkle": "af671caa65d7221789ad658a93beacf17eec02be7b12b436f406c90207eba2d3",
|
|
151
|
+
"own": "e575cd1ab60141fe682923f5ed6b5b5a8ba884dd48caddbf2b3f398248066e4d"
|
|
152
|
+
},
|
|
153
|
+
"cpp.cpp.forGo": {
|
|
154
|
+
"merkle": "ed2a9ae43066b5f1760ad7927dd01969241f7d74b229829f6a373098ea526847",
|
|
155
|
+
"own": "b9fd0427111a18a23953e49e0bf99ea92adb2dfd090634d6e1cef379b86d241c"
|
|
156
|
+
},
|
|
121
157
|
"cpp.cpp.geV": {
|
|
122
158
|
"merkle": "e1409cbb277f2fdbd3607fcfed762909c68ce4ddba11071d1a515fd92c77a58c",
|
|
123
159
|
"own": "a87932d7fa0bacbba0174fb3ec278f8365515dbef95299ba7ac569e4c42f814f"
|
|
@@ -134,6 +170,10 @@
|
|
|
134
170
|
"merkle": "36ecf45d20fb459e58f2fc0fc639395b5712a182d970b48970e5cc16ad015db4",
|
|
135
171
|
"own": "3570a89c86c1ee4b65d9a2a2e61e4b84d33568e5030d96fb83cdf21db4216281"
|
|
136
172
|
},
|
|
173
|
+
"cpp.cpp.ifS": {
|
|
174
|
+
"merkle": "8b9a0ba9a9c8894c13eb385c04bfe841fcec814010e95b17a225d92f3bd8b0b2",
|
|
175
|
+
"own": "3ac1159df76bf4313cd2b13d1c42808dcfdb412d8fd7a82af29a5378e4a4f3fe"
|
|
176
|
+
},
|
|
137
177
|
"cpp.cpp.inRangeB": {
|
|
138
178
|
"merkle": "24b596bad229fde39f125813be8c1817f649b77bf2095e0d60c7a44661ea442a",
|
|
139
179
|
"own": "f217252b113d207371703f30486f50ea3bc99c024135543ef5391860cbd02cb9"
|
|
@@ -266,6 +306,18 @@
|
|
|
266
306
|
"merkle": "06f63f59694dc56768d394afe7a69a903e7ae77270817108bacc5307c7661827",
|
|
267
307
|
"own": "a2ed95e3ef3c6ec07281e48e416bb4da8aa1ac920c8c562b32fef34a495400b4"
|
|
268
308
|
},
|
|
309
|
+
"cpp.cpp.returnS": {
|
|
310
|
+
"merkle": "dcf7b3d4f57d23034c304a916f9518b4fefcdb38ddbac4fe4c6c4aac5076fa4c",
|
|
311
|
+
"own": "ee1118e8984534a64fe395b75af24ee86e1174812ad51ade8d6c85cb2888b36c"
|
|
312
|
+
},
|
|
313
|
+
"cpp.cpp.seq": {
|
|
314
|
+
"merkle": "254fc5d732e415c12230546f49e5d3c22a2d63ad790c93993930b8b3e5c4d70a",
|
|
315
|
+
"own": "9a310876b44dfac6f9a01200eeb3a8fc772d2429096acb2ee08d21c6b03455b4"
|
|
316
|
+
},
|
|
317
|
+
"cpp.cpp.skipS": {
|
|
318
|
+
"merkle": "c7349743cb5e15fa12d593886269da10bd8407bf6c545689a3b32c6547457829",
|
|
319
|
+
"own": "d3f8cf1c844d8e47ce6a3943d16078040039ffcd396e8f21c15d1548438057e7"
|
|
320
|
+
},
|
|
269
321
|
"cpp.cpp.sub": {
|
|
270
322
|
"merkle": "a0dde2ad9495663248cf9022828c62a28f41ba1a08f2c6cbc3d3b14134cfa91c",
|
|
271
323
|
"own": "d607cfd8f3a5924db4b3183896e56379c315aa87f93ce117f38aa1ea45450681"
|
|
@@ -374,10 +426,18 @@
|
|
|
374
426
|
"merkle": "c51d13b6f202184d485bc3e38c7f75e06b00ed845ea62bf4ae3a9261c4810480",
|
|
375
427
|
"own": "5934b1f6096475f92e318f1a81b7976da9d0a7aaf52d966ebf530536c20bcd43"
|
|
376
428
|
},
|
|
429
|
+
"cpp.cpp.whileF": {
|
|
430
|
+
"merkle": "10f694772b6034e0e651d34af22f83a1d35096dcac710b53726fe2d3fb69a509",
|
|
431
|
+
"own": "a6f654e97b6ffc281a13e3e3ff080d870c3b861a274ccd51db3ac3e36332827b"
|
|
432
|
+
},
|
|
377
433
|
"cpp.cpp.widthOf": {
|
|
378
434
|
"merkle": "53b3c52a9b4269d8bda9d065f86b3441fc6ae45a2cc23b5991194214e1084848",
|
|
379
435
|
"own": "e4b72123ac37bf97df20de2ecb362655c22a380cb0e622252eb78a71b2b03a8d"
|
|
380
436
|
},
|
|
437
|
+
"cpp.cpp.withB": {
|
|
438
|
+
"merkle": "aadb44e427f07a6c892bf68458e0258a38c568da32c477d300bdc220e3ca8db5",
|
|
439
|
+
"own": "22d6bfa750bb2713c598c9ba151df943e7bbccda3ca63100a52a79963ff3baf1"
|
|
440
|
+
},
|
|
381
441
|
"cpp.cpp.wrap": {
|
|
382
442
|
"merkle": "7b8e8c45be7ac859200f862042dfe23486b2e1292aac4959fd4862928dc99020",
|
|
383
443
|
"own": "6e627e76faf697049681a9030b8bcf0a51c37c96263e880d59e42e14fbd3b5bf"
|
|
@@ -402,7 +462,7 @@
|
|
|
402
462
|
"format": 1,
|
|
403
463
|
"modules": {
|
|
404
464
|
"cpp": {
|
|
405
|
-
"bytes":
|
|
465
|
+
"bytes": 1661258,
|
|
406
466
|
"deps": [
|
|
407
467
|
"cpp"
|
|
408
468
|
]
|
|
@@ -410,7 +470,7 @@
|
|
|
410
470
|
},
|
|
411
471
|
"requires": {
|
|
412
472
|
"cella-lang": {
|
|
413
|
-
"checkerHash": "
|
|
473
|
+
"checkerHash": "82a42cc2ebadce78",
|
|
414
474
|
"modules": [
|
|
415
475
|
"int"
|
|
416
476
|
]
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/cpp",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610070718",
|
|
4
4
|
"description": "A formally verified C++ subset for the Cella proof checker: integer types with C++ promotions and conversions (LP64 / AVR) — compiled module pack.",
|
|
5
5
|
"files": [
|
|
6
6
|
"cpp.cell",
|
|
@@ -19,10 +19,10 @@
|
|
|
19
19
|
"license": "Apache-2.0",
|
|
20
20
|
"author": "SungYu Chang",
|
|
21
21
|
"peerDependencies": {
|
|
22
|
-
"cella-lang": "0.1.
|
|
22
|
+
"cella-lang": "0.1.202610070713"
|
|
23
23
|
},
|
|
24
24
|
"cella": {
|
|
25
|
-
"checkerHash": "
|
|
25
|
+
"checkerHash": "82a42cc2ebadce78",
|
|
26
26
|
"cbfVersion": 18,
|
|
27
27
|
"modules": [
|
|
28
28
|
"cpp"
|