@cella-lang/cpp 0.1.202610110348 → 0.1.202610110422
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
|
+
### list 搬移之後的迭代器
|
|
9
|
+
|
|
10
|
+
- `glMovedGo`、`glMoved`（指向 other 裡元素的迭代器在目標裡的位置）、`glEmptied`。
|
|
11
|
+
|
|
8
12
|
### 寬字元
|
|
9
13
|
|
|
10
14
|
- `tWChar`、`wcodes`、`wstrArr`、`wstrLit`、`wCells`、`wcstrAt`、`WCStrD`（`wcstrOk`）、`wcstrOf`、`wcslenC`、`intsLt`、`intsEq`、`wcscmpC`、`writeWides`、`WcscpyD`、`wcscpyC`、`WcscatD`、`wcscatC`。
|
package/cpp.cell
CHANGED
|
Binary file
|
package/index.json
CHANGED
|
@@ -3094,6 +3094,10 @@
|
|
|
3094
3094
|
"merkle": "b9b17d8e2b9776e9abf3fb02c49948d8869b0008e1ca6b0ba06a34d22ae7eec1",
|
|
3095
3095
|
"own": "fa3b3d328fc363d53741f732e0805c13f9a097a1335d42c9e3f362bee39b6b3d"
|
|
3096
3096
|
},
|
|
3097
|
+
"cpp.cpp.glEmptied": {
|
|
3098
|
+
"merkle": "82e12af638ce1077688e3edb48ae53232b482a4042dede197f1c37141ce96567",
|
|
3099
|
+
"own": "5e2759864c87670fcf1abe4d8544d41b63be060f0e02db01dae6e98391008dd4"
|
|
3100
|
+
},
|
|
3097
3101
|
"cpp.cpp.glEnd": {
|
|
3098
3102
|
"merkle": "e5cd8bb3291423c5ac7dc0f60833cd629b485e615bca652a4267b329fd3c167b",
|
|
3099
3103
|
"own": "ea2c57045db0a57ce1773e1abfa6c91c3265fea132fdb4bcbc178d2a4879bf41"
|
|
@@ -3134,6 +3138,14 @@
|
|
|
3134
3138
|
"merkle": "60e43a974195336c5355b2ed4e1ef82d20de91d0bf4b673345d2da9f5b9aee87",
|
|
3135
3139
|
"own": "edff78e8fb186a436f042d3d018c8bb768d0ac8d01d74aa25af4e76230c9bc37"
|
|
3136
3140
|
},
|
|
3141
|
+
"cpp.cpp.glMoved": {
|
|
3142
|
+
"merkle": "ec0628725308e406b314662abda14602fbc5e5536dc7bfa8b8fb47fb9840ceef",
|
|
3143
|
+
"own": "306c53910800871322a77b71cce019abfd38c89c0ba5b5f6eef0f39dd1c1a22f"
|
|
3144
|
+
},
|
|
3145
|
+
"cpp.cpp.glMovedGo": {
|
|
3146
|
+
"merkle": "236ed88f6b10a384e53650ff5a09d13408bccf222d038591a50957819bf6d10d",
|
|
3147
|
+
"own": "67413bc03ddcdfe5c4cacebbb4875dfc342990c3296662e5c83c7448e8288490"
|
|
3148
|
+
},
|
|
3137
3149
|
"cpp.cpp.glNew": {
|
|
3138
3150
|
"merkle": "4d3434e386e5827eb56416f5004870be33080a6fd79ee4ab088ed2dd1cafcb9f",
|
|
3139
3151
|
"own": "2ad5f675d58a102b4366f9d57a7b47b3dbca52ec4b5f481bb769031ac03bd99e"
|
|
@@ -6710,7 +6722,7 @@
|
|
|
6710
6722
|
"format": 1,
|
|
6711
6723
|
"modules": {
|
|
6712
6724
|
"cpp": {
|
|
6713
|
-
"bytes":
|
|
6725
|
+
"bytes": 3200589,
|
|
6714
6726
|
"deps": [
|
|
6715
6727
|
"cpp"
|
|
6716
6728
|
]
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cella-lang/cpp",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.202610110422",
|
|
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": "708f05fda12b5db0"
|
|
32
32
|
}
|
|
33
33
|
}
|