@cella-lang/c 0.1.202610190411 → 0.1.202610210137
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/c.cell +0 -0
- package/index.json +4 -4
- package/package.json +5 -5
package/c.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"cbfVersion": 28,
|
|
3
|
-
"checkerHash": "
|
|
3
|
+
"checkerHash": "7c746028e6f7139c",
|
|
4
4
|
"defs": {
|
|
5
5
|
"c.Allocated": {
|
|
6
6
|
"merkle": "0cf9fe23102f5f2213e7b8a666562994d5cde3f5c7138156b3d7e7317a741e60",
|
|
@@ -3892,10 +3892,10 @@
|
|
|
3892
3892
|
}
|
|
3893
3893
|
},
|
|
3894
3894
|
"format": 1,
|
|
3895
|
-
"inputs": "
|
|
3895
|
+
"inputs": "95c6e54901b64dfcf43c16fd1ab0fd3a97097b77b394ee254010067090b52070",
|
|
3896
3896
|
"modules": {
|
|
3897
3897
|
"c": {
|
|
3898
|
-
"bytes":
|
|
3898
|
+
"bytes": 1119967,
|
|
3899
3899
|
"deps": [
|
|
3900
3900
|
"c"
|
|
3901
3901
|
]
|
|
@@ -3903,7 +3903,7 @@
|
|
|
3903
3903
|
},
|
|
3904
3904
|
"requires": {
|
|
3905
3905
|
"cella-lang": {
|
|
3906
|
-
"checkerHash": "
|
|
3906
|
+
"checkerHash": "7c746028e6f7139c",
|
|
3907
3907
|
"modules": [
|
|
3908
3908
|
"int",
|
|
3909
3909
|
"nat"
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/c",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610210137",
|
|
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.202610210135",
|
|
31
|
+
"@cella-lang/cpp": "0.1.202610210135"
|
|
32
32
|
},
|
|
33
33
|
"cella": {
|
|
34
|
-
"checkerHash": "
|
|
34
|
+
"checkerHash": "7c746028e6f7139c",
|
|
35
35
|
"cbfVersion": 28,
|
|
36
36
|
"modules": [
|
|
37
37
|
"c"
|
|
38
38
|
],
|
|
39
|
-
"packHash": "
|
|
39
|
+
"packHash": "9c7e4b177bae1bd7"
|
|
40
40
|
}
|
|
41
41
|
}
|