Update eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/Rules/Utxo.hs
Co-authored-by: Alexey Kuleshevich <[email protected]>
Home /
IntersectMBO /
cardano-ledger
Nov 25, 1-2 PM (1)
Nov 25, 2-3 PM (1)
Nov 25, 3-4 PM (3)
Nov 25, 4-5 PM (0)
Nov 25, 5-6 PM (0)
Nov 25, 6-7 PM (0)
Nov 25, 7-8 PM (1)
Nov 25, 8-9 PM (3)
Nov 25, 9-10 PM (0)
Nov 25, 10-11 PM (0)
Nov 25, 11-12 AM (8)
Nov 26, 12-1 AM (0)
Nov 26, 1-2 AM (0)
Nov 26, 2-3 AM (0)
Nov 26, 3-4 AM (0)
Nov 26, 4-5 AM (3)
Nov 26, 5-6 AM (2)
Nov 26, 6-7 AM (2)
Nov 26, 7-8 AM (0)
Nov 26, 8-9 AM (0)
Nov 26, 9-10 AM (3)
Nov 26, 10-11 AM (1)
Nov 26, 11-12 PM (0)
Nov 26, 12-1 PM (3)
Nov 26, 1-2 PM (11)
Nov 26, 2-3 PM (3)
Nov 26, 3-4 PM (5)
Nov 26, 4-5 PM (3)
Nov 26, 5-6 PM (3)
Nov 26, 6-7 PM (0)
Nov 26, 7-8 PM (2)
Nov 26, 8-9 PM (0)
Nov 26, 9-10 PM (0)
Nov 26, 10-11 PM (0)
Nov 26, 11-12 AM (0)
Nov 27, 12-1 AM (0)
Nov 27, 1-2 AM (1)
Nov 27, 2-3 AM (0)
Nov 27, 3-4 AM (0)
Nov 27, 4-5 AM (0)
Nov 27, 5-6 AM (0)
Nov 27, 6-7 AM (0)
Nov 27, 7-8 AM (0)
Nov 27, 8-9 AM (0)
Nov 27, 9-10 AM (0)
Nov 27, 10-11 AM (10)
Nov 27, 11-12 PM (0)
Nov 27, 12-1 PM (0)
Nov 27, 1-2 PM (1)
Nov 27, 2-3 PM (1)
Nov 27, 3-4 PM (0)
Nov 27, 4-5 PM (1)
Nov 27, 5-6 PM (1)
Nov 27, 6-7 PM (0)
Nov 27, 7-8 PM (1)
Nov 27, 8-9 PM (0)
Nov 27, 9-10 PM (0)
Nov 27, 10-11 PM (0)
Nov 27, 11-12 AM (3)
Nov 28, 12-1 AM (1)
Nov 28, 1-2 AM (1)
Nov 28, 2-3 AM (0)
Nov 28, 3-4 AM (0)
Nov 28, 4-5 AM (0)
Nov 28, 5-6 AM (0)
Nov 28, 6-7 AM (0)
Nov 28, 7-8 AM (0)
Nov 28, 8-9 AM (1)
Nov 28, 9-10 AM (5)
Nov 28, 10-11 AM (2)
Nov 28, 11-12 PM (1)
Nov 28, 12-1 PM (0)
Nov 28, 1-2 PM (0)
Nov 28, 2-3 PM (0)
Nov 28, 3-4 PM (0)
Nov 28, 4-5 PM (0)
Nov 28, 5-6 PM (0)
Nov 28, 6-7 PM (0)
Nov 28, 7-8 PM (0)
Nov 28, 8-9 PM (0)
Nov 28, 9-10 PM (1)
Nov 28, 10-11 PM (3)
Nov 28, 11-12 AM (0)
Nov 29, 12-1 AM (0)
Nov 29, 1-2 AM (0)
Nov 29, 2-3 AM (0)
Nov 29, 3-4 AM (0)
Nov 29, 4-5 AM (0)
Nov 29, 5-6 AM (0)
Nov 29, 6-7 AM (0)
Nov 29, 7-8 AM (0)
Nov 29, 8-9 AM (0)
Nov 29, 9-10 AM (0)
Nov 29, 10-11 AM (0)
Nov 29, 11-12 PM (0)
Nov 29, 12-1 PM (0)
Nov 29, 1-2 PM (0)
Nov 29, 2-3 PM (0)
Nov 29, 3-4 PM (0)
Nov 29, 4-5 PM (0)
Nov 29, 5-6 PM (0)
Nov 29, 6-7 PM (0)
Nov 29, 7-8 PM (0)
Nov 29, 8-9 PM (0)
Nov 29, 9-10 PM (0)
Nov 29, 10-11 PM (0)
Nov 29, 11-12 AM (0)
Nov 30, 12-1 AM (0)
Nov 30, 1-2 AM (0)
Nov 30, 2-3 AM (0)
Nov 30, 3-4 AM (0)
Nov 30, 4-5 AM (0)
Nov 30, 5-6 AM (0)
Nov 30, 6-7 AM (0)
Nov 30, 7-8 AM (0)
Nov 30, 8-9 AM (0)
Nov 30, 9-10 AM (0)
Nov 30, 10-11 AM (0)
Nov 30, 11-12 PM (0)
Nov 30, 12-1 PM (0)
Nov 30, 1-2 PM (0)
Nov 30, 2-3 PM (0)
Nov 30, 3-4 PM (0)
Nov 30, 4-5 PM (0)
Nov 30, 5-6 PM (0)
Nov 30, 6-7 PM (0)
Nov 30, 7-8 PM (0)
Nov 30, 8-9 PM (0)
Nov 30, 9-10 PM (0)
Nov 30, 10-11 PM (0)
Nov 30, 11-12 AM (0)
Dec 01, 12-1 AM (0)
Dec 01, 1-2 AM (0)
Dec 01, 2-3 AM (0)
Dec 01, 3-4 AM (0)
Dec 01, 4-5 AM (0)
Dec 01, 5-6 AM (0)
Dec 01, 6-7 AM (0)
Dec 01, 7-8 AM (0)
Dec 01, 8-9 AM (0)
Dec 01, 9-10 AM (0)
Dec 01, 10-11 AM (2)
Dec 01, 11-12 PM (5)
Dec 01, 12-1 PM (0)
Dec 01, 1-2 PM (0)
Dec 01, 2-3 PM (0)
Dec 01, 3-4 PM (3)
Dec 01, 4-5 PM (0)
Dec 01, 5-6 PM (2)
Dec 01, 6-7 PM (5)
Dec 01, 7-8 PM (2)
Dec 01, 8-9 PM (0)
Dec 01, 9-10 PM (0)
Dec 01, 10-11 PM (0)
Dec 01, 11-12 AM (5)
Dec 02, 12-1 AM (7)
Dec 02, 1-2 AM (0)
Dec 02, 2-3 AM (0)
Dec 02, 3-4 AM (0)
Dec 02, 4-5 AM (0)
Dec 02, 5-6 AM (0)
Dec 02, 6-7 AM (0)
Dec 02, 7-8 AM (0)
Dec 02, 8-9 AM (0)
Dec 02, 9-10 AM (3)
Dec 02, 10-11 AM (1)
Dec 02, 11-12 PM (0)
Dec 02, 12-1 PM (11)
Dec 02, 1-2 PM (0)
137 commits this week
Nov 25, 2025
-
Dec 02, 2025
Update eras/babbage/impl/src/Cardano/Ledger/Babbage/Rules/Utxo.hs
Co-authored-by: Alexey Kuleshevich <[email protected]>
Update eras/babbage/impl/CHANGELOG.md
Co-authored-by: Alexey Kuleshevich <[email protected]>
Update eras/dijkstra/impl/CHANGELOG.md
Co-authored-by: Alexey Kuleshevich <[email protected]>
Update eras/dijkstra/impl/CHANGELOG.md
Co-authored-by: Alexey Kuleshevich <[email protected]>
Update eras/shelley/impl/CHANGELOG.md
Co-authored-by: Alexey Kuleshevich <[email protected]>
Review comments
Co-authored-by: teodanciu <[email protected]>
Added Dijkstra UTXO rule and collateral Ptr check
Address review feedback
Include optional Peras certs during block body serialization
This commit tweaks the serialization instance of Dijkstra block bodies to take optional Peras certificates into account. This should be later enhanced with round-trip tests to ensure backwards compatibility.
Introduce Cardano.Ledger.Dijkstra.BlockBody.Internal
This commit introduces Cardano.Ledger.Dijkstra.BlockBody.Internal as a spiritual copy of Cardano.Ledger.Alonzo.BlockBody.Internal that can be later extended with new fields needed by Peras. With the exception of `AlonzoEraTx`, which was kept verbatim, the differences between the original and copied module are: - `s/Alonzo/Dijkstra/g` - `s/alonzo/dijkstra/g` - `s/abb/dbb/g`
Add optional Peras certificate to Dijkstra block body
This commit adds an optional PerasCert to the Dijkstra block body. In addition, it defines and instantiates a DijkstraEraBlockBody type class to expose this certificate via the perasCertBlockBodyL lens. At this point, serialization does not yet account for certificates, and will be implemented and tested in a separate commit.
Remove redundant `BlockBody ~ AlonzoBlockBody` constraints
Also unorphan, by re-exporting orphan `EraBlockBody` instances from `Cardano.Ledger.Alonzo` and `Cardano.Ledger.Shelley`
Bump MaxBlockExUnits used in Imp tests
Remove obsolete AlonzoBBODY tests from cardano-ledger-test
Implement BBODY Imp tests for Alonzo
Implement block-submitting Imp functions
Move tryRunImpBBODY from Conway.Imp.BbodySpec to Shelly.ImpTest
Add NFData and ToExpr instances for block-related types
Improve protocol version description message in Imp tests
Move tryRunImpBBODY from Conway.Imp.BbodySpec to Shelly.ImpTest
Implement block-submitting Imp functions