@cella-lang/c 0.1.202610112237 → 0.1.202610112357
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/c.cell +0 -0
- package/index.json +4 -4
- package/package.json +6 -6
package/CHANGES.md
CHANGED
|
@@ -4,6 +4,7 @@
|
|
|
4
4
|
|
|
5
5
|
## 未發佈
|
|
6
6
|
|
|
7
|
+
- 套件的快照改成第 25 版的格式（名字寫一次、之後用索引；定義的雜湊不變）：1.89 → 1.45 MB。
|
|
7
8
|
- 48 個定義的雜湊改變：可展開的定義在隱式參數的解與項裡保留折疊的寫法，不再展開成本體。意思不變。
|
|
8
9
|
- 再有 59 個定義的雜湊改變（含 `c.c.negV`）：型別參數裡延遲的定義套用也讀回成折疊的寫法。意思不變。
|
|
9
10
|
- 寬字元：`tWChar`、`wstrArr`、`wstrLit`、`WCStr`、`wcstrOk`、`wcslen`、`wcscmp`、`wcscpy`、`wcscat`。
|
package/c.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
|
-
"cbfVersion":
|
|
3
|
-
"checkerHash": "
|
|
2
|
+
"cbfVersion": 26,
|
|
3
|
+
"checkerHash": "a64ad21427478935",
|
|
4
4
|
"defs": {
|
|
5
5
|
"c.c.Allocated": {
|
|
6
6
|
"merkle": "1409e490c91fdf6adeb3b9c67a667698b15f226663ce63bc1118afbfb0158607",
|
|
@@ -3238,7 +3238,7 @@
|
|
|
3238
3238
|
"format": 1,
|
|
3239
3239
|
"modules": {
|
|
3240
3240
|
"c": {
|
|
3241
|
-
"bytes":
|
|
3241
|
+
"bytes": 1473309,
|
|
3242
3242
|
"deps": [
|
|
3243
3243
|
"c"
|
|
3244
3244
|
]
|
|
@@ -3246,7 +3246,7 @@
|
|
|
3246
3246
|
},
|
|
3247
3247
|
"requires": {
|
|
3248
3248
|
"cella-lang": {
|
|
3249
|
-
"checkerHash": "
|
|
3249
|
+
"checkerHash": "a64ad21427478935",
|
|
3250
3250
|
"modules": [
|
|
3251
3251
|
"int"
|
|
3252
3252
|
]
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/c",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610112357",
|
|
4
4
|
"description": "A formally verified C11 subset for the Cella proof checker: integer types with C promotions and conversions, control flow (if, loops, switch, goto), arrays (including multi-dimensional, variable length and const), pointers, malloc, realloc and free, strings and <string.h> (including memcpy, memmove, memset), <ctype.h>, structs, unions, sizeof and linked lists, array parameters and argv, function pointers with qsort and bsearch, floating point and <math.h>, printf, sprintf and snprintf (integers, floating point and %s), scanf and sscanf (including %[), strtok, putchar, puts, getchar and fgets, atoi, strtol, abs, rand (as a parameter) and file I/O; undefined behavior as preconditions — compiled module pack.",
|
|
5
5
|
"files": [
|
|
6
6
|
"c.cell",
|
|
@@ -27,15 +27,15 @@
|
|
|
27
27
|
"license": "Apache-2.0",
|
|
28
28
|
"author": "SungYu Chang",
|
|
29
29
|
"peerDependencies": {
|
|
30
|
-
"cella-lang": "0.1.
|
|
31
|
-
"@cella-lang/cpp": "0.1.
|
|
30
|
+
"cella-lang": "0.1.202610112355",
|
|
31
|
+
"@cella-lang/cpp": "0.1.202610112355"
|
|
32
32
|
},
|
|
33
33
|
"cella": {
|
|
34
|
-
"checkerHash": "
|
|
35
|
-
"cbfVersion":
|
|
34
|
+
"checkerHash": "a64ad21427478935",
|
|
35
|
+
"cbfVersion": 26,
|
|
36
36
|
"modules": [
|
|
37
37
|
"c"
|
|
38
38
|
],
|
|
39
|
-
"packHash": "
|
|
39
|
+
"packHash": "9451c3fb7767e24d"
|
|
40
40
|
}
|
|
41
41
|
}
|