@cella-lang/cpp 0.1.202610051752 → 0.1.202610052212
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 +7 -7
- package/package.json +3 -3
package/cpp.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"cbfVersion": 17,
|
|
3
|
-
"checkerHash": "
|
|
3
|
+
"checkerHash": "9e8f98fdd4beb2cf",
|
|
4
4
|
"defs": {
|
|
5
5
|
"cpp.cpp.InRange": {
|
|
6
6
|
"merkle": "22c6957cfe79f9143d2571aab5eea762f897dd75c3b02036f44505d03bb1f094",
|
|
@@ -103,8 +103,8 @@
|
|
|
103
103
|
"own": "9c7b9c7bd8ace305b06a3f8f2f7f6d03a7299fa58beb5f0ae13b2253107ba5cf"
|
|
104
104
|
},
|
|
105
105
|
"cpp.cpp.rem": {
|
|
106
|
-
"merkle": "
|
|
107
|
-
"own": "
|
|
106
|
+
"merkle": "a96eab9a498341d06161de5f16b36166df123377a2fb68d3eac8c44195d07be0",
|
|
107
|
+
"own": "7c7c17df53e56593bfafbace48ddc262f36b2aaf4551cb5c478c39e9c0fde016"
|
|
108
108
|
},
|
|
109
109
|
"cpp.cpp.sub": {
|
|
110
110
|
"merkle": "a0dde2ad9495663248cf9022828c62a28f41ba1a08f2c6cbc3d3b14134cfa91c",
|
|
@@ -139,8 +139,8 @@
|
|
|
139
139
|
"own": "5273995ca09adb1b04d67d6ccd1265203c39f721497bb7e2251764baad76c4ea"
|
|
140
140
|
},
|
|
141
141
|
"cpp.cpp.toInt_rem": {
|
|
142
|
-
"merkle": "
|
|
143
|
-
"own": "
|
|
142
|
+
"merkle": "4df678922ebbd2885dd869fd10fafb9c27701377d580611017f0c4304e7248fe",
|
|
143
|
+
"own": "f42a2522c579b4039518aabaafe76afb26b5faab13c2c7659ab9f3230e504b1e"
|
|
144
144
|
},
|
|
145
145
|
"cpp.cpp.toInt_sub": {
|
|
146
146
|
"merkle": "18eeec110741d013ce640f37dc710e2a4fa98683ffd093889276b20a4733adc1",
|
|
@@ -150,7 +150,7 @@
|
|
|
150
150
|
"format": 1,
|
|
151
151
|
"modules": {
|
|
152
152
|
"cpp": {
|
|
153
|
-
"bytes":
|
|
153
|
+
"bytes": 1157330,
|
|
154
154
|
"deps": [
|
|
155
155
|
"cpp"
|
|
156
156
|
]
|
|
@@ -158,7 +158,7 @@
|
|
|
158
158
|
},
|
|
159
159
|
"requires": {
|
|
160
160
|
"cella-lang": {
|
|
161
|
-
"checkerHash": "
|
|
161
|
+
"checkerHash": "9e8f98fdd4beb2cf",
|
|
162
162
|
"modules": [
|
|
163
163
|
"int"
|
|
164
164
|
]
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/cpp",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610052212",
|
|
4
4
|
"description": "C++ integer types for the Cella proof checker (cpp.IntN, LP64 / AVR profiles) — 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.202610052209"
|
|
23
23
|
},
|
|
24
24
|
"cella": {
|
|
25
|
-
"checkerHash": "
|
|
25
|
+
"checkerHash": "9e8f98fdd4beb2cf",
|
|
26
26
|
"cbfVersion": 17,
|
|
27
27
|
"modules": [
|
|
28
28
|
"cpp"
|