@cella-lang/cpp 0.1.202610102138 → 0.1.202610102151

package/CHANGES.md

@@ -5,6 +5,11 @@
 
 ## 未發佈
 
+### 二維 vector、multiset 與 multimap
+
+- `gFill`、`gAt2`、`gSet2`（`vector<vector<T>>`）。
+- `GMSet`（`msNew`、`msInsert`、`msErase`、`msCount`、`msSize`、`msEmpty`、`msValues`、`msOkB`）、`GMMap`（`mmNew`、`mmInsert`、`mmErase`、`mmCount`、`mmValuesOf`、`mmSize`、`mmEmpty`、`mmToList`、`mmKeys`、`mmOkB`）。
+
 ### set 與 map
 
 - 鍵的型別任意、比較函式可自訂：`GSet`、`GMap`（`gsetNew`、`gsetInsert`、`gsetErase`、`gsetHas`、`gsetCount`、`gsetSize`、`gsetEmpty`、`gsetValues`、`gsetOkB`；`gmapNew`、`gmapSet`、`gmapTouch`、`gmapGet`、`gmapGetM`、`gmapErase`、`gmapHas`、`gmapCount`、`gmapSize`、`gmapEmpty`、`gmapKeys`、`gmapValues`、`gmapToList`、`gmapOkB`；`pk`、`pv`、`swoNewB`、`triOkB`、`insertBy`）。

package/index.json

@@ -206,6 +206,14 @@
       "merkle": "181a49eb1a1f43c81de9a731397b08c3c334cae07ddfbd4364e07629d80a2157",
       "own": "6cda4f9b32ed7b93b65fe28a7e2856bd6e302e41fd2f67a27ecea93f03b951dd"
     },
+    "cpp.cpp.GMMap": {
+      "merkle": "937b740f287d1917fd9d283cd67a40ac09726f3f9d925bd4825da1fb035bf5d9",
+      "own": "89c9d37835b5cac1310d6211c6d6ea43ab98f54d637fcb75f50b35699bd123c3"
+    },
+    "cpp.cpp.GMSet": {
+      "merkle": "78877855891e804b8d5de07ac4a4a3571e2adc9e46a302e167f293846953497f",
+      "own": "70c3ff42790a76a8d57c37719acb624e65faa873f4b1dc77bc0ebddc56dbfc69"
+    },
     "cpp.cpp.GMap": {
       "merkle": "5bf723468ebb1b9bac4f155dd9bfe532d52e47d6d821ee87f8568a5a826bb83b",
       "own": "dd7b59ed5fd0993254ecbd3c9199acb3bbbd38ca1c6134b7e95d3d924f1a6330"
@@ -2262,6 +2270,10 @@
       "merkle": "48014d87da937f92b959cab11e19851c397789e1a256f376a8dc7e6b34c3444c",
       "own": "306fcd38404d35f2ad15e39db7569bbdd8768f9ee560e56129a31e8a4d3a4856"
     },
+    "cpp.cpp.gAt2": {
+      "merkle": "66bda7638693ee66ee65cd2f548cfce2ad9f5d0ab746457fb2966191a8cc9b3f",
+      "own": "84996ebff816ef7d5dc0446d21eb39ca938fd3a4a0b5f6032b176cc065218da7"
+    },
     "cpp.cpp.gElems": {
       "merkle": "61508375e2a8b45dfd18a7dbe162e1c7fb80d13f5b6d62a752260bb92b0c5494",
       "own": "14a294e84c2416b7824dfbc1802414c272461d7c7cfe96a2584149b7b6a3a9eb"
@@ -2278,6 +2290,10 @@
       "merkle": "a08d6bf11247fefae8292faa595b6ce32b6a6fbf3ddf904692f08b0ba8c38d65",
       "own": "2ab447caee20bb86fb367c01128414258b44b8b1ef2a57ff5c0f755ed53d4f1e"
     },
+    "cpp.cpp.gFill": {
+      "merkle": "8a4e0b14f31a863b631dce0a6e923d761ed8d68a721d8dd9d780dbc87e44c523",
+      "own": "bb581ef6f95eac1ad39a2d6563d393a94fd246af5a96b8ab48c3064709bcc72c"
+    },
     "cpp.cpp.gFind": {
       "merkle": "4d7e39e6eaa9a36aa9c07d969ceb09f3a4af9a8dd52e1d1de8fdb4470748acdc",
       "own": "ef21243bddf9f8cf73227558e8742fdd597f97f8a092560ed612ac49b5f0df73"
@@ -2310,6 +2326,10 @@
       "merkle": "4cbf229791d0baa4b246768ec4cd779dd77e07a5362bac975f207595b9cde00c",
       "own": "d9ae3ceca5c9ea4725cdf90d3513d62ca28e4132be998dba5855ca8b53669238"
     },
+    "cpp.cpp.gSet2": {
+      "merkle": "6c27037e473771e6a422d39d5cd83395f3971797b5ad04d694ca9ff350de2bea",
+      "own": "79fd8c0f7177740f686c766f36e96cef888ebfc072b4bba234e4298347f4ad78"
+    },
     "cpp.cpp.gSize": {
       "merkle": "8241c811a29bc73eaa07512d8e59403df390c008e477c28711d5dd9c547b71ba",
       "own": "75d2e754f0057c00b97a387148e8a019784a1cfb4c8d59ad72d012065da52c41"
@@ -3274,10 +3294,90 @@
       "merkle": "569254e4824c81b9ee987dab78b0fc065ef5f96d39d5d28b9d0d124486580cde",
       "own": "47f179d33e6acee33837acdfa6b9d428c33d0fca13d0ded755bc2440f7f13696"
     },
+    "cpp.cpp.mmCount": {
+      "merkle": "55fc6e6277ff24e503103db6b00ce18fcba06dd63ac8c8c153f66d5204419ce7",
+      "own": "ad489581dd4a26576563c503f1689560855194f67da7dad4b866334aa1b00ae5"
+    },
+    "cpp.cpp.mmEmpty": {
+      "merkle": "2a23c245b6a37d0b919620b395c0f03c43f3233ccb3a4ee0ad6eca731f85dcef",
+      "own": "38e46e0726562c6307835036d2f60c441e19d51669eb816d59970a033a3ae5c1"
+    },
+    "cpp.cpp.mmErase": {
+      "merkle": "8b1a98d7dd35b9b4a378a6db6b63c9abe946aa25eb889c87726cc9d6146c1c73",
+      "own": "b2e7cd5775a2204b588e3e0d71944e272bf1e78846256fb970e44eea09329c4e"
+    },
+    "cpp.cpp.mmInsert": {
+      "merkle": "0a4d838ea0b231f649e9881e085d18dbc57082885f4b745c011001ac61e4c64f",
+      "own": "42393f9a5fe713578b876d06177cb0cea08583f0765d4f4338e0ee038f2437a3"
+    },
+    "cpp.cpp.mmKeys": {
+      "merkle": "4213741005bc3152bf0a3ae2237bd78bdf31a33b8c0f951c68a9a372c1e0e1ed",
+      "own": "9cd91590aa8ba599502b352cf70370a837632fd119619c7abcb2ab4ea351bcd8"
+    },
+    "cpp.cpp.mmLt": {
+      "merkle": "71fe7cbf5f5040f9b245fe1aff92ab99960112cb632c13e858e682521ee3edcb",
+      "own": "ea7288d540c5015945f31b51ead68c0b452aab982e6705793a3767a7680edda0"
+    },
+    "cpp.cpp.mmNew": {
+      "merkle": "384f6ec0c55627a1ce21f117deb69d03fa9b933a8a606ba3eeddd1a2d9520762",
+      "own": "be86fa5286f925be0ae5cc9bedbb4efa505f2a81588015162600a3a7fe7fc2f1"
+    },
+    "cpp.cpp.mmOkB": {
+      "merkle": "7600758480e410bb91c6b9d1a1def4f2448a44dfc5e8f3d1492ab96f25ef28b4",
+      "own": "0f63233bb3cf79357f9ba83b13f561e3f28cdc41087766d5ca6c95333f762285"
+    },
+    "cpp.cpp.mmSize": {
+      "merkle": "2c9c9e3b3d0a263fee07699e7170a2f8997a6faa8673a1164636937d45794648",
+      "own": "8ba652d69c4b0bd2e6186a3d44feacfb04290b30dd41d3d98bff0694db09e525"
+    },
+    "cpp.cpp.mmToList": {
+      "merkle": "b57c16094d6a281886b8fc36281eb1fa51a8398fdd0006d9ecdd9ecd1c983973",
+      "own": "6aed2a2c37262bf0985c636c4905b6ac8c4e0df595204841c514d32e1a3946c8"
+    },
+    "cpp.cpp.mmValuesOf": {
+      "merkle": "b1cde48bacab99fa5572dc8bb6887620fd5bda6c972a723d31b97a03e4255d2f",
+      "own": "96e10899a123d59f605137f18636325ed1c03a1723ad8ec0976022e97c383abd"
+    },
     "cpp.cpp.modNat4": {
       "merkle": "0a9b2b06b9d3e09ce24c0f587654f489714d9cda79118dc29d36e7297b7ed84e",
       "own": "a7d09eecd3ab05ae8a65b89270f5e177dafa303d6d1fe64bc7272e4dcbb496ec"
     },
+    "cpp.cpp.msCount": {
+      "merkle": "1536a5192c150307a3a38ac300ae3a609590e6b9cee198051b3c82c46f666f87",
+      "own": "7b9f2b29e64c31366a7d3db5abf32718543d27c4a4a69362ae96ae5c9be411e2"
+    },
+    "cpp.cpp.msEmpty": {
+      "merkle": "d233de52d9f7544582c016615a835d3fc94f22ad83db66d2c17175fa91ffe611",
+      "own": "493dd38eeeda5eb204307fee9b439ddd20931c483366efeeed5c73ac8075ded2"
+    },
+    "cpp.cpp.msErase": {
+      "merkle": "4df445d04fbb817dbeb377e46fe986069f8aae99ec96ce51e794ac991848600a",
+      "own": "9a8e74fedbe7bf37eb2d5a44fae3996eb1a0424eb14bf3046b72ba8e0a785b3b"
+    },
+    "cpp.cpp.msInsert": {
+      "merkle": "b8b2a7212cfe77dde7e9b926a10679a40d1d96fe9338445515ee7d653d6cfa91",
+      "own": "521a26fe2998367c18a91093aeb1ee16bf8d91b40f532fbf676e8152199d879b"
+    },
+    "cpp.cpp.msLt": {
+      "merkle": "7c772951c206f322c08c97a7b7118567469b88c8ff0cf81cdf4d1e5cea2a7997",
+      "own": "80ef409b87c618e473c2435e23a6e7fb26e15b2fc62fbebc6adca56ac0635ab9"
+    },
+    "cpp.cpp.msNew": {
+      "merkle": "cc47d55f680bd89a74eddc52267d3e75d33559c37171b0b3e662186ed83bfc7e",
+      "own": "752cfa6ffde5a715239d6a3ca7ebb841c24cef607cfba1dda92c426bf5775b0c"
+    },
+    "cpp.cpp.msOkB": {
+      "merkle": "3155f7c532dcd06fba88f58c9fa1a3536bd4ba043555d7091276b57158cbb047",
+      "own": "f8df08e988dc9b0bd97469cbe06859f0709bde02bf1d204bd2667cbb346da1dc"
+    },
+    "cpp.cpp.msSize": {
+      "merkle": "e0d31017f6624152ec3df28b6d0c21e2194e73c0af2414c85b0c4a2e37756c90",
+      "own": "d096922f7d0a9de8d11b46b5fd81aaef9d0c7e65c7a2859cfd9bbed2663d8b33"
+    },
+    "cpp.cpp.msValues": {
+      "merkle": "56fb39fba05746dcdcb6717cbb6d121e73272bd6dc65f49cf83ffd8209a77e5b",
+      "own": "79d936aee6e3101df235a62cc3e8191a0a5b80c118f79dcf5d675bdfe286bf1a"
+    },
     "cpp.cpp.mul": {
       "merkle": "aed5e5eb778c628376866474038dbd047492b4dd1dd9022e1f1fdf7936c8a1a2",
       "own": "59c50c23e150ca0a1f4c80b98130ebe99c1d50e11d4ba176a45fef1cdf62a7d5"
@@ -4994,7 +5094,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2624580,
+      "bytes": 2646320,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610102138",
+  "version": "0.1.202610102151",
   "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": "1b95cae5db593c85"
+    "packHash": "770e67cc6a6a68c3"
   }
 }