@cella-lang/cpp 0.1.202610102126 → 0.1.202610102138

package/CHANGES.md

@@ -8,6 +8,7 @@
 ### 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`）。
+- `unordered_set`／`unordered_map`：`GUSet`、`GUMap`（`usNew`、`usInsert`、`usErase`、`usHas`、`usCount`、`usSize`、`usEmpty`、`usSortOkB`、`usSortedBy`；`umNew`、`umSet`、`umTouch`、`umGet`、`umGetM`、`umErase`、`umHas`、`umCount`、`umSize`、`umEmpty`、`umSortOkB`、`umSortedBy`；`insertionSortBy`）。
 
 ### `<cmath>`
 

package/index.json

@@ -218,6 +218,14 @@
       "merkle": "88c678f911ea059f53bfdb3ca6b9daf229cfd6b0f3d067a4d72ef26c9c40e8a4",
       "own": "5ea099fee36a0005e62f8214b6cece4fa6b3112bca48f55356d0c9b46f222fc2"
     },
+    "cpp.cpp.GUMap": {
+      "merkle": "2b652a7967eadb8a15e6200b1407cd879c952feea1c133bf8d0156d9d3720cbe",
+      "own": "c18dc3ae167a2538a0caf37b4fcbfe2a768f91e69546abff68d47d1c7fc2f182"
+    },
+    "cpp.cpp.GUSet": {
+      "merkle": "3c2f555b24b816c57c3ef5814cc0a61ff237061ad176e14c47b295d96cfaf1e7",
+      "own": "5a2f4cff0f701ad18b68900852718b0c8fd33c5aecc2f48da35df74d1cd94d0a"
+    },
     "cpp.cpp.HypFn": {
       "merkle": "7462de806d21637e219d6f5ef4f077aac4a34f942a2a42e48753d37f77c38891",
       "own": "48d00acc74a7a299381e8fe2d57475ec9ae90585c4971c00edd63a9958eb7097"
@@ -2602,6 +2610,10 @@
       "merkle": "9bbc63d42d57b4f289beb2895ab3a930a306a3c07d354cf9464ba6bec67de830",
       "own": "740633029d9481598e5ab43fbf298fe8fbc702a5c64fd4aae0c4f54b332b906e"
     },
+    "cpp.cpp.insertionSortBy": {
+      "merkle": "f8fff0ba7d4f2f107543bcd94833c93acd5512a1bf08c1f556ea2256af90d44a",
+      "own": "29d000265e7a1c647eae2308637b60a9ee0a6538812fa190061a2758c95e3168"
+    },
     "cpp.cpp.intToPtr": {
       "merkle": "199856e152e2069c102614208efd71c04e9246cf73fe70e947ec841ceaeaaaf4",
       "own": "0bef18b2e6ea13b711248f97bf8e9e592b271fb0ce4b57f9cd28e977218c3fae"
@@ -4698,6 +4710,74 @@
       "merkle": "e1bdaf9fa4a254cfc256b1cf569e2867a69c10859e8900e9b0df9e9434f6c76e",
       "own": "c9c5321bcc4df517827880865524f513db187eb7bb8805c046d609a554398e3b"
     },
+    "cpp.cpp.umCount": {
+      "merkle": "038362c2198504bab2ed5cadd176e5ac880b7277bbaeb635565e181558c8134f",
+      "own": "22ac8919b54b79c0de23846fd3f1d73451cf974169a7748d9010e261abda997e"
+    },
+    "cpp.cpp.umElems": {
+      "merkle": "d254aa720f89589324b3d5e9d1158efe4e7a7fd1e191d3f5c88f69cf2b54a679",
+      "own": "60ee3feb4880e7d025b5b931a23534408cd06f52a2c0a4cbc1262f3706433741"
+    },
+    "cpp.cpp.umEmpty": {
+      "merkle": "7401898beeca25eb43c6c7d560eedc65d19b4969fa0aacb72440064bbac394f1",
+      "own": "feab834f1a422026232a12ace21e70aef01c65a51a7d5f174c2888494edbbec5"
+    },
+    "cpp.cpp.umEq": {
+      "merkle": "29d43ac59e3877e4951c948b8a4c9de9190c9feef703104e8d0867ef219ad03e",
+      "own": "85d47b044f7e84786dd95023c98c17915edccec9496c3cf53ddd1157015d1eaf"
+    },
+    "cpp.cpp.umErase": {
+      "merkle": "8f5fe9f8837a3d7f4fee4fe4f96cf6525df2e007f408c0ac9295f245d613de2e",
+      "own": "5abdde9205c7551618cf64d17862ae58118cb44d1c40042b3545c06f54aa9fc6"
+    },
+    "cpp.cpp.umFind": {
+      "merkle": "8b87b9b0e717903e8eaeadd279f1af4eed6d86031476471cdef97fc2bf1468f7",
+      "own": "36529e2e7cf20210b91baa5f29019128ed70db618213d372a4a5a237c444f5bf"
+    },
+    "cpp.cpp.umGet": {
+      "merkle": "3cb9192c6ef713914ed17fd74b3fc9e04b7a3a09e066c76c1940f21327525f02",
+      "own": "a4e41810653a6bc533f54cf996920f3c0cc1c983ded6f69c2738e39b2c908c90"
+    },
+    "cpp.cpp.umGetM": {
+      "merkle": "80d4b694e826a1ecd00685fca1cf74d7d57c04529796895e465f72f83db5f94c",
+      "own": "8d3dced8ab9af523fadee6a2391598265518b4894402d48429e5be3742a7d3fa"
+    },
+    "cpp.cpp.umHas": {
+      "merkle": "5b6bccc278664c1e100973222e34fce01a8e22fc3d0c52a93f9d9d6054a5eade",
+      "own": "bbfa55a6f03eba6f567a64a7f78e6bc08700e463e96424cb01afeebcebe914e4"
+    },
+    "cpp.cpp.umKeysRaw": {
+      "merkle": "e4d6be42300fdae420c8db0e7fd60f5f979a7aa89fcf224a55e52c28495e9092",
+      "own": "454abf9921db94ba27cd89168eaad14f9fc88cabdbf131c4eb33529e39d0d042"
+    },
+    "cpp.cpp.umNew": {
+      "merkle": "032d5ce31c20b0928c67091b1b0b0cb6b2c90251afdd83beff9fd7538c078d52",
+      "own": "2deb4fcc21d70699f61573bebc265760f17f6fd6537e43eea38413a01ccebee1"
+    },
+    "cpp.cpp.umPut": {
+      "merkle": "1e67e22b90ea79bd79d6a5eadb832ca878f4e3510c3ea5fdc35e71ab125bdc49",
+      "own": "9790127c5d47ab7b367ed11f6715327cc09f78b5efa97c1a04192b65fe82cbd2"
+    },
+    "cpp.cpp.umSet": {
+      "merkle": "5115efb3150136e18a6fe5c6de859f05f76b07de5484cc9e89fad0d526d3cd6a",
+      "own": "eaa39c37c6c6e564363dda7fcacdbd42594ea5c70ac6e44e80077c8507703207"
+    },
+    "cpp.cpp.umSize": {
+      "merkle": "66a40c539644be718aeee4e9c77135ff9670d4133b6ad60b8d01dce785fb44a7",
+      "own": "4a7bb57b41fabdbc867f7b8f43ffbe9887bacb16390ad3026bb3529907bca522"
+    },
+    "cpp.cpp.umSortOkB": {
+      "merkle": "fc4cdb80971423530a625cf535e43df1b3d46dc0f4e202218987ef0e8f7903fb",
+      "own": "a0d90375c0eafffbfd68ebdd6ce663bb32caddc3d25024d927773b69661e7f64"
+    },
+    "cpp.cpp.umSortedBy": {
+      "merkle": "bd4a002b19c0b378126a6a628db8bce69a1ddf72bbd69ed62fd3e4c6f04ca267",
+      "own": "8050afeb2c4cb2777706260b9a1b2d5be9a57ad196c24295accd8ab1d8ca0b12"
+    },
+    "cpp.cpp.umTouch": {
+      "merkle": "b7c52f9b2f3c16a40c38694abc42308621b0a2653b4c7f827bd6a6ad2a642351",
+      "own": "ef052d50690862983b65bb407f3b455e49c58476781210b6fa41a870ddc348b6"
+    },
     "cpp.cpp.uninit": {
       "merkle": "8c5a548daeb3200b749d631114ccd0241bde5c5e4bbecec5851147f6156b6782",
       "own": "ea620b5955e4d15be42f5e18ba13db915873c403e5b109ebaa53d3e225acf1ca"
@@ -4718,6 +4798,50 @@
       "merkle": "60a023ec5a6f4fbfd9879aaf441ee8b1ad8894057aa95c24228e7ce0e17c817b",
       "own": "c236995e09ad82d7749bf8e113553ec857197d456ff96b085bd201b7bc965986"
     },
+    "cpp.cpp.usCount": {
+      "merkle": "1ff4b3a676297943a29c868f21db67f5b5482950ac488ad71d3e52f2c982adfc",
+      "own": "957de48a5f1111022ddd36308b6f667d2efe30d5bd537750af8b2f90cf7952d8"
+    },
+    "cpp.cpp.usElems": {
+      "merkle": "03cbfeefb3ceb4cd09429b83407e954cb31237a18dbbd2418eff19d9508ba896",
+      "own": "860163add4e0f218dbcc70d47870b1fa1c3b6fcb2bce1c6673f542e4b2757dba"
+    },
+    "cpp.cpp.usEmpty": {
+      "merkle": "014cc69ebeab83ba80992a465fcfc5665d4cda7b2ce6def5caaef150ebf8ccef",
+      "own": "32f3cea60a6d4995fd2dc59c643da6fbfbb8a5d94e2c6d1f08c6f42a94845a36"
+    },
+    "cpp.cpp.usEq": {
+      "merkle": "0989680f8522dd471a7f595926cb50a5ebc5105c74443dea1d0bc6a16d971e75",
+      "own": "a18919dc07b0ad8d103f733a8a801ffef860637b069c46c1220d74eaf49afce1"
+    },
+    "cpp.cpp.usErase": {
+      "merkle": "15fbe7e7431693f9e5202b4b156ae5df2f1171d45d94a4806e3e0d79f7687b2e",
+      "own": "efc6d4bee86afbaf10042c3ed28f5bb3b30291b6c691c16f47f76a28795dba2e"
+    },
+    "cpp.cpp.usHas": {
+      "merkle": "57eb47e70c5d9cfc23169ff9bc4fa630213af24417aa38a1f7d85e4111a44b0f",
+      "own": "9df263986d00677ee8535799f0f1b19b9ccd77f939a8bab2211220d1ff9083da"
+    },
+    "cpp.cpp.usInsert": {
+      "merkle": "78acca30459c27f772405f23f2e524e90a144e96090b8da86a0bc6d0f2340408",
+      "own": "8b64d1510d25cd8d06e54a33f81564b556f982c5586ff547da3ce0ceb056350f"
+    },
+    "cpp.cpp.usNew": {
+      "merkle": "b5fc8db89ab57eb0e6ff34a9bbc2bdf015ce5e690520206ccbce0d03d2f4fe7c",
+      "own": "269dd0e1904f285a21915040d23bfe412fb2a678ecb586cb0139828c07a2c990"
+    },
+    "cpp.cpp.usSize": {
+      "merkle": "109dc33eae42a01cb70d9dbc7e81b6d28f5733866671e895655dd2f04826b7b9",
+      "own": "a7bac8dc5dadca2eaa83d60e4f249c82635bb44b231c3fe4f55c93a06528717e"
+    },
+    "cpp.cpp.usSortOkB": {
+      "merkle": "f28d09d0929059783cac8170d0e525af2d1d3fb656cf4f644cb3b33febdcf934",
+      "own": "801a92cbaa62ed0dd40bda7f916f6ca544b7f283454d8f56474952da04997205"
+    },
+    "cpp.cpp.usSortedBy": {
+      "merkle": "3c718e501685b4819235161ab9c7aff9f379acece5d61aae29bc28d23c82148c",
+      "own": "066cad5d24ec37d8b0a2d06eec5af2275971c23d4916d9eb0c00e158e252ced9"
+    },
     "cpp.cpp.utf8": {
       "merkle": "757f08b676b26b452cdcf7b29cc0bf1236f4e33ff0ebe5e6fb66686ca4869069",
       "own": "06eb76f473a3fff60022203b1bfe9c9705043d65caf1f729f6033b758562a949"
@@ -4870,7 +4994,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2601798,
+      "bytes": 2624580,
       "deps": [
         "cpp"
       ]

package/package.json

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