@cella-lang/cpp 0.1.202610101724 → 0.1.202610102010

package/CHANGES.md

@@ -5,6 +5,14 @@
 
 ## 未發佈
 
+### 排序
+
+- 自訂比較函式（lambda）：`sortBy`、`stableSortBy`（`sortByOkB`、`stableSortByOkB`、`strictWeakB`）。
+
+### 控制流
+
+- `goto` 與標籤：`Jump`、`gotoS`、`retJ`、`withLabels`（`@cella-lang/c` 的 `c.withLabels` 等改成它們的別名）。
+
 ### 記憶體與 C 字串
 
 - **⚠️ 不相容**：記憶體對元素型別是泛型的：`cpp.GMem A`、`cpp.GAlloc A`、`cpp.GAllocated A`（整數的 `cpp.Mem t`、`cpp.Alloc t`、`cpp.Allocated t` 是 `GMem (Val t)` 等的別名，照舊可用）。配置、解參照的判斷、寫（`cpp.store`）、指標加減、`delete`、離開作用域對任意 `A`；另加泛型的讀 `cpp.loadD`、`cpp.gmemNew`。前置條件的資料型別 `cpp.DerefOkD`、`StoreOkD`、`PtrAddOkD`、`DeleteOkD` 的第一個索引從 `IType` 改成元素型別：寫 `cpp.DerefOkD (cpp.Val t) m p`（用 `cpp.derefOk refl` 的不受影響）。

package/index.json

@@ -262,6 +262,10 @@
       "merkle": "5654b182a3991ca3e81af9d9f56d4f5b6863740ccaab0f0e635787ebcdae1ef0",
       "own": "88158b206677eb7eee1ef19e0f485073a88871792a26b792cdcf9846fee15827"
     },
+    "cpp.cpp.Jump": {
+      "merkle": "15bfd812cfc5193e3d9993cafaa5d758943ac1b5cbcfd956b417f07f7753de90",
+      "own": "a57397e9e28998ed7f0ee041f212098e5791fcfef76606f060ccd80de4eb6dc0"
+    },
     "cpp.cpp.MIt": {
       "merkle": "09770dfb6134a082fdaabe0e9e762940b728103ef3696769f3880176e9cec589",
       "own": "4a79d4962646a1673b84492d8374daa59e292bbf7057693e2739853dd30d8955"
@@ -598,6 +602,18 @@
       "merkle": "2560bc00592bccdef1450853c77668948b254b71fff546e4aa218782956c02f2",
       "own": "8a6a225045c57a5bcb022f5a73a9132c208f408a3702f3d23cecd14786b18695"
     },
+    "cpp.cpp.allL2": {
+      "merkle": "8bc2c15e4a640d133ea721dc65c8bbfb3cf2b85ba2ac83c32788ec7899b5740e",
+      "own": "bc83b1257b7d725a8c55ec56b29737be6da543daf0287c19de31ff2d0899395c"
+    },
+    "cpp.cpp.allL3": {
+      "merkle": "f2bf2fc15fcbd8279b90e71708e5878f09fa8639893b474bbc90d5315b2fc968",
+      "own": "2768151387ccf37c06169f322bb658abfa164b42649fb7829aa70f9cffc9c6bc"
+    },
+    "cpp.cpp.allTrue": {
+      "merkle": "76a4e55f54c7746b1593598d73141ffb34805d4ccfb0cd476ccad4981769f215",
+      "own": "c5baa9d15fc79e34a696845e4554a47c0c246092fd899fe5805a6df7c2c0ab2f"
+    },
     "cpp.cpp.allocAlive": {
       "merkle": "e9ca02509f9a56bcb04162f6e6ac0e353b567295f0dbb8be07c50cfce7903566",
       "own": "d57c84ed6c1ef66cda9b93f206b4d99e7e7941d6d30dfaf5de2f77cdf25337d5"
@@ -810,6 +826,10 @@
       "merkle": "d1ea34f7da35b3293eccd831a32eceb4ae49533a14a8982d29158522080e5ef0",
       "own": "d70daba208dda37266f7355b7578b36c4189a8971b6b86e213d1971cb789cb83"
     },
+    "cpp.cpp.blockBody": {
+      "merkle": "3a601ae40ac9bbb7bdc46f7207370c3ac3789512e1a08e4c6c2af43e5045a189",
+      "own": "4d1cae43cc3f713d775f11b2bcd870dffd8dad8ade8059697e76e5e6a2f241d9"
+    },
     "cpp.cpp.blockOf": {
       "merkle": "63219d46ac2247e578ae19a06335740a4aa22afef84e9f6dc24bf1ada6771ae0",
       "own": "37b1e48eb3aa3694e2c98ab9956d9f54161aa6621a423ee2416f1a1ed3760ecb"
@@ -1430,6 +1450,10 @@
       "merkle": "257e373d38cabfda92486a0908160975fd30e74e4ff468e6e643a43b6c688db6",
       "own": "526669331ca6d0966d6753c41eb39ffec4fede6766d23b6d3b2585f550b29ff2"
     },
+    "cpp.cpp.equivB": {
+      "merkle": "58e5d6b52798af6799abc0880950b962a25868e44bc4d988ed45652c9825d029",
+      "own": "b886fb3f577d37df8725eb63cb38ca672ff94d44d6aa7bb80e80a7e75a726add"
+    },
     "cpp.cpp.eraseA": {
       "merkle": "0bda1a09915290e32ccd0cd8a9707dd177ddc899a6443454a82d0d63e27ab247",
       "own": "af3640ba556d55f4c9d498a25b2436b25f5bc5e90de4fcbeedb62cedb369cd2e"
@@ -1738,6 +1762,10 @@
       "merkle": "03153744f463a5ac547cb1f05e1edf55b8578a4de8a090cade71d8a23645be6b",
       "own": "8cd53d76bfe460877d0964fbca610fe1fa0c10695c844260583a02a806a02396"
     },
+    "cpp.cpp.findLabel": {
+      "merkle": "063ced0d72b3efdf6ba061d50c117f77524547482aaaec8b399c2b708eb02aa0",
+      "own": "5fa5935dc10ae2a0298e9ddb5293cc1c3f389d87c5158cf5faef43850eeed81a"
+    },
     "cpp.cpp.finish": {
       "merkle": "3c3f548218eee26f1cead73991b2609741b20860ecadb9e899f39e17485432bc",
       "own": "598bae67c5243c22e08c883db92a6c00577d9e7227d0e469a50a4afb2005af4d"
@@ -2162,6 +2190,10 @@
       "merkle": "e6848b17d9759ec1b05213c32f550e2b43e0fbf8b3a55a2cac2ea0db5b199be9",
       "own": "37178fec1d2016505d219fc61018aa9fe7ee88be08b09e9bc6c357d43b792bc8"
     },
+    "cpp.cpp.gotoS": {
+      "merkle": "181c864d873eb556bed3d76e2bcbd1a6b623758392e74a89770463b3cfca1f59",
+      "own": "24dbd9e4b263f8f50e6c5a83d5d411f64807152ada4eadaa6fffb414b62cd892"
+    },
     "cpp.cpp.gtV": {
       "merkle": "3ad5c904935d49df91e235697f84b5563ba634eccff66aeb66b8f951313eec6a",
       "own": "4779c91e99221bd21d48b9e870556716321f29053bf5b78435c41ff74621c8c3"
@@ -3386,6 +3418,10 @@
       "merkle": "9cf4316f6505cb047aab5da552236b109785435878253eba59a98306154ad84b",
       "own": "09a73f3387469e6655d31ac4b3f5c55ed04791ed8fe6da6b6025a71352e44b09"
     },
+    "cpp.cpp.retJ": {
+      "merkle": "52bc4dbf7e24abde5d838fbe183187f5efe2ec1886924ceaa2b9cec119839d78",
+      "own": "3a68fdecc890ed763b3a9d349d8dc52f1554f1c0368e2e4b63c1372e229782f5"
+    },
     "cpp.cpp.retVal": {
       "merkle": "fd31f2297889638eb2ea37b642c7aad61b860b22a563f5a6bc45d036bb47b289",
       "own": "62fd145559758c9b194ff86a498190851db671380618238f37224c1d48c0aa37"
@@ -3438,6 +3474,10 @@
       "merkle": "807883ab825f9d7ce3a9cbffdc728155dd31896128a48c468fb2e4abcedf7b3c",
       "own": "7bf0978ddf9383e540e0ba1a45df72b25e71394aa1efda4563f484b3aac25664"
     },
+    "cpp.cpp.runFrom": {
+      "merkle": "9d4a461edbc2d39f5e0ea2a4a2f1039c2bc8056f4b35dd73173e42cbf0531974",
+      "own": "e1904695329280f64f8b2a54b1ab462703a9c15f50bda56938ae746b10517231"
+    },
     "cpp.cpp.runFuel": {
       "merkle": "6504831bb64df4d0383ba813ce334d8bec1791d96177db7b185ca865c0866008",
       "own": "79c7d17511c0cc13069fe8c316a24e1081693b3089866696c3ca9ca2e52a0380"
@@ -3714,6 +3754,14 @@
       "merkle": "2f7b531846aba6eb709a5b86c756cb8a93cb98ac321fa057f4c8c566b8a0a2d6",
       "own": "ff2f776982a0fac3b19599b252918e92daae69f6e5bf18dfa5d1873ba6d1b137"
     },
+    "cpp.cpp.sortBy": {
+      "merkle": "65fbe8573b177407995486e10c40ff477415d79782abadc912dc13e1d66991cb",
+      "own": "550282ec01468942ff63cb06299daa20789169771658ce725247c3e798d35ca7"
+    },
+    "cpp.cpp.sortByOkB": {
+      "merkle": "694e948d7957da335959214b21770b4724ed355a06667825b7a47802209c5ec3",
+      "own": "021602c6da929ad3f2e6631df3a53b1fb03d81f8022f5bfe4d8748e9801cd45e"
+    },
     "cpp.cpp.sortLe": {
       "merkle": "2b9b1d421f37a7fb3661a48cfd00bae8338ee44748a1effaa32d25d123643bc6",
       "own": "cfd31d2f8657dbde89acd32584f09a98ae32f6da0d6f2755e6fcd1553b45cb99"
@@ -3738,6 +3786,14 @@
       "merkle": "ada668bbd18d584252f656188577dc8d1718984f570472b07330760d6eb647fa",
       "own": "c69674c14e2c43e0a1eb14464e1f8ee6546ba4b50e2bc47cfdb5d544d35601e7"
     },
+    "cpp.cpp.stableSortBy": {
+      "merkle": "87cfb655e2087eeaddb26e2331ca54e20e931f5334b918b02bac17c992640d4c",
+      "own": "596b7a197eb60060e66222219d1d82acef0f63d809992ac1a87edec321fe8f94"
+    },
+    "cpp.cpp.stableSortByOkB": {
+      "merkle": "4eeda82d301f7dc60a59d04e26200e782eaa0bbca2a99c623e851db496b4563a",
+      "own": "ec7c0cd324a2e68861bc1f99340cabe9186fbc0cc76f50c1fdd4e2f21a822a17"
+    },
     "cpp.cpp.startsL": {
       "merkle": "335af703ac91a793ee9b1d2b2e7ced11d7f0b8eef5fa5ac9f6b699aac494a090",
       "own": "e6c2a186c357e44e29cbe67415fa03c782c1df8efc6278b183737379fedf9445"
@@ -4030,6 +4086,10 @@
       "merkle": "e6c0b5bd7639ae087a7978759961bca59784c1a95918978af218b4c89af75b4b",
       "own": "002ab78a9f1645847223afb76e9294016e3ededc447539007febe7f103fdae2b"
     },
+    "cpp.cpp.strictWeakB": {
+      "merkle": "37f34cca305a96198e00d27f62bc048415672e92db2e816f6fbc644fb5bf1e4f",
+      "own": "d994fdedc339936f0b1d6d0d9b913dcb8baa479f4dbee141bf4132e81952b0aa"
+    },
     "cpp.cpp.strlenC": {
       "merkle": "69cb76690602dd3c6f7b2d02d70170f2a09434865d0e4a3767cb54094fe125be",
       "own": "994f9370ea43850dcf4462465d7e3a30d63266edb39a0ec5bf1c258c47bcd3f1"
@@ -4422,6 +4482,10 @@
       "merkle": "21e19361aeb01708dac88d749b20a405aa33fc1a681b907ab5580d46f686a201",
       "own": "d4a8af3a936616b64130fa45940556f5704bca2322cc20e0043375cd583552b1"
     },
+    "cpp.cpp.withLabels": {
+      "merkle": "2d0b2d29408fdd76c14b8ddb506a609c0774b2491beac0e62a637a29dafbdae2",
+      "own": "33b2af34a26f16711eb4d72009b0610b60fd64bdf0be1cfe5d0b0a7696c26b2c"
+    },
     "cpp.cpp.withPoint": {
       "merkle": "4466c80856494c04f057ee8551b8698903a1e2f9671a6d03d3683ef303b8adab",
       "own": "e36f73387e241130a8c870476b5f10cf30cef00e80b06c126218e367a00cbfff"
@@ -4494,7 +4558,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2511801,
+      "bytes": 2530652,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610101724",
+  "version": "0.1.202610102010",
   "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": "736fd092268ad01c"
+    "packHash": "89906f3917c76c45"
   }
 }