Change all error Maps to NonEmptyMaps in predicate failures
Home /
IntersectMBO /
cardano-ledger
Dec 21, 9-10 PM (0)
Dec 21, 10-11 PM (0)
Dec 21, 11-12 AM (0)
Dec 22, 12-1 AM (0)
Dec 22, 1-2 AM (0)
Dec 22, 2-3 AM (0)
Dec 22, 3-4 AM (0)
Dec 22, 4-5 AM (0)
Dec 22, 5-6 AM (0)
Dec 22, 6-7 AM (0)
Dec 22, 7-8 AM (15)
Dec 22, 8-9 AM (4)
Dec 22, 9-10 AM (0)
Dec 22, 10-11 AM (7)
Dec 22, 11-12 PM (1)
Dec 22, 12-1 PM (0)
Dec 22, 1-2 PM (2)
Dec 22, 2-3 PM (1)
Dec 22, 3-4 PM (2)
Dec 22, 4-5 PM (8)
Dec 22, 5-6 PM (2)
Dec 22, 6-7 PM (0)
Dec 22, 7-8 PM (3)
Dec 22, 8-9 PM (0)
Dec 22, 9-10 PM (0)
Dec 22, 10-11 PM (3)
Dec 22, 11-12 AM (0)
Dec 23, 12-1 AM (1)
Dec 23, 1-2 AM (8)
Dec 23, 2-3 AM (19)
Dec 23, 3-4 AM (0)
Dec 23, 4-5 AM (0)
Dec 23, 5-6 AM (0)
Dec 23, 6-7 AM (0)
Dec 23, 7-8 AM (0)
Dec 23, 8-9 AM (0)
Dec 23, 9-10 AM (5)
Dec 23, 10-11 AM (0)
Dec 23, 11-12 PM (0)
Dec 23, 12-1 PM (0)
Dec 23, 1-2 PM (0)
Dec 23, 2-3 PM (2)
Dec 23, 3-4 PM (2)
Dec 23, 4-5 PM (0)
Dec 23, 5-6 PM (9)
Dec 23, 6-7 PM (2)
Dec 23, 7-8 PM (0)
Dec 23, 8-9 PM (17)
Dec 23, 9-10 PM (0)
Dec 23, 10-11 PM (2)
Dec 23, 11-12 AM (2)
Dec 24, 12-1 AM (0)
Dec 24, 1-2 AM (0)
Dec 24, 2-3 AM (0)
Dec 24, 3-4 AM (0)
Dec 24, 4-5 AM (0)
Dec 24, 5-6 AM (0)
Dec 24, 6-7 AM (0)
Dec 24, 7-8 AM (0)
Dec 24, 8-9 AM (0)
Dec 24, 9-10 AM (0)
Dec 24, 10-11 AM (0)
Dec 24, 11-12 PM (0)
Dec 24, 12-1 PM (0)
Dec 24, 1-2 PM (1)
Dec 24, 2-3 PM (17)
Dec 24, 3-4 PM (0)
Dec 24, 4-5 PM (0)
Dec 24, 5-6 PM (23)
Dec 24, 6-7 PM (21)
Dec 24, 7-8 PM (0)
Dec 24, 8-9 PM (2)
Dec 24, 9-10 PM (0)
Dec 24, 10-11 PM (19)
Dec 24, 11-12 AM (0)
Dec 25, 12-1 AM (2)
Dec 25, 1-2 AM (0)
Dec 25, 2-3 AM (0)
Dec 25, 3-4 AM (17)
Dec 25, 4-5 AM (0)
Dec 25, 5-6 AM (0)
Dec 25, 6-7 AM (0)
Dec 25, 7-8 AM (0)
Dec 25, 8-9 AM (0)
Dec 25, 9-10 AM (0)
Dec 25, 10-11 AM (0)
Dec 25, 11-12 PM (0)
Dec 25, 12-1 PM (0)
Dec 25, 1-2 PM (0)
Dec 25, 2-3 PM (7)
Dec 25, 3-4 PM (0)
Dec 25, 4-5 PM (8)
Dec 25, 5-6 PM (11)
Dec 25, 6-7 PM (5)
Dec 25, 7-8 PM (0)
Dec 25, 8-9 PM (0)
Dec 25, 9-10 PM (0)
Dec 25, 10-11 PM (0)
Dec 25, 11-12 AM (0)
Dec 26, 12-1 AM (0)
Dec 26, 1-2 AM (0)
Dec 26, 2-3 AM (0)
Dec 26, 3-4 AM (0)
Dec 26, 4-5 AM (0)
Dec 26, 5-6 AM (0)
Dec 26, 6-7 AM (0)
Dec 26, 7-8 AM (0)
Dec 26, 8-9 AM (0)
Dec 26, 9-10 AM (0)
Dec 26, 10-11 AM (0)
Dec 26, 11-12 PM (0)
Dec 26, 12-1 PM (0)
Dec 26, 1-2 PM (0)
Dec 26, 2-3 PM (0)
Dec 26, 3-4 PM (0)
Dec 26, 4-5 PM (2)
Dec 26, 5-6 PM (0)
Dec 26, 6-7 PM (0)
Dec 26, 7-8 PM (0)
Dec 26, 8-9 PM (0)
Dec 26, 9-10 PM (0)
Dec 26, 10-11 PM (0)
Dec 26, 11-12 AM (0)
Dec 27, 12-1 AM (0)
Dec 27, 1-2 AM (0)
Dec 27, 2-3 AM (0)
Dec 27, 3-4 AM (0)
Dec 27, 4-5 AM (0)
Dec 27, 5-6 AM (0)
Dec 27, 6-7 AM (0)
Dec 27, 7-8 AM (0)
Dec 27, 8-9 AM (0)
Dec 27, 9-10 AM (0)
Dec 27, 10-11 AM (0)
Dec 27, 11-12 PM (0)
Dec 27, 12-1 PM (0)
Dec 27, 1-2 PM (0)
Dec 27, 2-3 PM (0)
Dec 27, 3-4 PM (0)
Dec 27, 4-5 PM (0)
Dec 27, 5-6 PM (0)
Dec 27, 6-7 PM (0)
Dec 27, 7-8 PM (0)
Dec 27, 8-9 PM (0)
Dec 27, 9-10 PM (0)
Dec 27, 10-11 PM (0)
Dec 27, 11-12 AM (0)
Dec 28, 12-1 AM (0)
Dec 28, 1-2 AM (0)
Dec 28, 2-3 AM (0)
Dec 28, 3-4 AM (0)
Dec 28, 4-5 AM (0)
Dec 28, 5-6 AM (0)
Dec 28, 6-7 AM (0)
Dec 28, 7-8 AM (0)
Dec 28, 8-9 AM (0)
Dec 28, 9-10 AM (0)
Dec 28, 10-11 AM (0)
Dec 28, 11-12 PM (0)
Dec 28, 12-1 PM (0)
Dec 28, 1-2 PM (0)
Dec 28, 2-3 PM (0)
Dec 28, 3-4 PM (0)
Dec 28, 4-5 PM (0)
Dec 28, 5-6 PM (0)
Dec 28, 6-7 PM (0)
Dec 28, 7-8 PM (0)
Dec 28, 8-9 PM (0)
Dec 28, 9-10 PM (0)
252 commits this week
Dec 21, 2025
-
Dec 28, 2025
Add failOnNonEmptyMap and failureOnNonEmptyMap to small-steps
Add failOnNonEmptyMap and failureOnNonEmptyMap to small-steps
Change all error Maps to NonEmptyMaps in predicate failures
add Haskell Benchmark (customSmallerIsBetter) benchmark result for d9131639e0f4bed9eea6cf645f4dd59e47caf742
Merge pull request #5491 from IntersectMBO/td/nested-tx-rules
Nested transactions rules
Call `SUBCERTS` from `SUBLEDGER`
Introduce `SubCertsEnv` and use it as environment for `SUBCERTS` rule
since `CertsEnv` uses `TopTx` level, which is not suitable for the SUB rules
Call `SUBCERT` from `SUBCERTS`
Call `SUBUTXOS` from `SUBUTXO`
Call `SUBUTXOW` from `SUBLEDGER`
Introduce `SUBUTXOS` rule
Introduce `SUBCERT` and `SUBCERTS` rules
Introduce `SUBUTXOW` rule
Introduce `SUBDELEG`, `SUBGOVCERT` and `SUBPOOL` rules
Call `SUBDELEG`, `SUBGOVCERT` and `SUBPOOL` from `SUBCERT`
Define `dijkstraLedgerTransition` using the one from conway
so we can call subledgers rule from it
Remove some redundant constraints of functions in Ledger rules
Introduce `conwayLedgerTransitionTRC`
and use it to define `conwayLedgerTransition`
Call `SUBLEDGERS` and conway `LEDGER` rules from dijkstra `LEDGER` rule
Introduce `SUBLEDGERS` rule
Call `SUBLEDGER` from `SUBLEDGERS`