@cella-lang/cpp 0.1.202610112236 → 0.1.202610112355

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 +1 -0
  2. package/cpp.cell +0 -0
  3. package/index.json +4 -4
  4. package/package.json +5 -5
package/CHANGES.md CHANGED
@@ -5,6 +5,7 @@
5
5
 
6
6
  ## 未發佈
7
7
 
8
+ - 套件的快照改成第 25 版的格式（名字寫一次、之後用索引；定義的雜湊不變）：cpp 3.29 → 2.10 MB、c 1.89 → 1.45 MB。
8
9
  ### 雜湊
9
10
 
10
11
  - 79 個定義的雜湊改變（含 `cpp.cpp.isPropInRange`）：可展開的定義在隱式參數的解與項裡保留折疊的寫法，不再展開成本體。意思不變。
package/cpp.cell CHANGED
Binary file
package/index.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
- "cbfVersion": 24,
3
- "checkerHash": "8338a3b46ab78759",
2
+ "cbfVersion": 26,
3
+ "checkerHash": "a64ad21427478935",
4
4
  "defs": {
5
5
  "cpp.__RecordTag_cpp.IOS": {
6
6
  "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
@@ -7190,7 +7190,7 @@
7190
7190
  "format": 1,
7191
7191
  "modules": {
7192
7192
  "cpp": {
7193
- "bytes": 3289202,
7193
+ "bytes": 2116913,
7194
7194
  "deps": [
7195
7195
  "cpp"
7196
7196
  ]
@@ -7198,7 +7198,7 @@
7198
7198
  },
7199
7199
  "requires": {
7200
7200
  "cella-lang": {
7201
- "checkerHash": "8338a3b46ab78759",
7201
+ "checkerHash": "a64ad21427478935",
7202
7202
  "modules": [
7203
7203
  "int"
7204
7204
  ]
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@cella-lang/cpp",
3
- "version": "0.1.202610112236",
3
+ "version": "0.1.202610112355",
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",
@@ -20,14 +20,14 @@
20
20
  "license": "Apache-2.0",
21
21
  "author": "SungYu Chang",
22
22
  "peerDependencies": {
23
- "cella-lang": "0.1.202610112235"
23
+ "cella-lang": "0.1.202610112355"
24
24
  },
25
25
  "cella": {
26
- "checkerHash": "8338a3b46ab78759",
27
- "cbfVersion": 24,
26
+ "checkerHash": "a64ad21427478935",
27
+ "cbfVersion": 26,
28
28
  "modules": [
29
29
  "cpp"
30
30
  ],
31
- "packHash": "30e661d19eb8b6a9"
31
+ "packHash": "888e71ef18019930"
32
32
  }
33
33
  }