@cella-lang/cpp 0.1.202610110336 → 0.1.202610110422

package/CHANGES.md

@@ -5,6 +5,14 @@
 
 ## 未發佈
 
+### list 搬移之後的迭代器
+
+- `glMovedGo`、`glMoved`（指向 other 裡元素的迭代器在目標裡的位置）、`glEmptied`。
+
+### 寬字元
+
+- `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`。

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"
@@ -3082,6 +3094,10 @@
       "merkle": "b9b17d8e2b9776e9abf3fb02c49948d8869b0008e1ca6b0ba06a34d22ae7eec1",
       "own": "fa3b3d328fc363d53741f732e0805c13f9a097a1335d42c9e3f362bee39b6b3d"
     },
+    "cpp.cpp.glEmptied": {
+      "merkle": "82e12af638ce1077688e3edb48ae53232b482a4042dede197f1c37141ce96567",
+      "own": "5e2759864c87670fcf1abe4d8544d41b63be060f0e02db01dae6e98391008dd4"
+    },
     "cpp.cpp.glEnd": {
       "merkle": "e5cd8bb3291423c5ac7dc0f60833cd629b485e615bca652a4267b329fd3c167b",
       "own": "ea2c57045db0a57ce1773e1abfa6c91c3265fea132fdb4bcbc178d2a4879bf41"
@@ -3122,6 +3138,14 @@
       "merkle": "60e43a974195336c5355b2ed4e1ef82d20de91d0bf4b673345d2da9f5b9aee87",
       "own": "edff78e8fb186a436f042d3d018c8bb768d0ac8d01d74aa25af4e76230c9bc37"
     },
+    "cpp.cpp.glMoved": {
+      "merkle": "ec0628725308e406b314662abda14602fbc5e5536dc7bfa8b8fb47fb9840ceef",
+      "own": "306c53910800871322a77b71cce019abfd38c89c0ba5b5f6eef0f39dd1c1a22f"
+    },
+    "cpp.cpp.glMovedGo": {
+      "merkle": "236ed88f6b10a384e53650ff5a09d13408bccf222d038591a50957819bf6d10d",
+      "own": "67413bc03ddcdfe5c4cacebbb4875dfc342990c3296662e5c83c7448e8288490"
+    },
     "cpp.cpp.glNew": {
       "merkle": "4d3434e386e5827eb56416f5004870be33080a6fd79ee4ab088ed2dd1cafcb9f",
       "own": "2ad5f675d58a102b4366f9d57a7b47b3dbca52ec4b5f481bb769031ac03bd99e"
@@ -3690,6 +3714,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"
@@ -6198,6 +6230,10 @@
       "merkle": "fd60b83a0bd9963c3f50b54627e1e7430b978490391eddf137b8161da8c99670",
       "own": "6fbd06a5deb1c6aeaca134b39bfc3a8ee54301a86de02cea7039b904ef8980bc"
     },
+    "cpp.cpp.tWChar": {
+      "merkle": "3e08ee61e9cc059d0d1e82013ce72f40f2017b207544c70ffe42305b127a4c89",
+      "own": "148d9a9806d35b0a4da50a8f15adfefeae356769005e8224737d09856325caa1"
+    },
     "cpp.cpp.tailB": {
       "merkle": "585a384eaa5f679d82c50beed789c509e70ec2aac536b327713834d8c461591f",
       "own": "534cc170acfcb352ae9be141a4428385d856269959e10a69549e6312b8d13779"
@@ -6502,6 +6538,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"
@@ -6602,6 +6670,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"
@@ -6642,7 +6722,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 3171856,
+      "bytes": 3200589,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610110336",
+  "version": "0.1.202610110422",
   "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": "37b0f01114b7d35c"
+    "packHash": "708f05fda12b5db0"
   }
 }