@cella-lang/c 0.1.202610302356 → 0.1.202610310706
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/c.cell +0 -0
- package/c.declarations.cell +0 -0
- package/c.naming.cell +0 -0
- package/c.reserved.cell +0 -0
- package/index.json +123 -39
- package/package.json +5 -5
package/c.cell
CHANGED
|
Binary file
|
package/c.declarations.cell
CHANGED
|
Binary file
|
package/c.naming.cell
CHANGED
|
Binary file
|
package/c.reserved.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -11,7 +11,7 @@
|
|
|
11
11
|
"own": "5b0f70bc2ee6d3ea97c9cbb1513d057573a3e4efaf2ebba81e4de38ee4decca4"
|
|
12
12
|
},
|
|
13
13
|
"c.C.checking": {
|
|
14
|
-
"merkle": "
|
|
14
|
+
"merkle": "7d2fa6e97d45a370c7e9c4871f8ffa8d5bb8e0ac6dff3e4094dbfc5284ec68f7",
|
|
15
15
|
"own": "d13c6d62cd23c5dea3cba368e17244edfa34a34312a62a979b882db33fce98c3"
|
|
16
16
|
},
|
|
17
17
|
"c.C.constructs": {
|
|
@@ -23,7 +23,7 @@
|
|
|
23
23
|
"own": "89cce2132dfdbf850d332c9a1749a09ceaaaf7a140f3ec67b2975d698b52a17f"
|
|
24
24
|
},
|
|
25
25
|
"c.C.dialect": {
|
|
26
|
-
"merkle": "
|
|
26
|
+
"merkle": "9fe610fc693eb3b18888766f7243198d8f60ae967d44d7c50184ec80849d3110",
|
|
27
27
|
"own": "a813ab0b65555b3d44c60d91de41561fcd5db30855e9d62e650f0e3e651e69b6"
|
|
28
28
|
},
|
|
29
29
|
"c.C.effects": {
|
|
@@ -39,15 +39,15 @@
|
|
|
39
39
|
"own": "7e398b1ae168e9a36504512d36793819ff7ec6bbd94d96bd6d5b48db771d034d"
|
|
40
40
|
},
|
|
41
41
|
"c.C.programDialect": {
|
|
42
|
-
"merkle": "
|
|
42
|
+
"merkle": "6bcdd90b10cd11a20cd6a7c1142e1f0b352a09b40acb6873c8ede2310d82544c",
|
|
43
43
|
"own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
|
|
44
44
|
},
|
|
45
45
|
"c.C.programExtension": {
|
|
46
|
-
"merkle": "
|
|
47
|
-
"own": "
|
|
46
|
+
"merkle": "2978e993ad94b61d2b38df162bda72d3f41aa1eab2dfb657bdd07c04e3645421",
|
|
47
|
+
"own": "d9221ce796a48482e8f997408365ef6a1611c50d36c92e2713de5733dc5efd6b"
|
|
48
48
|
},
|
|
49
49
|
"c.C.query": {
|
|
50
|
-
"merkle": "
|
|
50
|
+
"merkle": "3133629663e14f69670dc3169456053ea7e314fdee10611bff8548f118308555",
|
|
51
51
|
"own": "11ce588500fba76fe041991a8ab82636fd36a1e6cc6f335224a2edb057012ace"
|
|
52
52
|
},
|
|
53
53
|
"c.C.queryError": {
|
|
@@ -67,7 +67,7 @@
|
|
|
67
67
|
"own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
|
|
68
68
|
},
|
|
69
69
|
"c.C.verdictOf": {
|
|
70
|
-
"merkle": "
|
|
70
|
+
"merkle": "bbef7e27aaa8b625d229cb46e4caf4429af1cdcbac2b9d20a78dbe7f75ef6295",
|
|
71
71
|
"own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
|
|
72
72
|
},
|
|
73
73
|
"c.Declarations.atFileScope": {
|
|
@@ -86,9 +86,13 @@
|
|
|
86
86
|
"merkle": "92ae32e4e56fe0b490884f89da11592f030851294fd9a2f7ffaee5fa685e30a7",
|
|
87
87
|
"own": "52ae5b57320058384fd59bd499fa422f539a3c3d80b839fcca94992c6f3a434c"
|
|
88
88
|
},
|
|
89
|
+
"c.Declarations.expressionTypes": {
|
|
90
|
+
"merkle": "e5147ec0f58df045aef465923eb532bec4f674d30f6cda014f7ec7b5afff405c",
|
|
91
|
+
"own": "f86aadb22b32156423d378b2d70f06607ffcea9a65c824aba5a5f58bbb1dab5a"
|
|
92
|
+
},
|
|
89
93
|
"c.Declarations.firstWrong": {
|
|
90
|
-
"merkle": "
|
|
91
|
-
"own": "
|
|
94
|
+
"merkle": "a84c59b2fb3ec64d7713d5bb5d77c0fa94db5126f15f42e612954bdadfce5a3e",
|
|
95
|
+
"own": "9783d2c12531637a37aab6feafbb242e94442839b570418b719f8a6462fef86e"
|
|
92
96
|
},
|
|
93
97
|
"c.Declarations.inClauses": {
|
|
94
98
|
"merkle": "bd9a169c9c94d7496e668aa1dcd60df1f113dc20e2f970008dc2ddb015afdb85",
|
|
@@ -110,6 +114,14 @@
|
|
|
110
114
|
"merkle": "a5700935d051be7332223802a70d41b8822ce12741b4db85031cab4d175266cd",
|
|
111
115
|
"own": "5b7608fffb3d2558b6b8903551fac8018e51ee76f01455bfe534360534f09f77"
|
|
112
116
|
},
|
|
117
|
+
"c.Declarations.lookup": {
|
|
118
|
+
"merkle": "d111ab7b9ea179dde3fbf42db021f545e0ba5d7cb9ce29f068449ea207c17e54",
|
|
119
|
+
"own": "75263c2062ce9510737b0b4484cfec8057d14ceae7a1300b018a5c575d9f3c1b"
|
|
120
|
+
},
|
|
121
|
+
"c.Declarations.qualifiedFunction": {
|
|
122
|
+
"merkle": "36c35a762765cd2826548049d24f9b35cea89f2d344b4fcab82bea51efa01ad0",
|
|
123
|
+
"own": "07ec6633cca5149c16bfdcefa8aef1d03e553a0297cc45d6fbe914b18f46d3e6"
|
|
124
|
+
},
|
|
113
125
|
"c.Declarations.tags": {
|
|
114
126
|
"merkle": "35cefb82bd82b99576fe66844bd3ddf30472ec18f7d4dff33aeafaa617872cbd",
|
|
115
127
|
"own": "c332dccc0ebdea64c5542bf6e5ff1ee549ceb2de5cb2f78adf78758cb03ff3eb"
|
|
@@ -118,10 +130,18 @@
|
|
|
118
130
|
"merkle": "972d6e00deb97cbc464e3efad9d4a87b0320ee97fcdfb42ba6157ebd155dbf58",
|
|
119
131
|
"own": "c4a35804d0e1dac8e2673800004f5b1fc222d292b877eddcef38661051432f81"
|
|
120
132
|
},
|
|
133
|
+
"c.Declarations.typedefs": {
|
|
134
|
+
"merkle": "f83b80e88796fc09c3e9d05d19b8d614d69478b3d793f6b2bd9c22c30ea32720",
|
|
135
|
+
"own": "aad39d7fd67e7643b04d3197083d0707757b2eb31e9afa3df4e0b62ec3771c16"
|
|
136
|
+
},
|
|
121
137
|
"c.Declarations.unnamed": {
|
|
122
138
|
"merkle": "22aa2184aee9840a4ceea0684f214afec86fba87a09a62ff02091303f3dab70e",
|
|
123
139
|
"own": "d7154dc1012739dabef5fee242d1f87009f18121e32283aedf42ca5bae515428"
|
|
124
140
|
},
|
|
141
|
+
"c.Declarations.writtenTypes": {
|
|
142
|
+
"merkle": "b7fa29afff1dcfcc66fd754a25993c0c58d1b6e11b67a336cadb5dbc4e748648",
|
|
143
|
+
"own": "18712250a88ee70075400648687040138f995ed440165a9de221d1bd1089fc5e"
|
|
144
|
+
},
|
|
125
145
|
"c.Declared": {
|
|
126
146
|
"merkle": "3a986a437878088c23f7c2a451c2027170dea292f0a8c5e66b863819e1ed5816",
|
|
127
147
|
"own": "d0c45e57005d4be416c94d1a1cafa14c137740ce362f8604b308984bcdbe814f"
|
|
@@ -143,8 +163,12 @@
|
|
|
143
163
|
"own": "ac3340fdf422fcf3c8d8489f2f5acfdf187faa7e8fbae8251ae08c1d91dd7179"
|
|
144
164
|
},
|
|
145
165
|
"c.Naming.firstReserved": {
|
|
146
|
-
"merkle": "
|
|
147
|
-
"own": "
|
|
166
|
+
"merkle": "54b6cd9a7936a9f7edae4fe486a27ec17ddc215ed26aff2f328dbc1372ac9fb1",
|
|
167
|
+
"own": "e54844a710c1851faffacfe09974d477cd0af26c6dfafd3ccd9e7e54850a3ed1"
|
|
168
|
+
},
|
|
169
|
+
"c.Naming.headers": {
|
|
170
|
+
"merkle": "46075ffcd81ae3306958b706163543052b95f475bbe9a56c3860018a6e2cd6fa",
|
|
171
|
+
"own": "05c17f82d6b095d739fbc79c1af6cc60e5e03649b9d5857188174053b818cb25"
|
|
148
172
|
},
|
|
149
173
|
"c.Naming.initial": {
|
|
150
174
|
"merkle": "85aa88de41efbd07e71aff9d8ca46ab693a776f9d9acade0f2ea5855f30251d2",
|
|
@@ -158,6 +182,10 @@
|
|
|
158
182
|
"merkle": "232121dbf40eeb81fa42b08ea3401b9030e3ba39b540c45666919a5c633e1cb3",
|
|
159
183
|
"own": "54cbefa79239a253dfa42fb38f9e34086271551fef87b5c4466a5916523c95fb"
|
|
160
184
|
},
|
|
185
|
+
"c.Naming.listedIn": {
|
|
186
|
+
"merkle": "a583e1bfcc71f0225bfa5d05ad1be34f89894841537cedc525289337547513df",
|
|
187
|
+
"own": "308cdd4ea5dc295d39fc50cac3b7e8afa446e0280682506637ce62325f1b694c"
|
|
188
|
+
},
|
|
161
189
|
"c.Naming.member": {
|
|
162
190
|
"merkle": "0bb66a7dd3335b2717c32004eb9d5f21cb03fe2de06f28eacbc0f8f6bfa0c3f3",
|
|
163
191
|
"own": "ff9e10d26cc443b6a00d6a32d095fde525f7981c69a49079d7101692422803b1"
|
|
@@ -175,8 +203,8 @@
|
|
|
175
203
|
"own": "6cd353d172c904f206d4b84f25994034f25db3defb2e588cfe4433a0bb5ae267"
|
|
176
204
|
},
|
|
177
205
|
"c.Naming.why": {
|
|
178
|
-
"merkle": "
|
|
179
|
-
"own": "
|
|
206
|
+
"merkle": "c7815cd25c07a8e0265d20185eb0911fcc0712b6c5e05cc09d16c49eb516d388",
|
|
207
|
+
"own": "9ba2e17c20809bf9abbcff697aa2bfd08cc3cbba62db8e8721ec80ea851f8576"
|
|
180
208
|
},
|
|
181
209
|
"c.Reserved.functions": {
|
|
182
210
|
"merkle": "0dd89c499c94cc1c9b734948da06656ec5c4b52691265ef6af81b0893b181b18",
|
|
@@ -226,92 +254,148 @@
|
|
|
226
254
|
"merkle": "d423f9e514173c37421dbdc2be8ca4ae8b5907b62c9c95c3eda05af5d9266635",
|
|
227
255
|
"own": "d4d968d38a01a539e2ef7d2a7cc13b00e0ca732cc5c2a515c6b36cc3bc5542bf"
|
|
228
256
|
},
|
|
257
|
+
"c.Reserved.macros": {
|
|
258
|
+
"merkle": "f03f22c0e56aec9ea48d2e6763a42af9aa6d330b6100b7c0073ddb37e9031277",
|
|
259
|
+
"own": "51b3f36a4222675646bdd3ea4a6e6bd5977f9da6090a325c4eeb060254759676"
|
|
260
|
+
},
|
|
261
|
+
"c.Reserved.macros0": {
|
|
262
|
+
"merkle": "20d20ab5752d82b69bf87c117b84118d11a9baf690eabf15c159aa485c2fc326",
|
|
263
|
+
"own": "cf39181edbba44f54b9376b201219b945b71ec81c47802a56c890e1cd5f1378e"
|
|
264
|
+
},
|
|
265
|
+
"c.Reserved.macros1": {
|
|
266
|
+
"merkle": "70a0eba35a9b52b0fc5f10f692006353561ea8a8c1a2517e7b392c796d2eb99b",
|
|
267
|
+
"own": "1010c77454c7ae2a526629ce975e0ea075e33ea850bd099403615107074edb2f"
|
|
268
|
+
},
|
|
269
|
+
"c.Reserved.macros2": {
|
|
270
|
+
"merkle": "ea45ada0a69efff5341b41ccc630a003f85666bf2a7cc918b25e968f1b126104",
|
|
271
|
+
"own": "3f7fa81cd1cb49d1b6ba71a2f10c3b58c930e54292686606d2b73899f7c9ee36"
|
|
272
|
+
},
|
|
273
|
+
"c.Reserved.macros3": {
|
|
274
|
+
"merkle": "4df0512e31d595e54cf990b3c1d077cdf1e05bf84f798e77b88b47cdc227a828",
|
|
275
|
+
"own": "b09c667a9af212f5b81765ca98ccc5d8f4b938ef7be237b8baa625c4fbf38e80"
|
|
276
|
+
},
|
|
277
|
+
"c.Reserved.macros4": {
|
|
278
|
+
"merkle": "add4f2bd6a118b963701020169e21f3266363eae1f766362e775d1256bda8e09",
|
|
279
|
+
"own": "5be63655d9f82c3168ffc1b3c7b96ad1a93f9c22a8298eb4fa62d10039dddf54"
|
|
280
|
+
},
|
|
281
|
+
"c.Reserved.macros5": {
|
|
282
|
+
"merkle": "34bb08ce5c8f4b0a5753e712b91a680fa04d3b7a803564199e69c695f313da5c",
|
|
283
|
+
"own": "e15bfee308b86f99a9bcc550a5b139d785a8806205e3b41311bda0c8fcf1fd2e"
|
|
284
|
+
},
|
|
285
|
+
"c.Reserved.types": {
|
|
286
|
+
"merkle": "6fad04ac96d0ceca21c5eaa25a2cca255727176ca74c675d18cd1c204a9caa94",
|
|
287
|
+
"own": "032f57bbdaa896a078ae90638cbc490d85df6f6cd0513715a92a4b37b50c5189"
|
|
288
|
+
},
|
|
289
|
+
"c.Reserved.types0": {
|
|
290
|
+
"merkle": "253f29aafc0af6b53138497002793ef1f7adac76cf20f5380fed04d4d7e26e8c",
|
|
291
|
+
"own": "b31b2ad037955ff987cae39736f520a75f17b45af5ac63cb66509f04fb977e07"
|
|
292
|
+
},
|
|
293
|
+
"c.Reserved.types1": {
|
|
294
|
+
"merkle": "25ffdc5b0feb3df41b1e75f503d179faded2350ed87493ed85a5f41fe63ff146",
|
|
295
|
+
"own": "14dbe90a13e0c6379520b8acf723cbdd91e4150bb6ea4be0391505832bbeafe7"
|
|
296
|
+
},
|
|
229
297
|
"c.Session": {
|
|
230
|
-
"merkle": "
|
|
298
|
+
"merkle": "48e42af8eea8f4cd7f18de6ddc060eb9ca10cc046855ce4827cc183be58105c2",
|
|
231
299
|
"own": "5f2aa2ddcd274d9681b261fef5c5d771e027d9991df16fcee57046a8b44f1379"
|
|
232
300
|
},
|
|
233
301
|
"c.Stopping": {
|
|
234
|
-
"merkle": "
|
|
302
|
+
"merkle": "bc808920534c439c605518711dda91c644a956ceaf2d44a8918646d9e6609a56",
|
|
235
303
|
"own": "6c173c71c5157b5672cceda204e351e632dd2a1e86ff5248b893d11966ab8d0e"
|
|
236
304
|
},
|
|
305
|
+
"c.TypeSyntax.anyQualifiesFunction": {
|
|
306
|
+
"merkle": "ce552b7bafa5bca939e64879a8081fca4ebb44cdb6a76fc7fa38f0b286045ba1",
|
|
307
|
+
"own": "b9540aa4b1f40e231d934b3650727f43e6c23d8929f775217e028ec65eff06ad"
|
|
308
|
+
},
|
|
309
|
+
"c.TypeSyntax.isFunctionType": {
|
|
310
|
+
"merkle": "6621167c592034b6ac4fc506a41e90d1af5282f9a866e6411c4b483757523e30",
|
|
311
|
+
"own": "ab038c670c3c187dee7eeb004a06196dd27328a55b8c48707a07da1a0199c78c"
|
|
312
|
+
},
|
|
313
|
+
"c.TypeSyntax.qualifiesFunction": {
|
|
314
|
+
"merkle": "7efc68f2c564778b3ad392ce852ca961675300010ec6c7a98eab76286a6b822c",
|
|
315
|
+
"own": "788d25d9ff40c9a1c26f740aa670708016aec8eb9013dfbfb15db004c1a1a3ff"
|
|
316
|
+
},
|
|
317
|
+
"c.TypeSyntax.resolve": {
|
|
318
|
+
"merkle": "361327bba7e2a62165f9e24bac989f73ac001cb7adb3189076ceb43b25aead07",
|
|
319
|
+
"own": "bfd437feeb565b7d0da3c000afe9795bd302795ab3e5967e594488563ff94b0e"
|
|
320
|
+
},
|
|
237
321
|
"c.divergences": {
|
|
238
|
-
"merkle": "
|
|
322
|
+
"merkle": "82a2f81fb8cd927087b03948ef21fc7f5ce5377a43ec7d6f913e30809f027919",
|
|
239
323
|
"own": "20fb3d8b626fa80c344090c7d9e3e6dbd98618d8968aabd708ff0d42557fc484"
|
|
240
324
|
},
|
|
241
325
|
"c.env": {
|
|
242
|
-
"merkle": "
|
|
326
|
+
"merkle": "7e7dc6c80e091bf9a0648fcc0e0c2b92042e863cbaa1e5bc836093d02ba09764",
|
|
243
327
|
"own": "ab37322f3b8af2b02d34f5b9a53dc2b45b122041b2ba74787b7fd5fe2e27bac2"
|
|
244
328
|
},
|
|
245
329
|
"c.feed": {
|
|
246
|
-
"merkle": "
|
|
330
|
+
"merkle": "0c9edd452ded5ad2a6668a4278863bbc893e2375291424fceba3cd5b962328cf",
|
|
247
331
|
"own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
|
|
248
332
|
},
|
|
249
333
|
"c.frames": {
|
|
250
|
-
"merkle": "
|
|
334
|
+
"merkle": "4e555d6f82d69870c8e79efb36f9b30c09d404bee03d53e7574cb48f5f49057a",
|
|
251
335
|
"own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
|
|
252
336
|
},
|
|
253
337
|
"c.globals": {
|
|
254
|
-
"merkle": "
|
|
338
|
+
"merkle": "7360a40ca77ebb66ebd20d9ccbba60db9db0ae28f5d10a4748cb9f7fca296797",
|
|
255
339
|
"own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
|
|
256
340
|
},
|
|
257
341
|
"c.load": {
|
|
258
|
-
"merkle": "
|
|
342
|
+
"merkle": "ee3030dbf982211fac4c85736629fb20987c7ff519f6bcf0b79a8bc7a5af423f",
|
|
259
343
|
"own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
|
|
260
344
|
},
|
|
261
345
|
"c.report": {
|
|
262
|
-
"merkle": "
|
|
346
|
+
"merkle": "34d5bdf3cc1607a81df32991dcacdba316ddbbef02ab2944f5bd736139b299f3",
|
|
263
347
|
"own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
|
|
264
348
|
},
|
|
265
349
|
"c.run": {
|
|
266
|
-
"merkle": "
|
|
350
|
+
"merkle": "2d9f047b989da09bcf2173069785b15ed4b2517c02330da827ff5161cfc8ddff",
|
|
267
351
|
"own": "832901b374ff74f11ddd297e26907a7f75f92e18a8ac71e37da139365cbece3e"
|
|
268
352
|
},
|
|
269
353
|
"c.setVarConf": {
|
|
270
|
-
"merkle": "
|
|
354
|
+
"merkle": "1cf6787e099b8854ba3c8fa64947a8374f3fa5e5837610cc5db47d1e49dc91dd",
|
|
271
355
|
"own": "2afb7946a846f6d65a2b589bbddfaeab0aec8cf40ef16fbe081488b3dbbddc62"
|
|
272
356
|
},
|
|
273
357
|
"c.setVarErr": {
|
|
274
|
-
"merkle": "
|
|
358
|
+
"merkle": "50fb715e6a7ba951601f726eb52e27ee47089a7e826009bcc53bbc764252a475",
|
|
275
359
|
"own": "51fec8d8ab03ec9b592a51eaa27a72375a2e11880cf2bbb7d7a432dd703c45b6"
|
|
276
360
|
},
|
|
277
361
|
"c.stopConf": {
|
|
278
|
-
"merkle": "
|
|
362
|
+
"merkle": "a4130da25a29ddc7e1ffef85a4249545254d5edbd84ff80cd879b193225426eb",
|
|
279
363
|
"own": "31b6e8bc10574a3d70503e74e2b0901caee019c3a0019ecee2401dab7b9d310e"
|
|
280
364
|
},
|
|
281
365
|
"c.stopDetail": {
|
|
282
|
-
"merkle": "
|
|
366
|
+
"merkle": "fbcc815b019bad59647485beea09b82b8224ba4f602723e46af9a7063e150603",
|
|
283
367
|
"own": "da8047506916df2a13bc45df7552363a925e648d822b7d198442256b0bc6b58b"
|
|
284
368
|
},
|
|
285
369
|
"c.stopErr": {
|
|
286
|
-
"merkle": "
|
|
370
|
+
"merkle": "b9172482307441b3485ec0318029b01aac2dbed6188c5396f6af438239385608",
|
|
287
371
|
"own": "a0eba9599817c3508c0ae20622d1605f5a005c31e5ca6880b89ba743ef267d86"
|
|
288
372
|
},
|
|
289
373
|
"c.stopKind": {
|
|
290
|
-
"merkle": "
|
|
374
|
+
"merkle": "c0bed553736784d2238e4c388a2f9d8a0bc7f8d9ed0d9da5187fcf5eebe29403",
|
|
291
375
|
"own": "50ede1925f287cc467aaa60b2abf2f51cebaa1baa487b4aaa9a49c52f97e04bc"
|
|
292
376
|
},
|
|
293
377
|
"c.stopNode": {
|
|
294
|
-
"merkle": "
|
|
378
|
+
"merkle": "943276a2c935881500f70a7eae82fab0a959482d25a04333aee4c5b72284af5b",
|
|
295
379
|
"own": "f8921dafa5e4149fd04fc60b2c221232c51d2944fa3eef667a064fcf12b02bfa"
|
|
296
380
|
},
|
|
297
381
|
"c.stopOut": {
|
|
298
|
-
"merkle": "
|
|
382
|
+
"merkle": "0d8417e3d155a3fcc5c637ed96738cf4e6f9d325aae794f2c1b6dfca1c69825d",
|
|
299
383
|
"own": "3413770dc8991e9ec7609695ccb5355cd64d12f9fc60f823f02ecce06e7e749e"
|
|
300
384
|
},
|
|
301
385
|
"c.types": {
|
|
302
|
-
"merkle": "
|
|
386
|
+
"merkle": "c00845e02fe8e0ecb76e4a72ad310c23b1d8d326a793c67dbbf6c4708f0ba8d7",
|
|
303
387
|
"own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
|
|
304
388
|
},
|
|
305
389
|
"c.verdict": {
|
|
306
|
-
"merkle": "
|
|
390
|
+
"merkle": "5555e1582861c908e87f94f6b8ac99674235f48a0021a52e9be4b1d1d9987705",
|
|
307
391
|
"own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
|
|
308
392
|
}
|
|
309
393
|
},
|
|
310
394
|
"format": 1,
|
|
311
|
-
"inputs": "
|
|
395
|
+
"inputs": "8e5ab206dbe226324d0d3a0e08094e3cd89c66b8d88c842f9b6d836c5316cb22",
|
|
312
396
|
"modules": {
|
|
313
397
|
"c": {
|
|
314
|
-
"bytes":
|
|
398
|
+
"bytes": 441968,
|
|
315
399
|
"deps": [
|
|
316
400
|
"c.reserved",
|
|
317
401
|
"c.naming",
|
|
@@ -320,7 +404,7 @@
|
|
|
320
404
|
]
|
|
321
405
|
},
|
|
322
406
|
"c.declarations": {
|
|
323
|
-
"bytes":
|
|
407
|
+
"bytes": 160743,
|
|
324
408
|
"deps": [
|
|
325
409
|
"c.reserved",
|
|
326
410
|
"c.naming",
|
|
@@ -328,14 +412,14 @@
|
|
|
328
412
|
]
|
|
329
413
|
},
|
|
330
414
|
"c.naming": {
|
|
331
|
-
"bytes":
|
|
415
|
+
"bytes": 243981,
|
|
332
416
|
"deps": [
|
|
333
417
|
"c.reserved",
|
|
334
418
|
"c.naming"
|
|
335
419
|
]
|
|
336
420
|
},
|
|
337
421
|
"c.reserved": {
|
|
338
|
-
"bytes":
|
|
422
|
+
"bytes": 56857,
|
|
339
423
|
"deps": [
|
|
340
424
|
"c.reserved"
|
|
341
425
|
]
|
|
@@ -347,8 +431,8 @@
|
|
|
347
431
|
"modules": [
|
|
348
432
|
"int",
|
|
349
433
|
"json",
|
|
350
|
-
"nat",
|
|
351
434
|
"list",
|
|
435
|
+
"nat",
|
|
352
436
|
"array",
|
|
353
437
|
"functor",
|
|
354
438
|
"monad"
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/c",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610310706",
|
|
4
4
|
"description": "C11 for the Cella proof checker, as a branch of the C family's deep embedding (@cella-lang/cfamily): a C program is a data value (the JSON semorphe sends), checked by C's rules and run by its small-step semantics; verdicts (accept, reject, unknown with the clause of the standard), a type query and a debugger host interface — compiled module pack.",
|
|
5
5
|
"files": [
|
|
6
6
|
"c.cell",
|
|
@@ -31,9 +31,9 @@
|
|
|
31
31
|
"author": "SungYu Chang",
|
|
32
32
|
"homepage": "https://cella-lang.org/",
|
|
33
33
|
"peerDependencies": {
|
|
34
|
-
"cella-lang": "0.1.
|
|
35
|
-
"@cella-lang/cfamily": "0.1.
|
|
36
|
-
"@cella-lang/machine": "0.1.
|
|
34
|
+
"cella-lang": "0.1.202610310706",
|
|
35
|
+
"@cella-lang/cfamily": "0.1.202610310706",
|
|
36
|
+
"@cella-lang/machine": "0.1.202610310706"
|
|
37
37
|
},
|
|
38
38
|
"cella": {
|
|
39
39
|
"checkerHash": "c23d5c2e1f29ce9f",
|
|
@@ -41,6 +41,6 @@
|
|
|
41
41
|
"modules": [
|
|
42
42
|
"c"
|
|
43
43
|
],
|
|
44
|
-
"packHash": "
|
|
44
|
+
"packHash": "c7a29ed11455c630"
|
|
45
45
|
}
|
|
46
46
|
}
|