@cella-lang/programlogic 0.1.202611021534 → 0.1.202611022105
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/package.json +2 -2
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/programlogic",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202611022105",
|
|
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,7 +23,7 @@
|
|
|
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.202611021901"
|
|
27
27
|
},
|
|
28
28
|
"cella": {
|
|
29
29
|
"checkerHash": "eac27d7a51e5e48b",
|