@cella-lang/cpp 0.1.202610110436 → 0.1.202610110442
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 +4 -0
- package/cpp.cell +0 -0
- package/index.json +13 -1
- package/package.json +2 -2
package/CHANGES.md
CHANGED
|
@@ -5,6 +5,10 @@
|
|
|
5
5
|
|
|
6
6
|
## 未發佈
|
|
7
7
|
|
|
8
|
+
### string 修改的丟例外版
|
|
9
|
+
|
|
10
|
+
- `strInsertX`、`strEraseX`、`strReplaceX`。
|
|
11
|
+
|
|
8
12
|
### std::bitset
|
|
9
13
|
|
|
10
14
|
- `Bits`（`bits`、`bitsL`、`bitsLen`）、`bitsZero`、`bitsOfNat`、`bitsOfStr`（`bitsStrOkB`）、`bitsGet`、`bitsPut`、`bitsTestX`、`bitsSetX`、`bitsFlipX`、`bitsAll`、`bitsFlipAll`、`bitsCount`、`bitsAny`、`bitsAllB`、`bitsAnd`、`bitsOr`、`bitsXor`、`bitsShl`、`bitsShr`、`bitsToString`、`bitsToULongX`；引理 `lengthReplicateB`、`lengthMapB`、`lengthZipWithB`、`succNotZeroC`。
|
package/cpp.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -6110,6 +6110,10 @@
|
|
|
6110
6110
|
"merkle": "42ba23055289ef510b4324056449bd970cd2ff84f70d12e29f23603a0d420cfb",
|
|
6111
6111
|
"own": "96358856aa12fef2c9182bc16c4929e8bd391f51738abca92b8fff6a6dd958c3"
|
|
6112
6112
|
},
|
|
6113
|
+
"cpp.cpp.strEraseX": {
|
|
6114
|
+
"merkle": "382d29a5e20d7470660e0fa3f727ffb3432709f1b52900948408d5fa48e12c70",
|
|
6115
|
+
"own": "a60b0a9774528f8a599aa439fb046468b761e0f5a9adc920824fd2071689bba6"
|
|
6116
|
+
},
|
|
6113
6117
|
"cpp.cpp.strFind": {
|
|
6114
6118
|
"merkle": "6b3abb7fb48d2de9019fc9142f1acdb9fc19197619980ef570e1ce003eb6c4e5",
|
|
6115
6119
|
"own": "da1a3c6b0e49ccf87de178d4a2c71e6bd19a60ead095518daf58d3d1ccfba580"
|
|
@@ -6134,6 +6138,10 @@
|
|
|
6134
6138
|
"merkle": "2f30c3ea06a70c31836b4bdf56fa7733ea1d34cae9ade95a9a5e56e38357689e",
|
|
6135
6139
|
"own": "1010806d513e5b69401b0e2cb4630168523fd4862daa221c08e7732e4a6c9e99"
|
|
6136
6140
|
},
|
|
6141
|
+
"cpp.cpp.strInsertX": {
|
|
6142
|
+
"merkle": "461a74e82d60ff692b388d3a856c80f36517da018dfdbcaabd1b64a187e418ac",
|
|
6143
|
+
"own": "c53270bb3fa9a6dd1c74f4a2953cb29669aa141b1f696871ee1c5219dbb8d77d"
|
|
6144
|
+
},
|
|
6137
6145
|
"cpp.cpp.strIsEmpty": {
|
|
6138
6146
|
"merkle": "e6c9b79f8234e6a6a1e35ecba561e80bce47bc7497413242115ad3df13bf40b0",
|
|
6139
6147
|
"own": "809aa4ea69af59a71d542c6c61e906693c4e1743bab5ca1dad6ec83fd26165ef"
|
|
@@ -6174,6 +6182,10 @@
|
|
|
6174
6182
|
"merkle": "7613481e7ed38779f897d17bf7ca582d81c5d8daded470f2009834df2f1367fe",
|
|
6175
6183
|
"own": "ed68f3c42c5ceffd78e6922126d31f70de851d45fb8774b6818165e0daaabd5e"
|
|
6176
6184
|
},
|
|
6185
|
+
"cpp.cpp.strReplaceX": {
|
|
6186
|
+
"merkle": "463e001357957f70f3cb6a6ba91519e81675f1fa760fe4403ecab258dc217421",
|
|
6187
|
+
"own": "c5200e1bedcf83c345ed4ac72b98dbdb7a632bdce28d83784f121a8043d0c93f"
|
|
6188
|
+
},
|
|
6177
6189
|
"cpp.cpp.strRfind": {
|
|
6178
6190
|
"merkle": "3aeaced0364dff81df83c12132cd055679f093fe7ec88f5c4afb82a0717f27d5",
|
|
6179
6191
|
"own": "17645b4f8e572f75c7b5e34c93ac220640673caebe475b080f0ebed3bdad4d98"
|
|
@@ -6922,7 +6934,7 @@
|
|
|
6922
6934
|
"format": 1,
|
|
6923
6935
|
"modules": {
|
|
6924
6936
|
"cpp": {
|
|
6925
|
-
"bytes":
|
|
6937
|
+
"bytes": 3257342,
|
|
6926
6938
|
"deps": [
|
|
6927
6939
|
"cpp"
|
|
6928
6940
|
]
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/cpp",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610110442",
|
|
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",
|
|
@@ -28,6 +28,6 @@
|
|
|
28
28
|
"modules": [
|
|
29
29
|
"cpp"
|
|
30
30
|
],
|
|
31
|
-
"packHash": "
|
|
31
|
+
"packHash": "d4ab958a5d205f65"
|
|
32
32
|
}
|
|
33
33
|
}
|