@cella-lang/cpp 0.1.202610091803 → 0.1.202610092157
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 +11 -0
- package/cpp.cell +0 -0
- package/index.json +6 -5
- package/package.json +5 -5
package/CHANGES.md
CHANGED
|
@@ -3,6 +3,17 @@
|
|
|
3
3
|
給使用這個套件的工具（產生 `cpp.*` 項的翻譯器）看的 API 變更。每一版的完整邊界清單在 `README.md`。
|
|
4
4
|
雜湊（每個定義的 own／merkle，見 `index.json`）在不穩定期可能改變；下面列出改變的定義。
|
|
5
5
|
|
|
6
|
+
## 2026-10-10
|
|
7
|
+
|
|
8
|
+
### 檢查器
|
|
9
|
+
|
|
10
|
+
- **套件格式 CBF 22**：拿掉只給跨函式庫轉移用的文件種類與區段。要用支援 CBF 22 的檢查器載入；舊版（21）的位元組會被拒絕（版本不符）。每個定義的 own／merkle 雜湊都不變（`docs/stable-defs.json` 全部相同）。
|
|
11
|
+
- 不認得的屬性（`@[…]`）現在是剖析錯誤，之前靜靜忽略。
|
|
12
|
+
- 合一器在路徑底下比較兩個頭不同的中性值時，會在錯的環境裡正規化，可能把兩條不同的路徑判成相等（第二個 kernel 會擋下，所以判決不受影響）。已修正。
|
|
13
|
+
- 簽章裡用到宇宙多型的定義（`refl` 等）時，層級的隱式引數現在會被解出來；之前存下來的型別留著一個沒解的 meta，同一個定義在不同模組下的雜湊因此可能不同。這個套件的定義雜湊不受影響。
|
|
14
|
+
- 索引（`index.json`）的 `requires` 多一欄 `packages`：依賴的官方套件（這個套件沒有，是空的）。新套件 `@cella-lang/c` 依賴這個套件。
|
|
15
|
+
- **檢查器指紋改變**，套件已重建。
|
|
16
|
+
|
|
6
17
|
## 2026-10-09
|
|
7
18
|
|
|
8
19
|
### 檢查器
|
package/cpp.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
|
-
"cbfVersion":
|
|
3
|
-
"checkerHash": "
|
|
2
|
+
"cbfVersion": 22,
|
|
3
|
+
"checkerHash": "6540cddf934f3d50",
|
|
4
4
|
"defs": {
|
|
5
5
|
"cpp.__RecordTag_cpp.IOS": {
|
|
6
6
|
"merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
|
|
@@ -4422,7 +4422,7 @@
|
|
|
4422
4422
|
"format": 1,
|
|
4423
4423
|
"modules": {
|
|
4424
4424
|
"cpp": {
|
|
4425
|
-
"bytes":
|
|
4425
|
+
"bytes": 2452888,
|
|
4426
4426
|
"deps": [
|
|
4427
4427
|
"cpp"
|
|
4428
4428
|
]
|
|
@@ -4430,10 +4430,11 @@
|
|
|
4430
4430
|
},
|
|
4431
4431
|
"requires": {
|
|
4432
4432
|
"cella-lang": {
|
|
4433
|
-
"checkerHash": "
|
|
4433
|
+
"checkerHash": "6540cddf934f3d50",
|
|
4434
4434
|
"modules": [
|
|
4435
4435
|
"int"
|
|
4436
4436
|
]
|
|
4437
|
-
}
|
|
4437
|
+
},
|
|
4438
|
+
"packages": []
|
|
4438
4439
|
}
|
|
4439
4440
|
}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/cpp",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610092157",
|
|
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,14 +20,14 @@
|
|
|
20
20
|
"license": "Apache-2.0",
|
|
21
21
|
"author": "SungYu Chang",
|
|
22
22
|
"peerDependencies": {
|
|
23
|
-
"cella-lang": "0.1.
|
|
23
|
+
"cella-lang": "0.1.202610092157"
|
|
24
24
|
},
|
|
25
25
|
"cella": {
|
|
26
|
-
"checkerHash": "
|
|
27
|
-
"cbfVersion":
|
|
26
|
+
"checkerHash": "6540cddf934f3d50",
|
|
27
|
+
"cbfVersion": 22,
|
|
28
28
|
"modules": [
|
|
29
29
|
"cpp"
|
|
30
30
|
],
|
|
31
|
-
"packHash": "
|
|
31
|
+
"packHash": "e91d95be019f97ed"
|
|
32
32
|
}
|
|
33
33
|
}
|