@cella-lang/cpp 0.1.202610110317 → 0.1.202610110348

package/CHANGES.md

@@ -5,6 +5,14 @@
 
 ## 未發佈
 
+### 寬字元
+
+- `tWChar`、`wcodes`、`wstrArr`、`wstrLit`、`wCells`、`wcstrAt`、`WCStrD`（`wcstrOk`）、`wcstrOf`、`wcslenC`、`intsLt`、`intsEq`、`wcscmpC`、`writeWides`、`WcscpyD`、`wcscpyC`、`WcscatD`、`wcscatC`。
+
+### 泛型 vector 的 front／back／empty
+
+- `gEmptyB`、`gFront`、`gBack`。
+
 ### 三維陣列
 
 - `gAt3`、`gSet3`、`arr3Zeros`、`arr3Uninit`、`arr3InitOkB`、`padPlane`、`arr3Init`、`arr3InitFlat`。

package/index.json

@@ -638,6 +638,18 @@
       "merkle": "1db86625b298b656a1c4a8487a326cedbc78336f7a1225188080e0d97d4be573",
       "own": "7c85e2d84c71ce7b5f9c15f91caebad3e9de0849d31c11c4f65f2d3b41a00fb2"
     },
+    "cpp.cpp.WCStrD": {
+      "merkle": "4d9a38ded87577a130158a886fe8236b3de6d7fb029b16f4f8850b4d0d6205ff",
+      "own": "b9761bf7cea9510eb2379c7d753052899036c5d2e9013d9671c18a8b3606e0cb"
+    },
+    "cpp.cpp.WcscatD": {
+      "merkle": "1016ac7cfddcf24e68bb0075bd07c6bfb0d337002759f450c9b4208890dda5fb",
+      "own": "a8ababea17164a535e0a6492fca0add204caebcc4a55926d1fa28a69fd1c87d5"
+    },
+    "cpp.cpp.WcscpyD": {
+      "merkle": "b6be8584d69e8c715f07787b29d8cc81a5b3b260632c8662be216a4b5eeed50a",
+      "own": "9fdcfd75e378a75a692868b3d53e01e75614ff5026ad58ca346aee32ea5a6b80"
+    },
     "cpp.cpp.Xr": {
       "merkle": "7d7526286779bde9b322be1f827116643118aefff435e5e5a0a844d3222c4ffe",
       "own": "90ff25649ae458948c1cffdad2cd70d42139dfead091aee859405d3dc24d8a94"
@@ -2766,6 +2778,10 @@
       "merkle": "f28a2e7c157fc7cd2ac1a3d5c5342f689c5208207e142fd1cab1922e5813dcda",
       "own": "29fcde19f83f1b8833e830bc34f67945847426d583c34cc10a699e02bf527fca"
     },
+    "cpp.cpp.gBack": {
+      "merkle": "c64a31fa6da1cff8bcd512be82f396ef737c71f27b8f2c9428e5b96e6a63a60b",
+      "own": "c68909e41fdd053346f8162549245bc3c6613d442a56fafd1b6aee21c6c69eb2"
+    },
     "cpp.cpp.gBinarySearch": {
       "merkle": "cc2459ebeff946f4977fea90dbab88e0b763c8308d35903cbf378b2ec16da245",
       "own": "623a16f8f32d10435e77d29eec70fb467407e065390760e9af9a90d8ca563777"
@@ -2798,6 +2814,10 @@
       "merkle": "b294539822737939a3d51c3d7d4b653a4afed76e1448751d387ac333265cf422",
       "own": "5a0b6eb26378cd397ae5b700e97fafcea88816d0bd7f1cae785bb81066f1d86c"
     },
+    "cpp.cpp.gEmptyB": {
+      "merkle": "1a180099ac2e06bbb4411d3083627d93b246ce3da0f35228f524d78653bd542a",
+      "own": "137781354a064f87ed538ecb0273e7ba549e3e76cdd7c467ee85a971dd70d130"
+    },
     "cpp.cpp.gEraseA": {
       "merkle": "665d2dd0ba561dcbe48f6ed8c6189fd59bfaf628a6a8a64072c7c6352e22a777",
       "own": "cb0c21b20ccd67723bc8b3ddd4e8d45e13dc0e1c290f965070d5b794c4837c1e"
@@ -2830,6 +2850,10 @@
       "merkle": "7de6af0468033184b529e9baf35c04e57f2152a3de6c3f774612b7f445892e0f",
       "own": "8cecdd7f6c3cb23c72c8a0b3874d41f64346c8e9389551f2f5883532fc275dc1"
     },
+    "cpp.cpp.gFront": {
+      "merkle": "6a767d4542e0b23452ba2486ba68a60a6d80cfd018014f4e7659a6022afdf26d",
+      "own": "97b2a096276fe65397b769468da99a65031125c64c4b8ff33aa5cee3480424a5"
+    },
     "cpp.cpp.gGrow": {
       "merkle": "680d1e6c1a4385e6e8f8e3e7629a7102d3956e3d439ac58fbe46079b1a667b43",
       "own": "8e1ef2bb7ff31d416c5e66241276f5a3aef739a8be71a33137f320a5e9367536"
@@ -3678,6 +3702,14 @@
       "merkle": "c2ab1aca8acccb0f326c18fd63dd98f0284cb380c8c56dbcf38bfb2d938d9770",
       "own": "0bb6208075115ad4a12c4995c111ed7ebd99403a03c7ec54a16fbc474f8e2930"
     },
+    "cpp.cpp.intsEq": {
+      "merkle": "3b6ec6f20d5fb33d53ef5cc8cc94cbb746de4e5e13b6a2041667f12c336ccd26",
+      "own": "fd26049f29f658b11c99ac953c268f9510e446a9e7270c8fc99672a7ff737975"
+    },
+    "cpp.cpp.intsLt": {
+      "merkle": "ed7f209bac581519c7dd8ff5dbe5787757e20726663def2bbaaa4023ad20ded4",
+      "own": "0679c32635e8c1932ae7aa1c0a37f598b157bd0e29a40ff315380d0a7452151b"
+    },
     "cpp.cpp.ioShow2": {
       "merkle": "49444577fbd747a9717cfff8c54524c3b0f80e1b38b785428b56fcd040af286e",
       "own": "816d25ef9dd81c4e529dd561e1753c615ebb572802ae187324822dd957a2880a"
@@ -6186,6 +6218,10 @@
       "merkle": "fd60b83a0bd9963c3f50b54627e1e7430b978490391eddf137b8161da8c99670",
       "own": "6fbd06a5deb1c6aeaca134b39bfc3a8ee54301a86de02cea7039b904ef8980bc"
     },
+    "cpp.cpp.tWChar": {
+      "merkle": "3e08ee61e9cc059d0d1e82013ce72f40f2017b207544c70ffe42305b127a4c89",
+      "own": "148d9a9806d35b0a4da50a8f15adfefeae356769005e8224737d09856325caa1"
+    },
     "cpp.cpp.tailB": {
       "merkle": "585a384eaa5f679d82c50beed789c509e70ec2aac536b327713834d8c461591f",
       "own": "534cc170acfcb352ae9be141a4428385d856269959e10a69549e6312b8d13779"
@@ -6490,6 +6526,38 @@
       "merkle": "8616a8d0e69de0b061bcdc66f1ab7da327583ba76384aad4ce9d46c4733ae105",
       "own": "ff1264ac6ee73f76fb7a04bdff814d760bebdc174f87645a260398e465aedaef"
     },
+    "cpp.cpp.wCells": {
+      "merkle": "76fc78977dcce49765c9ae3bb09084d48433820568acbc88943cc8e71e16dec2",
+      "own": "93246bd984caccb37185d4ff264c7581f82991e94925487b5409469c00fee984"
+    },
+    "cpp.cpp.wcodes": {
+      "merkle": "a38d6ded3f94d2b4aaf6c033616f3b5f17a362a602b3da3751055e111e6085ab",
+      "own": "0e542445df791fa25702806226c9c2ee1fcda3a8bc06864ee5823994ca19c4fe"
+    },
+    "cpp.cpp.wcscatC": {
+      "merkle": "60bf045f05e6a4b5e9f0c44bb42dbc7ab84bae59bdcc329652dba0f336567a19",
+      "own": "b4cbb19c1e26a0b0cfbbef38f541e8dddf1ece68f3d47e23902c049192a40a5b"
+    },
+    "cpp.cpp.wcscmpC": {
+      "merkle": "1575f91f17fec60402ce6836997c5c707aa0ddd417c84ae23c69372a02200e2c",
+      "own": "e5f2ea5c58d856e1abd9c1fc2ac3f7b9911cd0041ad5ab738c0dfcf6a63beeca"
+    },
+    "cpp.cpp.wcscpyC": {
+      "merkle": "47d4af848b3631c25f9cd09b03a0ad0aa2fda8b4937c08dc9e41a9e77c1c4930",
+      "own": "1bbf22ef29fcdb1bd6d63d4f4290248d8de1e2a2db1881dfa468a8ab61a0702c"
+    },
+    "cpp.cpp.wcslenC": {
+      "merkle": "4029f27d6e33dc0479212607880cca262b62cd6ea1fc203fc46c098627636ad0",
+      "own": "8764eb4aed090d713b4225be555a2d36a00628036f6e3c627a2663a2295a2d95"
+    },
+    "cpp.cpp.wcstrAt": {
+      "merkle": "f78018ab9b5edbca14705ccb15fbe5fdc1ebb8ffff085af697fab513ba2f2320",
+      "own": "1f7c680e898e082111b540b59cba6ed408264fb5fd4f6e70635aef058283ee8a"
+    },
+    "cpp.cpp.wcstrOf": {
+      "merkle": "09598a402b75cf40a006bf4335b9ca776ed534e867cd096cb67cbb66fbf48cca",
+      "own": "781640c518d25e493be696704fc44e0349ae7ba8329ca6808d89c4225daf96da"
+    },
     "cpp.cpp.whileAt": {
       "merkle": "74a9dec9ec855bc2ea8fa794f95338dc1863089e5b2538c6833359f721351ea8",
       "own": "da2c629b1afec66db0b914a7cd190413421283e517729855989c0ea9ba01cf07"
@@ -6590,6 +6658,18 @@
       "merkle": "a2ea5c929dcacc30b7e4963fa1761cfec635f6b0b58c19785e6a7db7b6fe5d0d",
       "own": "6a37641e0fb094f3e41f821f206e294115b41b12067b9b508562815e998b1c2a"
     },
+    "cpp.cpp.writeWides": {
+      "merkle": "0011d848cf1ede187981b8b772b2bdacc38511568ad830d149e39617486129ab",
+      "own": "cf4d87c32b0e894435a516db41fa177c99e59334021bdc12880ef5cf027fc36c"
+    },
+    "cpp.cpp.wstrArr": {
+      "merkle": "b63aacea73a57bc7fbf809b76a2b7123674ba9ba4c5159a8916277f7e4f4c208",
+      "own": "2d60d17572b48fca70c95299bec079e05289206b30c7331a512b112c99219aeb"
+    },
+    "cpp.cpp.wstrLit": {
+      "merkle": "4703e82210c5869642cfd6b32f1b519dda06aa517f86fd102f07b8b1984985d5",
+      "own": "68500a4073b1bfa8439c008f60da04203827fb9430475b8bc0d8b8f4768f6a00"
+    },
     "cpp.cpp.xorB": {
       "merkle": "b053368e78f8f935f799f09213b5757113a456775728d8d3f98f9e4b992dd1b1",
       "own": "bf2175290b18b6503231e34f18f7faa653caa6793038abe0085c027ae57edb07"
@@ -6630,7 +6710,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 3169301,
+      "bytes": 3197197,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610110317",
+  "version": "0.1.202610110348",
   "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": "c0dc9a409e664848"
+    "packHash": "e62df7fa817b9217"
   }
 }