@cella-lang/cpp 0.1.202610110317 → 0.1.202610110336

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 (4) hide show
  1. package/CHANGES.md +4 -0
  2. package/cpp.cell +0 -0
  3. package/index.json +13 -1
  4. package/package.json +2 -2
package/CHANGES.md CHANGED
@@ -5,6 +5,10 @@
5
5
 
6
6
  ## 未發佈
7
7
 
8
+ ### 泛型 vector 的 front／back／empty
9
+
10
+ - `gEmptyB`、`gFront`、`gBack`。
11
+
8
12
  ### 三維陣列
9
13
 
10
14
  - `gAt3`、`gSet3`、`arr3Zeros`、`arr3Uninit`、`arr3InitOkB`、`padPlane`、`arr3Init`、`arr3InitFlat`。
package/cpp.cell CHANGED
Binary file
package/index.json CHANGED
@@ -2766,6 +2766,10 @@
2766
2766
  "merkle": "f28a2e7c157fc7cd2ac1a3d5c5342f689c5208207e142fd1cab1922e5813dcda",
2767
2767
  "own": "29fcde19f83f1b8833e830bc34f67945847426d583c34cc10a699e02bf527fca"
2768
2768
  },
2769
+ "cpp.cpp.gBack": {
2770
+ "merkle": "c64a31fa6da1cff8bcd512be82f396ef737c71f27b8f2c9428e5b96e6a63a60b",
2771
+ "own": "c68909e41fdd053346f8162549245bc3c6613d442a56fafd1b6aee21c6c69eb2"
2772
+ },
2769
2773
  "cpp.cpp.gBinarySearch": {
2770
2774
  "merkle": "cc2459ebeff946f4977fea90dbab88e0b763c8308d35903cbf378b2ec16da245",
2771
2775
  "own": "623a16f8f32d10435e77d29eec70fb467407e065390760e9af9a90d8ca563777"
@@ -2798,6 +2802,10 @@
2798
2802
  "merkle": "b294539822737939a3d51c3d7d4b653a4afed76e1448751d387ac333265cf422",
2799
2803
  "own": "5a0b6eb26378cd397ae5b700e97fafcea88816d0bd7f1cae785bb81066f1d86c"
2800
2804
  },
2805
+ "cpp.cpp.gEmptyB": {
2806
+ "merkle": "1a180099ac2e06bbb4411d3083627d93b246ce3da0f35228f524d78653bd542a",
2807
+ "own": "137781354a064f87ed538ecb0273e7ba549e3e76cdd7c467ee85a971dd70d130"
2808
+ },
2801
2809
  "cpp.cpp.gEraseA": {
2802
2810
  "merkle": "665d2dd0ba561dcbe48f6ed8c6189fd59bfaf628a6a8a64072c7c6352e22a777",
2803
2811
  "own": "cb0c21b20ccd67723bc8b3ddd4e8d45e13dc0e1c290f965070d5b794c4837c1e"
@@ -2830,6 +2838,10 @@
2830
2838
  "merkle": "7de6af0468033184b529e9baf35c04e57f2152a3de6c3f774612b7f445892e0f",
2831
2839
  "own": "8cecdd7f6c3cb23c72c8a0b3874d41f64346c8e9389551f2f5883532fc275dc1"
2832
2840
  },
2841
+ "cpp.cpp.gFront": {
2842
+ "merkle": "6a767d4542e0b23452ba2486ba68a60a6d80cfd018014f4e7659a6022afdf26d",
2843
+ "own": "97b2a096276fe65397b769468da99a65031125c64c4b8ff33aa5cee3480424a5"
2844
+ },
2833
2845
  "cpp.cpp.gGrow": {
2834
2846
  "merkle": "680d1e6c1a4385e6e8f8e3e7629a7102d3956e3d439ac58fbe46079b1a667b43",
2835
2847
  "own": "8e1ef2bb7ff31d416c5e66241276f5a3aef739a8be71a33137f320a5e9367536"
@@ -6630,7 +6642,7 @@
6630
6642
  "format": 1,
6631
6643
  "modules": {
6632
6644
  "cpp": {
6633
- "bytes": 3169301,
6645
+ "bytes": 3171856,
6634
6646
  "deps": [
6635
6647
  "cpp"
6636
6648
  ]
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@cella-lang/cpp",
3
- "version": "0.1.202610110317",
3
+ "version": "0.1.202610110336",
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": "c0dc9a409e664848"
31
+ "packHash": "37b0f01114b7d35c"
32
32
  }
33
33
  }