@cella-lang/cpp 0.1.202610110348 → 0.1.202610110424

package/CHANGES.md

@@ -5,6 +5,14 @@
 
 ## 未發佈
 
+### std::array 與 <numeric> 的其餘
+
+- `stdArray`、`scanMG`、`partialSumL`、`gPartialSumOkB`、`gPartialSum`、`gReverseA`、`gRotate`、`gcdF`、`gcdN`、`gcdOkB`、`gcdV`、`lcmRaw`、`lcmOkB`、`lcmV`。
+
+### list 搬移之後的迭代器
+
+- `glMovedGo`、`glMoved`（指向 other 裡元素的迭代器在目標裡的位置）、`glEmptied`。
+
 ### 寬字元
 
 - `tWChar`、`wcodes`、`wstrArr`、`wstrLit`、`wCells`、`wcstrAt`、`WCStrD`（`wcstrOk`）、`wcstrOf`、`wcslenC`、`intsLt`、`intsEq`、`wcscmpC`、`writeWides`、`WcscpyD`、`wcscpyC`、`WcscatD`、`wcscatC`。

package/index.json

@@ -2882,6 +2882,14 @@
       "merkle": "f5b00ef2e268112920b58060fb4d0f40e6ab6ef588195e4ec7eac83ece377efc",
       "own": "b9df5d5c0f03f3d12484fbb5318b1564f5b72387c920a094f661a12871835cd2"
     },
+    "cpp.cpp.gPartialSum": {
+      "merkle": "867177f230017555ed43fba72d2207c0e5ecb61bbb8465e6d445fce94319826e",
+      "own": "a7408fabc3150543c4c65676955c2a638f7378256eb4fc1776e3cf63980ab89b"
+    },
+    "cpp.cpp.gPartialSumOkB": {
+      "merkle": "ec5e30b6788a3ec4e797af2b7378a3477a01b5a5ef998b6a795802471330c179",
+      "own": "1d4f2506be04476e8bab5fe465539d4485a2fb3a841ab29a89f353e8925a9651"
+    },
     "cpp.cpp.gPopBack": {
       "merkle": "b62a2f900ea57e39117c52fe0e912a78cd9f858f38e8e6792e3dbc7c24655b77",
       "own": "8f5889c57cada4693ff13098911dc5c059d2fc45877db17175f3d634355dbb13"
@@ -2898,6 +2906,14 @@
       "merkle": "e8a405ae2c5b0749f5871ad9a1a110082c429206a121eff4bbcc3771895ca76e",
       "own": "6071b98239f0ea3fec4bd12b7acb26b8e0a5eeb87608158ecddcac975f961b97"
     },
+    "cpp.cpp.gReverseA": {
+      "merkle": "9f3ddde4139f3e3dc9a085e13294095f7a78f4d5dbf4ee60e36f11fda5b61765",
+      "own": "f1c287610e0882ab984f01af1ec06b938a7246609669aa38495cad1a1f4821a9"
+    },
+    "cpp.cpp.gRotate": {
+      "merkle": "f30e41389e16e39a3f942e234e412c01e13a911aa9b81618df975be72c1c71d5",
+      "own": "6a2adb9334073b4d0bed969045f059395d7fbaac39572d6dc6444b1dfa1e7dea"
+    },
     "cpp.cpp.gSet": {
       "merkle": "649f73ba6b424683e4a2cf19e008e901a01ce06c5ca813d951ffca86e13a6fbd",
       "own": "bc9dad9d4c4dd7f6b78a5de500330c266694c55bb78389b9a3a0293efc0db89b"
@@ -2954,6 +2970,22 @@
       "merkle": "159c2a440b7f6c495d2cc9940b938f03d3c4d6ec4e2452d5fd88a7746dd81080",
       "own": "a25ea9972bce8ec84be1e30416d37efd0e1e5bae9dfc3b0a746c1e5045539a96"
     },
+    "cpp.cpp.gcdF": {
+      "merkle": "e3809c9bb1f6d186ab1ec89574cb608051d2083040393a63b8c032c42d27ba4d",
+      "own": "3405bf8ab440010a9bee10545ef6d8604dfa93454cafc33e164612341f6b57ef"
+    },
+    "cpp.cpp.gcdN": {
+      "merkle": "c953c1dae21268000216b289041b701f5eac7585b8d2216fd8395938808a0582",
+      "own": "5ab78e753368778d91a25be146a2b14e923c91913107d0b4994775a25b3315ea"
+    },
+    "cpp.cpp.gcdOkB": {
+      "merkle": "422276e7fccf041527584039a730aae5b2e83498b54b77d47110b02696078d25",
+      "own": "4ad893cd194ea9d56d80e75d5e85a2e91d847d6327f6b7305aff70ca475399e7"
+    },
+    "cpp.cpp.gcdV": {
+      "merkle": "e28ad50a07d2e9bf70d799d3cc8df5c99a5979f4b5f6c1b4906c97cd03e7e255",
+      "own": "7558a82a02a74a6a7745b8f3c7dd3da99a1186bce175219c16cb7b70421d7c8e"
+    },
     "cpp.cpp.geTen": {
       "merkle": "fb663ada4d79b3f73e6983811f628ab215f28080656195b6584464e910e8bf1c",
       "own": "bf6526ee4aaff9742bee76fedd28243bb808696cd5bb4529d25ba23262afd901"
@@ -3094,6 +3126,10 @@
       "merkle": "b9b17d8e2b9776e9abf3fb02c49948d8869b0008e1ca6b0ba06a34d22ae7eec1",
       "own": "fa3b3d328fc363d53741f732e0805c13f9a097a1335d42c9e3f362bee39b6b3d"
     },
+    "cpp.cpp.glEmptied": {
+      "merkle": "82e12af638ce1077688e3edb48ae53232b482a4042dede197f1c37141ce96567",
+      "own": "5e2759864c87670fcf1abe4d8544d41b63be060f0e02db01dae6e98391008dd4"
+    },
     "cpp.cpp.glEnd": {
       "merkle": "e5cd8bb3291423c5ac7dc0f60833cd629b485e615bca652a4267b329fd3c167b",
       "own": "ea2c57045db0a57ce1773e1abfa6c91c3265fea132fdb4bcbc178d2a4879bf41"
@@ -3134,6 +3170,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"
@@ -3942,6 +3986,18 @@
       "merkle": "0ae012dbd0d9a7ab2721c36dd6895f1ea04b2be5dfe24207679a61048539d8f2",
       "own": "ae69b4b5dce500e0289f42a32754ada83c16060a33672e63283cb78b86f850be"
     },
+    "cpp.cpp.lcmOkB": {
+      "merkle": "256ca2353b5914bd8c12838ce876fb0b28c42fa29b93f56d12cd2f562d9a4b3e",
+      "own": "89bec68bccf4dd00171045604c5824d06b2f3cf1c012217010517f511fda6c74"
+    },
+    "cpp.cpp.lcmRaw": {
+      "merkle": "6fbecc7c6ae29ffb58d47dedac2890292792d0fa7becce577b7bb601f4d46142",
+      "own": "5622544cf73481a4cf7fdde79cad10677fa1e8771562499cade010d863580b97"
+    },
+    "cpp.cpp.lcmV": {
+      "merkle": "ec05f887d4e17677730355e584ab9f70924f8566df5ba6c5711f1113d23021bb",
+      "own": "17f9bc82ab4e101ae5ff72cf58d4788fc5f3c3104473b04aad9c1fd2d03794e2"
+    },
     "cpp.cpp.le": {
       "merkle": "67627c7ca59dbc6923ce80f887f622703b75078a49f2b2bce107a2336da5a3f9",
       "own": "7057e826cdf59e05a8a863642c38164bb647c373b50bdc2e4c86c4d3da363266"
@@ -4938,6 +4994,10 @@
       "merkle": "2498eeee194c931aeccd3a3c6bd46c28e3c44948d9e7a1a90e1b031c9b724112",
       "own": "81313f78911befcb9ac753df06d5c39c0bfd400762e0ee7d8063e49a749b9657"
     },
+    "cpp.cpp.partialSumL": {
+      "merkle": "b3442d18eb28a0f1c570d9b7a71eae43046c95c706ea735b9803e572d40ba5af",
+      "own": "024571175b7405ac991c5acbffbeb7f5c2bf76d24ba162898530f96e7adb760b"
+    },
     "cpp.cpp.pfirst": {
       "merkle": "f7ecc3ff134776ee0a4ead57933fb8f2a1f32beef5b5eb2130c3b0b04b0932b1",
       "own": "79558b79ce72b819696c9b6da1f65852c91e31f528096713d53f2944837d060c"
@@ -5378,6 +5438,10 @@
       "merkle": "7fe8d7c32fbd769cdc936bd90b602f9da8e39debf95375c87b8a4e991028947d",
       "own": "4c4444c11fe880031ce5cb48ddb9e7176fbe5d850e0d6e465c24d79015746bdb"
     },
+    "cpp.cpp.scanMG": {
+      "merkle": "7f7f34d5868d702c24dad306c6bb505d7742ef469aad42f6a9c8685d675d26a2",
+      "own": "0942dc811fd85b7f15a731b2f32aa9cc359e7277c0fab56b56b41b87162fd632"
+    },
     "cpp.cpp.sciBody": {
       "merkle": "35e900b5be9afdb617ca1ebaa05905735ad74b97509fdffd2e049575057a513b",
       "own": "ad196d9c28900fc70fd9d29447e9ab9a26f910c44e633fbb7f4f200b1141e19a"
@@ -5694,6 +5758,10 @@
       "merkle": "018c632caa2df0248105d0153c116b0131351cd6a507d6b2d632c7de903e32ee",
       "own": "1a4f9a0bb9f0c1a4dfca1f79cdd69a3872b8e45428771dd865cf41fbd15d3627"
     },
+    "cpp.cpp.stdArray": {
+      "merkle": "286c4e5f5308e4e3a3bbdef7f90cd0cc10a48dcd78e5365753750230bf21b340",
+      "own": "af6b16cc2b7baece1fa2d69d4094c188b1407111c66dd79c001f618abacac82c"
+    },
     "cpp.cpp.step": {
       "merkle": "cf2ec3b57af7097a01aedc0f331c3afa103839eb5558e475c5edc037830bf49c",
       "own": "bb1767b6c2504fd7b989ecebb506087c038af57da0b4776478868b7540acd012"
@@ -6710,7 +6778,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 3197197,
+      "bytes": 3213508,
       "deps": [
         "cpp"
       ]

package/package.json

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