@cella-lang/c 0.1.202611021533 → 0.1.202611022104
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 +7 -7
- package/package.json +5 -5
package/c.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -31,8 +31,8 @@
|
|
|
31
31
|
"own": "0645cc945923c105f3dafcb3e1c1d7d68368861f607b3126a8b55a023f8ecd88"
|
|
32
32
|
},
|
|
33
33
|
"c.C.invalid": {
|
|
34
|
-
"merkle": "
|
|
35
|
-
"own": "
|
|
34
|
+
"merkle": "ef8baee2378f7b2f4492b8ecfad5b8327d5026e37aa74b07bd08fd8fc6d58710",
|
|
35
|
+
"own": "e21751bfdfc6328f7d9e862aae711d17035a3360ac9e0f657747396fab198387"
|
|
36
36
|
},
|
|
37
37
|
"c.C.mismatch": {
|
|
38
38
|
"merkle": "2d58e7474b041648b99b2ca17ef239d3395869ac119f1095685d57c1027f147a",
|
|
@@ -67,7 +67,7 @@
|
|
|
67
67
|
"own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
|
|
68
68
|
},
|
|
69
69
|
"c.C.verdictOf": {
|
|
70
|
-
"merkle": "
|
|
70
|
+
"merkle": "b6d0bba909ca2890760d0c309b1d4fe042180401f8b1594d128fdfc9473350b8",
|
|
71
71
|
"own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
|
|
72
72
|
},
|
|
73
73
|
"c.Declarations.atFileScope": {
|
|
@@ -319,7 +319,7 @@
|
|
|
319
319
|
"own": "b6f526742e3e58d523ff394cf02b65390ec3fd0da05f3741ce17de86d0128e52"
|
|
320
320
|
},
|
|
321
321
|
"c.divergences": {
|
|
322
|
-
"merkle": "
|
|
322
|
+
"merkle": "f1748b247501795e0a14946614162859868889278e1e14cb59d06e6fdf8afb1d",
|
|
323
323
|
"own": "de9d3c838b01c72ff49fe18576e3a159dd109265bc20c7503efc46fbbbbbd35b"
|
|
324
324
|
},
|
|
325
325
|
"c.env": {
|
|
@@ -391,15 +391,15 @@
|
|
|
391
391
|
"own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
|
|
392
392
|
},
|
|
393
393
|
"c.verdict": {
|
|
394
|
-
"merkle": "
|
|
394
|
+
"merkle": "a0ecc5fc2af49c2a3935486a19c6a716d8ab05a7f27535cc52b2f89d8ecb2682",
|
|
395
395
|
"own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
|
|
396
396
|
}
|
|
397
397
|
},
|
|
398
398
|
"format": 1,
|
|
399
|
-
"inputs": "
|
|
399
|
+
"inputs": "d329b8e11a721d5bb74045dc3ee391be37bec97f2632679e08ab031ec268fb6f",
|
|
400
400
|
"modules": {
|
|
401
401
|
"c": {
|
|
402
|
-
"bytes":
|
|
402
|
+
"bytes": 484669,
|
|
403
403
|
"deps": [
|
|
404
404
|
"c.reserved",
|
|
405
405
|
"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.202611022104",
|
|
4
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",
|
|
@@ -32,9 +32,9 @@
|
|
|
32
32
|
"author": "SungYu Chang",
|
|
33
33
|
"homepage": "https://cella-lang.org/",
|
|
34
34
|
"peerDependencies": {
|
|
35
|
-
"cella-lang": "0.1.
|
|
36
|
-
"@cella-lang/cfamily": "0.1.
|
|
37
|
-
"@cella-lang/machine": "0.1.
|
|
35
|
+
"cella-lang": "0.1.202611021901",
|
|
36
|
+
"@cella-lang/cfamily": "0.1.202611022104",
|
|
37
|
+
"@cella-lang/machine": "0.1.202611022104"
|
|
38
38
|
},
|
|
39
39
|
"cella": {
|
|
40
40
|
"checkerHash": "eac27d7a51e5e48b",
|
|
@@ -42,6 +42,6 @@
|
|
|
42
42
|
"modules": [
|
|
43
43
|
"c"
|
|
44
44
|
],
|
|
45
|
-
"packHash": "
|
|
45
|
+
"packHash": "e647c8a6898582a5"
|
|
46
46
|
}
|
|
47
47
|
}
|