@cella-lang/cpp 0.1.202610061023 → 0.1.202610061501

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.
Files changed (3) hide show
  1. package/cpp.cell +0 -0
  2. package/index.json +22 -22
  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": 17,
3
- "checkerHash": "f8583e6ef64f8a50",
3
+ "checkerHash": "052c51a1a1f726f6",
4
4
  "defs": {
5
5
  "cpp.cpp.IType": {
6
6
  "merkle": "0dd443ac677be03bf00dd3f4a0924b29f9e7ffe592ad7a666d6febcdf3735499",
@@ -43,7 +43,7 @@
43
43
  "own": "3247fa434f888ad71f8f54b8a747ce712170fb89d4f251d422dc166e02fb566b"
44
44
  },
45
45
  "cpp.cpp.absV": {
46
- "merkle": "69bfc664478d437bfd0aaee995d33ff4bb711cf076475fa9ede714adf34f3041",
46
+ "merkle": "24913169ba80088e0b58bf4931b4090eff3444d702c2e72ba2d340097f26220f",
47
47
  "own": "175a94ce1738c146426077ebfe187e25e6c3fd776b45cc02f02d5fa03b1a12f4"
48
48
  },
49
49
  "cpp.cpp.add": {
@@ -51,7 +51,7 @@
51
51
  "own": "55dddb329fadc10e4692da25f18529b86b928e6a432a2b129e5fe13520365118"
52
52
  },
53
53
  "cpp.cpp.addV": {
54
- "merkle": "7027c6b9350c52fe0b1aa67b43555b11a8d56938e4def562d1cffb05efdc9e33",
54
+ "merkle": "3fba361a9d57f88b35627ad9862dd66ca812c5e49a56f7b42762b409e3e69247",
55
55
  "own": "51749e58de87cc60d002767108377ef7e6b65e9f17c3a869607b140b4ced2163"
56
56
  },
57
57
  "cpp.cpp.andTrue": {
@@ -75,7 +75,7 @@
75
75
  "own": "a42e9657fb56a9056b45acd74ea6cb2aac5740e200be2ea0399113436e517cbd"
76
76
  },
77
77
  "cpp.cpp.cast": {
78
- "merkle": "fe838af4670dcf55abd4df10253324a1fa6bd03cd7962a20b4decdf736387e96",
78
+ "merkle": "afcaf4dc541392fb8c5ff342241e07d4b13a9e9594d1e829e3c43a90b1fbb0d2",
79
79
  "own": "2f7ecdc5628e76bbe488aeb0862cee8e00e0bc78bc2758e75d4f3e037c190c62"
80
80
  },
81
81
  "cpp.cpp.common": {
@@ -95,11 +95,11 @@
95
95
  "own": "42fa3cc397d63e2b6a3dcf5fba98931141ef0c50c9d73d1ed94c7b2e61b9bdbc"
96
96
  },
97
97
  "cpp.cpp.cv": {
98
- "merkle": "ecbe5906d468fb1d655ad4608b9fbb36a2e3c08ad9a9492c2bb6223bf1241262",
98
+ "merkle": "abd578875eabdd33f42a0686963f9e9a684f37309c4b1e5e62f626036f91d8ee",
99
99
  "own": "7be8cfee110a4d5b896cc08a0d42c400f2e9cce1c0cd08d4290493fdb1fcb288"
100
100
  },
101
101
  "cpp.cpp.cw": {
102
- "merkle": "611d966d8d0427c40597e45c566e5593ee58533a71d0a29151abdc0821194d39",
102
+ "merkle": "014168e2483f5055ea2d1db6cbc226ceb5411090fcefc412f4a986a44c0bf7a9",
103
103
  "own": "832d7633391896f7dc7500b401129dbade7687af6d8e1a911594f1542dea6799"
104
104
  },
105
105
  "cpp.cpp.div": {
@@ -107,7 +107,7 @@
107
107
  "own": "5257e22728d218342ee89c501d91fea5acad72c90b9a8d28b2532b1da771b7a4"
108
108
  },
109
109
  "cpp.cpp.divV": {
110
- "merkle": "d603e8e9585a47c91c659009ef84789f39c58554ca4feee1041e2387e9d9d490",
110
+ "merkle": "5c4b4609a23bd492f47e313f9fc6a8ecc98d050200e585f6c0f504e69d541b92",
111
111
  "own": "da7e79c529aafb13d175bb07282afc7a625a387ed4853393774faaab60cc48db"
112
112
  },
113
113
  "cpp.cpp.eq": {
@@ -115,11 +115,11 @@
115
115
  "own": "b20d6d33e9db32381266198cd6ac6d52c642d8f70d0bd62132d857ae93f1ebaf"
116
116
  },
117
117
  "cpp.cpp.eqV": {
118
- "merkle": "fc9d169be3e1048d253524311249fa382ac64b65138297b9491aca62a2a9b965",
118
+ "merkle": "90c908a31e37277afd8203917a112f0cf9447649a8748d64953c1ebc3b12476a",
119
119
  "own": "526669331ca6d0966d6753c41eb39ffec4fede6766d23b6d3b2585f550b29ff2"
120
120
  },
121
121
  "cpp.cpp.geV": {
122
- "merkle": "087acaa024bb51263859d5f5854152bec21e3a2a18b893c1e48da65e650782db",
122
+ "merkle": "e1409cbb277f2fdbd3607fcfed762909c68ce4ddba11071d1a515fd92c77a58c",
123
123
  "own": "a87932d7fa0bacbba0174fb3ec278f8365515dbef95299ba7ac569e4c42f814f"
124
124
  },
125
125
  "cpp.cpp.get": {
@@ -127,7 +127,7 @@
127
127
  "own": "af0a5713199d3f12ea809b0212f3fc768bc10c5797492f13803fdf6b6d65657c"
128
128
  },
129
129
  "cpp.cpp.gtV": {
130
- "merkle": "43184a87a6486e294265e6b3fbafe7b5e394736850b147aa88695e4d02c871b0",
130
+ "merkle": "5e1896aa130a0414eab571a42f1d5c93b80b896b35877049a4ba7f286ca7918d",
131
131
  "own": "4779c91e99221bd21d48b9e870556716321f29053bf5b78435c41ff74621c8c3"
132
132
  },
133
133
  "cpp.cpp.half": {
@@ -155,7 +155,7 @@
155
155
  "own": "7057e826cdf59e05a8a863642c38164bb647c373b50bdc2e4c86c4d3da363266"
156
156
  },
157
157
  "cpp.cpp.leV": {
158
- "merkle": "3a568fa9f4a81794bb6bc3dcdc9a91631e66b38809c111f5ffb2956804e88317",
158
+ "merkle": "8a6ce24c0783ac23c906b66afaa8a2ed4593ff1e7cff11c7fa8d745d4d0f6bcf",
159
159
  "own": "8feb93cfb657006cd71dd95ca7dfac378bfe45a6cf61783b7cf2e1c9d7b2ef27"
160
160
  },
161
161
  "cpp.cpp.lit": {
@@ -183,7 +183,7 @@
183
183
  "own": "5bc94424e5602b2f249662308857078be93efb07ac2edc01e5e1d1f57da285d5"
184
184
  },
185
185
  "cpp.cpp.ltV": {
186
- "merkle": "bcbcb04b9c803f030706513b6664886223a764797533a5d9847513b3b2119f59",
186
+ "merkle": "532892c2897b4e8c2d0921f8683909387fe935cb5efa6032ce02d8d220e42518",
187
187
  "own": "0f6bc35e73d0945b6f006cd02143b28e56e21c65a3e3bd795af255547f9f949a"
188
188
  },
189
189
  "cpp.cpp.maxInt32": {
@@ -223,11 +223,11 @@
223
223
  "own": "59c50c23e150ca0a1f4c80b98130ebe99c1d50e11d4ba176a45fef1cdf62a7d5"
224
224
  },
225
225
  "cpp.cpp.mulV": {
226
- "merkle": "b769a00c572c20fe87e8649fcf9ec421dcabe1d039302e66313e95728d3a6a8e",
226
+ "merkle": "b730132771d15a0de9598123dd5008748f12657cc4b76084817f45c1379fa51c",
227
227
  "own": "049c48ad81f5839042a78ca431c50024cd77a9202177f5f54e0fda0516e10681"
228
228
  },
229
229
  "cpp.cpp.neV": {
230
- "merkle": "b7ddcc8f077ba0e801bc871c36da82dc2a2b3f6494ac785510497a4e6932ce99",
230
+ "merkle": "09ee8c1d32c9f10bf03399c5f89686373a3fa366aa18bae5e2531cf6f91c31f5",
231
231
  "own": "39b8218f43f17638e0812c62de95937dc60df95bec77c4994ca9af914cf47cbb"
232
232
  },
233
233
  "cpp.cpp.neg": {
@@ -235,7 +235,7 @@
235
235
  "own": "9c7b9c7bd8ace305b06a3f8f2f7f6d03a7299fa58beb5f0ae13b2253107ba5cf"
236
236
  },
237
237
  "cpp.cpp.negV": {
238
- "merkle": "88a5ab6db11861d333dbd1f6bfa860c3c2f7688a65efaf5e7b03367b98964cc6",
238
+ "merkle": "69b4434c5c697031187807659bb0da176e513e8400a55816ca0c5092f33fa166",
239
239
  "own": "7ec1b6fb214317831c048cfad10f491de590073f1f4360d6d203e856d960f0ae"
240
240
  },
241
241
  "cpp.cpp.ofBool": {
@@ -259,11 +259,11 @@
259
259
  "own": "7c7c17df53e56593bfafbace48ddc262f36b2aaf4551cb5c478c39e9c0fde016"
260
260
  },
261
261
  "cpp.cpp.remV": {
262
- "merkle": "344cee275626db62028f5807b7089aed2a3fcde0e3c09877d906d09b65218245",
262
+ "merkle": "49afb917b6aaae8ee3f066da1bac8399c7a5c5d4ddb11682b2868dae1ea0e302",
263
263
  "own": "cf108c8b3e80750c8b84e3a29bbfa036ee32d6bc7c5b3986d298df9ae5187721"
264
264
  },
265
265
  "cpp.cpp.res": {
266
- "merkle": "dc5d693ef331f726b3559e527df0d8d9c728ac7383fde79c2f11905d2fe3985c",
266
+ "merkle": "06f63f59694dc56768d394afe7a69a903e7ae77270817108bacc5307c7661827",
267
267
  "own": "a2ed95e3ef3c6ec07281e48e416bb4da8aa1ac920c8c562b32fef34a495400b4"
268
268
  },
269
269
  "cpp.cpp.sub": {
@@ -271,7 +271,7 @@
271
271
  "own": "d607cfd8f3a5924db4b3183896e56379c315aa87f93ce117f38aa1ea45450681"
272
272
  },
273
273
  "cpp.cpp.subV": {
274
- "merkle": "9ab32dfa4559058271d3ea2e7b4807d6f9457e29586681cb9fffd30a0982d057",
274
+ "merkle": "ad105612c6f60bcd162d2c7df61cdb81df18d101fa9156278b1d3b07b1418fad",
275
275
  "own": "c9a2e799e87befbc604d32d75736b4bed85494d4ccd9d17dc0eb857cf2d6cd21"
276
276
  },
277
277
  "cpp.cpp.tBool": {
@@ -379,11 +379,11 @@
379
379
  "own": "e4b72123ac37bf97df20de2ecb362655c22a380cb0e622252eb78a71b2b03a8d"
380
380
  },
381
381
  "cpp.cpp.wrap": {
382
- "merkle": "1faee70019160b66677062e301b088e3e6f0c11257ac0a6cce670ce717f71517",
382
+ "merkle": "7b8e8c45be7ac859200f862042dfe23486b2e1292aac4959fd4862928dc99020",
383
383
  "own": "6e627e76faf697049681a9030b8bcf0a51c37c96263e880d59e42e14fbd3b5bf"
384
384
  },
385
385
  "cpp.cpp.wrapSIn": {
386
- "merkle": "290cf58c8bf60c6a4545775a10455b1ec299ca2c01157955ce3c2d279c0328c6",
386
+ "merkle": "db365ee13041cbf2660568f611e260afddec8da7c26c01efa88b50a18153dd15",
387
387
  "own": "5ebda8282e6a69d58a18e932e7b4e94bc981d48d554dc6c505b6686ae6d31029"
388
388
  },
389
389
  "cpp.cpp.wrapSInt": {
@@ -391,7 +391,7 @@
391
391
  "own": "bcc1c9d732f225e52c4785da89ec3d50e44af9c0610ef526ab3b127e47c94a8f"
392
392
  },
393
393
  "cpp.cpp.wrapUIn": {
394
- "merkle": "360b9af8c3ebc97e2a54bd79135215819dfbaee09fe2ff07dd6bef99ee808a69",
394
+ "merkle": "50d621cca9dedd83c775920b9b98ee545236d215f6e5f7fe8554094c5d2b3de0",
395
395
  "own": "5583b6d7faa5a3128ac65cad7642c9bd1c67950257bc8b42afb3760eb88f0956"
396
396
  },
397
397
  "cpp.cpp.wrapUInt": {
@@ -410,7 +410,7 @@
410
410
  },
411
411
  "requires": {
412
412
  "cella-lang": {
413
- "checkerHash": "f8583e6ef64f8a50",
413
+ "checkerHash": "052c51a1a1f726f6",
414
414
  "modules": [
415
415
  "int"
416
416
  ]
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@cella-lang/cpp",
3
- "version": "0.1.202610061023",
3
+ "version": "0.1.202610061501",
4
4
  "description": "A formally verified C++ subset for the Cella proof checker: integer types with C++ promotions and conversions (LP64 / AVR) — 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.202610061021"
22
+ "cella-lang": "0.1.202610061457"
23
23
  },
24
24
  "cella": {
25
- "checkerHash": "f8583e6ef64f8a50",
25
+ "checkerHash": "052c51a1a1f726f6",
26
26
  "cbfVersion": 17,
27
27
  "modules": [
28
28
  "cpp"