@cella-lang/cpp 0.1.202610052212 → 0.1.202610060431
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 +255 -3
- package/package.json +4 -4
package/cpp.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -1,11 +1,19 @@
|
|
|
1
1
|
{
|
|
2
2
|
"cbfVersion": 17,
|
|
3
|
-
"checkerHash": "
|
|
3
|
+
"checkerHash": "99d9653a5d278211",
|
|
4
4
|
"defs": {
|
|
5
|
+
"cpp.cpp.IType": {
|
|
6
|
+
"merkle": "0dd443ac677be03bf00dd3f4a0924b29f9e7ffe592ad7a666d6febcdf3735499",
|
|
7
|
+
"own": "5b8072fd8363e89c76e6e4044a0d01fed0cd51dd261e2fab0846124b3278c66b"
|
|
8
|
+
},
|
|
5
9
|
"cpp.cpp.InRange": {
|
|
6
10
|
"merkle": "22c6957cfe79f9143d2571aab5eea762f897dd75c3b02036f44505d03bb1f094",
|
|
7
11
|
"own": "5292fc906b5fb2e47b67dbfcbd4a6bd42e55cc1422390767a71b937cbf4df84f"
|
|
8
12
|
},
|
|
13
|
+
"cpp.cpp.InT": {
|
|
14
|
+
"merkle": "c2d3ced7e1391b89cf23a3e92fabf8a4d0aa333a189bf2815261aedf9cc78958",
|
|
15
|
+
"own": "81f9e5a1a2891d1d72e5b06972985e6d7b86939c7c6703936128c897101c9c72"
|
|
16
|
+
},
|
|
9
17
|
"cpp.cpp.Int32": {
|
|
10
18
|
"merkle": "0cef551223cea06da834c6b1cc731b469d293a965641747be076ba100a5fa8f1",
|
|
11
19
|
"own": "ca53ec9d050dd3d2bb09750705cd5a4f1cdff63e4c9aa6e7a8ddf2b10aac2e27"
|
|
@@ -18,10 +26,38 @@
|
|
|
18
26
|
"merkle": "a75f389fddbc05f6470a676e53e8b9b11b67eeebcf3171a4b11765ebd4e5c120",
|
|
19
27
|
"own": "7c0f744784e62e06b23d4baf4ec7b4f87d87a7f1321f6ebaef6d062851d1b235"
|
|
20
28
|
},
|
|
29
|
+
"cpp.cpp.Ok": {
|
|
30
|
+
"merkle": "07fe796fb3726b7569ff0294816f52a131f3626abcbb3e3d6c8e3f6cac092669",
|
|
31
|
+
"own": "bd72f3688030a234dc8be7104b82c6b9f7643206751942c06a6617885f66e80c"
|
|
32
|
+
},
|
|
33
|
+
"cpp.cpp.Platform": {
|
|
34
|
+
"merkle": "7f06d1077bd84d07b009525d6f4a9eb23e24e65531212d346cd0e3fc030490d7",
|
|
35
|
+
"own": "695647c61d8bd6c290c5daa89d773930e740dfb9b98f9a459df6a7cfc7000c8d"
|
|
36
|
+
},
|
|
37
|
+
"cpp.cpp.Val": {
|
|
38
|
+
"merkle": "1db86625b298b656a1c4a8487a326cedbc78336f7a1225188080e0d97d4be573",
|
|
39
|
+
"own": "7c85e2d84c71ce7b5f9c15f91caebad3e9de0849d31c11c4f65f2d3b41a00fb2"
|
|
40
|
+
},
|
|
41
|
+
"cpp.cpp.absInt": {
|
|
42
|
+
"merkle": "60ec77a82128437f2225e377dc40e7ea9e7c66d28ebab6909c858b3836dfebe7",
|
|
43
|
+
"own": "3247fa434f888ad71f8f54b8a747ce712170fb89d4f251d422dc166e02fb566b"
|
|
44
|
+
},
|
|
45
|
+
"cpp.cpp.absV": {
|
|
46
|
+
"merkle": "69bfc664478d437bfd0aaee995d33ff4bb711cf076475fa9ede714adf34f3041",
|
|
47
|
+
"own": "175a94ce1738c146426077ebfe187e25e6c3fd776b45cc02f02d5fa03b1a12f4"
|
|
48
|
+
},
|
|
21
49
|
"cpp.cpp.add": {
|
|
22
50
|
"merkle": "010d8b9992d9320ed4f8960a21be20be27309815ab922ed5476e9f1f8d4efdfa",
|
|
23
51
|
"own": "55dddb329fadc10e4692da25f18529b86b928e6a432a2b129e5fe13520365118"
|
|
24
52
|
},
|
|
53
|
+
"cpp.cpp.addV": {
|
|
54
|
+
"merkle": "7027c6b9350c52fe0b1aa67b43555b11a8d56938e4def562d1cffb05efdc9e33",
|
|
55
|
+
"own": "51749e58de87cc60d002767108377ef7e6b65e9f17c3a869607b140b4ced2163"
|
|
56
|
+
},
|
|
57
|
+
"cpp.cpp.andTrue": {
|
|
58
|
+
"merkle": "d7b93602bbc7f3e54c2260f738e4fbd693bef3ccb9284cf2282c692e7d7dc08e",
|
|
59
|
+
"own": "7c835e28ae8709fccc6c5163f9e3f9711c3da68e157c637048ef12936ab70407"
|
|
60
|
+
},
|
|
25
61
|
"cpp.cpp.avr.Int": {
|
|
26
62
|
"merkle": "f283f1566869a5f2e89279a7c2bc36cc717d82ffd0d12457ea53ef16e89f5665",
|
|
27
63
|
"own": "948687d513255e558f901d1c950fa4039c71e6fc5b47dde521157df38b997cd0"
|
|
@@ -30,14 +66,70 @@
|
|
|
30
66
|
"merkle": "2fd331ce9f5135648c5c60e3dfed9dd28a93532a1d0039481aa7b6cd2e2db74f",
|
|
31
67
|
"own": "ca53ec9d050dd3d2bb09750705cd5a4f1cdff63e4c9aa6e7a8ddf2b10aac2e27"
|
|
32
68
|
},
|
|
69
|
+
"cpp.cpp.avrP": {
|
|
70
|
+
"merkle": "85955cc1d6f63547adf94cdda7cd0ad78bb89989bde458259a3cccd37afc241e",
|
|
71
|
+
"own": "1de17cdafbecbd5b00f810f959392002d78573d2a9169dfff81742a8c1e3a1f9"
|
|
72
|
+
},
|
|
73
|
+
"cpp.cpp.boolize": {
|
|
74
|
+
"merkle": "393ec1aa5a8de5f928fe1ee1046176811763318d8851114179ce007544395e36",
|
|
75
|
+
"own": "a42e9657fb56a9056b45acd74ea6cb2aac5740e200be2ea0399113436e517cbd"
|
|
76
|
+
},
|
|
77
|
+
"cpp.cpp.cast": {
|
|
78
|
+
"merkle": "fe838af4670dcf55abd4df10253324a1fa6bd03cd7962a20b4decdf736387e96",
|
|
79
|
+
"own": "2f7ecdc5628e76bbe488aeb0862cee8e00e0bc78bc2758e75d4f3e037c190c62"
|
|
80
|
+
},
|
|
81
|
+
"cpp.cpp.common": {
|
|
82
|
+
"merkle": "d898b4d6a3e3d2f9322e6f213956d9885e8036d3cbff002c6e51b520ab2f2259",
|
|
83
|
+
"own": "fe8870cf3e9c5efa9ae7268a06a639c911b69713da5058c2cb840f7f88b70e57"
|
|
84
|
+
},
|
|
85
|
+
"cpp.cpp.commonP": {
|
|
86
|
+
"merkle": "c89789dd453d50f469808bbf26a8db30ffccea55f8559e637953399f2e09d433",
|
|
87
|
+
"own": "9df84297cb4ac6af1c84fbe41e5e45c7683073c3f3c0ae163dd2ff627670d4e0"
|
|
88
|
+
},
|
|
89
|
+
"cpp.cpp.commonSU": {
|
|
90
|
+
"merkle": "ae3aed4196d7085680871698f70526b2af165fb2a8bce7f9da9d3255242c9222",
|
|
91
|
+
"own": "40b35cd77b858832c6a19f8fe0dfc1e11b74dbaafa6cd5f493e8d52d340adb8e"
|
|
92
|
+
},
|
|
93
|
+
"cpp.cpp.covers": {
|
|
94
|
+
"merkle": "4efd904b333c8e276425e58e79c4ea667025cf61d3bbe71817bab2c583374c71",
|
|
95
|
+
"own": "42fa3cc397d63e2b6a3dcf5fba98931141ef0c50c9d73d1ed94c7b2e61b9bdbc"
|
|
96
|
+
},
|
|
97
|
+
"cpp.cpp.cv": {
|
|
98
|
+
"merkle": "ecbe5906d468fb1d655ad4608b9fbb36a2e3c08ad9a9492c2bb6223bf1241262",
|
|
99
|
+
"own": "7be8cfee110a4d5b896cc08a0d42c400f2e9cce1c0cd08d4290493fdb1fcb288"
|
|
100
|
+
},
|
|
101
|
+
"cpp.cpp.cw": {
|
|
102
|
+
"merkle": "611d966d8d0427c40597e45c566e5593ee58533a71d0a29151abdc0821194d39",
|
|
103
|
+
"own": "832d7633391896f7dc7500b401129dbade7687af6d8e1a911594f1542dea6799"
|
|
104
|
+
},
|
|
33
105
|
"cpp.cpp.div": {
|
|
34
106
|
"merkle": "c25dce8a08ffad1401476e5afde888d957231ea148a7f1305607296240009f56",
|
|
35
107
|
"own": "5257e22728d218342ee89c501d91fea5acad72c90b9a8d28b2532b1da771b7a4"
|
|
36
108
|
},
|
|
109
|
+
"cpp.cpp.divV": {
|
|
110
|
+
"merkle": "d603e8e9585a47c91c659009ef84789f39c58554ca4feee1041e2387e9d9d490",
|
|
111
|
+
"own": "da7e79c529aafb13d175bb07282afc7a625a387ed4853393774faaab60cc48db"
|
|
112
|
+
},
|
|
37
113
|
"cpp.cpp.eq": {
|
|
38
114
|
"merkle": "dbea1a3e962ad7697469574a4e6165c3633c3c262a4f88d76cb298eba02fd666",
|
|
39
115
|
"own": "b20d6d33e9db32381266198cd6ac6d52c642d8f70d0bd62132d857ae93f1ebaf"
|
|
40
116
|
},
|
|
117
|
+
"cpp.cpp.eqV": {
|
|
118
|
+
"merkle": "fc9d169be3e1048d253524311249fa382ac64b65138297b9491aca62a2a9b965",
|
|
119
|
+
"own": "526669331ca6d0966d6753c41eb39ffec4fede6766d23b6d3b2585f550b29ff2"
|
|
120
|
+
},
|
|
121
|
+
"cpp.cpp.geV": {
|
|
122
|
+
"merkle": "087acaa024bb51263859d5f5854152bec21e3a2a18b893c1e48da65e650782db",
|
|
123
|
+
"own": "a87932d7fa0bacbba0174fb3ec278f8365515dbef95299ba7ac569e4c42f814f"
|
|
124
|
+
},
|
|
125
|
+
"cpp.cpp.get": {
|
|
126
|
+
"merkle": "d69fddcb88b8885a8f69518119d54c6d6cf78f6ad2da24c0fdcacaadc9cbe261",
|
|
127
|
+
"own": "af0a5713199d3f12ea809b0212f3fc768bc10c5797492f13803fdf6b6d65657c"
|
|
128
|
+
},
|
|
129
|
+
"cpp.cpp.gtV": {
|
|
130
|
+
"merkle": "43184a87a6486e294265e6b3fbafe7b5e394736850b147aa88695e4d02c871b0",
|
|
131
|
+
"own": "4779c91e99221bd21d48b9e870556716321f29053bf5b78435c41ff74621c8c3"
|
|
132
|
+
},
|
|
41
133
|
"cpp.cpp.half": {
|
|
42
134
|
"merkle": "36ecf45d20fb459e58f2fc0fc639395b5712a182d970b48970e5cc16ad015db4",
|
|
43
135
|
"own": "3570a89c86c1ee4b65d9a2a2e61e4b84d33568e5030d96fb83cdf21db4216281"
|
|
@@ -46,18 +138,34 @@
|
|
|
46
138
|
"merkle": "24b596bad229fde39f125813be8c1817f649b77bf2095e0d60c7a44661ea442a",
|
|
47
139
|
"own": "f217252b113d207371703f30486f50ea3bc99c024135543ef5391860cbd02cb9"
|
|
48
140
|
},
|
|
141
|
+
"cpp.cpp.inTB": {
|
|
142
|
+
"merkle": "1034d94eacb82adfb90d361875c4a1e491c7eae0c4b6523c6997c393079a8c98",
|
|
143
|
+
"own": "5356c5242dc19d4a2eae185345e6f33023dd53c44b1958fe13fd27c0a9ac7ea6"
|
|
144
|
+
},
|
|
49
145
|
"cpp.cpp.isPropInRange": {
|
|
50
146
|
"merkle": "23fc4418c4d6c218f25ec2396c8069cc7b4f09f96d3dd85c3ef75f5a824fcf66",
|
|
51
147
|
"own": "894028e8fdaba6870a92770180d752e5ee1e2b2a6604c5f7f16486736fc5536b"
|
|
52
148
|
},
|
|
149
|
+
"cpp.cpp.isSigned": {
|
|
150
|
+
"merkle": "ac88b56f4f4128dd8587950e4498fb324ff3fb2cd58429f61e52cc1f83e3d178",
|
|
151
|
+
"own": "dc4a59ec0045f2c7a22319eeaec84253bff96eb8d09a60c3c36324dc12ee3ea7"
|
|
152
|
+
},
|
|
53
153
|
"cpp.cpp.le": {
|
|
54
154
|
"merkle": "67627c7ca59dbc6923ce80f887f622703b75078a49f2b2bce107a2336da5a3f9",
|
|
55
155
|
"own": "7057e826cdf59e05a8a863642c38164bb647c373b50bdc2e4c86c4d3da363266"
|
|
56
156
|
},
|
|
157
|
+
"cpp.cpp.leV": {
|
|
158
|
+
"merkle": "3a568fa9f4a81794bb6bc3dcdc9a91631e66b38809c111f5ffb2956804e88317",
|
|
159
|
+
"own": "8feb93cfb657006cd71dd95ca7dfac378bfe45a6cf61783b7cf2e1c9d7b2ef27"
|
|
160
|
+
},
|
|
57
161
|
"cpp.cpp.lit": {
|
|
58
162
|
"merkle": "0f8e363f48186cd18de7a45d6316b9ddcce460fdd83f1f6f693b5b5af8f944c3",
|
|
59
163
|
"own": "e93f24565ecc71adebbde4acde85a6e409c102b9ad3110e31e4ad060d8c98bd5"
|
|
60
164
|
},
|
|
165
|
+
"cpp.cpp.litV": {
|
|
166
|
+
"merkle": "1d30ce448c83b5dfc619175335a3b78e911c816b0f389ceb847be2833a381d7d",
|
|
167
|
+
"own": "5ec45e825fbb5e06e34ee429697ec982c64a34ad01017580872afd91ff1be840"
|
|
168
|
+
},
|
|
61
169
|
"cpp.cpp.lp64.Int": {
|
|
62
170
|
"merkle": "830a776c42b702fe9984210179b83bd8b6b9db97753998c497a77e73f63307d7",
|
|
63
171
|
"own": "ca53ec9d050dd3d2bb09750705cd5a4f1cdff63e4c9aa6e7a8ddf2b10aac2e27"
|
|
@@ -66,10 +174,18 @@
|
|
|
66
174
|
"merkle": "ed1ed3f6a404308ef5927e29f1d04e6eb9e2292d18699f1e5fe1d3bb8f724463",
|
|
67
175
|
"own": "4e70d70747aaa9673e719b55fa6dec6ee031fa225123bdda0658150276182cc2"
|
|
68
176
|
},
|
|
177
|
+
"cpp.cpp.lp64P": {
|
|
178
|
+
"merkle": "1bdd41be5de441576d4f4bb6e68920d547e95b6e104a996603ebfe2b8db89b6b",
|
|
179
|
+
"own": "55a314bb05ab9e71d383033548b52b0ba87f4ddb551cdb9a53321fa5cdf5ef0a"
|
|
180
|
+
},
|
|
69
181
|
"cpp.cpp.lt": {
|
|
70
182
|
"merkle": "43661906da6775bcddb4eb0f671698e4afab5c926cb9d2746e682a6bb96e5cdf",
|
|
71
183
|
"own": "5bc94424e5602b2f249662308857078be93efb07ac2edc01e5e1d1f57da285d5"
|
|
72
184
|
},
|
|
185
|
+
"cpp.cpp.ltV": {
|
|
186
|
+
"merkle": "bcbcb04b9c803f030706513b6664886223a764797533a5d9847513b3b2119f59",
|
|
187
|
+
"own": "0f6bc35e73d0945b6f006cd02143b28e56e21c65a3e3bd795af255547f9f949a"
|
|
188
|
+
},
|
|
73
189
|
"cpp.cpp.maxInt32": {
|
|
74
190
|
"merkle": "70cd53b2e83626b6bc8cd9ad62a7558ee4ca452694fb0e0d8b811e2812b67710",
|
|
75
191
|
"own": "6f3a9a6c6a614d8301ebb7fc4952cb32eb61212172216f9cf749d988c336ac37"
|
|
@@ -78,6 +194,10 @@
|
|
|
78
194
|
"merkle": "8b7e1843548d78dc3e9070f105ed051ff1b07bb7ef90dd5ffe992c1c17f58f3b",
|
|
79
195
|
"own": "fa2822af6d8d26e601aed99511606f03896e9dcd6d8b3cc85e537dd2de7c98b7"
|
|
80
196
|
},
|
|
197
|
+
"cpp.cpp.maxV": {
|
|
198
|
+
"merkle": "c62dfb3ded5844970215d9e8761afb0cc686a4d443d15cba493d0a2f702e3e43",
|
|
199
|
+
"own": "1923f974f9f0a85415046244770bf49862c5566a53c7ba0e7b0a3c09e7a97f3e"
|
|
200
|
+
},
|
|
81
201
|
"cpp.cpp.minInt32": {
|
|
82
202
|
"merkle": "6fcc2ff7dd05da705bfe20ac48115c760a48a8acdaa8b4040e1ac78e428be098",
|
|
83
203
|
"own": "64728c3336ca0ea3e456285ff728a62d5b896560e7de7af0bf39b6af612eb1af"
|
|
@@ -86,6 +206,10 @@
|
|
|
86
206
|
"merkle": "27d032ea6d7d08ed222f7e325bdea8fb52380a7ad2945c4f5d60ad1d37517f7b",
|
|
87
207
|
"own": "dae46522e9a32ace309d0804233ed51edd2584a4c516c5c9331cfd6e37b62692"
|
|
88
208
|
},
|
|
209
|
+
"cpp.cpp.minV": {
|
|
210
|
+
"merkle": "d68dd788a297de1fac280cb7c313902462173425c2d1e5814f1d491904c4087a",
|
|
211
|
+
"own": "3b790eca2ba4ba345a1f0b4fcbe46e8be00a048470c32bd2468dd715123b08d2"
|
|
212
|
+
},
|
|
89
213
|
"cpp.cpp.mkCong": {
|
|
90
214
|
"merkle": "ca488f78de7ddc49eb56dd62f56c61d93be541e34f8e2e5d318e0a024d4cbf88",
|
|
91
215
|
"own": "89f8fb43f27850d283f5ea493e0ddfa8fb85d1116627b29f49eb5a56d91d9b79"
|
|
@@ -98,18 +222,114 @@
|
|
|
98
222
|
"merkle": "aed5e5eb778c628376866474038dbd047492b4dd1dd9022e1f1fdf7936c8a1a2",
|
|
99
223
|
"own": "59c50c23e150ca0a1f4c80b98130ebe99c1d50e11d4ba176a45fef1cdf62a7d5"
|
|
100
224
|
},
|
|
225
|
+
"cpp.cpp.mulV": {
|
|
226
|
+
"merkle": "b769a00c572c20fe87e8649fcf9ec421dcabe1d039302e66313e95728d3a6a8e",
|
|
227
|
+
"own": "049c48ad81f5839042a78ca431c50024cd77a9202177f5f54e0fda0516e10681"
|
|
228
|
+
},
|
|
229
|
+
"cpp.cpp.neV": {
|
|
230
|
+
"merkle": "b7ddcc8f077ba0e801bc871c36da82dc2a2b3f6494ac785510497a4e6932ce99",
|
|
231
|
+
"own": "39b8218f43f17638e0812c62de95937dc60df95bec77c4994ca9af914cf47cbb"
|
|
232
|
+
},
|
|
101
233
|
"cpp.cpp.neg": {
|
|
102
234
|
"merkle": "198a96957dfad1eeea6cf37e53243ba5332e076850f7389b0973aecb616db738",
|
|
103
235
|
"own": "9c7b9c7bd8ace305b06a3f8f2f7f6d03a7299fa58beb5f0ae13b2253107ba5cf"
|
|
104
236
|
},
|
|
237
|
+
"cpp.cpp.negV": {
|
|
238
|
+
"merkle": "88a5ab6db11861d333dbd1f6bfa860c3c2f7688a65efaf5e7b03367b98964cc6",
|
|
239
|
+
"own": "7ec1b6fb214317831c048cfad10f491de590073f1f4360d6d203e856d960f0ae"
|
|
240
|
+
},
|
|
241
|
+
"cpp.cpp.ofBool": {
|
|
242
|
+
"merkle": "6bc85121f9fb6078e0271804ca46280a5f7ffc4d4d9ad1ca80eed716d9fabf26",
|
|
243
|
+
"own": "bb9b8aade41363da7f8cc1bdbc81d3888710ea0fabd2636b6d04b79db8d029cf"
|
|
244
|
+
},
|
|
245
|
+
"cpp.cpp.ofIntN": {
|
|
246
|
+
"merkle": "25688bf9572e30638601586c7421f0acbc9ff5f543cf322fac2d1c1311eb3645",
|
|
247
|
+
"own": "a3413eae9520cb9c8e00de1c82d8fec0a6ca6538a89d807af27300edc241599d"
|
|
248
|
+
},
|
|
249
|
+
"cpp.cpp.promote": {
|
|
250
|
+
"merkle": "b97570b620a4977c9a9eee99364e3977dceb36ef63198cf1e6be369ab63aa8da",
|
|
251
|
+
"own": "af0ef572eb034ee9f1e1defea4f0a7cce364a47e9560f75b88b82f86fae4cbc2"
|
|
252
|
+
},
|
|
253
|
+
"cpp.cpp.rankOf": {
|
|
254
|
+
"merkle": "f1e067d799066a4310b380df0941d9c83694a5171d54a421e5b576566b46771e",
|
|
255
|
+
"own": "a09d219d6a028f7dd474f27afed92ffe2b666978f8d882e0f35433751159c3f7"
|
|
256
|
+
},
|
|
105
257
|
"cpp.cpp.rem": {
|
|
106
258
|
"merkle": "a96eab9a498341d06161de5f16b36166df123377a2fb68d3eac8c44195d07be0",
|
|
107
259
|
"own": "7c7c17df53e56593bfafbace48ddc262f36b2aaf4551cb5c478c39e9c0fde016"
|
|
108
260
|
},
|
|
261
|
+
"cpp.cpp.remV": {
|
|
262
|
+
"merkle": "344cee275626db62028f5807b7089aed2a3fcde0e3c09877d906d09b65218245",
|
|
263
|
+
"own": "cf108c8b3e80750c8b84e3a29bbfa036ee32d6bc7c5b3986d298df9ae5187721"
|
|
264
|
+
},
|
|
265
|
+
"cpp.cpp.res": {
|
|
266
|
+
"merkle": "dc5d693ef331f726b3559e527df0d8d9c728ac7383fde79c2f11905d2fe3985c",
|
|
267
|
+
"own": "a2ed95e3ef3c6ec07281e48e416bb4da8aa1ac920c8c562b32fef34a495400b4"
|
|
268
|
+
},
|
|
109
269
|
"cpp.cpp.sub": {
|
|
110
270
|
"merkle": "a0dde2ad9495663248cf9022828c62a28f41ba1a08f2c6cbc3d3b14134cfa91c",
|
|
111
271
|
"own": "d607cfd8f3a5924db4b3183896e56379c315aa87f93ce117f38aa1ea45450681"
|
|
112
272
|
},
|
|
273
|
+
"cpp.cpp.subV": {
|
|
274
|
+
"merkle": "9ab32dfa4559058271d3ea2e7b4807d6f9457e29586681cb9fffd30a0982d057",
|
|
275
|
+
"own": "c9a2e799e87befbc604d32d75736b4bed85494d4ccd9d17dc0eb857cf2d6cd21"
|
|
276
|
+
},
|
|
277
|
+
"cpp.cpp.tBool": {
|
|
278
|
+
"merkle": "0d39a926e94c3aadb56a184f2c3b80a5d2f668acc23df79402d0c070121e41ad",
|
|
279
|
+
"own": "fa9896e6538210ce3a5b464ca11d3b6c4201b7f2f985a77807ff6014d15ee303"
|
|
280
|
+
},
|
|
281
|
+
"cpp.cpp.tChar": {
|
|
282
|
+
"merkle": "62fbbd5bfc59f71423f40544b46ef96dc455128b66b8c9bde58fb86085725758",
|
|
283
|
+
"own": "360f76599491b8b671d648af95e1166dbf2a6151afb917c804a7c400bade8fe1"
|
|
284
|
+
},
|
|
285
|
+
"cpp.cpp.tInt": {
|
|
286
|
+
"merkle": "e8eb17b3bd01d69ccd539c10fecdc2cab66efdd31b68af30947322911e6116f9",
|
|
287
|
+
"own": "b6e15a7b45d3c95168c7c99637679f0bf21343133f6555664b8dc2161abfc48f"
|
|
288
|
+
},
|
|
289
|
+
"cpp.cpp.tLLong": {
|
|
290
|
+
"merkle": "63318fd452d224f78299fbe4ffd477398c20bc235ff52558ac065833dfb03809",
|
|
291
|
+
"own": "eb746f863be4626a834bade806337f6feda6f2600ec9507ccb39b32e55bc7441"
|
|
292
|
+
},
|
|
293
|
+
"cpp.cpp.tLong": {
|
|
294
|
+
"merkle": "336babe4069ba240764796be70a568fd9b9edc10f07be0d360ea0beea8587ffb",
|
|
295
|
+
"own": "401d028f5c2352f3e0f1cbcf1802d3f27b41027e180d8bd41d8a2c173c09878c"
|
|
296
|
+
},
|
|
297
|
+
"cpp.cpp.tMax": {
|
|
298
|
+
"merkle": "46cb11a14d9dabe59d6089ddabbf7aa552eefe9361ad727ab5ec2b822a9830b8",
|
|
299
|
+
"own": "69b1f9b757b52711831d670fd80b95f55946df4aebd4b1fc4b41b8bbc7bf7697"
|
|
300
|
+
},
|
|
301
|
+
"cpp.cpp.tMin": {
|
|
302
|
+
"merkle": "3d43ba0aa8aadea7c0e00bfffa7832f99e7c8421a398eea290f4c99d9efef31c",
|
|
303
|
+
"own": "9ae75039cfe57418bc6b9956981de5b7935e041a87d5331c0943e5bd8f35b727"
|
|
304
|
+
},
|
|
305
|
+
"cpp.cpp.tSChar": {
|
|
306
|
+
"merkle": "297e4182733ebf511dcc86d5209ba05e5d2318139b30d44566ff00270fa52c7a",
|
|
307
|
+
"own": "7ecb52ab211355042bff7d055d6a6a4268fe2c0ebe0aa232824cc4638c11fac7"
|
|
308
|
+
},
|
|
309
|
+
"cpp.cpp.tShort": {
|
|
310
|
+
"merkle": "984c058503727e6d54795e5caee77e08d8768debe25fdbb4435223f23360af77",
|
|
311
|
+
"own": "d877c4a93a47a6ae36ad8a63720500f23a16e1b7c499cb2565f1dfc542bbd15e"
|
|
312
|
+
},
|
|
313
|
+
"cpp.cpp.tUChar": {
|
|
314
|
+
"merkle": "dff82a2096777209e223b8a7461677dd0629ba1f68f0ae23bf0a5aece1dbbe99",
|
|
315
|
+
"own": "45f49dc1aded827c791d1ae6431ddcf878eba905493b79259912b6425072f83c"
|
|
316
|
+
},
|
|
317
|
+
"cpp.cpp.tUInt": {
|
|
318
|
+
"merkle": "2aa6ad6dc254cde73f92b9828e79c391e60d1f725b32f513d3e1244b4e016b81",
|
|
319
|
+
"own": "f7e4db2e3deb608e854e95c0aada0c12db4aa5691ed93d0f89bce06a1cf76ab3"
|
|
320
|
+
},
|
|
321
|
+
"cpp.cpp.tULLong": {
|
|
322
|
+
"merkle": "98a574ff4fee31dc95c1aa6deff5d1ce165f009bf80b31af4942fdbeed8d3eae",
|
|
323
|
+
"own": "c96593887472273ac1853ddc7c8ec374dccf54bdbe16bb6f2e6bcc6d49f5785e"
|
|
324
|
+
},
|
|
325
|
+
"cpp.cpp.tULong": {
|
|
326
|
+
"merkle": "95b3ae543aff5242316e80132670e17068b07e7fcdfa32c08f0f785fbc92289e",
|
|
327
|
+
"own": "873f2b2f8d36195724551381866f2d0fcf9848eaacc77b989e5c6915ee468c72"
|
|
328
|
+
},
|
|
329
|
+
"cpp.cpp.tUShort": {
|
|
330
|
+
"merkle": "fd60b83a0bd9963c3f50b54627e1e7430b978490391eddf137b8161da8c99670",
|
|
331
|
+
"own": "6fbd06a5deb1c6aeaca134b39bfc3a8ee54301a86de02cea7039b904ef8980bc"
|
|
332
|
+
},
|
|
113
333
|
"cpp.cpp.toC": {
|
|
114
334
|
"merkle": "21400b0487778d94a469d05b4f87f95096dd937c5ac70119e3f725e9c65ce06b",
|
|
115
335
|
"own": "87a839ad9d3354ac8420e725717d997b4574a606b7144029487ec49b3d87b0ba"
|
|
@@ -118,6 +338,10 @@
|
|
|
118
338
|
"merkle": "4e949ba82557b5d8212ef001692d95334548320b36cbca7f1bad4aa7d268c1af",
|
|
119
339
|
"own": "0fa6db38b1ba794000332d135279734339965ad4755bc80072840b2eb4e48b0c"
|
|
120
340
|
},
|
|
341
|
+
"cpp.cpp.toIntN": {
|
|
342
|
+
"merkle": "0499988c40d6fc8d483a942b91e1b9aa2615ddd9fc102ae1a284289bed8d7618",
|
|
343
|
+
"own": "3e5ee0b715bc8d7d1ebe39cd102478492a2830fc74f369bef410d208e376daf7"
|
|
344
|
+
},
|
|
121
345
|
"cpp.cpp.toInt_add": {
|
|
122
346
|
"merkle": "8de4f017ff05cf09a5c84907db27643e8bff1a03fd5b2c915fa21a5990b22c66",
|
|
123
347
|
"own": "1a001ef3373fda921ecde434192ec70312a8e5926d7569b3ffc3cbdcd66a4964"
|
|
@@ -145,12 +369,40 @@
|
|
|
145
369
|
"cpp.cpp.toInt_sub": {
|
|
146
370
|
"merkle": "18eeec110741d013ce640f37dc710e2a4fa98683ffd093889276b20a4733adc1",
|
|
147
371
|
"own": "ffa4cb48c42bca86df376b6ffd3bf3743b9b4098da5609835a781f4e7612e318"
|
|
372
|
+
},
|
|
373
|
+
"cpp.cpp.unsignedOf": {
|
|
374
|
+
"merkle": "c51d13b6f202184d485bc3e38c7f75e06b00ed845ea62bf4ae3a9261c4810480",
|
|
375
|
+
"own": "5934b1f6096475f92e318f1a81b7976da9d0a7aaf52d966ebf530536c20bcd43"
|
|
376
|
+
},
|
|
377
|
+
"cpp.cpp.widthOf": {
|
|
378
|
+
"merkle": "53b3c52a9b4269d8bda9d065f86b3441fc6ae45a2cc23b5991194214e1084848",
|
|
379
|
+
"own": "e4b72123ac37bf97df20de2ecb362655c22a380cb0e622252eb78a71b2b03a8d"
|
|
380
|
+
},
|
|
381
|
+
"cpp.cpp.wrap": {
|
|
382
|
+
"merkle": "1faee70019160b66677062e301b088e3e6f0c11257ac0a6cce670ce717f71517",
|
|
383
|
+
"own": "6e627e76faf697049681a9030b8bcf0a51c37c96263e880d59e42e14fbd3b5bf"
|
|
384
|
+
},
|
|
385
|
+
"cpp.cpp.wrapSIn": {
|
|
386
|
+
"merkle": "290cf58c8bf60c6a4545775a10455b1ec299ca2c01157955ce3c2d279c0328c6",
|
|
387
|
+
"own": "5ebda8282e6a69d58a18e932e7b4e94bc981d48d554dc6c505b6686ae6d31029"
|
|
388
|
+
},
|
|
389
|
+
"cpp.cpp.wrapSInt": {
|
|
390
|
+
"merkle": "09d011557492766bfe824006d956733cedfd53c348b1cdc110f5c4326665c526",
|
|
391
|
+
"own": "bcc1c9d732f225e52c4785da89ec3d50e44af9c0610ef526ab3b127e47c94a8f"
|
|
392
|
+
},
|
|
393
|
+
"cpp.cpp.wrapUIn": {
|
|
394
|
+
"merkle": "360b9af8c3ebc97e2a54bd79135215819dfbaee09fe2ff07dd6bef99ee808a69",
|
|
395
|
+
"own": "5583b6d7faa5a3128ac65cad7642c9bd1c67950257bc8b42afb3760eb88f0956"
|
|
396
|
+
},
|
|
397
|
+
"cpp.cpp.wrapUInt": {
|
|
398
|
+
"merkle": "0573abe65216e4fd6a7fd1bd4a1ecc10e0af2c3033baf2c537caa08ac756be67",
|
|
399
|
+
"own": "c66fa754525736f21ba203ea433fbacdf0d33f383d52677ed173e8e2de02c4b6"
|
|
148
400
|
}
|
|
149
401
|
},
|
|
150
402
|
"format": 1,
|
|
151
403
|
"modules": {
|
|
152
404
|
"cpp": {
|
|
153
|
-
"bytes":
|
|
405
|
+
"bytes": 1633626,
|
|
154
406
|
"deps": [
|
|
155
407
|
"cpp"
|
|
156
408
|
]
|
|
@@ -158,7 +410,7 @@
|
|
|
158
410
|
},
|
|
159
411
|
"requires": {
|
|
160
412
|
"cella-lang": {
|
|
161
|
-
"checkerHash": "
|
|
413
|
+
"checkerHash": "99d9653a5d278211",
|
|
162
414
|
"modules": [
|
|
163
415
|
"int"
|
|
164
416
|
]
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/cpp",
|
|
3
|
-
"version": "0.1.
|
|
4
|
-
"description": "C++
|
|
3
|
+
"version": "0.1.202610060431",
|
|
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",
|
|
7
7
|
"index.json",
|
|
@@ -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.202610060427"
|
|
23
23
|
},
|
|
24
24
|
"cella": {
|
|
25
|
-
"checkerHash": "
|
|
25
|
+
"checkerHash": "99d9653a5d278211",
|
|
26
26
|
"cbfVersion": 17,
|
|
27
27
|
"modules": [
|
|
28
28
|
"cpp"
|