@cella-lang/cpp 0.1.202610110302 → 0.1.202610110336

package/CHANGES.md

@@ -5,6 +5,14 @@
 
 ## 未發佈
 
+### 泛型 vector 的 front／back／empty
+
+- `gEmptyB`、`gFront`、`gBack`。
+
+### 三維陣列
+
+- `gAt3`、`gSet3`、`arr3Zeros`、`arr3Uninit`、`arr3InitOkB`、`padPlane`、`arr3Init`、`arr3InitFlat`。
+
 ### 函式指標與 std::function
 
 - `FnP`（`fnNullP`、`fnP`）、`fnPOf`、`fnPEqB`、`fnPNullB`、`fnPResM`、`fnPCall`；`FnObj`（`fnEmpty`、`fnObj`）、`fnObjOf`、`fnObjOfP`、`fnObjB`、`fnObjOkB`、`fnObjCall`；`ExcKind` 多一個 `eBadFunctionCall`（父類別 `eException`）。

package/index.json

@@ -838,6 +838,26 @@
       "merkle": "494964c156f493058ebabb9aa79f14f38a1527eb6261cf77a4b1f0b30e9b30d3",
       "own": "3996952405ec7b5de54789ce27d6324878910443257455689f5b0f1ddf62a50a"
     },
+    "cpp.cpp.arr3Init": {
+      "merkle": "bb0634cc74eee22e02942ccd8f3d7390e7056e0065a9e92e70889c3ba61f8568",
+      "own": "84646281e34704b9fcfcf0f7723965fd585b6032a3e20fedb5e0acf81dad80f5"
+    },
+    "cpp.cpp.arr3InitFlat": {
+      "merkle": "ded5cc4de560e5bad572bc4e7ad7dde769e84f86c9f6612623e97c2902af94c9",
+      "own": "caf0711b09ecdc4370e1d1e4d287d7cff059b1af1e04cd9c9e25221f71294092"
+    },
+    "cpp.cpp.arr3InitOkB": {
+      "merkle": "eed1ce288244d32b86d6fc80383a6fb2a7d7472986f297daccd06c0d305e1ea6",
+      "own": "83bb5ab3885790205c5c0f04417b5274503c7a0483196804380dc655786d8589"
+    },
+    "cpp.cpp.arr3Uninit": {
+      "merkle": "99fe98bdb0ff23ef347bcaab0cc3ca100cde47ec805715d8b3c578faeb0a70a4",
+      "own": "756dace5bb39cf3732970fcbaaa6746b728440dd66c5ad312fe8e840c04f02da"
+    },
+    "cpp.cpp.arr3Zeros": {
+      "merkle": "9bb50fb2b56aa580cdd8256ddcedd8b44c8d2efab3483d620210dae48ffc4e1e",
+      "own": "8b26f7597458159064bbecbd1be62838ae24f5f2c2e37cbdfa8659f7107a3a28"
+    },
     "cpp.cpp.arrLen": {
       "merkle": "01cb7d9256c1791b6ac5639150f7c38bb59cb3c18e4afb44c24df63ec4e107ec",
       "own": "982c718ebbfc048fd06a19cc184a5fc7760b0182aa0f11d9fba1e1b84532a537"
@@ -2734,6 +2754,10 @@
       "merkle": "826cf2d779176c3ae31e1ac9110f36b04512aa9e8585b8c001f2b50f5dd3daad",
       "own": "84996ebff816ef7d5dc0446d21eb39ca938fd3a4a0b5f6032b176cc065218da7"
     },
+    "cpp.cpp.gAt3": {
+      "merkle": "6a02e6a0a5d0e2540fc374539e791118cfeb60afb7a5368c1defecdc29c28a1d",
+      "own": "cfc5d616f732bf4412511df2019f3868e37d18db0f1bfd781252c415ee69c671"
+    },
     "cpp.cpp.gAtOkB": {
       "merkle": "a5e162cc13c5d68257a368970813ada55fc4d06a2f644fc0a1ef8ddc0754eb38",
       "own": "4606354962d15f439e52ee90799c897b24f2f9955af90778463c68af808c97c0"
@@ -2742,6 +2766,10 @@
       "merkle": "f28a2e7c157fc7cd2ac1a3d5c5342f689c5208207e142fd1cab1922e5813dcda",
       "own": "29fcde19f83f1b8833e830bc34f67945847426d583c34cc10a699e02bf527fca"
     },
+    "cpp.cpp.gBack": {
+      "merkle": "c64a31fa6da1cff8bcd512be82f396ef737c71f27b8f2c9428e5b96e6a63a60b",
+      "own": "c68909e41fdd053346f8162549245bc3c6613d442a56fafd1b6aee21c6c69eb2"
+    },
     "cpp.cpp.gBinarySearch": {
       "merkle": "cc2459ebeff946f4977fea90dbab88e0b763c8308d35903cbf378b2ec16da245",
       "own": "623a16f8f32d10435e77d29eec70fb467407e065390760e9af9a90d8ca563777"
@@ -2774,6 +2802,10 @@
       "merkle": "b294539822737939a3d51c3d7d4b653a4afed76e1448751d387ac333265cf422",
       "own": "5a0b6eb26378cd397ae5b700e97fafcea88816d0bd7f1cae785bb81066f1d86c"
     },
+    "cpp.cpp.gEmptyB": {
+      "merkle": "1a180099ac2e06bbb4411d3083627d93b246ce3da0f35228f524d78653bd542a",
+      "own": "137781354a064f87ed538ecb0273e7ba549e3e76cdd7c467ee85a971dd70d130"
+    },
     "cpp.cpp.gEraseA": {
       "merkle": "665d2dd0ba561dcbe48f6ed8c6189fd59bfaf628a6a8a64072c7c6352e22a777",
       "own": "cb0c21b20ccd67723bc8b3ddd4e8d45e13dc0e1c290f965070d5b794c4837c1e"
@@ -2806,6 +2838,10 @@
       "merkle": "7de6af0468033184b529e9baf35c04e57f2152a3de6c3f774612b7f445892e0f",
       "own": "8cecdd7f6c3cb23c72c8a0b3874d41f64346c8e9389551f2f5883532fc275dc1"
     },
+    "cpp.cpp.gFront": {
+      "merkle": "6a767d4542e0b23452ba2486ba68a60a6d80cfd018014f4e7659a6022afdf26d",
+      "own": "97b2a096276fe65397b769468da99a65031125c64c4b8ff33aa5cee3480424a5"
+    },
     "cpp.cpp.gGrow": {
       "merkle": "680d1e6c1a4385e6e8f8e3e7629a7102d3956e3d439ac58fbe46079b1a667b43",
       "own": "8e1ef2bb7ff31d416c5e66241276f5a3aef739a8be71a33137f320a5e9367536"
@@ -2858,6 +2894,10 @@
       "merkle": "7ef88d68b0c1e77f86d0e3b9131dd13213839bb8b17001a4022e2fd22421a470",
       "own": "79fd8c0f7177740f686c766f36e96cef888ebfc072b4bba234e4298347f4ad78"
     },
+    "cpp.cpp.gSet3": {
+      "merkle": "df191b6776df93f6a4f0c7d6480716f6071ace2bf43247c15344a8dcd38fa69d",
+      "own": "a9fa7b4c6e8f711034c50edee34dd2b1e5e9daa0ece9741ccffec5afcf1ac4e8"
+    },
     "cpp.cpp.gSize": {
       "merkle": "be42a8f6a31a5cea5abe73ba213e781bc03923ba0bdb41e4059a3939f2de30de",
       "own": "75d2e754f0057c00b97a387148e8a019784a1cfb4c8d59ad72d012065da52c41"
@@ -4866,6 +4906,10 @@
       "merkle": "2fbb98b6275ee349b83f3a484ac8f3cd7fd092da0e4f397ab8ba28204aac09f9",
       "own": "cef6c2e785e2d1a00c196ea7dab3e51970d4740e02bb7c797f0ca36b488b3545"
     },
+    "cpp.cpp.padPlane": {
+      "merkle": "b87e0daf3cd1ab1650b7c73fcea79a4a76bc5b7a836360e60895206f9ffbb7c9",
+      "own": "0dc3cd72a0317373d35ce0b7df78d11e962a9c96207aa2887e3b95790301dd41"
+    },
     "cpp.cpp.padRow": {
       "merkle": "be2be78b8134badb9c23529614e77252e9786ba019d30e7532ff757ce3c037cf",
       "own": "b46b43ef25d9eeae4cf77c6d17cfc69dcec5b66148e659ffb4a1b9c565065600"
@@ -6598,7 +6642,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 3151824,
+      "bytes": 3171856,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610110302",
+  "version": "0.1.202610110336",
   "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.",
   "files": [
     "cpp.cell",
@@ -28,6 +28,6 @@
     "modules": [
       "cpp"
     ],
-    "packHash": "75de3bc58139e96a"
+    "packHash": "37b0f01114b7d35c"
   }
 }