@cella-lang/programlogic 0.1.202610300802 → 0.1.202610301451
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_programlogic.Language": {
|
|
6
6
|
"merkle": "dc418f5a1fabb217f0bdde607eed461d0244aff45572b86aa304f692d7f7103e",
|
|
@@ -151,7 +151,7 @@
|
|
|
151
151
|
},
|
|
152
152
|
"requires": {
|
|
153
153
|
"cella-lang": {
|
|
154
|
-
"checkerHash": "
|
|
154
|
+
"checkerHash": "c23d5c2e1f29ce9f",
|
|
155
155
|
"modules": []
|
|
156
156
|
},
|
|
157
157
|
"packages": []
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/programlogic",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610301451",
|
|
4
4
|
"description": "A language-generic program logic for the Cella proof checker: a language gives one step (next configuration, a final value, or a fault with its reason) and a separation algebra of resources; the package gives the weakest precondition Wp (explicitly step-indexed), soundness (Wp implies the program never reaches a fault, for every number of steps), and the consequence and frame rules - compiled module pack.",
|
|
5
5
|
"files": [
|
|
6
6
|
"programlogic.cell",
|
|
@@ -20,11 +20,12 @@
|
|
|
20
20
|
],
|
|
21
21
|
"license": "Apache-2.0",
|
|
22
22
|
"author": "SungYu Chang",
|
|
23
|
+
"homepage": "https://cella-lang.org/",
|
|
23
24
|
"peerDependencies": {
|
|
24
|
-
"cella-lang": "0.1.
|
|
25
|
+
"cella-lang": "0.1.202610301445"
|
|
25
26
|
},
|
|
26
27
|
"cella": {
|
|
27
|
-
"checkerHash": "
|
|
28
|
+
"checkerHash": "c23d5c2e1f29ce9f",
|
|
28
29
|
"cbfVersion": 30,
|
|
29
30
|
"modules": [
|
|
30
31
|
"programlogic"
|