@cella-lang/c 0.1.202611022331 → 0.1.202611030114
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 +4 -0
- package/index.json +3 -3
- package/package.json +4 -4
package/CHANGES.md
CHANGED
|
@@ -4,6 +4,10 @@
|
|
|
4
4
|
|
|
5
5
|
## 未發佈
|
|
6
6
|
|
|
7
|
+
### ⚠️ 不相容
|
|
8
|
+
|
|
9
|
+
- 判決每個問題的 `class` 改名為 `category`（判決由 @cella-lang/cfamily 產生，見它的變更紀錄）。
|
|
10
|
+
|
|
7
11
|
- `int a = {5};` 是 5（C11 6.7.9p11；之前判 reject）；`int b = {};` 判 reject（初始值清單至少一個，C23 才有空的）。
|
|
8
12
|
- 有號的左移結果放不進（`1 << 31`）：問題的種類從 `ubOverflow`（6.5p5）改成 `ubShift`（C11 6.5.7p4），和 clang 的 UBSan 一致；判決照舊是 reject。
|
|
9
13
|
- **不相容**：淺嵌入整個拿掉，C 程式改由深嵌入的分支服務。程式是 `@cella-lang/cfamily` 語法的 JSON（`"lang": {"k": "langC"}`），
|
package/index.json
CHANGED
|
@@ -319,7 +319,7 @@
|
|
|
319
319
|
"own": "b6f526742e3e58d523ff394cf02b65390ec3fd0da05f3741ce17de86d0128e52"
|
|
320
320
|
},
|
|
321
321
|
"c.divergences": {
|
|
322
|
-
"merkle": "
|
|
322
|
+
"merkle": "4d01fd12ab860cd07610c9862b411ab1ff115aa4335ee04765732fd901726ff1",
|
|
323
323
|
"own": "de9d3c838b01c72ff49fe18576e3a159dd109265bc20c7503efc46fbbbbbd35b"
|
|
324
324
|
},
|
|
325
325
|
"c.env": {
|
|
@@ -391,12 +391,12 @@
|
|
|
391
391
|
"own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
|
|
392
392
|
},
|
|
393
393
|
"c.verdict": {
|
|
394
|
-
"merkle": "
|
|
394
|
+
"merkle": "fa9de588b9e3d88d75641166e9e37dd078c5a5c43edb05a25d90a60d4cd4f687",
|
|
395
395
|
"own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
|
|
396
396
|
}
|
|
397
397
|
},
|
|
398
398
|
"format": 1,
|
|
399
|
-
"inputs": "
|
|
399
|
+
"inputs": "7b3b52197996e2c09ee9a1a2b3bfed0e75d579dbbea632f6145472ebbefde667",
|
|
400
400
|
"modules": {
|
|
401
401
|
"c": {
|
|
402
402
|
"bytes": 484669,
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/c",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202611030114",
|
|
4
4
|
"description": "C11 for Cella Lang, as a branch of the C family's deep embedding (@cella-lang/cfamily): a C program is a data value (the JSON semorphe sends), checked by C's rules and run by its small-step semantics; verdicts (accept, reject, unknown with the clause of the standard), a type query and a debugger host interface — compiled module pack.",
|
|
5
5
|
"files": [
|
|
6
6
|
"c.cell",
|
|
@@ -32,9 +32,9 @@
|
|
|
32
32
|
"author": "SungYu Chang",
|
|
33
33
|
"homepage": "https://cella-lang.org/",
|
|
34
34
|
"peerDependencies": {
|
|
35
|
-
"cella-lang": "0.1.
|
|
36
|
-
"@cella-lang/cfamily": "0.1.
|
|
37
|
-
"@cella-lang/machine": "0.1.
|
|
35
|
+
"cella-lang": "0.1.202611030113",
|
|
36
|
+
"@cella-lang/cfamily": "0.1.202611030114",
|
|
37
|
+
"@cella-lang/machine": "0.1.202611030113"
|
|
38
38
|
},
|
|
39
39
|
"cella": {
|
|
40
40
|
"checkerHash": "eac27d7a51e5e48b",
|