@cella-lang/cpp 0.1.202610101958 → 0.1.202610102010

package/CHANGES.md

@@ -5,9 +5,16 @@
 
 ## 未發佈
 
-### 記憶體與 C 字串
+### 排序
+
+- 自訂比較函式（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` 的不受影響）。
 
 - **⚠️ 不相容**：配置 `cpp.Alloc` 多一個欄位 `ro`（唯讀）：`cpp.alloc cells alive heap ro`，投影 `cpp.allocRo`。寫入的判斷（`cpp.derefB m p false`，即 `cpp.storeOk` 的條件）與 C 字串的 `cpp.cRoomB` 要求不是唯讀。自己建 `cpp.alloc` 的程式要補上最後一個引數（一般的配置是 `false`）。

package/index.json

@@ -602,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"
@@ -1438,6 +1450,10 @@
       "merkle": "257e373d38cabfda92486a0908160975fd30e74e4ff468e6e643a43b6c688db6",
       "own": "526669331ca6d0966d6753c41eb39ffec4fede6766d23b6d3b2585f550b29ff2"
     },
+    "cpp.cpp.equivB": {
+      "merkle": "58e5d6b52798af6799abc0880950b962a25868e44bc4d988ed45652c9825d029",
+      "own": "b886fb3f577d37df8725eb63cb38ca672ff94d44d6aa7bb80e80a7e75a726add"
+    },
     "cpp.cpp.eraseA": {
       "merkle": "0bda1a09915290e32ccd0cd8a9707dd177ddc899a6443454a82d0d63e27ab247",
       "own": "af3640ba556d55f4c9d498a25b2436b25f5bc5e90de4fcbeedb62cedb369cd2e"
@@ -3738,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"
@@ -3762,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"
@@ -4054,6 +4086,10 @@
       "merkle": "e6c0b5bd7639ae087a7978759961bca59784c1a95918978af218b4c89af75b4b",
       "own": "002ab78a9f1645847223afb76e9294016e3ededc447539007febe7f103fdae2b"
     },
+    "cpp.cpp.strictWeakB": {
+      "merkle": "37f34cca305a96198e00d27f62bc048415672e92db2e816f6fbc644fb5bf1e4f",
+      "own": "d994fdedc339936f0b1d6d0d9b913dcb8baa479f4dbee141bf4132e81952b0aa"
+    },
     "cpp.cpp.strlenC": {
       "merkle": "69cb76690602dd3c6f7b2d02d70170f2a09434865d0e4a3767cb54094fe125be",
       "own": "994f9370ea43850dcf4462465d7e3a30d63266edb39a0ec5bf1c258c47bcd3f1"
@@ -4522,7 +4558,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2521034,
+      "bytes": 2530652,
       "deps": [
         "cpp"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610101958",
+  "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": "4392fb96b46f7ee4"
+    "packHash": "89906f3917c76c45"
   }
 }