@cella-lang/cpp 0.1.202610110302 → 0.1.202610110317
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/CHANGES.md +4 -0
- package/cpp.cell +0 -0
- package/index.json +33 -1
- package/package.json +2 -2
package/CHANGES.md
CHANGED
|
@@ -5,6 +5,10 @@
|
|
|
5
5
|
|
|
6
6
|
## 未發佈
|
|
7
7
|
|
|
8
|
+
### 三維陣列
|
|
9
|
+
|
|
10
|
+
- `gAt3`、`gSet3`、`arr3Zeros`、`arr3Uninit`、`arr3InitOkB`、`padPlane`、`arr3Init`、`arr3InitFlat`。
|
|
11
|
+
|
|
8
12
|
### 函式指標與 std::function
|
|
9
13
|
|
|
10
14
|
- `FnP`（`fnNullP`、`fnP`）、`fnPOf`、`fnPEqB`、`fnPNullB`、`fnPResM`、`fnPCall`；`FnObj`（`fnEmpty`、`fnObj`）、`fnObjOf`、`fnObjOfP`、`fnObjB`、`fnObjOkB`、`fnObjCall`；`ExcKind` 多一個 `eBadFunctionCall`（父類別 `eException`）。
|
package/cpp.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -838,6 +838,26 @@
|
|
|
838
838
|
"merkle": "494964c156f493058ebabb9aa79f14f38a1527eb6261cf77a4b1f0b30e9b30d3",
|
|
839
839
|
"own": "3996952405ec7b5de54789ce27d6324878910443257455689f5b0f1ddf62a50a"
|
|
840
840
|
},
|
|
841
|
+
"cpp.cpp.arr3Init": {
|
|
842
|
+
"merkle": "bb0634cc74eee22e02942ccd8f3d7390e7056e0065a9e92e70889c3ba61f8568",
|
|
843
|
+
"own": "84646281e34704b9fcfcf0f7723965fd585b6032a3e20fedb5e0acf81dad80f5"
|
|
844
|
+
},
|
|
845
|
+
"cpp.cpp.arr3InitFlat": {
|
|
846
|
+
"merkle": "ded5cc4de560e5bad572bc4e7ad7dde769e84f86c9f6612623e97c2902af94c9",
|
|
847
|
+
"own": "caf0711b09ecdc4370e1d1e4d287d7cff059b1af1e04cd9c9e25221f71294092"
|
|
848
|
+
},
|
|
849
|
+
"cpp.cpp.arr3InitOkB": {
|
|
850
|
+
"merkle": "eed1ce288244d32b86d6fc80383a6fb2a7d7472986f297daccd06c0d305e1ea6",
|
|
851
|
+
"own": "83bb5ab3885790205c5c0f04417b5274503c7a0483196804380dc655786d8589"
|
|
852
|
+
},
|
|
853
|
+
"cpp.cpp.arr3Uninit": {
|
|
854
|
+
"merkle": "99fe98bdb0ff23ef347bcaab0cc3ca100cde47ec805715d8b3c578faeb0a70a4",
|
|
855
|
+
"own": "756dace5bb39cf3732970fcbaaa6746b728440dd66c5ad312fe8e840c04f02da"
|
|
856
|
+
},
|
|
857
|
+
"cpp.cpp.arr3Zeros": {
|
|
858
|
+
"merkle": "9bb50fb2b56aa580cdd8256ddcedd8b44c8d2efab3483d620210dae48ffc4e1e",
|
|
859
|
+
"own": "8b26f7597458159064bbecbd1be62838ae24f5f2c2e37cbdfa8659f7107a3a28"
|
|
860
|
+
},
|
|
841
861
|
"cpp.cpp.arrLen": {
|
|
842
862
|
"merkle": "01cb7d9256c1791b6ac5639150f7c38bb59cb3c18e4afb44c24df63ec4e107ec",
|
|
843
863
|
"own": "982c718ebbfc048fd06a19cc184a5fc7760b0182aa0f11d9fba1e1b84532a537"
|
|
@@ -2734,6 +2754,10 @@
|
|
|
2734
2754
|
"merkle": "826cf2d779176c3ae31e1ac9110f36b04512aa9e8585b8c001f2b50f5dd3daad",
|
|
2735
2755
|
"own": "84996ebff816ef7d5dc0446d21eb39ca938fd3a4a0b5f6032b176cc065218da7"
|
|
2736
2756
|
},
|
|
2757
|
+
"cpp.cpp.gAt3": {
|
|
2758
|
+
"merkle": "6a02e6a0a5d0e2540fc374539e791118cfeb60afb7a5368c1defecdc29c28a1d",
|
|
2759
|
+
"own": "cfc5d616f732bf4412511df2019f3868e37d18db0f1bfd781252c415ee69c671"
|
|
2760
|
+
},
|
|
2737
2761
|
"cpp.cpp.gAtOkB": {
|
|
2738
2762
|
"merkle": "a5e162cc13c5d68257a368970813ada55fc4d06a2f644fc0a1ef8ddc0754eb38",
|
|
2739
2763
|
"own": "4606354962d15f439e52ee90799c897b24f2f9955af90778463c68af808c97c0"
|
|
@@ -2858,6 +2882,10 @@
|
|
|
2858
2882
|
"merkle": "7ef88d68b0c1e77f86d0e3b9131dd13213839bb8b17001a4022e2fd22421a470",
|
|
2859
2883
|
"own": "79fd8c0f7177740f686c766f36e96cef888ebfc072b4bba234e4298347f4ad78"
|
|
2860
2884
|
},
|
|
2885
|
+
"cpp.cpp.gSet3": {
|
|
2886
|
+
"merkle": "df191b6776df93f6a4f0c7d6480716f6071ace2bf43247c15344a8dcd38fa69d",
|
|
2887
|
+
"own": "a9fa7b4c6e8f711034c50edee34dd2b1e5e9daa0ece9741ccffec5afcf1ac4e8"
|
|
2888
|
+
},
|
|
2861
2889
|
"cpp.cpp.gSize": {
|
|
2862
2890
|
"merkle": "be42a8f6a31a5cea5abe73ba213e781bc03923ba0bdb41e4059a3939f2de30de",
|
|
2863
2891
|
"own": "75d2e754f0057c00b97a387148e8a019784a1cfb4c8d59ad72d012065da52c41"
|
|
@@ -4866,6 +4894,10 @@
|
|
|
4866
4894
|
"merkle": "2fbb98b6275ee349b83f3a484ac8f3cd7fd092da0e4f397ab8ba28204aac09f9",
|
|
4867
4895
|
"own": "cef6c2e785e2d1a00c196ea7dab3e51970d4740e02bb7c797f0ca36b488b3545"
|
|
4868
4896
|
},
|
|
4897
|
+
"cpp.cpp.padPlane": {
|
|
4898
|
+
"merkle": "b87e0daf3cd1ab1650b7c73fcea79a4a76bc5b7a836360e60895206f9ffbb7c9",
|
|
4899
|
+
"own": "0dc3cd72a0317373d35ce0b7df78d11e962a9c96207aa2887e3b95790301dd41"
|
|
4900
|
+
},
|
|
4869
4901
|
"cpp.cpp.padRow": {
|
|
4870
4902
|
"merkle": "be2be78b8134badb9c23529614e77252e9786ba019d30e7532ff757ce3c037cf",
|
|
4871
4903
|
"own": "b46b43ef25d9eeae4cf77c6d17cfc69dcec5b66148e659ffb4a1b9c565065600"
|
|
@@ -6598,7 +6630,7 @@
|
|
|
6598
6630
|
"format": 1,
|
|
6599
6631
|
"modules": {
|
|
6600
6632
|
"cpp": {
|
|
6601
|
-
"bytes":
|
|
6633
|
+
"bytes": 3169301,
|
|
6602
6634
|
"deps": [
|
|
6603
6635
|
"cpp"
|
|
6604
6636
|
]
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/cpp",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610110317",
|
|
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": "c0dc9a409e664848"
|
|
32
32
|
}
|
|
33
33
|
}
|