@cella-lang/cpp 0.1.202610132009 → 0.1.202610132107
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGES.md +1 -0
- package/index.json +2 -2
- package/package.json +3 -3
package/CHANGES.md
CHANGED
|
@@ -5,6 +5,7 @@
|
|
|
5
5
|
|
|
6
6
|
## 未發佈
|
|
7
7
|
|
|
8
|
+
|
|
8
9
|
- 除錯器的宿主介面多兩個函式：`cpp.stopKind`（停止種類的名字）、`cpp.dbgReport d input fuel`（輸入一次給完並關閉，跑到停下，回傳停止種類、節點、輸出、細節的 JSON；`cella diff-translation` 執行 `runDef` 用）。
|
|
9
10
|
- 比標準嚴的前置條件改由帶 `@[conservative]` 的定義表達：只卡在它們時判決是 **unknown**（`model_stricter`），不是 reject——`sortBy` 的等價元素值相同（`cpp.sortEquivSameB`）、`gSortBy` 的不同位置互不等價（`cpp.gSortDistinctB`）、`usSortedBy`／`umSortedBy` 的不同鍵互不等價（`cpp.usSortDistinctB`／`umSortDistinctB`）。介面不變（證明照舊是 `refl`）；`sortByOkB`、`gSortByOkB`、`usSortOkB`、`umSortOkB` 改寫成標準的部分與帶標記部分的 and。新的 `cpp.liveB`（活著且在界內，不看初始化與唯讀）。
|
|
10
11
|
- 標準庫的 Int 名字改進 `Int` namespace（`add_int` → `Int.add`、`ltInt` → `Int.blt`、`addIntF` → `Int.addFast`…），套件的原始碼與產生的項都寫完整名稱。對照表見 cella-lang 的變更紀錄。
|
package/index.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"cbfVersion": 28,
|
|
3
|
-
"checkerHash": "
|
|
3
|
+
"checkerHash": "19171e929e28164c",
|
|
4
4
|
"defs": {
|
|
5
5
|
"__RecordTag_cpp.Debugger": {
|
|
6
6
|
"merkle": "55f6ac3cf1e70fb9fd27afe1e4a7cf6fb7fda1a0ede9c98d9070ac8da844ab1c",
|
|
@@ -8278,7 +8278,7 @@
|
|
|
8278
8278
|
},
|
|
8279
8279
|
"requires": {
|
|
8280
8280
|
"cella-lang": {
|
|
8281
|
-
"checkerHash": "
|
|
8281
|
+
"checkerHash": "19171e929e28164c",
|
|
8282
8282
|
"modules": [
|
|
8283
8283
|
"int"
|
|
8284
8284
|
]
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/cpp",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610132107",
|
|
4
4
|
"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.",
|
|
5
5
|
"files": [
|
|
6
6
|
"cpp.cell",
|
|
@@ -20,10 +20,10 @@
|
|
|
20
20
|
"license": "Apache-2.0",
|
|
21
21
|
"author": "SungYu Chang",
|
|
22
22
|
"peerDependencies": {
|
|
23
|
-
"cella-lang": "0.1.
|
|
23
|
+
"cella-lang": "0.1.202610132107"
|
|
24
24
|
},
|
|
25
25
|
"cella": {
|
|
26
|
-
"checkerHash": "
|
|
26
|
+
"checkerHash": "19171e929e28164c",
|
|
27
27
|
"cbfVersion": 28,
|
|
28
28
|
"modules": [
|
|
29
29
|
"cpp"
|