Home /
IntersectMBO /
cardano-ledger
Nov 15, 11-12 PM (0)
Nov 15, 12-1 PM (0)
Nov 15, 1-2 PM (0)
Nov 15, 2-3 PM (0)
Nov 15, 3-4 PM (0)
Nov 15, 4-5 PM (0)
Nov 15, 5-6 PM (0)
Nov 15, 6-7 PM (0)
Nov 15, 7-8 PM (0)
Nov 15, 8-9 PM (0)
Nov 15, 9-10 PM (0)
Nov 15, 10-11 PM (0)
Nov 15, 11-12 AM (0)
Nov 16, 12-1 AM (0)
Nov 16, 1-2 AM (0)
Nov 16, 2-3 AM (0)
Nov 16, 3-4 AM (0)
Nov 16, 4-5 AM (0)
Nov 16, 5-6 AM (0)
Nov 16, 6-7 AM (0)
Nov 16, 7-8 AM (0)
Nov 16, 8-9 AM (0)
Nov 16, 9-10 AM (0)
Nov 16, 10-11 AM (0)
Nov 16, 11-12 PM (0)
Nov 16, 12-1 PM (0)
Nov 16, 1-2 PM (0)
Nov 16, 2-3 PM (0)
Nov 16, 3-4 PM (0)
Nov 16, 4-5 PM (0)
Nov 16, 5-6 PM (0)
Nov 16, 6-7 PM (0)
Nov 16, 7-8 PM (0)
Nov 16, 8-9 PM (1)
Nov 16, 9-10 PM (2)
Nov 16, 10-11 PM (0)
Nov 16, 11-12 AM (0)
Nov 17, 12-1 AM (0)
Nov 17, 1-2 AM (0)
Nov 17, 2-3 AM (0)
Nov 17, 3-4 AM (0)
Nov 17, 4-5 AM (0)
Nov 17, 5-6 AM (0)
Nov 17, 6-7 AM (0)
Nov 17, 7-8 AM (0)
Nov 17, 8-9 AM (0)
Nov 17, 9-10 AM (0)
Nov 17, 10-11 AM (1)
Nov 17, 11-12 PM (1)
Nov 17, 12-1 PM (0)
Nov 17, 1-2 PM (0)
Nov 17, 2-3 PM (7)
Nov 17, 3-4 PM (0)
Nov 17, 4-5 PM (0)
Nov 17, 5-6 PM (6)
Nov 17, 6-7 PM (0)
Nov 17, 7-8 PM (0)
Nov 17, 8-9 PM (0)
Nov 17, 9-10 PM (0)
Nov 17, 10-11 PM (0)
Nov 17, 11-12 AM (0)
Nov 18, 12-1 AM (0)
Nov 18, 1-2 AM (1)
Nov 18, 2-3 AM (0)
Nov 18, 3-4 AM (2)
Nov 18, 4-5 AM (0)
Nov 18, 5-6 AM (0)
Nov 18, 6-7 AM (0)
Nov 18, 7-8 AM (1)
Nov 18, 8-9 AM (2)
Nov 18, 9-10 AM (0)
Nov 18, 10-11 AM (0)
Nov 18, 11-12 PM (1)
Nov 18, 12-1 PM (1)
Nov 18, 1-2 PM (7)
Nov 18, 2-3 PM (12)
Nov 18, 3-4 PM (2)
Nov 18, 4-5 PM (7)
Nov 18, 5-6 PM (0)
Nov 18, 6-7 PM (2)
Nov 18, 7-8 PM (0)
Nov 18, 8-9 PM (0)
Nov 18, 9-10 PM (7)
Nov 18, 10-11 PM (0)
Nov 18, 11-12 AM (0)
Nov 19, 12-1 AM (0)
Nov 19, 1-2 AM (0)
Nov 19, 2-3 AM (0)
Nov 19, 3-4 AM (0)
Nov 19, 4-5 AM (0)
Nov 19, 5-6 AM (0)
Nov 19, 6-7 AM (0)
Nov 19, 7-8 AM (0)
Nov 19, 8-9 AM (3)
Nov 19, 9-10 AM (3)
Nov 19, 10-11 AM (2)
Nov 19, 11-12 PM (1)
Nov 19, 12-1 PM (1)
Nov 19, 1-2 PM (7)
Nov 19, 2-3 PM (2)
Nov 19, 3-4 PM (0)
Nov 19, 4-5 PM (0)
Nov 19, 5-6 PM (0)
Nov 19, 6-7 PM (0)
Nov 19, 7-8 PM (11)
Nov 19, 8-9 PM (0)
Nov 19, 9-10 PM (0)
Nov 19, 10-11 PM (3)
Nov 19, 11-12 AM (0)
Nov 20, 12-1 AM (3)
Nov 20, 1-2 AM (7)
Nov 20, 2-3 AM (0)
Nov 20, 3-4 AM (0)
Nov 20, 4-5 AM (3)
Nov 20, 5-6 AM (1)
Nov 20, 6-7 AM (0)
Nov 20, 7-8 AM (0)
Nov 20, 8-9 AM (0)
Nov 20, 9-10 AM (0)
Nov 20, 10-11 AM (0)
Nov 20, 11-12 PM (0)
Nov 20, 12-1 PM (5)
Nov 20, 1-2 PM (0)
Nov 20, 2-3 PM (1)
Nov 20, 3-4 PM (0)
Nov 20, 4-5 PM (0)
Nov 20, 5-6 PM (0)
Nov 20, 6-7 PM (0)
Nov 20, 7-8 PM (0)
Nov 20, 8-9 PM (0)
Nov 20, 9-10 PM (7)
Nov 20, 10-11 PM (1)
Nov 20, 11-12 AM (10)
Nov 21, 12-1 AM (0)
Nov 21, 1-2 AM (0)
Nov 21, 2-3 AM (0)
Nov 21, 3-4 AM (0)
Nov 21, 4-5 AM (0)
Nov 21, 5-6 AM (0)
Nov 21, 6-7 AM (1)
Nov 21, 7-8 AM (0)
Nov 21, 8-9 AM (1)
Nov 21, 9-10 AM (0)
Nov 21, 10-11 AM (1)
Nov 21, 11-12 PM (0)
Nov 21, 12-1 PM (1)
Nov 21, 1-2 PM (1)
Nov 21, 2-3 PM (4)
Nov 21, 3-4 PM (0)
Nov 21, 4-5 PM (10)
Nov 21, 5-6 PM (0)
Nov 21, 6-7 PM (1)
Nov 21, 7-8 PM (0)
Nov 21, 8-9 PM (0)
Nov 21, 9-10 PM (0)
Nov 21, 10-11 PM (0)
Nov 21, 11-12 AM (0)
Nov 22, 12-1 AM (0)
Nov 22, 1-2 AM (0)
Nov 22, 2-3 AM (0)
Nov 22, 3-4 AM (0)
Nov 22, 4-5 AM (0)
Nov 22, 5-6 AM (0)
Nov 22, 6-7 AM (0)
Nov 22, 7-8 AM (0)
Nov 22, 8-9 AM (0)
Nov 22, 9-10 AM (0)
Nov 22, 10-11 AM (0)
Nov 22, 11-12 PM (0)
154 commits this week
Nov 15, 2025
-
Nov 22, 2025
Fix `TxAuxData` non-Annotator deserializer to reflect Dijkstra
Add `HasOKey` instance for `TxId (TxBody l era)`
Extract Annotator decoder for a non-empty set and reuse it
to avoid duplication
Limit the number of generated subtransactions in `TxBody Arbitrary`
Enable roundtrip tests in Dijkstra
Move non-`Annotator` `DecCBOR` instance for dijkstra `TxBody` to testlib
Add golden test for basic deserialization checks of subtransactions
Add `Coders` combinators for `Annotator` deserialization
Add explicit implementation of `Annotator TxBody` dijkstra deserializer
Disable STS.RATIFY test
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.
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.
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`
Apply suggestions from code review
Co-authored-by: Alexey Kuleshevich <[email protected]>
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.
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 explicit implementation of `Annotator TxBody` dijkstra deserializer
Extract Annotator decoder for a non-empty set and reuse it
to avoid duplication
Add `HasOKey` instance for `TxId (TxBody l era)`
Move non-`Annotator` `DecCBOR` instance for dijkstra `TxBody` to testlib
Add `Coders` combinators for `Annotator` deserialization