Expand missing transaction content in examples in Test.Cardano.Ledger.<era>.Examples and refactor transaction examples to reduce duplication
Home /
IntersectMBO /
cardano-ledger
Apr 22, 4-5 PM (0)
Apr 22, 5-6 PM (0)
Apr 22, 6-7 PM (1)
Apr 22, 7-8 PM (0)
Apr 22, 8-9 PM (0)
Apr 22, 9-10 PM (0)
Apr 22, 10-11 PM (0)
Apr 22, 11-12 AM (0)
Apr 23, 12-1 AM (0)
Apr 23, 1-2 AM (0)
Apr 23, 2-3 AM (0)
Apr 23, 3-4 AM (0)
Apr 23, 4-5 AM (0)
Apr 23, 5-6 AM (0)
Apr 23, 6-7 AM (0)
Apr 23, 7-8 AM (0)
Apr 23, 8-9 AM (1)
Apr 23, 9-10 AM (0)
Apr 23, 10-11 AM (4)
Apr 23, 11-12 PM (5)
Apr 23, 12-1 PM (2)
Apr 23, 1-2 PM (2)
Apr 23, 2-3 PM (2)
Apr 23, 3-4 PM (0)
Apr 23, 4-5 PM (0)
Apr 23, 5-6 PM (0)
Apr 23, 6-7 PM (0)
Apr 23, 7-8 PM (0)
Apr 23, 8-9 PM (0)
Apr 23, 9-10 PM (0)
Apr 23, 10-11 PM (0)
Apr 23, 11-12 AM (0)
Apr 24, 12-1 AM (0)
Apr 24, 1-2 AM (0)
Apr 24, 2-3 AM (0)
Apr 24, 3-4 AM (0)
Apr 24, 4-5 AM (0)
Apr 24, 5-6 AM (6)
Apr 24, 6-7 AM (0)
Apr 24, 7-8 AM (5)
Apr 24, 8-9 AM (2)
Apr 24, 9-10 AM (0)
Apr 24, 10-11 AM (12)
Apr 24, 11-12 PM (16)
Apr 24, 12-1 PM (8)
Apr 24, 1-2 PM (0)
Apr 24, 2-3 PM (2)
Apr 24, 3-4 PM (1)
Apr 24, 4-5 PM (1)
Apr 24, 5-6 PM (3)
Apr 24, 6-7 PM (0)
Apr 24, 7-8 PM (0)
Apr 24, 8-9 PM (0)
Apr 24, 9-10 PM (0)
Apr 24, 10-11 PM (0)
Apr 24, 11-12 AM (0)
Apr 25, 12-1 AM (0)
Apr 25, 1-2 AM (0)
Apr 25, 2-3 AM (1)
Apr 25, 3-4 AM (0)
Apr 25, 4-5 AM (0)
Apr 25, 5-6 AM (8)
Apr 25, 6-7 AM (0)
Apr 25, 7-8 AM (3)
Apr 25, 8-9 AM (0)
Apr 25, 9-10 AM (2)
Apr 25, 10-11 AM (2)
Apr 25, 11-12 PM (0)
Apr 25, 12-1 PM (4)
Apr 25, 1-2 PM (0)
Apr 25, 2-3 PM (0)
Apr 25, 3-4 PM (2)
Apr 25, 4-5 PM (0)
Apr 25, 5-6 PM (0)
Apr 25, 6-7 PM (1)
Apr 25, 7-8 PM (1)
Apr 25, 8-9 PM (0)
Apr 25, 9-10 PM (0)
Apr 25, 10-11 PM (0)
Apr 25, 11-12 AM (0)
Apr 26, 12-1 AM (0)
Apr 26, 1-2 AM (0)
Apr 26, 2-3 AM (0)
Apr 26, 3-4 AM (0)
Apr 26, 4-5 AM (0)
Apr 26, 5-6 AM (0)
Apr 26, 6-7 AM (0)
Apr 26, 7-8 AM (0)
Apr 26, 8-9 AM (0)
Apr 26, 9-10 AM (0)
Apr 26, 10-11 AM (1)
Apr 26, 11-12 PM (0)
Apr 26, 12-1 PM (1)
Apr 26, 1-2 PM (0)
Apr 26, 2-3 PM (0)
Apr 26, 3-4 PM (0)
Apr 26, 4-5 PM (0)
Apr 26, 5-6 PM (0)
Apr 26, 6-7 PM (0)
Apr 26, 7-8 PM (0)
Apr 26, 8-9 PM (0)
Apr 26, 9-10 PM (0)
Apr 26, 10-11 PM (0)
Apr 26, 11-12 AM (0)
Apr 27, 12-1 AM (0)
Apr 27, 1-2 AM (0)
Apr 27, 2-3 AM (0)
Apr 27, 3-4 AM (0)
Apr 27, 4-5 AM (0)
Apr 27, 5-6 AM (0)
Apr 27, 6-7 AM (0)
Apr 27, 7-8 AM (0)
Apr 27, 8-9 AM (7)
Apr 27, 9-10 AM (10)
Apr 27, 10-11 AM (12)
Apr 27, 11-12 PM (8)
Apr 27, 12-1 PM (8)
Apr 27, 1-2 PM (4)
Apr 27, 2-3 PM (0)
Apr 27, 3-4 PM (0)
Apr 27, 4-5 PM (2)
Apr 27, 5-6 PM (0)
Apr 27, 6-7 PM (4)
Apr 27, 7-8 PM (2)
Apr 27, 8-9 PM (1)
Apr 27, 9-10 PM (0)
Apr 27, 10-11 PM (1)
Apr 27, 11-12 AM (0)
Apr 28, 12-1 AM (1)
Apr 28, 1-2 AM (2)
Apr 28, 2-3 AM (0)
Apr 28, 3-4 AM (0)
Apr 28, 4-5 AM (2)
Apr 28, 5-6 AM (0)
Apr 28, 6-7 AM (0)
Apr 28, 7-8 AM (4)
Apr 28, 8-9 AM (0)
Apr 28, 9-10 AM (1)
Apr 28, 10-11 AM (2)
Apr 28, 11-12 PM (1)
Apr 28, 12-1 PM (15)
Apr 28, 1-2 PM (1)
Apr 28, 2-3 PM (6)
Apr 28, 3-4 PM (11)
Apr 28, 4-5 PM (0)
Apr 28, 5-6 PM (0)
Apr 28, 6-7 PM (0)
Apr 28, 7-8 PM (1)
Apr 28, 8-9 PM (0)
Apr 28, 9-10 PM (0)
Apr 28, 10-11 PM (0)
Apr 28, 11-12 AM (1)
Apr 29, 12-1 AM (0)
Apr 29, 1-2 AM (0)
Apr 29, 2-3 AM (0)
Apr 29, 3-4 AM (0)
Apr 29, 4-5 AM (0)
Apr 29, 5-6 AM (0)
Apr 29, 6-7 AM (0)
Apr 29, 7-8 AM (2)
Apr 29, 8-9 AM (13)
Apr 29, 9-10 AM (0)
Apr 29, 10-11 AM (0)
Apr 29, 11-12 PM (1)
Apr 29, 12-1 PM (2)
Apr 29, 1-2 PM (10)
Apr 29, 2-3 PM (4)
Apr 29, 3-4 PM (0)
Apr 29, 4-5 PM (0)
238 commits this week
Apr 22, 2026
-
Apr 29, 2026
Add `Cardano.Ledger.Core.modifyTxAuxData` to apply some function on the `txAuxData` field of a `EraTx`
Added in order to be able to apply some function on the `txAuxData` field of a transaction even when the `txAuxData` field is set to `SNothing`.
Fix CHANGELOG cddl entries for shelley, allegra, mary, alonzo and babbage eras.
Expand missing transaction content in examples in Test.Cardano.Ledger.<era>.Examples and refactor transaction examples to reduce duplication
Add custom generator and validator to constr
Validate total withdrawals per account not exceeding original balance
Remove now-redundant `DijkstraSpendingOutputFromSameTx` pred failure
Specialize `CertsSpec` for dijkstra
to fix the tests failing because of the new predicate failure
Validate ref script sizes for the whole batch instead of just top level
Pass original utxo in the environment of UTXOS rule
Check input existence in original in threaded utxos
Implement `feesOk`-equivalent validation in Dijkstra UTXO
Validate value preservation against the original utxo
Use `DijkstraUtxoEnv` as Environment for UTXO
Implement top-level UTXO rule with subtransactions
Change result of queryConstitution to stable type.
Introduce QueryResultConstitution as the stable result type for queryConstitution, using Maybe ScriptHash for the optional guardrails script. The hand-written CBOR and JSON instances are byte-identical to Conway's Constitution, verified by goldens.
Add Constitution example values and golden tests
Update block Huddle comment
Make invalid_transactions a nonempty_set
Generalize genArrayTerm to MonadGen
Change genArrayTerm from Gen to MonadGen so it can be used in CBORGen contexts (e.g. custom CBOR generators for Huddle specs).
Add DecCBOR and ToExpr testlib instances for DijkstraBlockBody
Add plain DecCBOR instances for DijkstraBlockBodyRaw and DijkstraBlockBody (needed for decoder equivalence tests), and a custom ToExpr instance for DijkstraBlockBody. Add block_body to the CddlSpec test suite. Co-authored-by: Alexey Kuleshevich <[email protected]>
Refactor DijkstraBlockBody to use MemoBytes serialization
Replace the manual segmented-witness serialization with MemoBytes, which simplifies the code significantly. The block body is now serialized as a flat 3-element list [invalid_transactions, transactions, peras_certificate] instead of 5 separate segments. Also fix PerasCert to encode/decode as bytes (matching CDDL), reimplement alignedValidFlags using IntSet, and expose DijkstraBlockBodyRaw/MkDijkstraBlockBody from Internal module. Co-authored-by: Alexey Kuleshevich <[email protected]>
Disallow IsValid in BlockBody Txs
Simplify DijkstraBlockBodyRaw decCBOR
Add Huddle spec and CDDL for block_body and peras_certificate
Define HuddleRule instances for "block_body" and "peras_certificate" in the Dijkstra era, with a custom CBOR generator for block_body that generates valid transaction indices. Update the CDDL spec to match the new block structure: block = [header, block_body]. Co-authored-by: Alexey Kuleshevich <[email protected]>