@cella-lang/c 0.1.202610301451 → 0.1.202610301841

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/c.cell +0 -0
  2. package/index.json +30 -30
  3. package/package.json +3 -3
package/c.cell CHANGED
Binary file
package/index.json CHANGED
@@ -3,7 +3,7 @@
3
3
  "checkerHash": "c23d5c2e1f29ce9f",
4
4
  "defs": {
5
5
  "c.C.checking": {
6
- "merkle": "74577e8aa85b434f70267ceef64176bdc0d6fb93e20a18a9c7b580cd82532928",
6
+ "merkle": "77484e884bdbeb907c420ffddb1d0d6ebf7e06c5e0d262204531c0a5213772f7",
7
7
  "own": "d13c6d62cd23c5dea3cba368e17244edfa34a34312a62a979b882db33fce98c3"
8
8
  },
9
9
  "c.C.constructs": {
@@ -15,7 +15,7 @@
15
15
  "own": "89cce2132dfdbf850d332c9a1749a09ceaaaf7a140f3ec67b2975d698b52a17f"
16
16
  },
17
17
  "c.C.dialect": {
18
- "merkle": "cbc66cb0ff9f09cee7f5fd96b24814c5ca78479eae64d99468caf5b133423b9e",
18
+ "merkle": "487a8e2306cdb8720d8f07fedf0af418cc5c5b8a3c6dd7b180ad851a015ccbb1",
19
19
  "own": "a813ab0b65555b3d44c60d91de41561fcd5db30855e9d62e650f0e3e651e69b6"
20
20
  },
21
21
  "c.C.effects": {
@@ -31,15 +31,15 @@
31
31
  "own": "7e398b1ae168e9a36504512d36793819ff7ec6bbd94d96bd6d5b48db771d034d"
32
32
  },
33
33
  "c.C.programDialect": {
34
- "merkle": "17a9916fa656551132b2357d811a51aa83103059997a02902f3e1b02d6dbb2f5",
34
+ "merkle": "47fad4821e3377a891b3b93aaa2c95f642f188eb860f2125457b13edcbd87929",
35
35
  "own": "b46145b10b1ec510bcea885968534e672ca49976fa00020daaec8616896c29f4"
36
36
  },
37
37
  "c.C.programExtension": {
38
- "merkle": "508104c6f4843bd987650712f9669919295a6a1b9afe9cc1608a4b5956bf4d4b",
38
+ "merkle": "aebad5449e4d59fa7dd8edf6d24a6625eb380f7aa700eceb3625e15030acfa4e",
39
39
  "own": "2e4c5d955d49271550f2f1abbc584202daf802323b937e696f8439b7ece0967f"
40
40
  },
41
41
  "c.C.query": {
42
- "merkle": "ebc46fb82e52a3047ec714dc307ec4a1c3f359e1054dbff963dc11b572c90096",
42
+ "merkle": "b94cc68b0dabf150cc90b70827f30823a1ad62f85e3aa636e36e480aed3da33a",
43
43
  "own": "11ce588500fba76fe041991a8ab82636fd36a1e6cc6f335224a2edb057012ace"
44
44
  },
45
45
  "c.C.queryError": {
@@ -47,8 +47,8 @@
47
47
  "own": "a1235c48359cfff7a14738be9779c6614f234c5f553bf601deb811f401e7aabb"
48
48
  },
49
49
  "c.C.rules": {
50
- "merkle": "107a2510643fb412900c722767aa9fe360a7f3c5161c225d4009a9a8e3672507",
51
- "own": "e57d9fa9b03d30fcd319b52559a92abdbe785c6476943bb77724d5b2d0ff4644"
50
+ "merkle": "160766be576159eaec3da8a09254271a9287be2b0913b00160c36c79dcbacd9a",
51
+ "own": "2bd76a4106d89426b9e57b7ce6af7beb5de2effe456a6674e73262c911376d12"
52
52
  },
53
53
  "c.C.typeText": {
54
54
  "merkle": "2968a35964dae6a777a58e667f312378f34b90fdc328c95aad8587c430e9e5f2",
@@ -59,95 +59,95 @@
59
59
  "own": "1a25a9ebb0b9a0dcf00c7e13fb6c9c805d057876cbc028168bdb7b32a30c05c8"
60
60
  },
61
61
  "c.C.verdictOf": {
62
- "merkle": "bfab179350cf79901aabdc4b3c865474c8459983e7aae2d02b43b2e7fd366250",
62
+ "merkle": "ae7269f28f1abd8e06e3866ec1add2937cabf23ebb85b082bde73295b5816db1",
63
63
  "own": "fec6e45c6bad4e8e71c05b44bf66123d26b98e55521006442fed8b09fd7418bb"
64
64
  },
65
65
  "c.Session": {
66
- "merkle": "1743666e091ee5e23efb4cb7f475985be46279bca2e95c539d972c599d017259",
66
+ "merkle": "27c4473314b8507c13f168cb5293d1b7db39722692ded07c115395592802a9fa",
67
67
  "own": "5f2aa2ddcd274d9681b261fef5c5d771e027d9991df16fcee57046a8b44f1379"
68
68
  },
69
69
  "c.Stopping": {
70
- "merkle": "062213f7d569b2dec601d74f8b12e2f9c1d4cb87322fbd1a24c0fe2ace5ec2cd",
70
+ "merkle": "2a4e3c2cc5be105e8c6bf80e015d5364ef02d2c14a10754c6b6edac76a241015",
71
71
  "own": "6c173c71c5157b5672cceda204e351e632dd2a1e86ff5248b893d11966ab8d0e"
72
72
  },
73
73
  "c.divergences": {
74
- "merkle": "e3316092dfaa8e5d39cac9465b8a621e6cfb1f9f5268a572dda334541ca75fea",
74
+ "merkle": "2c99372beaf1e263fc132cac9eec6847f5c78e39a544e5b16c70da0cc22deac8",
75
75
  "own": "20fb3d8b626fa80c344090c7d9e3e6dbd98618d8968aabd708ff0d42557fc484"
76
76
  },
77
77
  "c.env": {
78
- "merkle": "c226c50055655a7219b1ef8e5b1cdadbbc99076fe1e2c70d45b5da2175b55be8",
78
+ "merkle": "7e0c32320a786756e29cbee3ca7e0a0a3efef4c3fd8ac6b83f603b58394b0e8a",
79
79
  "own": "ab37322f3b8af2b02d34f5b9a53dc2b45b122041b2ba74787b7fd5fe2e27bac2"
80
80
  },
81
81
  "c.feed": {
82
- "merkle": "89a8068c77ce2fbb1c76f885380a4f4bc4b083fd8b2751ef4283222f8cc8ac0a",
82
+ "merkle": "2670cb3a53758aebcfb837e748362827f5d31d1c3851ab0b85210c9d3e3015b5",
83
83
  "own": "7864535ea607169305600df86d3a2ab85f1332bea87ef33b63494eeb7cd316dd"
84
84
  },
85
85
  "c.frames": {
86
- "merkle": "7eee671eda50d09d0b461fc9222ed66a1a9270ccecd6b3dd1f33c6da1cc44c30",
86
+ "merkle": "5d30281d7cd6382f3d1bbbd06fd71c0420f3c12012853c76690fe03dcf140c26",
87
87
  "own": "def10961b479875af856ef073e8ea7c6898426ac98b70670f19aefba65cc1925"
88
88
  },
89
89
  "c.globals": {
90
- "merkle": "ad0aee36ebc35a2fe8dbcd76ad0383c6fbf82d2807e3a54a6c408899f73632ae",
90
+ "merkle": "097ed044b8cc315bbfa341cba5f2711d19a84094eaaf38727e8cc977b4530adf",
91
91
  "own": "8dba541a1a8378f623033bbe59250c50dcf28df708687ef2cc53c9dd94be5c6d"
92
92
  },
93
93
  "c.load": {
94
- "merkle": "ea2ce055226436a5aa98479e3677e5d5cea9e0f71196dd05fbd57170bc39e8ff",
94
+ "merkle": "9f7d94646a6fffe84c871ee0ebfb78423c3dab53ded8adb222f57593add19d61",
95
95
  "own": "5ceedaff2b6d23a0489509ec7a33f39ea8b4eb59a616023164e2a8cf9de2a0d5"
96
96
  },
97
97
  "c.report": {
98
- "merkle": "aea6a8a10acdc0fa3e1962d2099ef9c88f899c867615acdca57a36f9e54d8c27",
98
+ "merkle": "18bc5b80494f54c4d323be924b1d67c18b60332c79e3308b80402b395b7fc312",
99
99
  "own": "c5706db83acbe5bc1d46166bd1fda834786c790a206c89fade9d55a572dea072"
100
100
  },
101
101
  "c.run": {
102
- "merkle": "e31b7f912d872eb926a58e7903a5e5abd69dcbb30a711abe957ed686aa53f8a3",
102
+ "merkle": "623793ab83304320e0c2d4306552852ce98a988d918e7beb48413f0cf306339a",
103
103
  "own": "832901b374ff74f11ddd297e26907a7f75f92e18a8ac71e37da139365cbece3e"
104
104
  },
105
105
  "c.setVarConf": {
106
- "merkle": "33b1b3fc1db034bf36ac541552a36a015f9e04155ba58ec043f3bb383c78f18f",
106
+ "merkle": "50de6931124a9505641cea2ee29f95cc6cabd12d5f8c7d9b9511e74e3d9be17c",
107
107
  "own": "2afb7946a846f6d65a2b589bbddfaeab0aec8cf40ef16fbe081488b3dbbddc62"
108
108
  },
109
109
  "c.setVarErr": {
110
- "merkle": "fc41fe297962a837f0a45830e08c14987cc8677ea3d4f6351323eed1a49278dc",
110
+ "merkle": "afe173df6c527695a5325f8528c86c8bb2f012c496e56d4e8491f9cc0f1faf24",
111
111
  "own": "51fec8d8ab03ec9b592a51eaa27a72375a2e11880cf2bbb7d7a432dd703c45b6"
112
112
  },
113
113
  "c.stopConf": {
114
- "merkle": "48331a13cdb6fb5a0dd631124f6e551157c428a9936d0319d9e890c70241f7de",
114
+ "merkle": "c87726021e52b801cb4fefe2843b974580598ff0090a8c1b918781fab7d20247",
115
115
  "own": "31b6e8bc10574a3d70503e74e2b0901caee019c3a0019ecee2401dab7b9d310e"
116
116
  },
117
117
  "c.stopDetail": {
118
- "merkle": "1afa7771e274c01aa3c4c03f434eca45b3f584f5a1a191e2da56d83ee0585caf",
118
+ "merkle": "f5d5d98a1a06e1a5ceab0b9700f5a6709e0a372aac81b4e92aaed76533952327",
119
119
  "own": "da8047506916df2a13bc45df7552363a925e648d822b7d198442256b0bc6b58b"
120
120
  },
121
121
  "c.stopErr": {
122
- "merkle": "daed569f672cdac5277671d0b6d0e282aaff2aca2f77f3cd7edea1ccdbe1cf74",
122
+ "merkle": "6566ac23667d1bf589d54f5241cc19e687ac8444c94e47beadc56656791eff8c",
123
123
  "own": "a0eba9599817c3508c0ae20622d1605f5a005c31e5ca6880b89ba743ef267d86"
124
124
  },
125
125
  "c.stopKind": {
126
- "merkle": "858f34e19cc82336ef8a51061490356b8de8139b0136cb08e6845d4242f685fb",
126
+ "merkle": "ec8fade338586d18d385e90e1db0df08accd1f544e4b5cb601e6b8cdb683e235",
127
127
  "own": "50ede1925f287cc467aaa60b2abf2f51cebaa1baa487b4aaa9a49c52f97e04bc"
128
128
  },
129
129
  "c.stopNode": {
130
- "merkle": "5269d48b86426730e11a627bd30be39a4be4ebcb7dcad32243c9585e68d553bb",
130
+ "merkle": "5e39aa8727f0888e912e994ba6ba94cdb970a418db94b11c905bbcb1e1f71c03",
131
131
  "own": "f8921dafa5e4149fd04fc60b2c221232c51d2944fa3eef667a064fcf12b02bfa"
132
132
  },
133
133
  "c.stopOut": {
134
- "merkle": "4ff71a8fcc343a843dbb8c30d4203ef9367d470986d06dadb49d870aace056ed",
134
+ "merkle": "d3a1cf0a0c9be6254628b8544e8a1593268a061ef578a047cf24962817fc4f49",
135
135
  "own": "3413770dc8991e9ec7609695ccb5355cd64d12f9fc60f823f02ecce06e7e749e"
136
136
  },
137
137
  "c.types": {
138
- "merkle": "a133a14b63233b90ba9861c52f625321e65d5c14b9e1131b42ed664ceeaff608",
138
+ "merkle": "4131e38cb38c38e288c89da447f9db2c0ca19fd378e8a1cca868f2d29fdb652b",
139
139
  "own": "cb383810e8c655e2b41d451bc3a03b1b2698fbd6d13261c91b4c31c1f025e748"
140
140
  },
141
141
  "c.verdict": {
142
- "merkle": "f4e02fc0f8031f0db2de96e4574b99f0d4ac0a05d8a03ae5122afbd2265fab06",
142
+ "merkle": "809923cb2e681c6cfb65e49dfa89af1d4c35c44c1c8eb9e3b94e7889dba58f4a",
143
143
  "own": "1fbb2bc147062bce884860540f67730e9010dc1649e4cff876626e7e4a2c8566"
144
144
  }
145
145
  },
146
146
  "format": 1,
147
- "inputs": "631aab52548d6e894d8b228a698b1dfecca308c84f67e5abf291ee86743c8bd3",
147
+ "inputs": "edd944721e33309105d4e16d4ff56591c6360e367dc6a3617a6fbf0fbb7baea3",
148
148
  "modules": {
149
149
  "c": {
150
- "bytes": 427842,
150
+ "bytes": 429641,
151
151
  "deps": [
152
152
  "c"
153
153
  ]
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@cella-lang/c",
3
- "version": "0.1.202610301451",
3
+ "version": "0.1.202610301841",
4
4
  "description": "C11 for the Cella proof checker, as a branch of the C family's deep embedding (@cella-lang/cfamily): a C program is a data value (the JSON semorphe sends), checked by C's rules and run by its small-step semantics; verdicts (accept, reject, unknown with the clause of the standard), a type query and a debugger host interface — compiled module pack.",
5
5
  "files": [
6
6
  "c.cell",
@@ -28,7 +28,7 @@
28
28
  "author": "SungYu Chang",
29
29
  "homepage": "https://cella-lang.org/",
30
30
  "peerDependencies": {
31
- "cella-lang": "0.1.202610301445",
31
+ "cella-lang": "0.1.202610301840",
32
32
  "@cella-lang/cfamily": "0.1.202610301447",
33
33
  "@cella-lang/machine": "0.1.202610301445"
34
34
  },
@@ -38,6 +38,6 @@
38
38
  "modules": [
39
39
  "c"
40
40
  ],
41
- "packHash": "041222b3ac78d4d9"
41
+ "packHash": "7567f85bf01600d4"
42
42
  }
43
43
  }