@cella-lang/c 0.1.202610301841 → 0.1.202610302056
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 +219 -31
- package/package.json +6 -3
package/c.cell
CHANGED
|
Binary file
|
|
Binary file
|
package/c.naming.cell
ADDED
|
Binary file
|
package/c.reserved.cell
ADDED
|
Binary file
|
package/index.json
CHANGED
|
@@ -2,8 +2,16 @@
|
|
|
2
2
|
"cbfVersion": 30,
|
|
3
3
|
"checkerHash": "c23d5c2e1f29ce9f",
|
|
4
4
|
"defs": {
|
|
5
|
+
"__RecordTag_c.Declared": {
|
|
6
|
+
"merkle": "c9cb2c27c7dd0a753e9dfc84b7ceb6356f2b6b44feaf9ac05b25ca17c6767be2",
|
|
7
|
+
"own": "7935eb77f29429744b89fbed2f0842a9f2e9f8063cb6f08188df68fe34408f46"
|
|
8
|
+
},
|
|
9
|
+
"__RecordTag_c.FileDeclaration": {
|
|
10
|
+
"merkle": "29e3d35d248c900d1a7ce79c9a43563bed32e7638cbd100ec79283239bbc2520",
|
|
11
|
+
"own": "5b0f70bc2ee6d3ea97c9cbb1513d057573a3e4efaf2ebba81e4de38ee4decca4"
|
|
12
|
+
},
|
|
5
13
|
"c.C.checking": {
|
|
6
|
-
"merkle": "
|
|
14
|
+
"merkle": "4639043a83e53d5c9b535a6b5f979f6d26ba4865455dad47030e3603422807dd",
|
|
7
15
|
"own": "d13c6d62cd23c5dea3cba368e17244edfa34a34312a62a979b882db33fce98c3"
|
|
8
16
|
},
|
|
9
17
|
"c.C.constructs": {
|
|
@@ -15,7 +23,7 @@
|
|
|
15
23
|
"own": "89cce2132dfdbf850d332c9a1749a09ceaaaf7a140f3ec67b2975d698b52a17f"
|
|
16
24
|
},
|
|
17
25
|
"c.C.dialect": {
|
|
18
|
-
"merkle": "
|
|
26
|
+
"merkle": "f663a5411170f6af02ba647a1fea43ad6e5b2e31ba43b986b605e3d4a8d76f59",
|
|
19
27
|
"own": "a813ab0b65555b3d44c60d91de41561fcd5db30855e9d62e650f0e3e651e69b6"
|
|
20
28
|
},
|
|
21
29
|
"c.C.effects": {
|
|
@@ -31,15 +39,15 @@
|
|
|
31
39
|
"own": "7e398b1ae168e9a36504512d36793819ff7ec6bbd94d96bd6d5b48db771d034d"
|
|
32
40
|
},
|
|
33
41
|
"c.C.programDialect": {
|
|
34
|
-
"merkle": "
|
|
42
|
+
"merkle": "f7f54c7f2e94f3c24ee6701cdedbc94b88d3499566f6321c2ea9333d0557981e",
|
|
35
43
|
"own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
|
|
36
44
|
},
|
|
37
45
|
"c.C.programExtension": {
|
|
38
|
-
"merkle": "
|
|
39
|
-
"own": "
|
|
46
|
+
"merkle": "391d0b4148ba61d0eb7ed04e9b414b2aa64a6fbb30b99f5789986cba4b59e99d",
|
|
47
|
+
"own": "d4c3069250d7275b660bd994c65f287a80a16736b7681b0556bff23b272e20a0"
|
|
40
48
|
},
|
|
41
49
|
"c.C.query": {
|
|
42
|
-
"merkle": "
|
|
50
|
+
"merkle": "8ca514effc27b19550dcd6260810d4d3b5a6924810d98eaafadcb4909863bdf5",
|
|
43
51
|
"own": "11ce588500fba76fe041991a8ab82636fd36a1e6cc6f335224a2edb057012ace"
|
|
44
52
|
},
|
|
45
53
|
"c.C.queryError": {
|
|
@@ -47,8 +55,8 @@
|
|
|
47
55
|
"own": "a1235c48359cfff7a14738be9779c6614f234c5f553bf601deb811f401e7aabb"
|
|
48
56
|
},
|
|
49
57
|
"c.C.rules": {
|
|
50
|
-
"merkle": "
|
|
51
|
-
"own": "
|
|
58
|
+
"merkle": "d8a2bbb1c6e54387b7ab0d67bed7a578bcc1087f1b477ef0e8011d8d9656a01c",
|
|
59
|
+
"own": "856b63b05c21fbc35a9e4bad39c1a5ad5d1829b6301184ccbc50b830a3ee8f75"
|
|
52
60
|
},
|
|
53
61
|
"c.C.typeText": {
|
|
54
62
|
"merkle": "2968a35964dae6a777a58e667f312378f34b90fdc328c95aad8587c430e9e5f2",
|
|
@@ -59,98 +67,278 @@
|
|
|
59
67
|
"own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
|
|
60
68
|
},
|
|
61
69
|
"c.C.verdictOf": {
|
|
62
|
-
"merkle": "
|
|
70
|
+
"merkle": "a6b3054b1de93216f963dbee65216939efd422de5f773d4e92eb12c02c7bd816",
|
|
63
71
|
"own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
|
|
64
72
|
},
|
|
73
|
+
"c.Declarations.atFileScope": {
|
|
74
|
+
"merkle": "e7d1055fa5163febf05fbeda8da2a5b2300f1637d612499e68700420db6ce2ad",
|
|
75
|
+
"own": "459a71031b308d9a6acaf95b49f4416503a3eee9505e31bb2da63b8b0d1af22c"
|
|
76
|
+
},
|
|
77
|
+
"c.Declarations.clashAtFileScope": {
|
|
78
|
+
"merkle": "7d4aa68a3fae473ae683583561f4d6207df8e970e18f65ad183bcba4ee64c8e2",
|
|
79
|
+
"own": "b140b4698e6449e92e1967efa81f8f93606af8ca223453cb97d0dd33dfacc42e"
|
|
80
|
+
},
|
|
81
|
+
"c.Declarations.compatible": {
|
|
82
|
+
"merkle": "37de2d169c96ff9f6aaa3a0b0b1631104b1624818bdd8803dff88b16aae99651",
|
|
83
|
+
"own": "9b4f58f57ab9798b388a2dc2a9d1f406df86762ba6cde6ffe7026a8923674be5"
|
|
84
|
+
},
|
|
85
|
+
"c.Declarations.declares": {
|
|
86
|
+
"merkle": "92ae32e4e56fe0b490884f89da11592f030851294fd9a2f7ffaee5fa685e30a7",
|
|
87
|
+
"own": "52ae5b57320058384fd59bd499fa422f539a3c3d80b839fcca94992c6f3a434c"
|
|
88
|
+
},
|
|
89
|
+
"c.Declarations.firstWrong": {
|
|
90
|
+
"merkle": "2bbfcae92f851b82deb80035a8c7fa075e72a70563394eaed2fba70bc04f2b4a",
|
|
91
|
+
"own": "c447a3ead6d156c77575e1cee49d525245bf5eb857489691c71b317b082e1978"
|
|
92
|
+
},
|
|
93
|
+
"c.Declarations.inClauses": {
|
|
94
|
+
"merkle": "bd9a169c9c94d7496e668aa1dcd60df1f113dc20e2f970008dc2ddb015afdb85",
|
|
95
|
+
"own": "c733092ea6cdc23a95f3a62a2ac125ee9c03669ec245c55d1cb117af9e34e150"
|
|
96
|
+
},
|
|
97
|
+
"c.Declarations.inFunction": {
|
|
98
|
+
"merkle": "8bc5828f27d9e039521a2f3ac3fe36f88a0a69448f5e1116140ade8246aa8977",
|
|
99
|
+
"own": "7440e9d9f817593a204b4f5c4ac310b9b90d2a8e0001e2c0a4c6995347f33aee"
|
|
100
|
+
},
|
|
101
|
+
"c.Declarations.inStatement": {
|
|
102
|
+
"merkle": "76e1d05c5065675fffb39323d0c1b54e157667b11d1190b2300e106c65571845",
|
|
103
|
+
"own": "5d2485b548d28d501abb9ad17fba7314c957f049048d261de73d533f762b9726"
|
|
104
|
+
},
|
|
105
|
+
"c.Declarations.inStatements": {
|
|
106
|
+
"merkle": "4dfb8bd120785a2205e1ecb3dbec419aa62af5ff4fed98015d425af081b87f53",
|
|
107
|
+
"own": "670d46fc26f477cb485e976746f1660e530b5f6f94b07a530581f5f286631cf3"
|
|
108
|
+
},
|
|
109
|
+
"c.Declarations.incomplete": {
|
|
110
|
+
"merkle": "a5700935d051be7332223802a70d41b8822ce12741b4db85031cab4d175266cd",
|
|
111
|
+
"own": "5b7608fffb3d2558b6b8903551fac8018e51ee76f01455bfe534360534f09f77"
|
|
112
|
+
},
|
|
113
|
+
"c.Declarations.tags": {
|
|
114
|
+
"merkle": "35cefb82bd82b99576fe66844bd3ddf30472ec18f7d4dff33aeafaa617872cbd",
|
|
115
|
+
"own": "c332dccc0ebdea64c5542bf6e5ff1ee549ceb2de5cb2f78adf78758cb03ff3eb"
|
|
116
|
+
},
|
|
117
|
+
"c.Declarations.twice": {
|
|
118
|
+
"merkle": "972d6e00deb97cbc464e3efad9d4a87b0320ee97fcdfb42ba6157ebd155dbf58",
|
|
119
|
+
"own": "c4a35804d0e1dac8e2673800004f5b1fc222d292b877eddcef38661051432f81"
|
|
120
|
+
},
|
|
121
|
+
"c.Declarations.unnamed": {
|
|
122
|
+
"merkle": "22aa2184aee9840a4ceea0684f214afec86fba87a09a62ff02091303f3dab70e",
|
|
123
|
+
"own": "d7154dc1012739dabef5fee242d1f87009f18121e32283aedf42ca5bae515428"
|
|
124
|
+
},
|
|
125
|
+
"c.Declared": {
|
|
126
|
+
"merkle": "3a986a437878088c23f7c2a451c2027170dea292f0a8c5e66b863819e1ed5816",
|
|
127
|
+
"own": "d0c45e57005d4be416c94d1a1cafa14c137740ce362f8604b308984bcdbe814f"
|
|
128
|
+
},
|
|
129
|
+
"c.Declared.mk": {
|
|
130
|
+
"merkle": "aa017ecaaec4f68bf497a8899115a2aeac2664e45beae2faaef6689f580696cc",
|
|
131
|
+
"own": "3e6bfbd843d0861945e234e399992bb5ec4cd31e4824b9997671f333fe54abad"
|
|
132
|
+
},
|
|
133
|
+
"c.FileDeclaration": {
|
|
134
|
+
"merkle": "76d93406e34d20a93be123b0a5144a4cacdaaa73ec3659343863b87efda386da",
|
|
135
|
+
"own": "de40c22b547f7478d33045810a05ac4cd1cb4d24703740bacc7a661225e2c4a6"
|
|
136
|
+
},
|
|
137
|
+
"c.FileDeclaration.mk": {
|
|
138
|
+
"merkle": "5a18ec56645809e42fcd9604ca68cbc931536e9436009b526bcdabfd417b2cd6",
|
|
139
|
+
"own": "8c513428f44d94239af828702fe4dc4b3eb0572ab459778e91dc284974a7ecd3"
|
|
140
|
+
},
|
|
141
|
+
"c.Naming.clauses": {
|
|
142
|
+
"merkle": "73e6cf4fef90e23cdb0960f6030e3d69dd480272ab8d8d50b2cc30e3ca0bb7eb",
|
|
143
|
+
"own": "ac3340fdf422fcf3c8d8489f2f5acfdf187faa7e8fbae8251ae08c1d91dd7179"
|
|
144
|
+
},
|
|
145
|
+
"c.Naming.firstReserved": {
|
|
146
|
+
"merkle": "38518b5eaca82093f4a2c91004eb0ccf43e49e369152e32e1eca7c92e2f0858d",
|
|
147
|
+
"own": "64c4dd3a07b3bbee501576762286a652077f71b393be7bc0995c1240995fb500"
|
|
148
|
+
},
|
|
149
|
+
"c.Naming.initial": {
|
|
150
|
+
"merkle": "85aa88de41efbd07e71aff9d8ca46ab693a776f9d9acade0f2ea5855f30251d2",
|
|
151
|
+
"own": "f0ddc5d1d874893f51f353a81f42545f3b2e1cf80ff229d9122a6fa5af65bfba"
|
|
152
|
+
},
|
|
153
|
+
"c.Naming.isIn": {
|
|
154
|
+
"merkle": "94fa95a8626c84e1ff5491388c02e3e19f9c14f3de45a0acaa1ed657eeb7ac5f",
|
|
155
|
+
"own": "a7010d733b40c0a4ffba3f3178d512d61629f5bdba1e1c258d4f680f968d9303"
|
|
156
|
+
},
|
|
157
|
+
"c.Naming.item": {
|
|
158
|
+
"merkle": "232121dbf40eeb81fa42b08ea3401b9030e3ba39b540c45666919a5c633e1cb3",
|
|
159
|
+
"own": "54cbefa79239a253dfa42fb38f9e34086271551fef87b5c4466a5916523c95fb"
|
|
160
|
+
},
|
|
161
|
+
"c.Naming.member": {
|
|
162
|
+
"merkle": "0bb66a7dd3335b2717c32004eb9d5f21cb03fe2de06f28eacbc0f8f6bfa0c3f3",
|
|
163
|
+
"own": "ff9e10d26cc443b6a00d6a32d095fde525f7981c69a49079d7101692422803b1"
|
|
164
|
+
},
|
|
165
|
+
"c.Naming.statement": {
|
|
166
|
+
"merkle": "f58b2943f1192da0b515634726c87a7ed850c1ca0481a8b82760e32ebf2b81cd",
|
|
167
|
+
"own": "41224c147093bdf7277e712e9d7036b348b831c0b0bab826673613f7d1501eee"
|
|
168
|
+
},
|
|
169
|
+
"c.Naming.statements": {
|
|
170
|
+
"merkle": "7d3fa355e123a90817d28e48da89d6ff48d9af12cee71f446dd3b9014f2e9180",
|
|
171
|
+
"own": "b2004c2efc3998ce64a7c0d7be675505301857a8b93ad23f7c65451106c5082e"
|
|
172
|
+
},
|
|
173
|
+
"c.Naming.underscoreCapital": {
|
|
174
|
+
"merkle": "53b07acb7d5a5ce5a6adbe2705d238cdbec5de69ae3a915b4bc4eda4f746eb52",
|
|
175
|
+
"own": "6cd353d172c904f206d4b84f25994034f25db3defb2e588cfe4433a0bb5ae267"
|
|
176
|
+
},
|
|
177
|
+
"c.Naming.why": {
|
|
178
|
+
"merkle": "b2927405356162e7ab3e652ab49ef6b4f3a6c9d9792235ebdc01b67c4142d165",
|
|
179
|
+
"own": "46d73b53c7be3443eb7f406ceea3225cdf7e5d77ee81a74e5ad5abef055b07a4"
|
|
180
|
+
},
|
|
181
|
+
"c.Reserved.functions": {
|
|
182
|
+
"merkle": "0dd89c499c94cc1c9b734948da06656ec5c4b52691265ef6af81b0893b181b18",
|
|
183
|
+
"own": "396a8f478fbee539674e1d13b631dff6f6425792f8d4edaee2384a63ae040460"
|
|
184
|
+
},
|
|
185
|
+
"c.Reserved.functions0": {
|
|
186
|
+
"merkle": "4eeef822bf87919a82b59f26e9ce842a8f50c5e77c0ae7ca74e34c3be464fbde",
|
|
187
|
+
"own": "1e7ba7aaf27fb1aa4199421db8a3e5ad1c1d1374d8bcd94367f54ba9343b345e"
|
|
188
|
+
},
|
|
189
|
+
"c.Reserved.functions1": {
|
|
190
|
+
"merkle": "552448622fadb9f6e08a33b481b021d1b32b26dd3b1d35f6a4881bf6c7e9edf6",
|
|
191
|
+
"own": "7590ee5ee67a913c8ccc86f2c99b05de53589f9fa1ab1618b6404c37bc8e903c"
|
|
192
|
+
},
|
|
193
|
+
"c.Reserved.functions2": {
|
|
194
|
+
"merkle": "f981aa8bc0e1e1f77c0c5ac8360a2659932d0df760d03be41b0467f2de6cb2ca",
|
|
195
|
+
"own": "ede4e8f3a31b6cf313e7212ee403e14300a98eedf414a5bf2a9b5046e82a01e5"
|
|
196
|
+
},
|
|
197
|
+
"c.Reserved.functions3": {
|
|
198
|
+
"merkle": "d4e98e2ff9b73a251f992d6d898afcb98f347b4a4e2d99c7e71c61d071a700b2",
|
|
199
|
+
"own": "129e5193333976a23fdff2cda6b6a68f75c4d2b7d847f47485b6747fe79ee89d"
|
|
200
|
+
},
|
|
201
|
+
"c.Reserved.functions4": {
|
|
202
|
+
"merkle": "e0c1852353bdff936d67d9de7680b1b7a5ca9c1cb85f727d7e1bfd8e4fa858fe",
|
|
203
|
+
"own": "fa6af1ffcdb10d6f1189c492b8d9abec9fd264d15f409f581d9c31e453927246"
|
|
204
|
+
},
|
|
205
|
+
"c.Reserved.functions5": {
|
|
206
|
+
"merkle": "b13d8757b413fa601014a03a4b4fc767efe098ca070e22114060550e905bb36f",
|
|
207
|
+
"own": "c73ee49162685c729af15d8ebf84acaa5d8b0d26ceedc5a70c815d65a9df0a71"
|
|
208
|
+
},
|
|
209
|
+
"c.Reserved.functions6": {
|
|
210
|
+
"merkle": "7275ea28baf512e65f9475ca0cb4cea422876024bfc7b7b52abf97936c797a61",
|
|
211
|
+
"own": "4b6b92db50c02e9b6094f65f0f9a1d5b304081aba33120098f7b8568648cfe80"
|
|
212
|
+
},
|
|
213
|
+
"c.Reserved.functions7": {
|
|
214
|
+
"merkle": "fdc6a16a9d3eda4616b9f9485e5ab336ac342a146987e142ebb0a24620236d03",
|
|
215
|
+
"own": "9d06d95559479c71a5a8b7d0206b2cb66a66299883a71571ec5a68ed9a80a43d"
|
|
216
|
+
},
|
|
217
|
+
"c.Reserved.functions8": {
|
|
218
|
+
"merkle": "8ed4e6e1139971929a2e2aa50d5c5076454e3804ff1db1d1a2cb949e8e1bb6f0",
|
|
219
|
+
"own": "580ead1e62c1fa23016f59a641050b4b663aa159477b72ffa5b431bd3593fed1"
|
|
220
|
+
},
|
|
221
|
+
"c.Reserved.functions9": {
|
|
222
|
+
"merkle": "642457b53b0e39d4d93f3823a6e62f3a741a2c8f9fe0fdd4d6ce3d6c4dbf54c0",
|
|
223
|
+
"own": "1cf9cda70e5a56aae525cd4e937bcd01edbbf45298a75408641c58c3779fe494"
|
|
224
|
+
},
|
|
225
|
+
"c.Reserved.keywords": {
|
|
226
|
+
"merkle": "d423f9e514173c37421dbdc2be8ca4ae8b5907b62c9c95c3eda05af5d9266635",
|
|
227
|
+
"own": "d4d968d38a01a539e2ef7d2a7cc13b00e0ca732cc5c2a515c6b36cc3bc5542bf"
|
|
228
|
+
},
|
|
65
229
|
"c.Session": {
|
|
66
|
-
"merkle": "
|
|
230
|
+
"merkle": "2b5cf4cc8c87c837eb8cb5cd30f0b657712780d7906eaa965a562da7a40979db",
|
|
67
231
|
"own": "5f2aa2ddcd274d9681b261fef5c5d771e027d9991df16fcee57046a8b44f1379"
|
|
68
232
|
},
|
|
69
233
|
"c.Stopping": {
|
|
70
|
-
"merkle": "
|
|
234
|
+
"merkle": "fad67946a170d7336a13c0b2f4918e8fb0fbabbf16ca7cd815f8175659ef9c87",
|
|
71
235
|
"own": "6c173c71c5157b5672cceda204e351e632dd2a1e86ff5248b893d11966ab8d0e"
|
|
72
236
|
},
|
|
73
237
|
"c.divergences": {
|
|
74
|
-
"merkle": "
|
|
238
|
+
"merkle": "354b7633cc9d2c8f7b4474a92b4ba44c641afdea82821a738e0451c559cc2916",
|
|
75
239
|
"own": "20fb3d8b626fa80c344090c7d9e3e6dbd98618d8968aabd708ff0d42557fc484"
|
|
76
240
|
},
|
|
77
241
|
"c.env": {
|
|
78
|
-
"merkle": "
|
|
242
|
+
"merkle": "84033a5117aed0dd77d60548a1787daaa1600ae84fc0140d0fc833b709ad123c",
|
|
79
243
|
"own": "ab37322f3b8af2b02d34f5b9a53dc2b45b122041b2ba74787b7fd5fe2e27bac2"
|
|
80
244
|
},
|
|
81
245
|
"c.feed": {
|
|
82
|
-
"merkle": "
|
|
246
|
+
"merkle": "68aa447856fd4aa8f35306f758a9ae7e9dc22bbf95c12fb053661bc1d132928c",
|
|
83
247
|
"own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
|
|
84
248
|
},
|
|
85
249
|
"c.frames": {
|
|
86
|
-
"merkle": "
|
|
250
|
+
"merkle": "fdc5be7ef7b6b9a8272dc9d9de5c8123bb251e5e426df168a30e50b0c0469ddd",
|
|
87
251
|
"own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
|
|
88
252
|
},
|
|
89
253
|
"c.globals": {
|
|
90
|
-
"merkle": "
|
|
254
|
+
"merkle": "d66f66805c33c0a83bee44d9824a6cb0848a9bcf5fb23ce1d358358ffc4911e5",
|
|
91
255
|
"own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
|
|
92
256
|
},
|
|
93
257
|
"c.load": {
|
|
94
|
-
"merkle": "
|
|
258
|
+
"merkle": "a46a1c6157601d76d9dfa6e289b994346b05ffc6630444ee706da44e10d3473a",
|
|
95
259
|
"own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
|
|
96
260
|
},
|
|
97
261
|
"c.report": {
|
|
98
|
-
"merkle": "
|
|
262
|
+
"merkle": "f909df3b193f0a624fd3640cf9e95cb8b8648e98eaadefd18cbd528744667071",
|
|
99
263
|
"own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
|
|
100
264
|
},
|
|
101
265
|
"c.run": {
|
|
102
|
-
"merkle": "
|
|
266
|
+
"merkle": "10879d577f59c27a7261057afd7a858b31e3e69762a8d4bae10044c3450a62dc",
|
|
103
267
|
"own": "832901b374ff74f11ddd297e26907a7f75f92e18a8ac71e37da139365cbece3e"
|
|
104
268
|
},
|
|
105
269
|
"c.setVarConf": {
|
|
106
|
-
"merkle": "
|
|
270
|
+
"merkle": "d7fff4317e8a91c81b15133f5d012cdabecbd26e998d39600eebf326a894977d",
|
|
107
271
|
"own": "2afb7946a846f6d65a2b589bbddfaeab0aec8cf40ef16fbe081488b3dbbddc62"
|
|
108
272
|
},
|
|
109
273
|
"c.setVarErr": {
|
|
110
|
-
"merkle": "
|
|
274
|
+
"merkle": "6a7d910258f831c2d096b9841d70aac69198cdc96fd0127a6d59d5bdde089470",
|
|
111
275
|
"own": "51fec8d8ab03ec9b592a51eaa27a72375a2e11880cf2bbb7d7a432dd703c45b6"
|
|
112
276
|
},
|
|
113
277
|
"c.stopConf": {
|
|
114
|
-
"merkle": "
|
|
278
|
+
"merkle": "cd7b5fb18a06c4dc58e9ab2c10446019d9bc2e7af39eba180499952f92b2ad14",
|
|
115
279
|
"own": "31b6e8bc10574a3d70503e74e2b0901caee019c3a0019ecee2401dab7b9d310e"
|
|
116
280
|
},
|
|
117
281
|
"c.stopDetail": {
|
|
118
|
-
"merkle": "
|
|
282
|
+
"merkle": "eb4bb173a6d686761349c845806d025e974b8a1c8afd214c885bee9aadfda429",
|
|
119
283
|
"own": "da8047506916df2a13bc45df7552363a925e648d822b7d198442256b0bc6b58b"
|
|
120
284
|
},
|
|
121
285
|
"c.stopErr": {
|
|
122
|
-
"merkle": "
|
|
286
|
+
"merkle": "97a29b43f74bc2e3f19d763cd0453676ba0c00568dac68ac73cf80efc31e231a",
|
|
123
287
|
"own": "a0eba9599817c3508c0ae20622d1605f5a005c31e5ca6880b89ba743ef267d86"
|
|
124
288
|
},
|
|
125
289
|
"c.stopKind": {
|
|
126
|
-
"merkle": "
|
|
290
|
+
"merkle": "74d908f7cdfdcc4a8c864c602e46f937a4a021506dc834001b952d975b785c47",
|
|
127
291
|
"own": "50ede1925f287cc467aaa60b2abf2f51cebaa1baa487b4aaa9a49c52f97e04bc"
|
|
128
292
|
},
|
|
129
293
|
"c.stopNode": {
|
|
130
|
-
"merkle": "
|
|
294
|
+
"merkle": "5af6988dd5ad1a084d28c9bbe581cae65aea7ad3cefbe8e942a80a42af82eb85",
|
|
131
295
|
"own": "f8921dafa5e4149fd04fc60b2c221232c51d2944fa3eef667a064fcf12b02bfa"
|
|
132
296
|
},
|
|
133
297
|
"c.stopOut": {
|
|
134
|
-
"merkle": "
|
|
298
|
+
"merkle": "41b462c0d69fb9ecb5c5c346a2ea4ee931a7c3bb8ad2d213e2306ac6496f3971",
|
|
135
299
|
"own": "3413770dc8991e9ec7609695ccb5355cd64d12f9fc60f823f02ecce06e7e749e"
|
|
136
300
|
},
|
|
137
301
|
"c.types": {
|
|
138
|
-
"merkle": "
|
|
302
|
+
"merkle": "73259a82e1a9b5faae449fade754e49065148e26467f46c462d4e8235a3072b4",
|
|
139
303
|
"own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
|
|
140
304
|
},
|
|
141
305
|
"c.verdict": {
|
|
142
|
-
"merkle": "
|
|
306
|
+
"merkle": "5c97a6951491243cab997c26be8df37a4b5b1ac48bc9fed616631fecfee64117",
|
|
143
307
|
"own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
|
|
144
308
|
}
|
|
145
309
|
},
|
|
146
310
|
"format": 1,
|
|
147
|
-
"inputs": "
|
|
311
|
+
"inputs": "a9223b844b885fd29eb4a4ff0049b1b1972dd5b243f95b57eaf6da5545ebe20d",
|
|
148
312
|
"modules": {
|
|
149
313
|
"c": {
|
|
150
|
-
"bytes":
|
|
314
|
+
"bytes": 435139,
|
|
151
315
|
"deps": [
|
|
316
|
+
"c.reserved",
|
|
317
|
+
"c.naming",
|
|
318
|
+
"c.declarations",
|
|
152
319
|
"c"
|
|
153
320
|
]
|
|
321
|
+
},
|
|
322
|
+
"c.declarations": {
|
|
323
|
+
"bytes": 150650,
|
|
324
|
+
"deps": [
|
|
325
|
+
"c.reserved",
|
|
326
|
+
"c.naming",
|
|
327
|
+
"c.declarations"
|
|
328
|
+
]
|
|
329
|
+
},
|
|
330
|
+
"c.naming": {
|
|
331
|
+
"bytes": 136883,
|
|
332
|
+
"deps": [
|
|
333
|
+
"c.reserved",
|
|
334
|
+
"c.naming"
|
|
335
|
+
]
|
|
336
|
+
},
|
|
337
|
+
"c.reserved": {
|
|
338
|
+
"bytes": 41923,
|
|
339
|
+
"deps": [
|
|
340
|
+
"c.reserved"
|
|
341
|
+
]
|
|
154
342
|
}
|
|
155
343
|
},
|
|
156
344
|
"requires": {
|
package/package.json
CHANGED
|
@@ -1,9 +1,12 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/c",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610302056",
|
|
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",
|
|
7
|
+
"c.declarations.cell",
|
|
8
|
+
"c.naming.cell",
|
|
9
|
+
"c.reserved.cell",
|
|
7
10
|
"index.json",
|
|
8
11
|
"README.md",
|
|
9
12
|
"LICENSE",
|
|
@@ -29,7 +32,7 @@
|
|
|
29
32
|
"homepage": "https://cella-lang.org/",
|
|
30
33
|
"peerDependencies": {
|
|
31
34
|
"cella-lang": "0.1.202610301840",
|
|
32
|
-
"@cella-lang/cfamily": "0.1.
|
|
35
|
+
"@cella-lang/cfamily": "0.1.202610301840",
|
|
33
36
|
"@cella-lang/machine": "0.1.202610301445"
|
|
34
37
|
},
|
|
35
38
|
"cella": {
|
|
@@ -38,6 +41,6 @@
|
|
|
38
41
|
"modules": [
|
|
39
42
|
"c"
|
|
40
43
|
],
|
|
41
|
-
"packHash": "
|
|
44
|
+
"packHash": "0705c7040ab36bfb"
|
|
42
45
|
}
|
|
43
46
|
}
|