@cella-lang/programlogic 0.1.202611010837 → 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/index.json +3 -3
- package/package.json +3 -3
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_programlogic.Language": {
|
|
6
6
|
"merkle": "dc418f5a1fabb217f0bdde607eed461d0244aff45572b86aa304f692d7f7103e",
|
|
@@ -140,7 +140,7 @@
|
|
|
140
140
|
}
|
|
141
141
|
},
|
|
142
142
|
"format": 1,
|
|
143
|
-
"inputs": "
|
|
143
|
+
"inputs": "eb69cb49bda78791ba1a2b56dff7f1ad72697c7f5277b634c71fea4ab7bcafc8",
|
|
144
144
|
"modules": {
|
|
145
145
|
"programlogic": {
|
|
146
146
|
"bytes": 50531,
|
|
@@ -151,7 +151,7 @@
|
|
|
151
151
|
},
|
|
152
152
|
"requires": {
|
|
153
153
|
"cella-lang": {
|
|
154
|
-
"checkerHash": "
|
|
154
|
+
"checkerHash": "3369fc0950129d96",
|
|
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.202611011137",
|
|
4
4
|
"description": "A language-generic program logic for Cella Lang: 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",
|
|
@@ -23,10 +23,10 @@
|
|
|
23
23
|
"author": "SungYu Chang",
|
|
24
24
|
"homepage": "https://cella-lang.org/",
|
|
25
25
|
"peerDependencies": {
|
|
26
|
-
"cella-lang": "0.1.
|
|
26
|
+
"cella-lang": "0.1.202611011136"
|
|
27
27
|
},
|
|
28
28
|
"cella": {
|
|
29
|
-
"checkerHash": "
|
|
29
|
+
"checkerHash": "3369fc0950129d96",
|
|
30
30
|
"cbfVersion": 30,
|
|
31
31
|
"modules": [
|
|
32
32
|
"programlogic"
|