@cella-lang/cpp 0.1.202610130809 → 0.1.202610131518

package/CHANGES.md

@@ -5,6 +5,7 @@
 
 ## 未發佈
 
+- 除錯器的宿主介面多兩個函式：`cpp.stopKind`（停止種類的名字）、`cpp.dbgReport d input fuel`（輸入一次給完並關閉，跑到停下，回傳停止種類、節點、輸出、細節的 JSON；`cella diff-translation` 執行 `runDef` 用）。
 - 比標準嚴的前置條件改由帶 `@[conservative]` 的定義表達：只卡在它們時判決是 **unknown**（`model_stricter`），不是 reject——`sortBy` 的等價元素值相同（`cpp.sortEquivSameB`）、`gSortBy` 的不同位置互不等價（`cpp.gSortDistinctB`）、`usSortedBy`／`umSortedBy` 的不同鍵互不等價（`cpp.usSortDistinctB`／`umSortDistinctB`）。介面不變（證明照舊是 `refl`）；`sortByOkB`、`gSortByOkB`、`usSortOkB`、`umSortOkB` 改寫成標準的部分與帶標記部分的 and。新的 `cpp.liveB`（活著且在界內，不看初始化與唯讀）。
 - 標準庫的 Int 名字改進 `Int` namespace（`add_int` → `Int.add`、`ltInt` → `Int.blt`、`addIntF` → `Int.addFast`…），套件的原始碼與產生的項都寫完整名稱。對照表見 cella-lang 的變更紀錄。
   - 穩定定義（`docs/stable-defs.json`）的內容雜湊因此改變（引用的名字變了，內容不變）：`cpp.NonZero`、`cpp.add`、`cpp.div`、`cpp.eq`、`cpp.inRangeB`、`cpp.le`、`cpp.lt`、`cpp.minOf`、`cpp.mul`、`cpp.neg`、`cpp.rem`、`cpp.sub`、`cpp.toC`、`cpp.toInt_add`、`cpp.toInt_div`、`cpp.toInt_mul`、`cpp.toInt_neg`、`cpp.toInt_rem`、`cpp.toInt_sub`。

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 27,
-  "checkerHash": "e830246cbe45ab14",
+  "checkerHash": "81e2a674314cffb3",
   "defs": {
     "__RecordTag_cpp.Debugger": {
       "merkle": "55f6ac3cf1e70fb9fd27afe1e4a7cf6fb7fda1a0ede9c98d9070ac8da844ab1c",
@@ -1958,6 +1958,10 @@
       "merkle": "4a34f046c2a8eff033b2bbb754fe9676ce0ef0c4291c1cd68519e0dfbb7cdd1e",
       "own": "393dcda24d84caf96d9b22fdf9d7b563f7b8627c77ac0d8241a45e93ac969b85"
     },
+    "cpp.dbgReport": {
+      "merkle": "15567284ec7a8155e87de3b837163645c7386a8008c0c66859c93d3dd771ce00",
+      "own": "f0f8bf46d5035554c3b01dff5e93d569e05c6eb585b3dc606f0781d9dfbb811f"
+    },
     "cpp.dbgRun": {
       "merkle": "93cef6e4be4a6677f04fb36e0969f91c74e65a6b4f9e406de6fba66689b98082",
       "own": "79d93aac0416189d7b9d01b5c795a673be0a9d4ddfc0f48349017b3f54edb22c"
@@ -7126,6 +7130,10 @@
       "merkle": "5535072074e66526a9a2d5a584b57e7732128cc78ecf43ffc0e44722468c5f49",
       "own": "4e2d38c82817add81c68e2c89e5e239c31d4bc8cc9f755e0de7e4c7bd5db3554"
     },
+    "cpp.stopKind": {
+      "merkle": "62e87e749cb98786a0794ba57badf1c782d8eba14192ff2e961394a13f15a8fd",
+      "own": "eaacd00f80497c317635ecf307639d651af3f39076d7ebdb125e4d5347772774"
+    },
     "cpp.stopNode": {
       "merkle": "2cd5845fdb6df7cee8d179906f4b4d3cf848572b94a680b96d8ebcb387d04c92",
       "own": "ebc9d73fbd72fc078ba92ccdb27ae3a82e553e25254dd22677e210a9b1902d33"
@@ -8262,7 +8270,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2177115,
+      "bytes": 2179050,
       "deps": [
         "cpp"
       ]
@@ -8270,7 +8278,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "e830246cbe45ab14",
+      "checkerHash": "81e2a674314cffb3",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610130809",
+  "version": "0.1.202610131518",
   "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",
@@ -20,14 +20,14 @@
   "license": "Apache-2.0",
   "author": "SungYu Chang",
   "peerDependencies": {
-    "cella-lang": "0.1.202610130809"
+    "cella-lang": "0.1.202610131517"
   },
   "cella": {
-    "checkerHash": "e830246cbe45ab14",
+    "checkerHash": "81e2a674314cffb3",
     "cbfVersion": 27,
     "modules": [
       "cpp"
     ],
-    "packHash": "35e62ca4bd4c880e"
+    "packHash": "693727040374dd22"
   }
 }