add Haskell Benchmark (customSmallerIsBetter) benchmark result for c7e028f8c5fec75cc33c31fb30b1e8a246161c92
Home /
IntersectMBO /
cardano-ledger
Jan 10, 8-9 AM (0)
Jan 10, 9-10 AM (0)
Jan 10, 10-11 AM (0)
Jan 10, 11-12 PM (0)
Jan 10, 12-1 PM (0)
Jan 10, 1-2 PM (0)
Jan 10, 2-3 PM (0)
Jan 10, 3-4 PM (0)
Jan 10, 4-5 PM (0)
Jan 10, 5-6 PM (0)
Jan 10, 6-7 PM (0)
Jan 10, 7-8 PM (0)
Jan 10, 8-9 PM (0)
Jan 10, 9-10 PM (0)
Jan 10, 10-11 PM (0)
Jan 10, 11-12 AM (0)
Jan 11, 12-1 AM (0)
Jan 11, 1-2 AM (0)
Jan 11, 2-3 AM (0)
Jan 11, 3-4 AM (0)
Jan 11, 4-5 AM (0)
Jan 11, 5-6 AM (0)
Jan 11, 6-7 AM (0)
Jan 11, 7-8 AM (0)
Jan 11, 8-9 AM (0)
Jan 11, 9-10 AM (0)
Jan 11, 10-11 AM (0)
Jan 11, 11-12 PM (0)
Jan 11, 12-1 PM (0)
Jan 11, 1-2 PM (0)
Jan 11, 2-3 PM (0)
Jan 11, 3-4 PM (0)
Jan 11, 4-5 PM (0)
Jan 11, 5-6 PM (0)
Jan 11, 6-7 PM (0)
Jan 11, 7-8 PM (0)
Jan 11, 8-9 PM (0)
Jan 11, 9-10 PM (0)
Jan 11, 10-11 PM (0)
Jan 11, 11-12 AM (0)
Jan 12, 12-1 AM (0)
Jan 12, 1-2 AM (0)
Jan 12, 2-3 AM (0)
Jan 12, 3-4 AM (0)
Jan 12, 4-5 AM (0)
Jan 12, 5-6 AM (0)
Jan 12, 6-7 AM (0)
Jan 12, 7-8 AM (0)
Jan 12, 8-9 AM (0)
Jan 12, 9-10 AM (0)
Jan 12, 10-11 AM (0)
Jan 12, 11-12 PM (1)
Jan 12, 12-1 PM (0)
Jan 12, 1-2 PM (1)
Jan 12, 2-3 PM (1)
Jan 12, 3-4 PM (1)
Jan 12, 4-5 PM (0)
Jan 12, 5-6 PM (0)
Jan 12, 6-7 PM (0)
Jan 12, 7-8 PM (0)
Jan 12, 8-9 PM (0)
Jan 12, 9-10 PM (7)
Jan 12, 10-11 PM (1)
Jan 12, 11-12 AM (4)
Jan 13, 12-1 AM (0)
Jan 13, 1-2 AM (0)
Jan 13, 2-3 AM (0)
Jan 13, 3-4 AM (1)
Jan 13, 4-5 AM (1)
Jan 13, 5-6 AM (0)
Jan 13, 6-7 AM (2)
Jan 13, 7-8 AM (0)
Jan 13, 8-9 AM (0)
Jan 13, 9-10 AM (1)
Jan 13, 10-11 AM (0)
Jan 13, 11-12 PM (2)
Jan 13, 12-1 PM (8)
Jan 13, 1-2 PM (14)
Jan 13, 2-3 PM (0)
Jan 13, 3-4 PM (0)
Jan 13, 4-5 PM (2)
Jan 13, 5-6 PM (0)
Jan 13, 6-7 PM (0)
Jan 13, 7-8 PM (0)
Jan 13, 8-9 PM (0)
Jan 13, 9-10 PM (0)
Jan 13, 10-11 PM (2)
Jan 13, 11-12 AM (0)
Jan 14, 12-1 AM (0)
Jan 14, 1-2 AM (0)
Jan 14, 2-3 AM (0)
Jan 14, 3-4 AM (0)
Jan 14, 4-5 AM (0)
Jan 14, 5-6 AM (0)
Jan 14, 6-7 AM (0)
Jan 14, 7-8 AM (0)
Jan 14, 8-9 AM (0)
Jan 14, 9-10 AM (0)
Jan 14, 10-11 AM (0)
Jan 14, 11-12 PM (2)
Jan 14, 12-1 PM (4)
Jan 14, 1-2 PM (1)
Jan 14, 2-3 PM (3)
Jan 14, 3-4 PM (13)
Jan 14, 4-5 PM (5)
Jan 14, 5-6 PM (16)
Jan 14, 6-7 PM (1)
Jan 14, 7-8 PM (0)
Jan 14, 8-9 PM (0)
Jan 14, 9-10 PM (0)
Jan 14, 10-11 PM (0)
Jan 14, 11-12 AM (0)
Jan 15, 12-1 AM (0)
Jan 15, 1-2 AM (0)
Jan 15, 2-3 AM (0)
Jan 15, 3-4 AM (0)
Jan 15, 4-5 AM (4)
Jan 15, 5-6 AM (0)
Jan 15, 6-7 AM (0)
Jan 15, 7-8 AM (0)
Jan 15, 8-9 AM (0)
Jan 15, 9-10 AM (0)
Jan 15, 10-11 AM (0)
Jan 15, 11-12 PM (0)
Jan 15, 12-1 PM (4)
Jan 15, 1-2 PM (0)
Jan 15, 2-3 PM (17)
Jan 15, 3-4 PM (1)
Jan 15, 4-5 PM (0)
Jan 15, 5-6 PM (0)
Jan 15, 6-7 PM (1)
Jan 15, 7-8 PM (0)
Jan 15, 8-9 PM (0)
Jan 15, 9-10 PM (0)
Jan 15, 10-11 PM (0)
Jan 15, 11-12 AM (0)
Jan 16, 12-1 AM (0)
Jan 16, 1-2 AM (0)
Jan 16, 2-3 AM (0)
Jan 16, 3-4 AM (0)
Jan 16, 4-5 AM (0)
Jan 16, 5-6 AM (0)
Jan 16, 6-7 AM (0)
Jan 16, 7-8 AM (0)
Jan 16, 8-9 AM (0)
Jan 16, 9-10 AM (0)
Jan 16, 10-11 AM (0)
Jan 16, 11-12 PM (0)
Jan 16, 12-1 PM (0)
Jan 16, 1-2 PM (0)
Jan 16, 2-3 PM (0)
Jan 16, 3-4 PM (0)
Jan 16, 4-5 PM (2)
Jan 16, 5-6 PM (0)
Jan 16, 6-7 PM (0)
Jan 16, 7-8 PM (0)
Jan 16, 8-9 PM (0)
Jan 16, 9-10 PM (0)
Jan 16, 10-11 PM (0)
Jan 16, 11-12 AM (0)
Jan 17, 12-1 AM (0)
Jan 17, 1-2 AM (0)
Jan 17, 2-3 AM (0)
Jan 17, 3-4 AM (0)
Jan 17, 4-5 AM (0)
Jan 17, 5-6 AM (0)
Jan 17, 6-7 AM (0)
Jan 17, 7-8 AM (0)
Jan 17, 8-9 AM (0)
123 commits this week
Jan 10, 2026
-
Jan 17, 2026
Merge pull request #5512 from IntersectMBO/f-f/4327
Move DelegateeNotRegisteredDELEG from DELEGS to DELEG in Shelley
Move DelegateeNotRegisteredDELEG from DELEGS to DELEG in Shelley
Use `ShelleyPoolPredFailure` injection in `poolTransition`
Parameterize `poolTransition` by rule symbol rather than rule
Use `PoolEvent` injection in `poolTransition`
Implement SUBPOOL by reusing the POOL transition
add Haskell Benchmark (customSmallerIsBetter) benchmark result for d2a76a982cee90d78a6c8fe2c8083d8fa62305df
Implement SUBDELEG predicate failure via DELEG predicate failure
Implement SUBCERTS predicate failure mirroring CERTS predicate failure
Implement SUBLEDGER predicate failure mirroring LEDGER predicate failure
Remove predicate failures irrelevant to rules running subtransactions
Implement SUBGOV predicate failure via GOV predicate failure
Implement SUBUTXOW predicate failure mirroring UTXOW predicate failure
Implement SUBPOOL predicate failure via POOL predicate failure
Implement SUBUTXOS predicate failure via UTXOS predicate failure
Implement SUBUTXO predicate failure mirroring UTXO predicate failure
Add events for all the rules running for sub-transactions
Use a new type for Ledger event in Dijkstra
so it can be modified to wrap SubLedgers
Add direct-deposits field to transaction body.
Add direct-deposits field at index 25 for the transaction bodies at both levels. Add * DirectDeposits newtype wrapping Map RewardAccount Coin. * directDepositsTxBodyL lens to the DijkstraEraTxBody typeclass. * directDepositsRule to dijkstra CDDL. * Re-export the necessary functionality in cardano-ledger-api. Fix * ToExpr instance for DijkstraSubTxBodyRaw using the wrong field for dstbrRequiredTopLevelGuards.
Add direct-deposits field to transaction body.
Add direct-deposits field at index 25 for the transaction bodies at both levels. Add * DirectDeposits newtype wrapping Map RewardAccount Coin. * directDepositsTxBodyL lens to the DijkstraEraTxBody typeclass. * directDepositsRule to dijkstra CDDL. * Re-export the necessary functionality in cardano-ledger-api. Fix * ToExpr instance for DijkstraSubTxBodyRaw using the wrong field for dstbrRequiredTopLevelGuards.
Add newtype wrapper around IPv4 and IPv6
Move DelegateeNotRegisteredDELEG from DELEGS to DELEG in Shelley
Move DelegateeNotRegisteredDELEG from DELEGS to DELEG in Shelley