@cella-lang/cpp 0.1.202610090008 → 0.1.202610090205
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 +17 -1
- package/package.json +2 -2
package/cpp.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -394,6 +394,10 @@
|
|
|
394
394
|
"merkle": "904e406bcae144fdcaa085ab7dc2aab39bdb05405b31c67bcff8c3aef6c0b78e",
|
|
395
395
|
"own": "954f9957e1a96e5376c5eaf29cf6a2e07229266d8abcf82f405765d792d3cd9b"
|
|
396
396
|
},
|
|
397
|
+
"cpp.cpp.ShlOk20": {
|
|
398
|
+
"merkle": "43999092c9c5e7bd50dec46ca34dbe64ab64aafee4941bf78104a14780465c6d",
|
|
399
|
+
"own": "0182f5796576129ac6f7c77ef8549255c4619ddf02e3bc7c95dfb91d71826f00"
|
|
400
|
+
},
|
|
397
401
|
"cpp.cpp.ShlOkD": {
|
|
398
402
|
"merkle": "159a28d83422d050e9cbe53791b9dc83c69aa05d6cc345bd5ecfdea26a8f915c",
|
|
399
403
|
"own": "1a8144c9ba3868b98bc777d2a04ab681e0918a5fb7030f3f0b9ecfea01da0336"
|
|
@@ -3534,10 +3538,22 @@
|
|
|
3534
3538
|
"merkle": "4cae7576aa4a23157815722ba7da6405e6514d7c2f9fb21c9aa6b72e6b943fdb",
|
|
3535
3539
|
"own": "0cffc6f2e6a2c2388f61130a10923f23ec2273de29d797badafdc7545e043ff0"
|
|
3536
3540
|
},
|
|
3541
|
+
"cpp.cpp.shlB20": {
|
|
3542
|
+
"merkle": "c19ea4357cb102f168d8d9c972402f251b4a008153c0c7c24e514eb08818a4a0",
|
|
3543
|
+
"own": "4efdf5f9996c11ecd3f0bcc7a151d919a3acdf6d04574cf938ea90072f92fd59"
|
|
3544
|
+
},
|
|
3545
|
+
"cpp.cpp.shlOkTo20": {
|
|
3546
|
+
"merkle": "f33753b59d36134f76c1178439b738635476c989dcc2dd223dc9332589f15a66",
|
|
3547
|
+
"own": "0fbf222c2e1121c2fdc5fb36c756e6aa58f86ef89b374450f94c50545b16d0a7"
|
|
3548
|
+
},
|
|
3537
3549
|
"cpp.cpp.shlV": {
|
|
3538
3550
|
"merkle": "6c820f9f3f550e588e92abb824223bfffb659dc9a80f4be9da4ff7dbea140f7f",
|
|
3539
3551
|
"own": "2844e19bb9021c2cc38fbed36669d1cb753cd660aedeccdd77f043cf686f30fd"
|
|
3540
3552
|
},
|
|
3553
|
+
"cpp.cpp.shlV20": {
|
|
3554
|
+
"merkle": "9726d10ba2d8760d051473d7455a9f10f85a7c2a2f0fd9f738116f8832dc77a9",
|
|
3555
|
+
"own": "5d00edff420da75e87691a635012ead9ca8f9c41cbca095e08b34c4aa516b02c"
|
|
3556
|
+
},
|
|
3541
3557
|
"cpp.cpp.showRead2": {
|
|
3542
3558
|
"merkle": "d55b066a30f457fe0d05c75ed27154e3c77817bc5b43e45a3e42d757502c61c8",
|
|
3543
3559
|
"own": "d63b17a05281fd72fc49a220aea55ec3a3ceebb7afddb47fe73e2663aa8113bc"
|
|
@@ -4406,7 +4422,7 @@
|
|
|
4406
4422
|
"format": 1,
|
|
4407
4423
|
"modules": {
|
|
4408
4424
|
"cpp": {
|
|
4409
|
-
"bytes":
|
|
4425
|
+
"bytes": 2465449,
|
|
4410
4426
|
"deps": [
|
|
4411
4427
|
"cpp"
|
|
4412
4428
|
]
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/cpp",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610090205",
|
|
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",
|
|
@@ -28,6 +28,6 @@
|
|
|
28
28
|
"modules": [
|
|
29
29
|
"cpp"
|
|
30
30
|
],
|
|
31
|
-
"packHash": "
|
|
31
|
+
"packHash": "fad7c7ddd78a2daa"
|
|
32
32
|
}
|
|
33
33
|
}
|