@cella-lang/c 0.1.202610312350 → 0.1.202611011137
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 +105 -105
- package/package.json +8 -7
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
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"cbfVersion": 30,
|
|
3
|
-
"checkerHash": "
|
|
3
|
+
"checkerHash": "3369fc0950129d96",
|
|
4
4
|
"defs": {
|
|
5
5
|
"__RecordTag_c.Declared": {
|
|
6
6
|
"merkle": "c9cb2c27c7dd0a753e9dfc84b7ceb6356f2b6b44feaf9ac05b25ca17c6767be2",
|
|
@@ -11,7 +11,7 @@
|
|
|
11
11
|
"own": "5b0f70bc2ee6d3ea97c9cbb1513d057573a3e4efaf2ebba81e4de38ee4decca4"
|
|
12
12
|
},
|
|
13
13
|
"c.C.checking": {
|
|
14
|
-
"merkle": "
|
|
14
|
+
"merkle": "222fbde56fe62e5ff961f1fcdceecbe1075a424b1efb26906581c5da448a1ceb",
|
|
15
15
|
"own": "d13c6d62cd23c5dea3cba368e17244edfa34a34312a62a979b882db33fce98c3"
|
|
16
16
|
},
|
|
17
17
|
"c.C.constructs": {
|
|
@@ -19,128 +19,128 @@
|
|
|
19
19
|
"own": "c0191c02129e37b1ca4ffe8f3bfca9a92420c5a0220d4c592a90e99c77afd98d"
|
|
20
20
|
},
|
|
21
21
|
"c.C.cppItem": {
|
|
22
|
-
"merkle": "
|
|
23
|
-
"own": "
|
|
22
|
+
"merkle": "68a817f0fd5edbe3db6e6495b180842476a795754e5a40a95a6fb490676439e1",
|
|
23
|
+
"own": "e5c268da261722e9b0ca45e0b57a9c7aa88d7293cbf7698b42a05c40cafc3ea2"
|
|
24
24
|
},
|
|
25
25
|
"c.C.dialect": {
|
|
26
|
-
"merkle": "
|
|
26
|
+
"merkle": "0c95b53eb073a0d3e1eababee8d759762eed5f21871a07fdd50b428ad7de0140",
|
|
27
27
|
"own": "a813ab0b65555b3d44c60d91de41561fcd5db30855e9d62e650f0e3e651e69b6"
|
|
28
28
|
},
|
|
29
29
|
"c.C.effects": {
|
|
30
|
-
"merkle": "
|
|
31
|
-
"own": "
|
|
30
|
+
"merkle": "dedf5f1ab0c7608b8208eeb979eedee6bbc7a9a018c1f6c274fe68f2c5e95084",
|
|
31
|
+
"own": "0645cc945923c105f3dafcb3e1c1d7d68368861f607b3126a8b55a023f8ecd88"
|
|
32
32
|
},
|
|
33
33
|
"c.C.invalid": {
|
|
34
34
|
"merkle": "a0a4b7a38a63842e3a782ead314c97495fc05270fd609d96c1fe94101bf52d0c",
|
|
35
35
|
"own": "440cd3f6dfb7522c86bf71642e3d3e17056ac80aae06e16c12f7456aa797bd01"
|
|
36
36
|
},
|
|
37
37
|
"c.C.mismatch": {
|
|
38
|
-
"merkle": "
|
|
39
|
-
"own": "
|
|
38
|
+
"merkle": "c1c71a865d154158f2ffc8cd3bf5c27823fbe41252fc51cb51f974735e4ec328",
|
|
39
|
+
"own": "eaf1dbc689ee34ebdd75738e5616cf3cc25acb0999851ef462bd9064c5b8d840"
|
|
40
40
|
},
|
|
41
41
|
"c.C.programDialect": {
|
|
42
|
-
"merkle": "
|
|
42
|
+
"merkle": "5ac926a9d2ebb416742786a6521b8aa92cccca0565c975c1fbdc73380f68852d",
|
|
43
43
|
"own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
|
|
44
44
|
},
|
|
45
45
|
"c.C.programExtension": {
|
|
46
|
-
"merkle": "
|
|
46
|
+
"merkle": "2d403c572a53c71e33a5d78c334cb71df65c38dddd570ce26e36c46e9cf9c7d9",
|
|
47
47
|
"own": "d9221ce796a48482e8f997408365ef6a1611c50d36c92e2713de5733dc5efd6b"
|
|
48
48
|
},
|
|
49
49
|
"c.C.query": {
|
|
50
|
-
"merkle": "
|
|
50
|
+
"merkle": "0b35faaf1a8c3c983486691ea54f797b012c5f77ccf98be6025be6b6a0650577",
|
|
51
51
|
"own": "11ce588500fba76fe041991a8ab82636fd36a1e6cc6f335224a2edb057012ace"
|
|
52
52
|
},
|
|
53
53
|
"c.C.queryError": {
|
|
54
|
-
"merkle": "
|
|
54
|
+
"merkle": "09b84bfe80d6b3661a107a0197827f466cf4e847b6e0b963ac0fa8cb8a3e721e",
|
|
55
55
|
"own": "a1235c48359cfff7a14738be9779c6614f234c5f553bf601deb811f401e7aabb"
|
|
56
56
|
},
|
|
57
57
|
"c.C.rules": {
|
|
58
|
-
"merkle": "
|
|
59
|
-
"own": "
|
|
58
|
+
"merkle": "074aac6b73f0b0fc38264ec955348a7d44411b04526b49a40f1b682c64d1b8a7",
|
|
59
|
+
"own": "7fa2f2e1ebedffbe2fac5b1fad57a1bff425875be9b714ea87252e072c8bc0b2"
|
|
60
60
|
},
|
|
61
61
|
"c.C.typeText": {
|
|
62
|
-
"merkle": "
|
|
63
|
-
"own": "
|
|
62
|
+
"merkle": "fea99897d6df08ca9cdb2719301eac080b6bb221908f62716508131ce7744625",
|
|
63
|
+
"own": "4a28f9d303e8c8ff602aad82c0955c87a23d4cad80412a128ee913b76b6bc853"
|
|
64
64
|
},
|
|
65
65
|
"c.C.unionTags": {
|
|
66
|
-
"merkle": "
|
|
66
|
+
"merkle": "e8621b0004f0055fc460fd632392108ed5d9ad6c6e5b1d6157d47500a45622e5",
|
|
67
67
|
"own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
|
|
68
68
|
},
|
|
69
69
|
"c.C.verdictOf": {
|
|
70
|
-
"merkle": "
|
|
70
|
+
"merkle": "736a4605c43d3b91c743bf522a3e64b1fd062ee5ab262aa5a3e858b290501b75",
|
|
71
71
|
"own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
|
|
72
72
|
},
|
|
73
73
|
"c.Declarations.atFileScope": {
|
|
74
|
-
"merkle": "
|
|
75
|
-
"own": "
|
|
74
|
+
"merkle": "3c99d79553161b0c966ca583dc0ed78e69d5faeb043ddaf2dcaa07ab65280824",
|
|
75
|
+
"own": "807cbe0e7f705c8fa0231551a7f9ca0d33b84726d30c288c1f42911944794819"
|
|
76
76
|
},
|
|
77
77
|
"c.Declarations.clashAtFileScope": {
|
|
78
|
-
"merkle": "
|
|
79
|
-
"own": "
|
|
78
|
+
"merkle": "4b321fc25e751834bcefce2d738764fccdf5e8e64822755383fda2c99a2da81a",
|
|
79
|
+
"own": "3ca5631ffc971bac9adeb503ad1d499451cdefb79d913b6655e0ee41d1c14036"
|
|
80
80
|
},
|
|
81
81
|
"c.Declarations.compatible": {
|
|
82
|
-
"merkle": "
|
|
83
|
-
"own": "
|
|
82
|
+
"merkle": "ca15e54e40c3636431fb695020c8d89c4054193940df61cdcd84508f8106e9a6",
|
|
83
|
+
"own": "93f56d7d90d0a74df60866add0e6f1d0238e68d6a242cca19907564d94fc5be3"
|
|
84
84
|
},
|
|
85
85
|
"c.Declarations.declares": {
|
|
86
|
-
"merkle": "
|
|
87
|
-
"own": "
|
|
86
|
+
"merkle": "cf40313ba993234fdfb2c55a3751ca4d9d78b2964c483117ba741795f3fd791b",
|
|
87
|
+
"own": "f087163f84faa387ede4cdb97aa5dab98971345103d51cf46b74a45d4ea3b787"
|
|
88
88
|
},
|
|
89
89
|
"c.Declarations.expressionTypes": {
|
|
90
|
-
"merkle": "
|
|
91
|
-
"own": "
|
|
90
|
+
"merkle": "58c2ae576fed6363d139696c1965e217f96b60ff5c786029f56a03562db3aa36",
|
|
91
|
+
"own": "0bb39cfc964467a3d0e6bf7fe6651848fb50e6d9c19b45268721e0a0b9dfb89b"
|
|
92
92
|
},
|
|
93
93
|
"c.Declarations.firstWrong": {
|
|
94
|
-
"merkle": "
|
|
95
|
-
"own": "
|
|
94
|
+
"merkle": "0c6990a19e550daa514947d013b22abdba86741fe425589d9f5a73b52ed7f6da",
|
|
95
|
+
"own": "c07760248d1dd0192ead18492236410d51e22b5f75dabc394efb047542888a8c"
|
|
96
96
|
},
|
|
97
97
|
"c.Declarations.inClauses": {
|
|
98
|
-
"merkle": "
|
|
99
|
-
"own": "
|
|
98
|
+
"merkle": "bd791dd6ffa93ec49c3373346614ab2ba82331501c745b963b48e1da8fb7de47",
|
|
99
|
+
"own": "607d79ddf57ef720d04cb5210b114e1d43979978a77a4b869ec1f9ea374024fd"
|
|
100
100
|
},
|
|
101
101
|
"c.Declarations.inFunction": {
|
|
102
|
-
"merkle": "
|
|
103
|
-
"own": "
|
|
102
|
+
"merkle": "12eac5ca117b449ea96c79a7ad4dac945480e084e81d35428ed919b5110441fe",
|
|
103
|
+
"own": "7768da85087c950a738e204e4530028c9ac383cd9f76ebced63fe30287393234"
|
|
104
104
|
},
|
|
105
105
|
"c.Declarations.inStatement": {
|
|
106
|
-
"merkle": "
|
|
107
|
-
"own": "
|
|
106
|
+
"merkle": "051736e896e79cb9570daba364d16675fb7b07c1467b2295498e229a1d220610",
|
|
107
|
+
"own": "d74a4063687922346311c9aea5272fabfcb8b05ff8bcd5b494dcef338be6be45"
|
|
108
108
|
},
|
|
109
109
|
"c.Declarations.inStatements": {
|
|
110
|
-
"merkle": "
|
|
110
|
+
"merkle": "223055891a902f604a3f1f7616868e98b6c78cb30f0a2985a5c40c99be1d1f59",
|
|
111
111
|
"own": "670d46fc26f477cb485e976746f1660e530b5f6f94b07a530581f5f286631cf3"
|
|
112
112
|
},
|
|
113
113
|
"c.Declarations.incomplete": {
|
|
114
|
-
"merkle": "
|
|
115
|
-
"own": "
|
|
114
|
+
"merkle": "bc1bbf6212d4fe6592529a61759451119be70720a023e6bbb382b4577a58a148",
|
|
115
|
+
"own": "5e4c150fee12edd37adbae080725bb97b186a448ecad8fb581e55a8de5ca60d7"
|
|
116
116
|
},
|
|
117
117
|
"c.Declarations.lookup": {
|
|
118
|
-
"merkle": "
|
|
119
|
-
"own": "
|
|
118
|
+
"merkle": "f43878a06d884be31b34f14b085a0c5e1c2988979ddc5e0fe265e889c5edd8b9",
|
|
119
|
+
"own": "a63370fa5aaf02dd833a3c541dc08e4176c0a07a5856caae7339b33eb8c0f920"
|
|
120
120
|
},
|
|
121
121
|
"c.Declarations.qualifiedFunction": {
|
|
122
|
-
"merkle": "
|
|
122
|
+
"merkle": "0e4cd1be3db05ebce52d234af7489641e97b58d0bbd42ac766cdbca755491f70",
|
|
123
123
|
"own": "07ec6633cca5149c16bfdcefa8aef1d03e553a0297cc45d6fbe914b18f46d3e6"
|
|
124
124
|
},
|
|
125
125
|
"c.Declarations.tags": {
|
|
126
|
-
"merkle": "
|
|
127
|
-
"own": "
|
|
126
|
+
"merkle": "4ce5885c621ede8c0b7b55650949f6eb302db7f5da0f86bba7dc5f74038c898c",
|
|
127
|
+
"own": "bcedc068643bec6187b3afb2d6f0452a492d435fb8316acdaab6e6627bfd1e5b"
|
|
128
128
|
},
|
|
129
129
|
"c.Declarations.twice": {
|
|
130
|
-
"merkle": "
|
|
131
|
-
"own": "
|
|
130
|
+
"merkle": "ffb4c7748f7cfd4b471ab56370b783dcfa0a690826ca87c49e24e863b78b8ace",
|
|
131
|
+
"own": "f16011cb4972ef70fc2043b2767350089110f413c642f0bf050740d5f1610a7e"
|
|
132
132
|
},
|
|
133
133
|
"c.Declarations.typedefs": {
|
|
134
|
-
"merkle": "
|
|
135
|
-
"own": "
|
|
134
|
+
"merkle": "a07d6ca5a51e8d10a7905f4349c24b49c8e415f53aed1fb4f055d8147a1681bb",
|
|
135
|
+
"own": "4db7425a31472c2b8521bfa0e4fe19fdf74285364777190658762ead51c5109a"
|
|
136
136
|
},
|
|
137
137
|
"c.Declarations.unnamed": {
|
|
138
|
-
"merkle": "
|
|
139
|
-
"own": "
|
|
138
|
+
"merkle": "8a220b8356fb9e68ffd04bd23d44319c4c06979d1922e1f344c2fa452cc8b85b",
|
|
139
|
+
"own": "b0e8b86be98d5c2b9b8446012d5f331981e0c101f0eb2d032a93a241ba189846"
|
|
140
140
|
},
|
|
141
141
|
"c.Declarations.writtenTypes": {
|
|
142
|
-
"merkle": "
|
|
143
|
-
"own": "
|
|
142
|
+
"merkle": "f739afbbcb3b8e118f7947728bfbb2b15062f35109863fff093a95ca2df51778",
|
|
143
|
+
"own": "380cdfba94b1d0e425cd2450d91b1ba3bca73a3cdc4c13d826ad5f4ffe86f2e8"
|
|
144
144
|
},
|
|
145
145
|
"c.Declared": {
|
|
146
146
|
"merkle": "3a986a437878088c23f7c2a451c2027170dea292f0a8c5e66b863819e1ed5816",
|
|
@@ -159,52 +159,52 @@
|
|
|
159
159
|
"own": "8c513428f44d94239af828702fe4dc4b3eb0572ab459778e91dc284974a7ecd3"
|
|
160
160
|
},
|
|
161
161
|
"c.Naming.clauses": {
|
|
162
|
-
"merkle": "
|
|
163
|
-
"own": "
|
|
162
|
+
"merkle": "3d3daa3ccd13a02744ed66337dca48ec4d62fa251a843f7ce138bd8902ccd80e",
|
|
163
|
+
"own": "a0abec129e0bc8b72e5f17857894528e693b0d183e971d1bcbfae0a96f306d4c"
|
|
164
164
|
},
|
|
165
165
|
"c.Naming.firstReserved": {
|
|
166
|
-
"merkle": "
|
|
166
|
+
"merkle": "c5c9383172f8f548c6f4d3301b855045067179a163cba93bc632bad5c5fc438b",
|
|
167
167
|
"own": "e54844a710c1851faffacfe09974d477cd0af26c6dfafd3ccd9e7e54850a3ed1"
|
|
168
168
|
},
|
|
169
169
|
"c.Naming.headers": {
|
|
170
|
-
"merkle": "
|
|
171
|
-
"own": "
|
|
170
|
+
"merkle": "21f98cd7b1f7f491f6a138353f175f56d95987801639be34067c6f7856a706ad",
|
|
171
|
+
"own": "3646dffb4e8df9277ef2b5c18bc43355e05ad10f2b0a36f4d247d884cc8a9faa"
|
|
172
172
|
},
|
|
173
173
|
"c.Naming.initial": {
|
|
174
|
-
"merkle": "
|
|
174
|
+
"merkle": "24cf81e1d48ae26ba90080877580a7e62b68d8e9094583badc196bd955eea954",
|
|
175
175
|
"own": "f0ddc5d1d874893f51f353a81f42545f3b2e1cf80ff229d9122a6fa5af65bfba"
|
|
176
176
|
},
|
|
177
177
|
"c.Naming.isIn": {
|
|
178
|
-
"merkle": "
|
|
179
|
-
"own": "
|
|
178
|
+
"merkle": "5a52bc7d4d452d5fbc7e72a5d55af6cdd7d31660f0c95bce2a57d4079a5f6ac3",
|
|
179
|
+
"own": "92d24d6ed531b344007dbc5226cafe29bfd13c0c729b8fc5db3303786ea1c364"
|
|
180
180
|
},
|
|
181
181
|
"c.Naming.item": {
|
|
182
|
-
"merkle": "
|
|
183
|
-
"own": "
|
|
182
|
+
"merkle": "e90362f714f7b7c7db4f9893de471fc0cfa073525e560dc763080d71d000e816",
|
|
183
|
+
"own": "067b9258e6b4fef3afa3660bee787686fa7f2add7b5818026833e99dc81e782a"
|
|
184
184
|
},
|
|
185
185
|
"c.Naming.listedIn": {
|
|
186
|
-
"merkle": "
|
|
187
|
-
"own": "
|
|
186
|
+
"merkle": "d191cf9b40dc37bcdfae9cfef461480b1fb89266a1b0bc57dff9232c618924f7",
|
|
187
|
+
"own": "b669bda48e56be8c31659acb555b08d328d3c54dfe05b9b454e9eff3b3d4d118"
|
|
188
188
|
},
|
|
189
189
|
"c.Naming.member": {
|
|
190
|
-
"merkle": "
|
|
191
|
-
"own": "
|
|
190
|
+
"merkle": "c35b57008482c10b288603c9470d5c562535a76875dacc465c6ef5d958be06bb",
|
|
191
|
+
"own": "2aa7463546f4ebd1a652fa081d5e0996fdad818ad651d625e6d1902e74a62b04"
|
|
192
192
|
},
|
|
193
193
|
"c.Naming.statement": {
|
|
194
|
-
"merkle": "
|
|
195
|
-
"own": "
|
|
194
|
+
"merkle": "30b31ba7366621562387d92c8791492ba46228d459f06cb0a3b491e89f658932",
|
|
195
|
+
"own": "b08a91935be21cc9b202e4c36346973105c30257231af864fbbbf0a6fe5d5184"
|
|
196
196
|
},
|
|
197
197
|
"c.Naming.statements": {
|
|
198
|
-
"merkle": "
|
|
198
|
+
"merkle": "66603aec7cf2cb9e4edd8633590c853e6481dca60408b02a03c61e667c167506",
|
|
199
199
|
"own": "b2004c2efc3998ce64a7c0d7be675505301857a8b93ad23f7c65451106c5082e"
|
|
200
200
|
},
|
|
201
201
|
"c.Naming.underscoreCapital": {
|
|
202
|
-
"merkle": "
|
|
203
|
-
"own": "
|
|
202
|
+
"merkle": "7120ef2500ee3c94a599a7d92fd319766ba84be5686d92c4d1278dd602f2d7f2",
|
|
203
|
+
"own": "81bafbdd5438fe529cd52ffc09705e2842e7d96907dbfce803bd47576f2396d1"
|
|
204
204
|
},
|
|
205
205
|
"c.Naming.why": {
|
|
206
|
-
"merkle": "
|
|
207
|
-
"own": "
|
|
206
|
+
"merkle": "4798db1ea1cd353af2d532f8042606818e2dd4d14eafe129d3c5ee9459ebce8a",
|
|
207
|
+
"own": "e95f211f43886c2333d2e0362841478d9d5481d31f454d55c2b6faff58500429"
|
|
208
208
|
},
|
|
209
209
|
"c.Reserved.functions": {
|
|
210
210
|
"merkle": "0dd89c499c94cc1c9b734948da06656ec5c4b52691265ef6af81b0893b181b18",
|
|
@@ -295,111 +295,111 @@
|
|
|
295
295
|
"own": "14dbe90a13e0c6379520b8acf723cbdd91e4150bb6ea4be0391505832bbeafe7"
|
|
296
296
|
},
|
|
297
297
|
"c.Session": {
|
|
298
|
-
"merkle": "
|
|
298
|
+
"merkle": "854fe353582e51f7c6858d3e75afaf2b8104271b5a817156b3b3a51b490983f7",
|
|
299
299
|
"own": "5f2aa2ddcd274d9681b261fef5c5d771e027d9991df16fcee57046a8b44f1379"
|
|
300
300
|
},
|
|
301
301
|
"c.Stopping": {
|
|
302
|
-
"merkle": "
|
|
302
|
+
"merkle": "aee65ffffb9af5b80378ed40a0648e6db85e619fff542fff33c477896f55bbb2",
|
|
303
303
|
"own": "bc39e326f40233d48b18e0306abb73a2b77bc1cb4eb4bac5a70ca5c1b24e146d"
|
|
304
304
|
},
|
|
305
305
|
"c.TypeSyntax.anyQualifiesFunction": {
|
|
306
|
-
"merkle": "
|
|
306
|
+
"merkle": "cb005b1acb5e92ba439fa47381ac3f3aaa9e520a4b1e17f88a142e2778802d1e",
|
|
307
307
|
"own": "b9540aa4b1f40e231d934b3650727f43e6c23d8929f775217e028ec65eff06ad"
|
|
308
308
|
},
|
|
309
309
|
"c.TypeSyntax.isFunctionType": {
|
|
310
|
-
"merkle": "
|
|
310
|
+
"merkle": "0641f8911833681ba0060233a6b92d069dce5fb2a1b46827e872dfb843f19362",
|
|
311
311
|
"own": "1417221c30aee4ff0df9c22acb88b109a35414084de114fb008a4bc82122684d"
|
|
312
312
|
},
|
|
313
313
|
"c.TypeSyntax.qualifiesFunction": {
|
|
314
|
-
"merkle": "
|
|
314
|
+
"merkle": "454d9e3ed56bd0f23a68403863b0104480a4d692191890e1e59dc0573f7f4f96",
|
|
315
315
|
"own": "ff4e8829fbad8afefa758dbcb3feea441176e6bc19196d87be6a43b6eb7f8a40"
|
|
316
316
|
},
|
|
317
317
|
"c.TypeSyntax.resolve": {
|
|
318
|
-
"merkle": "
|
|
318
|
+
"merkle": "24aa0a3df7edbecaf469aed9361cec976c68b91ecac1bf5f1c340d3eaf8e6986",
|
|
319
319
|
"own": "b6f526742e3e58d523ff394cf02b65390ec3fd0da05f3741ce17de86d0128e52"
|
|
320
320
|
},
|
|
321
321
|
"c.divergences": {
|
|
322
|
-
"merkle": "
|
|
322
|
+
"merkle": "5ba8ca927029f410fb5eec2609b348e42abfb582790f44ba5e3b48d3802208dd",
|
|
323
323
|
"own": "de9d3c838b01c72ff49fe18576e3a159dd109265bc20c7503efc46fbbbbbd35b"
|
|
324
324
|
},
|
|
325
325
|
"c.env": {
|
|
326
|
-
"merkle": "
|
|
326
|
+
"merkle": "a62b2952380cf5e97cdc225672f324e3ab731f81680d07b76b007eaf653ff524",
|
|
327
327
|
"own": "ab37322f3b8af2b02d34f5b9a53dc2b45b122041b2ba74787b7fd5fe2e27bac2"
|
|
328
328
|
},
|
|
329
329
|
"c.feed": {
|
|
330
|
-
"merkle": "
|
|
330
|
+
"merkle": "73359c276914b6e3f02e12c501a6a15264daffddfb08a82e345f9db63a0cab65",
|
|
331
331
|
"own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
|
|
332
332
|
},
|
|
333
333
|
"c.frames": {
|
|
334
|
-
"merkle": "
|
|
334
|
+
"merkle": "ada18fab949fdf3ea13f9208e64c91d0a754e310fb87a0b597e401049c00baff",
|
|
335
335
|
"own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
|
|
336
336
|
},
|
|
337
337
|
"c.globals": {
|
|
338
|
-
"merkle": "
|
|
338
|
+
"merkle": "e6885bf7ddca2012f47a639f80bb5f59b2a450ef68483374f0970b579a8c220a",
|
|
339
339
|
"own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
|
|
340
340
|
},
|
|
341
341
|
"c.load": {
|
|
342
|
-
"merkle": "
|
|
342
|
+
"merkle": "7b23ceee6375e64d97f3695da28db7e31273dd00bc389aadc06f795e2b420b4b",
|
|
343
343
|
"own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
|
|
344
344
|
},
|
|
345
345
|
"c.report": {
|
|
346
|
-
"merkle": "
|
|
346
|
+
"merkle": "01ebb63496ccf863a71d0a08b635f4a4ea66b4fdf3b951f58516271b3164c342",
|
|
347
347
|
"own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
|
|
348
348
|
},
|
|
349
349
|
"c.run": {
|
|
350
|
-
"merkle": "
|
|
350
|
+
"merkle": "b6298271c76b22e167792b03f1690e5e8095e4e9f8cdaa3a2ec806c9102247d0",
|
|
351
351
|
"own": "8402f87d17ffd371f59af73d2b387b2632bc4f7ccad14ccfe5d6be6c2cd3825b"
|
|
352
352
|
},
|
|
353
353
|
"c.setVarConf": {
|
|
354
|
-
"merkle": "
|
|
354
|
+
"merkle": "4f4d704a806d01c951923073c74f2f02d514e869e1f8e038319723f480fc60a8",
|
|
355
355
|
"own": "2afb7946a846f6d65a2b589bbddfaeab0aec8cf40ef16fbe081488b3dbbddc62"
|
|
356
356
|
},
|
|
357
357
|
"c.setVarErr": {
|
|
358
|
-
"merkle": "
|
|
358
|
+
"merkle": "c96e23ea87208a76514ab6945cc6d0f2c25ed1e831ed2477f5373918da0fe895",
|
|
359
359
|
"own": "51fec8d8ab03ec9b592a51eaa27a72375a2e11880cf2bbb7d7a432dd703c45b6"
|
|
360
360
|
},
|
|
361
361
|
"c.stopConf": {
|
|
362
|
-
"merkle": "
|
|
362
|
+
"merkle": "711b57db1c366095f557419bebf350484df7986d427759b1ddb97952bb8b3171",
|
|
363
363
|
"own": "b3a32738d550955851ba46306fb8159e034a91764abd240fca6703269d57966c"
|
|
364
364
|
},
|
|
365
365
|
"c.stopDetail": {
|
|
366
|
-
"merkle": "
|
|
366
|
+
"merkle": "6028104cac568a7deb11be5025e361715d6456a8399959d95b65478ffe9494f8",
|
|
367
367
|
"own": "45067ad7cf6728983bb2c709b2c13f41f3f6c237c7a3315571b72d487f6f7338"
|
|
368
368
|
},
|
|
369
369
|
"c.stopErr": {
|
|
370
|
-
"merkle": "
|
|
370
|
+
"merkle": "b1324112663bd6a4c637ae46765662befd095b9be527a9b2c2aa875dc40747a4",
|
|
371
371
|
"own": "c8acb79bc39febd3a4095543e62d9a8a90f375a7b744f9a09d7314718c7d805f"
|
|
372
372
|
},
|
|
373
373
|
"c.stopKind": {
|
|
374
|
-
"merkle": "
|
|
374
|
+
"merkle": "63cf2ff2062db1c71f90552ec6176f04cc3871b94403b7e8ca495260d6b0ba59",
|
|
375
375
|
"own": "74774d2c94e831fb648e3b23d406d988bf95e868d319b0efd6a14def61c23389"
|
|
376
376
|
},
|
|
377
377
|
"c.stopNode": {
|
|
378
|
-
"merkle": "
|
|
378
|
+
"merkle": "8ff82876a7052f1ef0c6aa3768cc34ab64aec55f749a8563decb48240094e98d",
|
|
379
379
|
"own": "5c6be8b0f8fd43839fb952963f06c96e681fcaf6ba69febcf7a7625a313afa52"
|
|
380
380
|
},
|
|
381
381
|
"c.stopOut": {
|
|
382
|
-
"merkle": "
|
|
382
|
+
"merkle": "32266ad537603127eeb7371c4e99d6648bf705d7d31437a35a17fa5d86e7af30",
|
|
383
383
|
"own": "1973ec33b1e3d5338cb39747b32d567cbb47166398a732c383cfe872d9d839ce"
|
|
384
384
|
},
|
|
385
385
|
"c.stopVisits": {
|
|
386
|
-
"merkle": "
|
|
386
|
+
"merkle": "a9d27bb76eae412b96cd1fba7b57a6a575e3f3b178ee393494999b94807876d0",
|
|
387
387
|
"own": "052ff53c341ae938227fbd34cbf375bdfe1d7010e2f790b568ae0283a4129111"
|
|
388
388
|
},
|
|
389
389
|
"c.types": {
|
|
390
|
-
"merkle": "
|
|
390
|
+
"merkle": "9f122f2fd5f7c1b4ca016d9bdb7e3501e32bea6218f3d3a3ec719a2e6b9985e7",
|
|
391
391
|
"own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
|
|
392
392
|
},
|
|
393
393
|
"c.verdict": {
|
|
394
|
-
"merkle": "
|
|
394
|
+
"merkle": "bf7158d981377802caaa327c30777c50913689b04b4c77665683cec66042f05d",
|
|
395
395
|
"own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
|
|
396
396
|
}
|
|
397
397
|
},
|
|
398
398
|
"format": 1,
|
|
399
|
-
"inputs": "
|
|
399
|
+
"inputs": "3a926904e871d5d548019efaa10faede272544abe61fb3a50013ac0393db74cf",
|
|
400
400
|
"modules": {
|
|
401
401
|
"c": {
|
|
402
|
-
"bytes":
|
|
402
|
+
"bytes": 475955,
|
|
403
403
|
"deps": [
|
|
404
404
|
"c.reserved",
|
|
405
405
|
"c.naming",
|
|
@@ -408,7 +408,7 @@
|
|
|
408
408
|
]
|
|
409
409
|
},
|
|
410
410
|
"c.declarations": {
|
|
411
|
-
"bytes":
|
|
411
|
+
"bytes": 170640,
|
|
412
412
|
"deps": [
|
|
413
413
|
"c.reserved",
|
|
414
414
|
"c.naming",
|
|
@@ -416,14 +416,14 @@
|
|
|
416
416
|
]
|
|
417
417
|
},
|
|
418
418
|
"c.naming": {
|
|
419
|
-
"bytes":
|
|
419
|
+
"bytes": 256781,
|
|
420
420
|
"deps": [
|
|
421
421
|
"c.reserved",
|
|
422
422
|
"c.naming"
|
|
423
423
|
]
|
|
424
424
|
},
|
|
425
425
|
"c.reserved": {
|
|
426
|
-
"bytes":
|
|
426
|
+
"bytes": 55386,
|
|
427
427
|
"deps": [
|
|
428
428
|
"c.reserved"
|
|
429
429
|
]
|
|
@@ -431,7 +431,7 @@
|
|
|
431
431
|
},
|
|
432
432
|
"requires": {
|
|
433
433
|
"cella-lang": {
|
|
434
|
-
"checkerHash": "
|
|
434
|
+
"checkerHash": "3369fc0950129d96",
|
|
435
435
|
"modules": [
|
|
436
436
|
"int",
|
|
437
437
|
"json",
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/c",
|
|
3
|
-
"version": "0.1.
|
|
4
|
-
"description": "C11 for
|
|
3
|
+
"version": "0.1.202611011137",
|
|
4
|
+
"description": "C11 for Cella Lang, 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
7
|
"c.declarations.cell",
|
|
@@ -15,6 +15,7 @@
|
|
|
15
15
|
],
|
|
16
16
|
"keywords": [
|
|
17
17
|
"cella",
|
|
18
|
+
"cella-lang",
|
|
18
19
|
"proof",
|
|
19
20
|
"c",
|
|
20
21
|
"integer",
|
|
@@ -31,16 +32,16 @@
|
|
|
31
32
|
"author": "SungYu Chang",
|
|
32
33
|
"homepage": "https://cella-lang.org/",
|
|
33
34
|
"peerDependencies": {
|
|
34
|
-
"cella-lang": "0.1.
|
|
35
|
-
"@cella-lang/cfamily": "0.1.
|
|
36
|
-
"@cella-lang/machine": "0.1.
|
|
35
|
+
"cella-lang": "0.1.202611011136",
|
|
36
|
+
"@cella-lang/cfamily": "0.1.202611011136",
|
|
37
|
+
"@cella-lang/machine": "0.1.202611011136"
|
|
37
38
|
},
|
|
38
39
|
"cella": {
|
|
39
|
-
"checkerHash": "
|
|
40
|
+
"checkerHash": "3369fc0950129d96",
|
|
40
41
|
"cbfVersion": 30,
|
|
41
42
|
"modules": [
|
|
42
43
|
"c"
|
|
43
44
|
],
|
|
44
|
-
"packHash": "
|
|
45
|
+
"packHash": "229cbfaac7889ea4"
|
|
45
46
|
}
|
|
46
47
|
}
|