@cella-lang/cpp 0.1.202610152213 → 0.1.202610152240
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/cpp.cell +0 -0
- package/index.json +3 -3
- package/package.json +4 -4
package/cpp.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"cbfVersion": 28,
|
|
3
|
-
"checkerHash": "
|
|
3
|
+
"checkerHash": "1e27d145d0c5ac9d",
|
|
4
4
|
"defs": {
|
|
5
5
|
"__RecordTag_cpp.Debugger": {
|
|
6
6
|
"merkle": "55f6ac3cf1e70fb9fd27afe1e4a7cf6fb7fda1a0ede9c98d9070ac8da844ab1c",
|
|
@@ -8270,7 +8270,7 @@
|
|
|
8270
8270
|
"format": 1,
|
|
8271
8271
|
"modules": {
|
|
8272
8272
|
"cpp": {
|
|
8273
|
-
"bytes":
|
|
8273
|
+
"bytes": 2166021,
|
|
8274
8274
|
"deps": [
|
|
8275
8275
|
"cpp"
|
|
8276
8276
|
]
|
|
@@ -8278,7 +8278,7 @@
|
|
|
8278
8278
|
},
|
|
8279
8279
|
"requires": {
|
|
8280
8280
|
"cella-lang": {
|
|
8281
|
-
"checkerHash": "
|
|
8281
|
+
"checkerHash": "1e27d145d0c5ac9d",
|
|
8282
8282
|
"modules": [
|
|
8283
8283
|
"int"
|
|
8284
8284
|
]
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/cpp",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610152240",
|
|
4
4
|
"description": "A formally verified C++ subset for the Cella proof checker: integer types with C++ promotions and conversions (LP64 / AVR), control flow with small-step semantics, iostream, arrays, vector, sort, and standard containers — compiled module pack.",
|
|
5
5
|
"files": [
|
|
6
6
|
"cpp.cell",
|
|
@@ -20,14 +20,14 @@
|
|
|
20
20
|
"license": "Apache-2.0",
|
|
21
21
|
"author": "SungYu Chang",
|
|
22
22
|
"peerDependencies": {
|
|
23
|
-
"cella-lang": "0.1.
|
|
23
|
+
"cella-lang": "0.1.202610152240"
|
|
24
24
|
},
|
|
25
25
|
"cella": {
|
|
26
|
-
"checkerHash": "
|
|
26
|
+
"checkerHash": "1e27d145d0c5ac9d",
|
|
27
27
|
"cbfVersion": 28,
|
|
28
28
|
"modules": [
|
|
29
29
|
"cpp"
|
|
30
30
|
],
|
|
31
|
-
"packHash": "
|
|
31
|
+
"packHash": "406f7283754d1ee3"
|
|
32
32
|
}
|
|
33
33
|
}
|