@cella-lang/c 0.1.202610302258 → 0.1.202610302353
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/index.json +6 -6
- package/package.json +3 -3
package/c.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -67,7 +67,7 @@
|
|
|
67
67
|
"own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
|
|
68
68
|
},
|
|
69
69
|
"c.C.verdictOf": {
|
|
70
|
-
"merkle": "
|
|
70
|
+
"merkle": "eac232a12e3bebad7813aae24c95e3f6cc0635ae63cd1e658abbce9dff7944bd",
|
|
71
71
|
"own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
|
|
72
72
|
},
|
|
73
73
|
"c.Declarations.atFileScope": {
|
|
@@ -259,11 +259,11 @@
|
|
|
259
259
|
"own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
|
|
260
260
|
},
|
|
261
261
|
"c.report": {
|
|
262
|
-
"merkle": "
|
|
262
|
+
"merkle": "908d43009da6875d52f87e737746481f6840011c977ce3e149c3b354d5550a1c",
|
|
263
263
|
"own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
|
|
264
264
|
},
|
|
265
265
|
"c.run": {
|
|
266
|
-
"merkle": "
|
|
266
|
+
"merkle": "3c6b10b7c512942aabc20cf3d7bb6feefc3af5c79ea18024f5ba36c099bb86e9",
|
|
267
267
|
"own": "832901b374ff74f11ddd297e26907a7f75f92e18a8ac71e37da139365cbece3e"
|
|
268
268
|
},
|
|
269
269
|
"c.setVarConf": {
|
|
@@ -303,15 +303,15 @@
|
|
|
303
303
|
"own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
|
|
304
304
|
},
|
|
305
305
|
"c.verdict": {
|
|
306
|
-
"merkle": "
|
|
306
|
+
"merkle": "8240aad4c10bed0dbd6aee1718eb84c43b645f16fbe25302f943cc0dc4197f7a",
|
|
307
307
|
"own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
|
|
308
308
|
}
|
|
309
309
|
},
|
|
310
310
|
"format": 1,
|
|
311
|
-
"inputs": "
|
|
311
|
+
"inputs": "386f1e4a70049582b0108b62a20d60c35a0d9c2176aa5c52b5630c034c330291",
|
|
312
312
|
"modules": {
|
|
313
313
|
"c": {
|
|
314
|
-
"bytes":
|
|
314
|
+
"bytes": 435432,
|
|
315
315
|
"deps": [
|
|
316
316
|
"c.reserved",
|
|
317
317
|
"c.naming",
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/c",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610302353",
|
|
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",
|
|
@@ -32,7 +32,7 @@
|
|
|
32
32
|
"homepage": "https://cella-lang.org/",
|
|
33
33
|
"peerDependencies": {
|
|
34
34
|
"cella-lang": "0.1.202610301840",
|
|
35
|
-
"@cella-lang/cfamily": "0.1.
|
|
35
|
+
"@cella-lang/cfamily": "0.1.202610302300",
|
|
36
36
|
"@cella-lang/machine": "0.1.202610301445"
|
|
37
37
|
},
|
|
38
38
|
"cella": {
|
|
@@ -41,6 +41,6 @@
|
|
|
41
41
|
"modules": [
|
|
42
42
|
"c"
|
|
43
43
|
],
|
|
44
|
-
"packHash": "
|
|
44
|
+
"packHash": "db2fc76869f5432d"
|
|
45
45
|
}
|
|
46
46
|
}
|