File tree
574 files changed
+1133
-1191
lines changed- eras
- allegra/impl
- src/Cardano/Ledger
- Allegra
- Rules
- testlib/Test/Cardano/Ledger/Allegra
- alonzo
- impl
- src/Cardano/Ledger
- Alonzo
- Plutus
- Rules
- TxSeq
- testlib/Test/Cardano/Ledger/Alonzo
- Imp/UtxowSpec
- Translation
- test/Test/Cardano/Ledger/Alonzo
- test-suite/test/Test/Cardano/Ledger/Alonzo
- babbage/impl
- src/Cardano/Ledger
- Babbage
- Rules
- test/Test/Cardano/Ledger/Babbage
- byron
- crypto
- src/Cardano
- Crypto
- Signing
- Redeem
- Safe
- testlib/Test/Cardano/Crypto
- test/Test/Cardano/Crypto
- Signing
- Redeem
- ledger
- executable-spec
- src
- Byron/Spec/Ledger
- Core
- STS
- Update
- Data
- test
- Test/Byron/Spec/Ledger
- Delegation
- Update
- impl
- src/Cardano/Chain
- Block
- Byron
- API
- Common
- Delegation
- Validation
- Epoch
- Genesis
- Slotting
- UTxO
- Update
- Validation
- Interface
- testlib/Test
- Cardano
- Chain
- Block
- Byron
- Common
- Delegation
- Elaboration
- Epoch
- Genesis
- MempoolPayload
- Slotting
- Ssc
- UTxO
- Update
- test
- conway/impl
- src/Cardano/Ledger
- Conway
- Governance
- Rules
- State
- testlib/Test/Cardano/Ledger/Conway
- test/Test/Cardano/Ledger/Conway
- mary/impl/src/Cardano/Ledger
- Mary
- shelley-ma/test-suite
- src/Test/Cardano/Ledger
- Mary
- ShelleyMA
- test/Test/Cardano/Ledger
- Allegra
- Mary
- Examples
- ShelleyMA/Serialisation
- shelley
- impl
- src/Cardano/Ledger
- Shelley
- API
- LedgerState
- Rules
- State
- Tx
- testlib/Test/Cardano/Ledger/Shelley
- test-suite
- bench
- Cardano/Ledger/Shelley/Bench
- src/Test/Cardano/Ledger/Shelley
- Address
- Examples
- Generator
- Trace
- Rules
- Serialisation
- test
- Test/Cardano/Ledger/Shelley
- Examples
- Serialisation
- Golden
- Tripping
- libs
- cardano-data/src/Data
- OMap
- OSet
- cardano-ledger-api
- src/Cardano/Ledger
- Api
- Scripts
- Tx
- testlib/Test/Cardano/Ledger/Api/State
- cardano-ledger-binary
- src/Cardano/Ledger
- Binary
- Decoding
- Encoding
- testlib/Test/Cardano/Ledger/Binary
- Plain
- Vintage
- Helpers
- cardano-ledger-conformance
- src/Test/Cardano/Ledger/Conformance
- ExecSpecRule/Conway
- SpecTranslate/Conway
- test/Test/Cardano/Ledger/Conformance/ExecSpecRule
- cardano-ledger-core
- bench
- src/Cardano/Ledger
- BaseTypes
- Core
- Keys
- MemoBytes
- Plutus
- Rules
- State
- testlib/Test/Cardano/Ledger
- Core
- Imp
- Plutus
- cardano-ledger-repl-environment/src
- cardano-ledger-test
- bench
- Bench/Cardano/Ledger
- Serialisation
- src/Test/Cardano/Ledger
- Constrained
- Conway
- Instances
- LedgerTypes
- Preds
- Trace
- Examples
- Generic
- cardano-protocol-tpraos
- src/Cardano/Protocol/TPraos
- Rules
- testlib/Test/Cardano/Protocol/Crypto/VRF
- constrained-generators/src/Constrained
- Examples
- Spec
- non-integral/src/Cardano/Ledger
- set-algebra/src/Control
- small-steps
- src/Control
- State/Transition
- testlib/Test
- Control/State/Transition
- Trace/Generator
- Hedgehog/Extra
- vector-map
- src/Data
- VMap
- test/Test
- scripts
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
574 files changed
+1133
-1191
lines changedLines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
11 |
| - | |
12 |
| - | |
| 11 | + | |
13 | 12 |
| |
14 | 13 |
| |
15 | 14 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
7 |
| - | |
| 6 | + | |
8 | 7 |
| |
9 | 8 |
| |
10 | 9 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 |
| - | |
9 |
| - | |
| 8 | + | |
10 | 9 |
| |
11 | 10 |
| |
12 | 11 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
23 |
| - | |
24 |
| - | |
| 23 | + | |
25 | 24 |
| |
26 | 25 |
| |
27 | 26 |
| |
|
Lines changed: 10 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
46 | 46 |
| |
47 | 47 |
| |
48 | 48 |
| |
49 |
| - | |
50 |
| - | |
| 49 | + | |
51 | 50 |
| |
52 | 51 |
| |
53 | 52 |
| |
| |||
209 | 208 |
| |
210 | 209 |
| |
211 | 210 |
| |
| 211 | + | |
212 | 212 |
| |
| 213 | + | |
213 | 214 |
| |
214 | 215 |
| |
215 | 216 |
| |
| |||
218 | 219 |
| |
219 | 220 |
| |
220 | 221 |
| |
| 222 | + | |
221 | 223 |
| |
222 | 224 |
| |
223 | 225 |
| |
| |||
292 | 294 |
| |
293 | 295 |
| |
294 | 296 |
| |
| 297 | + | |
295 | 298 |
| |
296 | 299 |
| |
297 | 300 |
| |
298 | 301 |
| |
299 | 302 |
| |
300 | 303 |
| |
| 304 | + | |
301 | 305 |
| |
302 | 306 |
| |
303 | 307 |
| |
304 | 308 |
| |
305 | 309 |
| |
306 | 310 |
| |
| 311 | + | |
307 | 312 |
| |
308 | 313 |
| |
309 | 314 |
| |
310 | 315 |
| |
311 | 316 |
| |
312 | 317 |
| |
| 318 | + | |
313 | 319 |
| |
314 | 320 |
| |
315 | 321 |
| |
316 | 322 |
| |
317 | 323 |
| |
318 | 324 |
| |
| 325 | + | |
319 | 326 |
| |
320 | 327 |
| |
321 | 328 |
| |
322 | 329 |
| |
323 | 330 |
| |
324 | 331 |
| |
| 332 | + | |
325 | 333 |
| |
326 | 334 |
| |
327 | 335 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
6 |
| - | |
7 | 5 |
| |
8 | 6 |
| |
| 7 | + |
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
11 |
| - | |
12 |
| - | |
| 11 | + | |
13 | 12 |
| |
14 | 13 |
| |
15 | 14 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
24 | 24 |
| |
25 | 25 |
| |
26 | 26 |
| |
27 |
| - | |
28 |
| - | |
| 27 | + | |
29 | 28 |
| |
30 | 29 |
| |
31 | 30 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
36 | 36 |
| |
37 | 37 |
| |
38 | 38 |
| |
39 |
| - | |
40 |
| - | |
| 39 | + | |
41 | 40 |
| |
42 | 41 |
| |
43 | 42 |
| |
|
Lines changed: 4 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
| 19 | + | |
19 | 20 |
| |
20 | 21 |
| |
21 | 22 |
| |
| |||
24 | 25 |
| |
25 | 26 |
| |
26 | 27 |
| |
27 |
| - | |
28 |
| - | |
29 |
| - | |
30 |
| - | |
31 |
| - | |
32 | 28 |
| |
33 | 29 |
| |
34 | 30 |
| |
35 | 31 |
| |
| 32 | + | |
| 33 | + | |
| 34 | + | |
36 | 35 |
| |
37 | 36 |
| |
38 | 37 |
| |
|
0 commit comments