@cella-lang/cpp 0.1.202610110424 → 0.1.202610110436

package/CHANGES.md

@@ -5,6 +5,10 @@
 
 ## 未發佈
 
+### std::bitset
+
+- `Bits`（`bits`、`bitsL`、`bitsLen`）、`bitsZero`、`bitsOfNat`、`bitsOfStr`（`bitsStrOkB`）、`bitsGet`、`bitsPut`、`bitsTestX`、`bitsSetX`、`bitsFlipX`、`bitsAll`、`bitsFlipAll`、`bitsCount`、`bitsAny`、`bitsAllB`、`bitsAnd`、`bitsOr`、`bitsXor`、`bitsShl`、`bitsShr`、`bitsToString`、`bitsToULongX`；引理 `lengthReplicateB`、`lengthMapB`、`lengthZipWithB`、`succNotZeroC`。
+
 ### std::array 與 <numeric> 的其餘
 
 - `stdArray`、`scanMG`、`partialSumL`、`gPartialSumOkB`、`gPartialSum`、`gReverseA`、`gRotate`、`gcdF`、`gcdN`、`gcdOkB`、`gcdV`、`lcmRaw`、`lcmOkB`、`lcmV`。

package/index.json

@@ -46,6 +46,10 @@
       "merkle": "b0470d3dde7fc041a3a1a67bd2352e87afea3ceb1c5e07265dda932f1f49db18",
       "own": "94497bc7a1281a13b704da171ae4eaa98e9e88f5d7627eec13868c07e38c145d"
     },
+    "cpp.cpp.Bits": {
+      "merkle": "49ce984a6525dfbe2399c1414f8602a3fe4f203c6fe23adf236ad19985eeb964",
+      "own": "51a747299f240f0cf31476cfe3277a17167f57d77c4466fd49f2a2e36a5f1167"
+    },
     "cpp.cpp.ByteAddOkD": {
       "merkle": "ac02c9185e0074b4abe68a30ffb2229357cbb6cf0b81c4b760fe0b4ed0d5cd90",
       "own": "2f3fe42a2e13a1d87eb4e540c81c113ad0c6a7deeb0dbb7648693ffc0ba322be"
@@ -1034,14 +1038,126 @@
       "merkle": "99cb7bed29dfdd38132528f1715a1f09ee7eff721a32017e7742712bd8f7ce4a",
       "own": "48b28d4bbe12f9883ff8686b94e7c5c2bd84b0fa4c8950585509b5a7b1b86809"
     },
+    "cpp.cpp.bitsAll": {
+      "merkle": "60235057e563cb6ca65a07b3c94643fde2131edef014d7405f5ec012123af1c8",
+      "own": "2dca958f7c212d3e0609342b978c48c5f5cec525185a872cd74f5053cc020933"
+    },
+    "cpp.cpp.bitsAllB": {
+      "merkle": "3a88fcaf6727c64e4170f14872118fe936b066e1c3eeda5080847d0f4559324c",
+      "own": "5def2c411512a911982a56d415c0a1d790f67ad0d8cedf0e7cf3d023f9de894c"
+    },
+    "cpp.cpp.bitsAnd": {
+      "merkle": "7fdd7d76cad78cb0e6a4891c55d25c95c6a08118c5b8f10340fe52320856fced",
+      "own": "bef70f039e498c84789a6b1840f512a6b506a4ce58cfd0965a4b7117d181bb22"
+    },
+    "cpp.cpp.bitsAny": {
+      "merkle": "4efcab1047b2866a4156b9f0a0f89742b95bd16ff7a379243275708262c3278a",
+      "own": "c8d3f0d29b1d91d10b1c3e943be28e4df60a6627f33454a9fa04c3a53eb322f2"
+    },
+    "cpp.cpp.bitsCount": {
+      "merkle": "c5e095da34217cae5354e0029d7b53d34e7c016119f7863576d9873cdb71e2c8",
+      "own": "e87532bf5ae10a27215b0350857438539ded66bdae53fc971533f8388c826965"
+    },
+    "cpp.cpp.bitsFlipAll": {
+      "merkle": "0ff970e93fe4263d177f61d7fd0ec85e48816ad1b4686fae6d6ce4a985d8d0b4",
+      "own": "bb58572cbff5154970db0fa486cf3751af9401aa302156d97e22cfa6e8a38431"
+    },
+    "cpp.cpp.bitsFlipX": {
+      "merkle": "a575c9d11aeedaf25d98e1ecc31cda06c0dfe1b20fbf927e217c8c6717ea0c25",
+      "own": "e7d4fa53772717245a6128d088b2feafce45eaaf934e285b8c963beb373a7bf3"
+    },
+    "cpp.cpp.bitsGet": {
+      "merkle": "2be318deb28a05a21e5d704f8082f53e2579406e97c088e400024458e4d63670",
+      "own": "1362bb949d46cfef8ff7dd8dfd0732d9c192e40c2157be77436b95a1c5bc55bf"
+    },
+    "cpp.cpp.bitsL": {
+      "merkle": "b25612eba8cbfb2cbae60edfe0dd6a9d99a4edd6180699af6dcb3b2007483544",
+      "own": "fb283a6ba07b6d618071b387e8c10419e0f8e757fdc0991eab0fe5b448d0cb32"
+    },
+    "cpp.cpp.bitsLen": {
+      "merkle": "0b4823c1f785c63f06ccd337aa85fb04af49e81f1b7681e24533418d20ff4edb",
+      "own": "30c17d83e73c640fc437cb44f94332247e069e691061e0d0f0cf73ad38904665"
+    },
     "cpp.cpp.bitsOf": {
       "merkle": "4b5bbcf20aa9e9f1e5ce58b66f265c9f136cc316912eea33d0895295c8623ef1",
       "own": "194465400c7df179db4e3cb1d2b74d11c22c67c7643253d72096c23009e1742c"
     },
+    "cpp.cpp.bitsOfNat": {
+      "merkle": "a8d0a27d1729db0adbe26920ef5b9fe154d0fb832e8fd80d316531482ae80920",
+      "own": "b2d4e1f35ae114efbfae9dfcc881a35071f7e99725386cb6320ae9a1a29d8200"
+    },
+    "cpp.cpp.bitsOfNatGo": {
+      "merkle": "f933c1b7cbcfa6f5dd4a487caab4189e6370e5231e4a7c0be0e13aae708b9a7d",
+      "own": "da9912ef06006cff5304ff2955e0083fc420cd4f0804fb45aa0e3820f28b8a90"
+    },
+    "cpp.cpp.bitsOfStr": {
+      "merkle": "e4fbd98b4cb97603a8249f125c6c25da2e4f8c2765ec4549f21c8dad5c9a5617",
+      "own": "31a119ebe16c90d3c5e89c8d551f936c64826b6cf536b46bfb7a73bfcf55fe25"
+    },
     "cpp.cpp.bitsOp": {
       "merkle": "0b5ab06911fd1e5083beb9df2f5783e77352b9f4e95a47856115e8873bb34863",
       "own": "b38db08a49a4fb96ea602a5d475ef3fb7ef81817598b491c4973134583cbd77a"
     },
+    "cpp.cpp.bitsOr": {
+      "merkle": "160a839870ace6ea9460c2b2ca15b3556e314c668a4b3f6ff039da133e498dda",
+      "own": "8cf9d0ef32b17a545adb6979fc7dc6313e07fff3fb75d545c0163fac6440a550"
+    },
+    "cpp.cpp.bitsPut": {
+      "merkle": "add7dc6d323491aaea0f0909f961c6312095631534c25bd38dda5d9083de6715",
+      "own": "352798b3d0888f2aa204f2ba77876a33670096395ae9c659dfc81c4dc3c72f19"
+    },
+    "cpp.cpp.bitsSetL": {
+      "merkle": "e48ccad5efdddd9ca5fb77474c0d9d74da802b86759a5c8a48ac7b317b755bce",
+      "own": "5037753c825d7e545e4816880d86b384727060097ef6542e975a85f48bb88c5c"
+    },
+    "cpp.cpp.bitsSetX": {
+      "merkle": "0dde6b88f1ae5851adec6e31f08a6c488f438c3f416ab4acffcb12cda5c23d6d",
+      "own": "db773da064d721334546558ea5797e0ee160fac038103ffeb28c0513c1186234"
+    },
+    "cpp.cpp.bitsShl": {
+      "merkle": "cae0c00e5bab2e66af7630dc98190b2d3525f75cb96ad058d1075572b30d2ba1",
+      "own": "937770d65c3eac77ab6f1659eaf1c51b1fe15fd7b2127fdd5d3654cccd773807"
+    },
+    "cpp.cpp.bitsShr": {
+      "merkle": "c8eff6c74b777b41c76d32556a87bf7cc951c30fe49c6fb48328bebd0884b94b",
+      "own": "7697c591f2632a481ec2f488017edd6047d3fc67c968bf410fde08a96bc1c233"
+    },
+    "cpp.cpp.bitsStrOkB": {
+      "merkle": "d6d3eb96db6ce06cce77731018f80b2e4eaa4491c9e5402c2fb693a393d40c64",
+      "own": "75817e897970b6cfc4dcccd5377310ff5fdb339bd67615d099eda00b9bc98db9"
+    },
+    "cpp.cpp.bitsTestX": {
+      "merkle": "9e9ea0cd3d3fc7e56ae9939fe2355be0f4b94623f932e4647223783d27adb115",
+      "own": "e7e1f040ef30052877157185821d309cf80311a6d949c44e3d3de7aac1102dc9"
+    },
+    "cpp.cpp.bitsToString": {
+      "merkle": "37645c94b6cf4f8c6fcd6149b2f586fd1157891e981c445858c00f13b619e3d7",
+      "own": "98c34ad96d2c5a220df488b9c75c57bc8d2d693ab29783b1c6b2d9e6629c3924"
+    },
+    "cpp.cpp.bitsToULongX": {
+      "merkle": "08578e5ca8729d8942dd98c49f04d93f97c38cabee24c017350b09aebdd9ac08",
+      "own": "089f66f7be3b13c6324b5bf87e4240216c7ca66851505c4b173a8d7e54d55f66"
+    },
+    "cpp.cpp.bitsValN": {
+      "merkle": "ba6419506cc6bd6ae827e7a5517fccb33724332835f09f3ab0d0161277688820",
+      "own": "bea20ddabc30e3c4c26f63e6cdda51c125b83d533f5ffdbfa40278a95df18383"
+    },
+    "cpp.cpp.bitsWith": {
+      "merkle": "2a4463fabf06690909512b229544599897202c57daa43131ffe6ce36186a3700",
+      "own": "d7f55256d56cdbc8572b4e87fd3cd898cb668e1dfa265babb33f2a4eab288eb2"
+    },
+    "cpp.cpp.bitsXor": {
+      "merkle": "1c9d0aa368551c4d7dae8e132894cb372d35ae3f78a794140d34bf0245e3d640",
+      "own": "2fea421f03501fb4652ed0fe693256270a19a64c8401c9361e14a50fb6582690"
+    },
+    "cpp.cpp.bitsZero": {
+      "merkle": "df7c5480f12a05a8482c66e34bbfc8fcb9034ab5556e4c0c8c86017576b0ef31",
+      "own": "3b381af74eaf77ec5eede870fc71e2a3b5a519d89c26abba2b1cf304f397367f"
+    },
+    "cpp.cpp.bitsZip": {
+      "merkle": "9784187b68c6cee2d3176cc68e13a12d0ff36642f459f6638e672047ac3229c9",
+      "own": "4353f2ba3693864b91ca11693d7ee190a226867178f7efcf9f7e060a66871986"
+    },
     "cpp.cpp.blockBase": {
       "merkle": "d1ea34f7da35b3293eccd831a32eceb4ae49533a14a8982d29158522080e5ef0",
       "own": "d70daba208dda37266f7355b7578b36c4189a8971b6b86e213d1971cb789cb83"
@@ -1754,6 +1870,10 @@
       "merkle": "8194adc554efdd62fa337dc9dea3b6dfb3bb864565054c6e53260d0696316a8f",
       "own": "c999f25dc022f0c7e39677ecbb676cd8db412c32c17520d0c31d47e92606f194"
     },
+    "cpp.cpp.emptyIfB": {
+      "merkle": "c93001e30e24a87d27146d8cc60dd92d44bc85c15cb11655fa2438e2ca79e0bb",
+      "own": "fe0052e41033d024e8611ea11d458dbbd01075a86d3be52c782bd3469a6152cd"
+    },
     "cpp.cpp.encodeV": {
       "merkle": "be351dd9791f69024d7f8f774a7042d6f6b9e93cc20be0cbe52a3beb60c078e9",
       "own": "2e14303c688d4e4d3675487454dbced9d2d60a9c8ad7d9911054ede5899e01a9"
@@ -4050,6 +4170,10 @@
       "merkle": "888b06db3579750673ff2d1751e8b768dc42c34a03c2a0b44da425fd54e7a2d5",
       "own": "ca128de0931deae2162437c10a97d008d3f09941b6544d7338fc73c130668b2b"
     },
+    "cpp.cpp.lengthBitsOfNatGo": {
+      "merkle": "24275949e7a7a5c0e521ffdd694c9f89cf1459d5445a762eb5eac9492bdae26b",
+      "own": "d43493abc11bdf0af4e11f4673818260632e3d3e04433d44a43fcca0d74b6bb9"
+    },
     "cpp.cpp.lengthDropR": {
       "merkle": "54c6350338f14b952e5055510351a4420e53a6bf429ab1a62de943f674a74279",
       "own": "5f3778a31a0b79c4c7a92d766d285ea1ffaee528222fee24a5898a76f73deab2"
@@ -4070,6 +4194,10 @@
       "merkle": "a7e3a5699df79e9dbcbfad5d8049a7bc5098c1f3afa42f28ec40670ddbda415d",
       "own": "78b2499f8dacfd33e2d63c2b43b8daf88487986e3f531c68a0b94dd9335adb35"
     },
+    "cpp.cpp.lengthMapB": {
+      "merkle": "9d3a13d5e8685af7ae4569f470ab49b5c8d5d242675f71389a1ba813d0ce6273",
+      "own": "6e9866d078b1485c4ba4831721e8aa40e55eb7bf19a366bbd4d87b8d6947703e"
+    },
     "cpp.cpp.lengthPushBack": {
       "merkle": "211c06ec62beb3f5a6f0b7201cb362c1efa85526178539a3e96f6852db8cc947",
       "own": "ea90ff80da148c08121d3e62652bc784729a56593006bb4b656ba9718353647b"
@@ -4078,6 +4206,10 @@
       "merkle": "cff492fe4363b15ab9bd15efac05e898ae1f33afd5985f5a31444dc5b70ad37b",
       "own": "d8f16a1e5d0e5192b0e550dad71517988c124cdb6c4214f68a35829aa5bbe449"
     },
+    "cpp.cpp.lengthReplicateB": {
+      "merkle": "4cca6dc36bb6b067e7b92d2416c898d7545448a5af63fe3947c7a063a7d19223",
+      "own": "cbd02272fb12fe048a7298d9a2ab721948fc3215d73c2930ce9b95f37cab5140"
+    },
     "cpp.cpp.lengthRfrom": {
       "merkle": "a099d36383d5eee39b2cc77000d484d8d187db0fd976ebb0f3aee206b4ca1d54",
       "own": "77960e1217ef1440a4185aeab7b1bc4e723742278e1e7ecf7a40628fa089fe89"
@@ -4098,6 +4230,10 @@
       "merkle": "b91972c0e2852d7f60808d29c2be8cda43473fd7ec4bc9b0a31e7637c88d8a90",
       "own": "cd69cee80db8bfeeffd4934888dec19217c737edfd19b85f1e2139c706922745"
     },
+    "cpp.cpp.lengthZipWithB": {
+      "merkle": "8cc3cc4a1d3ca32af07ab7ec21513ef98f27b9e02c493e854d0bdc250a8d4109",
+      "own": "5da5cce3dae47d6e121165aa3c8d4b1d5fdba61d18a76cc91ad245d030572ce6"
+    },
     "cpp.cpp.lexTotalAt": {
       "merkle": "afecee5253e1845f19e611ffd9685af1c91942cc461cd5204146e61ce7f218a3",
       "own": "02b22a202ccef349a53d518119da54c490b91e6f453b40f4565ad0aeadb6e192"
@@ -6146,6 +6282,10 @@
       "merkle": "73e2c9139ffb9bacafa8936eacd90a1841499900148f15acc95875940ba8f01a",
       "own": "c9a2e799e87befbc604d32d75736b4bed85494d4ccd9d17dc0eb857cf2d6cd21"
     },
+    "cpp.cpp.succNotZeroC": {
+      "merkle": "beee98d89edbabca2b628992b5830e50396447fb3033e888a44b576ed66bebd4",
+      "own": "5ba671c4dc3c17b98ff300d77446df6aa9fce13952a909f50c22dff0ccf548dd"
+    },
     "cpp.cpp.swAbsorb": {
       "merkle": "2fac49357e218c12ddf893824e974f10c20b5681535b20f111c7df14d91b3947",
       "own": "562ef6ec9720300b187939a3743bd8af6e85cb026d1d197122cf885ae95ac0ef"
@@ -6762,6 +6902,10 @@
       "merkle": "f30109968ddf45b916771a08f4926cafbeb71a6ead58104adffcc3f9f0f2c494",
       "own": "a1be374bf9e80e5492b28f1d1dd0eaa14fa74a19804dc3f2b2dc52d43a1775d3"
     },
+    "cpp.cpp.zipWithB": {
+      "merkle": "748eaed229078a206629d7a58685e11783272f54f480903764a53453f19c8708",
+      "own": "b20b86b95e1f2cab773ccc440be4a1bbb1c404406e045aefdc7f9f7cb4730bcc"
+    },
     "cpp.cpp.zivA": {
       "merkle": "4462629978df0e3856efc9c54d3a7e028f62fa2d2b9a5717058ea65d1c3145fd",
       "own": "7116b64d1cd1dab2787fccd6469159d7e4ccb16fcaa8a5200aeaa97e41595cbb"
@@ -6778,7 +6922,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 3213508,
+      "bytes": 3252356,
       "deps": [
         "cpp"
       ]

package/package.json

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