@cella-lang/machine 0.1.202610300236 → 0.1.202610301445
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/NOTICE +1 -1
- package/index.json +2 -2
- package/package.json +4 -3
package/NOTICE
CHANGED
|
@@ -2,6 +2,6 @@ Cella
|
|
|
2
2
|
Copyright 2026 SungYu Chang
|
|
3
3
|
|
|
4
4
|
This product includes software developed by SungYu Chang
|
|
5
|
-
(the Cella proof language: checker, standard library, and
|
|
5
|
+
(the Cella proof language: checker, standard library, and website).
|
|
6
6
|
|
|
7
7
|
Licensed under the Apache License, Version 2.0 (see LICENSE).
|
package/index.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"cbfVersion": 30,
|
|
3
|
-
"checkerHash": "
|
|
3
|
+
"checkerHash": "c23d5c2e1f29ce9f",
|
|
4
4
|
"defs": {
|
|
5
5
|
"__RecordTag_machine.Console": {
|
|
6
6
|
"merkle": "292f1281898e661a1a01a866afb20b04d9aa93a28a704d48e46abee77eb5903a",
|
|
@@ -826,7 +826,7 @@
|
|
|
826
826
|
},
|
|
827
827
|
"requires": {
|
|
828
828
|
"cella-lang": {
|
|
829
|
-
"checkerHash": "
|
|
829
|
+
"checkerHash": "c23d5c2e1f29ce9f",
|
|
830
830
|
"modules": [
|
|
831
831
|
"int",
|
|
832
832
|
"nat",
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/machine",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610301445",
|
|
4
4
|
"description": "The language-neutral execution layer for the Cella proof checker: IEEE 754 binary floating point with correctly rounded operations, fixed-width two's complement integers, standard streams as a state, computations that stop with a reason, a small-step machine for structured statements and a debugger driver for any language's machine - shared by the C family and Python, ready for the next language - compiled module pack.",
|
|
5
5
|
"files": [
|
|
6
6
|
"machine.bits.cell",
|
|
@@ -29,11 +29,12 @@
|
|
|
29
29
|
],
|
|
30
30
|
"license": "Apache-2.0",
|
|
31
31
|
"author": "SungYu Chang",
|
|
32
|
+
"homepage": "https://cella-lang.org/",
|
|
32
33
|
"peerDependencies": {
|
|
33
|
-
"cella-lang": "0.1.
|
|
34
|
+
"cella-lang": "0.1.202610301445"
|
|
34
35
|
},
|
|
35
36
|
"cella": {
|
|
36
|
-
"checkerHash": "
|
|
37
|
+
"checkerHash": "c23d5c2e1f29ce9f",
|
|
37
38
|
"cbfVersion": 30,
|
|
38
39
|
"modules": [
|
|
39
40
|
"machine"
|