@cella-lang/cpp 0.1.202610071620 → 0.1.202610071715
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/cpp.cell +0 -0
- package/index.json +31 -3
- package/package.json +3 -3
package/cpp.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"cbfVersion": 18,
|
|
3
|
-
"checkerHash": "
|
|
3
|
+
"checkerHash": "42c4656ea407ecad",
|
|
4
4
|
"defs": {
|
|
5
5
|
"cpp.__RecordTag_cpp.IOS": {
|
|
6
6
|
"merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
|
|
@@ -582,6 +582,14 @@
|
|
|
582
582
|
"merkle": "7935e449e557033821c942297b019d886559d69da38aeb74a927a6774463495f",
|
|
583
583
|
"own": "06203576d7e4ddda3e63c4e367155e9a4fb98b163f685301462dd88a23701a9d"
|
|
584
584
|
},
|
|
585
|
+
"cpp.cpp.coutFixed": {
|
|
586
|
+
"merkle": "3ef59f441670162fdccde5f37955d3f8ae8e485f5dac947a8242438d7fee36d8",
|
|
587
|
+
"own": "35f343c49742c45ae1fc7c4b5e7c1b51397f6411135cc38ffaa94c28c09ca973"
|
|
588
|
+
},
|
|
589
|
+
"cpp.cpp.coutG": {
|
|
590
|
+
"merkle": "38c77b22bb41446b261ef1ade99eafd90e73b4a615cb56a19f4f4602222fb4dd",
|
|
591
|
+
"own": "7c348df4cbf8459e6732aab9c8c35ccf1d2bf94118a0b12148b12e91fb4ed770"
|
|
592
|
+
},
|
|
585
593
|
"cpp.cpp.coutS": {
|
|
586
594
|
"merkle": "174a94933102cb291dd19e30377267cb79c832be7cf2a0e7b33a2b82c5420cfb",
|
|
587
595
|
"own": "24f2f2745e9132cf2636ad0500c6bf856d4d3ea05916b373183883c6b2be80cf"
|
|
@@ -902,14 +910,26 @@
|
|
|
902
910
|
"merkle": "86f5f20ae987b028b15aaae7687ad2bfa9a26215b02dcfa3232f439c96ff6c62",
|
|
903
911
|
"own": "55313fe0fe837bfc1be1c6fab6c2cfbe48a2978929ad1bd892dbdad1849fb769"
|
|
904
912
|
},
|
|
913
|
+
"cpp.cpp.fmtFixed": {
|
|
914
|
+
"merkle": "3d427b9b7bc35b33cbb352390a81b6eb0b4eb6b359ec3737b6109f256298207e",
|
|
915
|
+
"own": "74af221a9f3ea84b8da18a6597b6785cb44ed4755c10fc42240433086572ac8e"
|
|
916
|
+
},
|
|
905
917
|
"cpp.cpp.fmtG": {
|
|
906
918
|
"merkle": "f79bcd381c319b0c1b557f19cbb65841d70072e3a2179492be0e7f68de70ae79",
|
|
907
919
|
"own": "962ab31c52e28bcd17139e6a2d13c6e1dc669c145b76b9089d47b3e3cd9b3ae8"
|
|
908
920
|
},
|
|
921
|
+
"cpp.cpp.fmtGP": {
|
|
922
|
+
"merkle": "588b088bc1e615a471cd3be363520815a920d6756a82b50d2a8de83055a58201",
|
|
923
|
+
"own": "36b4e37adcad05e00575985a7e9925c413682912dc7678ab047cb0f7005e4b49"
|
|
924
|
+
},
|
|
909
925
|
"cpp.cpp.fmtSig": {
|
|
910
926
|
"merkle": "69b47e75ba22da834738e5a16e4039f42c6a33bc3345ad6bb029e696dbf32124",
|
|
911
927
|
"own": "c998b2b3995cf98ca351fa2281d485e6b32c5ec95a3fca64b44bbe784cf85124"
|
|
912
928
|
},
|
|
929
|
+
"cpp.cpp.fmtSigP": {
|
|
930
|
+
"merkle": "c5ddb6f28fc7aff34690cc1b838453db96286b7654172d9fac0b6be334ceb377",
|
|
931
|
+
"own": "131bc048bc28dce386739ec94062bb1111e4b0bb3bb81aa55a8a590fc07befb6"
|
|
932
|
+
},
|
|
913
933
|
"cpp.cpp.fmul": {
|
|
914
934
|
"merkle": "d9bffcbd14997138415f59b92c51d610ae3790833a3c034c47d6d39909544637",
|
|
915
935
|
"own": "751fdbc797cb914d0df2917da5c76f53c295c4a6dcb72767e621b04168d76fa9"
|
|
@@ -1462,6 +1482,10 @@
|
|
|
1462
1482
|
"merkle": "08137a5422fe8f99d6a8a6f70ead419f005105b7eeb956e37e5fd61da80ec754",
|
|
1463
1483
|
"own": "11227177b8624cce2ef742640e748ea1ad7d4a76e64bd09973b7de9ed03292d1"
|
|
1464
1484
|
},
|
|
1485
|
+
"cpp.cpp.padLeft": {
|
|
1486
|
+
"merkle": "2fbb98b6275ee349b83f3a484ac8f3cd7fd092da0e4f397ab8ba28204aac09f9",
|
|
1487
|
+
"own": "cef6c2e785e2d1a00c196ea7dab3e51970d4740e02bb7c797f0ca36b488b3545"
|
|
1488
|
+
},
|
|
1465
1489
|
"cpp.cpp.pfirst": {
|
|
1466
1490
|
"merkle": "f7ecc3ff134776ee0a4ead57933fb8f2a1f32beef5b5eb2130c3b0b04b0932b1",
|
|
1467
1491
|
"own": "79558b79ce72b819696c9b6da1f65852c91e31f528096713d53f2944837d060c"
|
|
@@ -1766,6 +1790,10 @@
|
|
|
1766
1790
|
"merkle": "da015100ff421ca827fdc8ec6f35976b15ad2ab68fb4c237a2bb4746f425bcf1",
|
|
1767
1791
|
"own": "5b07277e513d27d181e2823af684d2daec3b5b667f8d992eda3b280a0e7d719d"
|
|
1768
1792
|
},
|
|
1793
|
+
"cpp.cpp.sigDigitsP": {
|
|
1794
|
+
"merkle": "47719b65c021aa8a492691dbfe4e34819b29d32fcc53dcf3406c12646da2831f",
|
|
1795
|
+
"own": "2abd17d6340ff73149be09750b6e461060fac67dcea7af4f6f8c12844429ddb5"
|
|
1796
|
+
},
|
|
1769
1797
|
"cpp.cpp.signedMag": {
|
|
1770
1798
|
"merkle": "96eb8ed275c2c1965bd538e37a26c463da5f3cb8367aca423013cce3768596b7",
|
|
1771
1799
|
"own": "42cd34024ab071bd972fdcf2c2a7fdea8299a65198aae2b73bfc341c68d2f8e6"
|
|
@@ -2206,7 +2234,7 @@
|
|
|
2206
2234
|
"format": 1,
|
|
2207
2235
|
"modules": {
|
|
2208
2236
|
"cpp": {
|
|
2209
|
-
"bytes":
|
|
2237
|
+
"bytes": 2472565,
|
|
2210
2238
|
"deps": [
|
|
2211
2239
|
"cpp"
|
|
2212
2240
|
]
|
|
@@ -2214,7 +2242,7 @@
|
|
|
2214
2242
|
},
|
|
2215
2243
|
"requires": {
|
|
2216
2244
|
"cella-lang": {
|
|
2217
|
-
"checkerHash": "
|
|
2245
|
+
"checkerHash": "42c4656ea407ecad",
|
|
2218
2246
|
"modules": [
|
|
2219
2247
|
"int"
|
|
2220
2248
|
]
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/cpp",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610071715",
|
|
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",
|
|
@@ -19,10 +19,10 @@
|
|
|
19
19
|
"license": "Apache-2.0",
|
|
20
20
|
"author": "SungYu Chang",
|
|
21
21
|
"peerDependencies": {
|
|
22
|
-
"cella-lang": "0.1.
|
|
22
|
+
"cella-lang": "0.1.202610071715"
|
|
23
23
|
},
|
|
24
24
|
"cella": {
|
|
25
|
-
"checkerHash": "
|
|
25
|
+
"checkerHash": "42c4656ea407ecad",
|
|
26
26
|
"cbfVersion": 18,
|
|
27
27
|
"modules": [
|
|
28
28
|
"cpp"
|