Skip to content

Commit 828a346

Browse files
Soupstrawlehins
Soupstraw
authored and
lehins
committed
Regenerate CDDL
1 parent ad0a57e commit 828a346

File tree

7 files changed

+21
-126
lines changed

7 files changed

+21
-126
lines changed

‎eras/allegra/impl/cddl/data/allegra.cddl‎

Lines changed: 3 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -80,8 +80,6 @@ transaction_id = hash32
8080

8181
transaction_output = [address, amount : coin]
8282

83-
; address = bytes
84-
;
8583
; address format:
8684
; [ 8 bit header | payload ];
8785
;
@@ -112,15 +110,7 @@ transaction_output = [address, amount : coin]
112110
; 1110: account address: keyhash28
113111
; 1111: account address: scripthash28
114112
; 1001-1101: future formats
115-
address =
116-
h'001000000000000000000000000000000000000000000000000000000011000000000000000000000000000000000000000000000000000000'
117-
/ h'102000000000000000000000000000000000000000000000000000000022000000000000000000000000000000000000000000000000000000'
118-
/ h'203000000000000000000000000000000000000000000000000000000033000000000000000000000000000000000000000000000000000000'
119-
/ h'304000000000000000000000000000000000000000000000000000000044000000000000000000000000000000000000000000000000000000'
120-
/ h'405000000000000000000000000000000000000000000000000000000087680203'
121-
/ h'506000000000000000000000000000000000000000000000000000000087680203'
122-
/ h'6070000000000000000000000000000000000000000000000000000000'
123-
/ h'7080000000000000000000000000000000000000000000000000000000'
113+
address = bytes
124114

125115
coin = uint
126116

@@ -181,8 +171,6 @@ pool_params =
181171

182172
vrf_keyhash = hash32
183173

184-
; The real unit_interval is: #6.30([uint, uint])
185-
;
186174
; A unit interval is a number in the range between 0 and 1, which
187175
; means there are two extra constraints:
188176
; 1. numerator <= denominator
@@ -195,12 +183,9 @@ vrf_keyhash = hash32
195183
; generate random valid data for testing implementation of
196184
; our encoders/decoders. Which means we cannot use the actual
197185
; definition here and we hard code the value to 1/2
198-
unit_interval = #6.30([1, 2])
186+
unit_interval = #6.30([uint, uint])
199187

200-
; reward_account = bytes
201-
reward_account =
202-
h'e090000000000000000000000000000000000000000000000000000000'
203-
/ h'f0a0000000000000000000000000000000000000000000000000000000'
188+
reward_account = bytes
204189

205190
relay = [single_host_addr// single_host_name// multi_host_name]
206191

‎eras/alonzo/impl/cddl/data/alonzo.cddl‎

Lines changed: 3 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -90,8 +90,6 @@ transaction_id = hash32
9090

9191
transaction_output = [address, amount : value, ? datum_hash : hash32]
9292

93-
; address = bytes
94-
;
9593
; address format:
9694
; [ 8 bit header | payload ];
9795
;
@@ -122,15 +120,7 @@ transaction_output = [address, amount : value, ? datum_hash : hash32]
122120
; 1110: account address: keyhash28
123121
; 1111: account address: scripthash28
124122
; 1001-1101: future formats
125-
address =
126-
h'001000000000000000000000000000000000000000000000000000000011000000000000000000000000000000000000000000000000000000'
127-
/ h'102000000000000000000000000000000000000000000000000000000022000000000000000000000000000000000000000000000000000000'
128-
/ h'203000000000000000000000000000000000000000000000000000000033000000000000000000000000000000000000000000000000000000'
129-
/ h'304000000000000000000000000000000000000000000000000000000044000000000000000000000000000000000000000000000000000000'
130-
/ h'405000000000000000000000000000000000000000000000000000000087680203'
131-
/ h'506000000000000000000000000000000000000000000000000000000087680203'
132-
/ h'6070000000000000000000000000000000000000000000000000000000'
133-
/ h'7080000000000000000000000000000000000000000000000000000000'
123+
address = bytes
134124

135125
value = coin/ [coin, multiasset<uint>]
136126

@@ -199,8 +189,6 @@ pool_params =
199189

200190
vrf_keyhash = hash32
201191

202-
; The real unit_interval is: #6.30([uint, uint])
203-
;
204192
; A unit interval is a number in the range between 0 and 1, which
205193
; means there are two extra constraints:
206194
; 1. numerator <= denominator
@@ -213,12 +201,9 @@ vrf_keyhash = hash32
213201
; generate random valid data for testing implementation of
214202
; our encoders/decoders. Which means we cannot use the actual
215203
; definition here and we hard code the value to 1/2
216-
unit_interval = #6.30([1, 2])
204+
unit_interval = #6.30([uint, uint])
217205

218-
; reward_account = bytes
219-
reward_account =
220-
h'e090000000000000000000000000000000000000000000000000000000'
221-
/ h'f0a0000000000000000000000000000000000000000000000000000000'
206+
reward_account = bytes
222207

223208
relay = [single_host_addr// single_host_name// multi_host_name]
224209

‎eras/babbage/impl/cddl/data/babbage.cddl‎

Lines changed: 3 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -98,8 +98,6 @@ transaction_output = alonzo_transaction_output/ babbage_transaction_output
9898

9999
alonzo_transaction_output = [address, amount : value, ? datum_hash : hash32]
100100

101-
; address = bytes
102-
;
103101
; address format:
104102
; [ 8 bit header | payload ];
105103
;
@@ -130,15 +128,7 @@ alonzo_transaction_output = [address, amount : value, ? datum_hash : hash32]
130128
; 1110: account address: keyhash28
131129
; 1111: account address: scripthash28
132130
; 1001-1101: future formats
133-
address =
134-
h'001000000000000000000000000000000000000000000000000000000011000000000000000000000000000000000000000000000000000000'
135-
/ h'102000000000000000000000000000000000000000000000000000000022000000000000000000000000000000000000000000000000000000'
136-
/ h'203000000000000000000000000000000000000000000000000000000033000000000000000000000000000000000000000000000000000000'
137-
/ h'304000000000000000000000000000000000000000000000000000000044000000000000000000000000000000000000000000000000000000'
138-
/ h'405000000000000000000000000000000000000000000000000000000087680203'
139-
/ h'506000000000000000000000000000000000000000000000000000000087680203'
140-
/ h'6070000000000000000000000000000000000000000000000000000000'
141-
/ h'7080000000000000000000000000000000000000000000000000000000'
131+
address = bytes
142132

143133
value = coin/ [coin, multiasset<uint>]
144134

@@ -321,8 +311,6 @@ pool_params =
321311

322312
vrf_keyhash = hash32
323313

324-
; The real unit_interval is: #6.30([uint, uint])
325-
;
326314
; A unit interval is a number in the range between 0 and 1, which
327315
; means there are two extra constraints:
328316
; 1. numerator <= denominator
@@ -335,12 +323,9 @@ vrf_keyhash = hash32
335323
; generate random valid data for testing implementation of
336324
; our encoders/decoders. Which means we cannot use the actual
337325
; definition here and we hard code the value to 1/2
338-
unit_interval = #6.30([1, 2])
326+
unit_interval = #6.30([uint, uint])
339327

340-
; reward_account = bytes
341-
reward_account =
342-
h'e090000000000000000000000000000000000000000000000000000000'
343-
/ h'f0a0000000000000000000000000000000000000000000000000000000'
328+
reward_account = bytes
344329

345330
relay = [single_host_addr// single_host_name// multi_host_name]
346331

‎eras/conway/impl/cddl/data/conway.cddl‎

Lines changed: 3 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -145,8 +145,6 @@ transaction_output = alonzo_transaction_output/ babbage_transaction_output
145145

146146
alonzo_transaction_output = [address, amount : value, ? datum_hash : hash32]
147147

148-
; address = bytes
149-
;
150148
; address format:
151149
; [ 8 bit header | payload ];
152150
;
@@ -177,15 +175,7 @@ alonzo_transaction_output = [address, amount : value, ? datum_hash : hash32]
177175
; 1110: account address: keyhash28
178176
; 1111: account address: scripthash28
179177
; 1001-1101: future formats
180-
address =
181-
h'001000000000000000000000000000000000000000000000000000000011000000000000000000000000000000000000000000000000000000'
182-
/ h'102000000000000000000000000000000000000000000000000000000022000000000000000000000000000000000000000000000000000000'
183-
/ h'203000000000000000000000000000000000000000000000000000000033000000000000000000000000000000000000000000000000000000'
184-
/ h'304000000000000000000000000000000000000000000000000000000044000000000000000000000000000000000000000000000000000000'
185-
/ h'405000000000000000000000000000000000000000000000000000000087680203'
186-
/ h'506000000000000000000000000000000000000000000000000000000087680203'
187-
/ h'6070000000000000000000000000000000000000000000000000000000'
188-
/ h'7080000000000000000000000000000000000000000000000000000000'
178+
address = bytes
189179

190180
value = coin/ [coin, multiasset<positive_coin>]
191181

@@ -375,8 +365,6 @@ pool_params =
375365

376366
vrf_keyhash = hash32
377367

378-
; The real unit_interval is: #6.30([uint, uint])
379-
;
380368
; A unit interval is a number in the range between 0 and 1, which
381369
; means there are two extra constraints:
382370
; 1. numerator <= denominator
@@ -389,12 +377,9 @@ vrf_keyhash = hash32
389377
; generate random valid data for testing implementation of
390378
; our encoders/decoders. Which means we cannot use the actual
391379
; definition here and we hard code the value to 1/2
392-
unit_interval = #6.30([1, 2])
380+
unit_interval = #6.30([uint, uint])
393381

394-
; reward_account = bytes
395-
reward_account =
396-
h'e090000000000000000000000000000000000000000000000000000000'
397-
/ h'f0a0000000000000000000000000000000000000000000000000000000'
382+
reward_account = bytes
398383

399384
relay = [single_host_addr// single_host_name// multi_host_name]
400385

‎eras/dijkstra/impl/cddl/data/dijkstra.cddl‎

Lines changed: 3 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -138,8 +138,6 @@ transaction_output = alonzo_transaction_output/ babbage_transaction_output
138138

139139
alonzo_transaction_output = [address, amount : value, ? datum_hash : hash32]
140140

141-
; address = bytes
142-
;
143141
; address format:
144142
; [ 8 bit header | payload ];
145143
;
@@ -170,15 +168,7 @@ alonzo_transaction_output = [address, amount : value, ? datum_hash : hash32]
170168
; 1110: account address: keyhash28
171169
; 1111: account address: scripthash28
172170
; 1001-1101: future formats
173-
address =
174-
h'001000000000000000000000000000000000000000000000000000000011000000000000000000000000000000000000000000000000000000'
175-
/ h'102000000000000000000000000000000000000000000000000000000022000000000000000000000000000000000000000000000000000000'
176-
/ h'203000000000000000000000000000000000000000000000000000000033000000000000000000000000000000000000000000000000000000'
177-
/ h'304000000000000000000000000000000000000000000000000000000044000000000000000000000000000000000000000000000000000000'
178-
/ h'405000000000000000000000000000000000000000000000000000000087680203'
179-
/ h'506000000000000000000000000000000000000000000000000000000087680203'
180-
/ h'6070000000000000000000000000000000000000000000000000000000'
181-
/ h'7080000000000000000000000000000000000000000000000000000000'
171+
address = bytes
182172

183173
value = coin/ [coin, multiasset<positive_coin>]
184174

@@ -373,8 +363,6 @@ pool_params =
373363

374364
vrf_keyhash = hash32
375365

376-
; The real unit_interval is: #6.30([uint, uint])
377-
;
378366
; A unit interval is a number in the range between 0 and 1, which
379367
; means there are two extra constraints:
380368
; 1. numerator <= denominator
@@ -387,12 +375,9 @@ vrf_keyhash = hash32
387375
; generate random valid data for testing implementation of
388376
; our encoders/decoders. Which means we cannot use the actual
389377
; definition here and we hard code the value to 1/2
390-
unit_interval = #6.30([1, 2])
378+
unit_interval = #6.30([uint, uint])
391379

392-
; reward_account = bytes
393-
reward_account =
394-
h'e090000000000000000000000000000000000000000000000000000000'
395-
/ h'f0a0000000000000000000000000000000000000000000000000000000'
380+
reward_account = bytes
396381

397382
relay = [single_host_addr// single_host_name// multi_host_name]
398383

‎eras/mary/impl/cddl/data/mary.cddl‎

Lines changed: 3 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -80,8 +80,6 @@ transaction_id = hash32
8080

8181
transaction_output = [address, amount : value]
8282

83-
; address = bytes
84-
;
8583
; address format:
8684
; [ 8 bit header | payload ];
8785
;
@@ -112,15 +110,7 @@ transaction_output = [address, amount : value]
112110
; 1110: account address: keyhash28
113111
; 1111: account address: scripthash28
114112
; 1001-1101: future formats
115-
address =
116-
h'001000000000000000000000000000000000000000000000000000000011000000000000000000000000000000000000000000000000000000'
117-
/ h'102000000000000000000000000000000000000000000000000000000022000000000000000000000000000000000000000000000000000000'
118-
/ h'203000000000000000000000000000000000000000000000000000000033000000000000000000000000000000000000000000000000000000'
119-
/ h'304000000000000000000000000000000000000000000000000000000044000000000000000000000000000000000000000000000000000000'
120-
/ h'405000000000000000000000000000000000000000000000000000000087680203'
121-
/ h'506000000000000000000000000000000000000000000000000000000087680203'
122-
/ h'6070000000000000000000000000000000000000000000000000000000'
123-
/ h'7080000000000000000000000000000000000000000000000000000000'
113+
address = bytes
124114

125115
value = coin/ [coin, multiasset<uint>]
126116

@@ -189,8 +179,6 @@ pool_params =
189179

190180
vrf_keyhash = hash32
191181

192-
; The real unit_interval is: #6.30([uint, uint])
193-
;
194182
; A unit interval is a number in the range between 0 and 1, which
195183
; means there are two extra constraints:
196184
; 1. numerator <= denominator
@@ -203,12 +191,9 @@ vrf_keyhash = hash32
203191
; generate random valid data for testing implementation of
204192
; our encoders/decoders. Which means we cannot use the actual
205193
; definition here and we hard code the value to 1/2
206-
unit_interval = #6.30([1, 2])
194+
unit_interval = #6.30([uint, uint])
207195

208-
; reward_account = bytes
209-
reward_account =
210-
h'e090000000000000000000000000000000000000000000000000000000'
211-
/ h'f0a0000000000000000000000000000000000000000000000000000000'
196+
reward_account = bytes
212197

213198
relay = [single_host_addr// single_host_name// multi_host_name]
214199

‎eras/shelley/impl/cddl/data/shelley.cddl‎

Lines changed: 3 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -78,8 +78,6 @@ transaction_id = hash32
7878

7979
transaction_output = [address, amount : coin]
8080

81-
; address = bytes
82-
;
8381
; address format:
8482
; [ 8 bit header | payload ];
8583
;
@@ -110,15 +108,7 @@ transaction_output = [address, amount : coin]
110108
; 1110: account address: keyhash28
111109
; 1111: account address: scripthash28
112110
; 1001-1101: future formats
113-
address =
114-
h'001000000000000000000000000000000000000000000000000000000011000000000000000000000000000000000000000000000000000000'
115-
/ h'102000000000000000000000000000000000000000000000000000000022000000000000000000000000000000000000000000000000000000'
116-
/ h'203000000000000000000000000000000000000000000000000000000033000000000000000000000000000000000000000000000000000000'
117-
/ h'304000000000000000000000000000000000000000000000000000000044000000000000000000000000000000000000000000000000000000'
118-
/ h'405000000000000000000000000000000000000000000000000000000087680203'
119-
/ h'506000000000000000000000000000000000000000000000000000000087680203'
120-
/ h'6070000000000000000000000000000000000000000000000000000000'
121-
/ h'7080000000000000000000000000000000000000000000000000000000'
111+
address = bytes
122112

123113
coin = uint
124114

@@ -179,8 +169,6 @@ pool_params =
179169

180170
vrf_keyhash = hash32
181171

182-
; The real unit_interval is: #6.30([uint, uint])
183-
;
184172
; A unit interval is a number in the range between 0 and 1, which
185173
; means there are two extra constraints:
186174
; 1. numerator <= denominator
@@ -193,12 +181,9 @@ vrf_keyhash = hash32
193181
; generate random valid data for testing implementation of
194182
; our encoders/decoders. Which means we cannot use the actual
195183
; definition here and we hard code the value to 1/2
196-
unit_interval = #6.30([1, 2])
184+
unit_interval = #6.30([uint, uint])
197185

198-
; reward_account = bytes
199-
reward_account =
200-
h'e090000000000000000000000000000000000000000000000000000000'
201-
/ h'f0a0000000000000000000000000000000000000000000000000000000'
186+
reward_account = bytes
202187

203188
relay = [single_host_addr// single_host_name// multi_host_name]
204189

0 commit comments

Comments
 (0)