Change all error Sets to NonEmptySets in predicate failures
Home /
IntersectMBO /
cardano-ledger
Dec 10, 9-10 AM (4)
Dec 10, 10-11 AM (0)
Dec 10, 11-12 PM (2)
Dec 10, 12-1 PM (1)
Dec 10, 1-2 PM (2)
Dec 10, 2-3 PM (7)
Dec 10, 3-4 PM (14)
Dec 10, 4-5 PM (8)
Dec 10, 5-6 PM (0)
Dec 10, 6-7 PM (0)
Dec 10, 7-8 PM (0)
Dec 10, 8-9 PM (6)
Dec 10, 9-10 PM (0)
Dec 10, 10-11 PM (0)
Dec 10, 11-12 AM (0)
Dec 11, 12-1 AM (0)
Dec 11, 1-2 AM (0)
Dec 11, 2-3 AM (0)
Dec 11, 3-4 AM (0)
Dec 11, 4-5 AM (0)
Dec 11, 5-6 AM (0)
Dec 11, 6-7 AM (0)
Dec 11, 7-8 AM (0)
Dec 11, 8-9 AM (0)
Dec 11, 9-10 AM (1)
Dec 11, 10-11 AM (3)
Dec 11, 11-12 PM (2)
Dec 11, 12-1 PM (0)
Dec 11, 1-2 PM (14)
Dec 11, 2-3 PM (1)
Dec 11, 3-4 PM (4)
Dec 11, 4-5 PM (2)
Dec 11, 5-6 PM (0)
Dec 11, 6-7 PM (0)
Dec 11, 7-8 PM (0)
Dec 11, 8-9 PM (0)
Dec 11, 9-10 PM (0)
Dec 11, 10-11 PM (0)
Dec 11, 11-12 AM (1)
Dec 12, 12-1 AM (0)
Dec 12, 1-2 AM (0)
Dec 12, 2-3 AM (7)
Dec 12, 3-4 AM (0)
Dec 12, 4-5 AM (0)
Dec 12, 5-6 AM (0)
Dec 12, 6-7 AM (2)
Dec 12, 7-8 AM (1)
Dec 12, 8-9 AM (0)
Dec 12, 9-10 AM (0)
Dec 12, 10-11 AM (1)
Dec 12, 11-12 PM (0)
Dec 12, 12-1 PM (2)
Dec 12, 1-2 PM (8)
Dec 12, 2-3 PM (3)
Dec 12, 3-4 PM (0)
Dec 12, 4-5 PM (1)
Dec 12, 5-6 PM (0)
Dec 12, 6-7 PM (0)
Dec 12, 7-8 PM (0)
Dec 12, 8-9 PM (0)
Dec 12, 9-10 PM (8)
Dec 12, 10-11 PM (0)
Dec 12, 11-12 AM (0)
Dec 13, 12-1 AM (0)
Dec 13, 1-2 AM (0)
Dec 13, 2-3 AM (0)
Dec 13, 3-4 AM (0)
Dec 13, 4-5 AM (0)
Dec 13, 5-6 AM (0)
Dec 13, 6-7 AM (0)
Dec 13, 7-8 AM (0)
Dec 13, 8-9 AM (0)
Dec 13, 9-10 AM (0)
Dec 13, 10-11 AM (0)
Dec 13, 11-12 PM (0)
Dec 13, 12-1 PM (0)
Dec 13, 1-2 PM (0)
Dec 13, 2-3 PM (0)
Dec 13, 3-4 PM (0)
Dec 13, 4-5 PM (0)
Dec 13, 5-6 PM (0)
Dec 13, 6-7 PM (0)
Dec 13, 7-8 PM (0)
Dec 13, 8-9 PM (0)
Dec 13, 9-10 PM (0)
Dec 13, 10-11 PM (0)
Dec 13, 11-12 AM (0)
Dec 14, 12-1 AM (0)
Dec 14, 1-2 AM (0)
Dec 14, 2-3 AM (0)
Dec 14, 3-4 AM (0)
Dec 14, 4-5 AM (0)
Dec 14, 5-6 AM (0)
Dec 14, 6-7 AM (0)
Dec 14, 7-8 AM (0)
Dec 14, 8-9 AM (0)
Dec 14, 9-10 AM (0)
Dec 14, 10-11 AM (0)
Dec 14, 11-12 PM (0)
Dec 14, 12-1 PM (0)
Dec 14, 1-2 PM (0)
Dec 14, 2-3 PM (0)
Dec 14, 3-4 PM (0)
Dec 14, 4-5 PM (0)
Dec 14, 5-6 PM (0)
Dec 14, 6-7 PM (0)
Dec 14, 7-8 PM (0)
Dec 14, 8-9 PM (0)
Dec 14, 9-10 PM (0)
Dec 14, 10-11 PM (0)
Dec 14, 11-12 AM (0)
Dec 15, 12-1 AM (0)
Dec 15, 1-2 AM (0)
Dec 15, 2-3 AM (0)
Dec 15, 3-4 AM (0)
Dec 15, 4-5 AM (0)
Dec 15, 5-6 AM (0)
Dec 15, 6-7 AM (0)
Dec 15, 7-8 AM (0)
Dec 15, 8-9 AM (0)
Dec 15, 9-10 AM (0)
Dec 15, 10-11 AM (1)
Dec 15, 11-12 PM (1)
Dec 15, 12-1 PM (0)
Dec 15, 1-2 PM (0)
Dec 15, 2-3 PM (0)
Dec 15, 3-4 PM (1)
Dec 15, 4-5 PM (0)
Dec 15, 5-6 PM (0)
Dec 15, 6-7 PM (7)
Dec 15, 7-8 PM (2)
Dec 15, 8-9 PM (1)
Dec 15, 9-10 PM (0)
Dec 15, 10-11 PM (0)
Dec 15, 11-12 AM (0)
Dec 16, 12-1 AM (0)
Dec 16, 1-2 AM (0)
Dec 16, 2-3 AM (0)
Dec 16, 3-4 AM (0)
Dec 16, 4-5 AM (0)
Dec 16, 5-6 AM (0)
Dec 16, 6-7 AM (0)
Dec 16, 7-8 AM (0)
Dec 16, 8-9 AM (0)
Dec 16, 9-10 AM (0)
Dec 16, 10-11 AM (10)
Dec 16, 11-12 PM (0)
Dec 16, 12-1 PM (0)
Dec 16, 1-2 PM (9)
Dec 16, 2-3 PM (4)
Dec 16, 3-4 PM (0)
Dec 16, 4-5 PM (1)
Dec 16, 5-6 PM (0)
Dec 16, 6-7 PM (0)
Dec 16, 7-8 PM (0)
Dec 16, 8-9 PM (5)
Dec 16, 9-10 PM (0)
Dec 16, 10-11 PM (9)
Dec 16, 11-12 AM (0)
Dec 17, 12-1 AM (0)
Dec 17, 1-2 AM (0)
Dec 17, 2-3 AM (0)
Dec 17, 3-4 AM (0)
Dec 17, 4-5 AM (0)
Dec 17, 5-6 AM (0)
Dec 17, 6-7 AM (0)
Dec 17, 7-8 AM (0)
Dec 17, 8-9 AM (1)
Dec 17, 9-10 AM (0)
157 commits this week
Dec 10, 2025
-
Dec 17, 2025
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 8d5d83d9929f7facbcd972edfcda8da3bfdeec10
Merge pull request #5484 from IntersectMBO/td/fix-multiasset-cddl
Fix MultiAsset cddl definition in dijkstra
Refine some `lens` utilities
Apply suggestions from code review
Co-authored-by: Alexey Kuleshevich <[email protected]>
Adjust `pparams-update` golden test values
Rename `minFeeB` to `minFeeConstant`
Rename `minFeeA` to `minFeeFactor`
Switch to `CoinPerByte` for `minFeeA`
Move `CoinPerByte` to `cardano-ledger-core`
Update non-annotator tx serialization to omit `isValid` flag
Reflect serialization changes in cddl
Omit `isValid` flag from mempool tx de/serialization
Add golden tests for deserializing transactions w/wo `isValid` flag
Fix MultiAsset cddl definition in dijkstra
to conform to the implementation. Enable multiasset roundtrip tests.
Swap Mempool/Ledger predicate failures in Dijkstra
To get there we need to move the `ApplyTxError era` type to be a data family in the ApplyTx class
Define `dijkstraLedgerTransition` using the conway one
so we can call subledgers rule from it
Update the path to cls repository
Remove OVERLAPPING pragma as we do not need them anymore
We no longer define overlapping instances for the CompactForm X type, so OVERLAPPING instances can be dropped. Thanks to the Alexey Kuleshevich for noticing that.