leios: disable x86_64-darwin build
Home /
Input Output /
cardano-ledger-specs
Apr 18, 9-10 AM (0)
Apr 18, 10-11 AM (0)
Apr 18, 11-12 PM (0)
Apr 18, 12-1 PM (0)
Apr 18, 1-2 PM (0)
Apr 18, 2-3 PM (0)
Apr 18, 3-4 PM (0)
Apr 18, 4-5 PM (0)
Apr 18, 5-6 PM (0)
Apr 18, 6-7 PM (0)
Apr 18, 7-8 PM (0)
Apr 18, 8-9 PM (2)
Apr 18, 9-10 PM (0)
Apr 18, 10-11 PM (0)
Apr 18, 11-12 AM (0)
Apr 19, 12-1 AM (0)
Apr 19, 1-2 AM (0)
Apr 19, 2-3 AM (0)
Apr 19, 3-4 AM (0)
Apr 19, 4-5 AM (0)
Apr 19, 5-6 AM (0)
Apr 19, 6-7 AM (0)
Apr 19, 7-8 AM (0)
Apr 19, 8-9 AM (0)
Apr 19, 9-10 AM (0)
Apr 19, 10-11 AM (0)
Apr 19, 11-12 PM (0)
Apr 19, 12-1 PM (0)
Apr 19, 1-2 PM (0)
Apr 19, 2-3 PM (0)
Apr 19, 3-4 PM (0)
Apr 19, 4-5 PM (0)
Apr 19, 5-6 PM (0)
Apr 19, 6-7 PM (0)
Apr 19, 7-8 PM (0)
Apr 19, 8-9 PM (0)
Apr 19, 9-10 PM (0)
Apr 19, 10-11 PM (0)
Apr 19, 11-12 AM (0)
Apr 20, 12-1 AM (0)
Apr 20, 1-2 AM (0)
Apr 20, 2-3 AM (0)
Apr 20, 3-4 AM (0)
Apr 20, 4-5 AM (0)
Apr 20, 5-6 AM (0)
Apr 20, 6-7 AM (0)
Apr 20, 7-8 AM (0)
Apr 20, 8-9 AM (0)
Apr 20, 9-10 AM (0)
Apr 20, 10-11 AM (0)
Apr 20, 11-12 PM (2)
Apr 20, 12-1 PM (0)
Apr 20, 1-2 PM (10)
Apr 20, 2-3 PM (0)
Apr 20, 3-4 PM (0)
Apr 20, 4-5 PM (0)
Apr 20, 5-6 PM (0)
Apr 20, 6-7 PM (0)
Apr 20, 7-8 PM (0)
Apr 20, 8-9 PM (0)
Apr 20, 9-10 PM (0)
Apr 20, 10-11 PM (0)
Apr 20, 11-12 AM (0)
Apr 21, 12-1 AM (0)
Apr 21, 1-2 AM (0)
Apr 21, 2-3 AM (0)
Apr 21, 3-4 AM (0)
Apr 21, 4-5 AM (0)
Apr 21, 5-6 AM (0)
Apr 21, 6-7 AM (0)
Apr 21, 7-8 AM (0)
Apr 21, 8-9 AM (0)
Apr 21, 9-10 AM (0)
Apr 21, 10-11 AM (0)
Apr 21, 11-12 PM (0)
Apr 21, 12-1 PM (0)
Apr 21, 1-2 PM (0)
Apr 21, 2-3 PM (0)
Apr 21, 3-4 PM (0)
Apr 21, 4-5 PM (0)
Apr 21, 5-6 PM (0)
Apr 21, 6-7 PM (0)
Apr 21, 7-8 PM (0)
Apr 21, 8-9 PM (0)
Apr 21, 9-10 PM (0)
Apr 21, 10-11 PM (0)
Apr 21, 11-12 AM (0)
Apr 22, 12-1 AM (0)
Apr 22, 1-2 AM (0)
Apr 22, 2-3 AM (0)
Apr 22, 3-4 AM (0)
Apr 22, 4-5 AM (0)
Apr 22, 5-6 AM (0)
Apr 22, 6-7 AM (0)
Apr 22, 7-8 AM (0)
Apr 22, 8-9 AM (4)
Apr 22, 9-10 AM (0)
Apr 22, 10-11 AM (0)
Apr 22, 11-12 PM (0)
Apr 22, 12-1 PM (0)
Apr 22, 1-2 PM (0)
Apr 22, 2-3 PM (1)
Apr 22, 3-4 PM (0)
Apr 22, 4-5 PM (0)
Apr 22, 5-6 PM (0)
Apr 22, 6-7 PM (0)
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 (0)
Apr 23, 9-10 AM (0)
Apr 23, 10-11 AM (1)
Apr 23, 11-12 PM (0)
Apr 23, 12-1 PM (0)
Apr 23, 1-2 PM (0)
Apr 23, 2-3 PM (0)
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 (1)
Apr 24, 2-3 AM (0)
Apr 24, 3-4 AM (0)
Apr 24, 4-5 AM (0)
Apr 24, 5-6 AM (0)
Apr 24, 6-7 AM (0)
Apr 24, 7-8 AM (0)
Apr 24, 8-9 AM (0)
Apr 24, 9-10 AM (0)
Apr 24, 10-11 AM (10)
Apr 24, 11-12 PM (0)
Apr 24, 12-1 PM (0)
Apr 24, 1-2 PM (0)
Apr 24, 2-3 PM (0)
Apr 24, 3-4 PM (0)
Apr 24, 4-5 PM (0)
Apr 24, 5-6 PM (1)
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 (0)
Apr 25, 3-4 AM (0)
Apr 25, 4-5 AM (0)
Apr 25, 5-6 AM (0)
Apr 25, 6-7 AM (0)
Apr 25, 7-8 AM (0)
Apr 25, 8-9 AM (0)
Apr 25, 9-10 AM (0)
32 commits this week
Apr 18, 2026
-
Apr 25, 2026
Specialize `CertsSpec` for dijkstra
to fix the tests failing because of the new predicate failure
Validate total withdrawals per account not exceeding original balance
Remove now-redundant `DijkstraSpendingOutputFromSameTx` pred failure
Validate ref script sizes for the whole batch instead of just top level
Check input existence in original in threaded utxos
Implement `feesOk`-equivalent validation in Dijkstra UTXO
Use `DijkstraUtxoEnv` as Environment for UTXO
Pass original utxo in the environment of UTXOS rule
Validate value preservation against the original utxo
Implement top-level UTXO rule with subtransactions
Specialize `CertsSpec` for dijkstra
to fix the tests failing because of the new predicate failure
Update huddle for block and add block_body
- Added blockBodySize method - Added more CddlSpec tests - Add BlockBody DecCBOR instance - Fix PerasCert to encode/decode as bytes (matching CDDL nil / VBytes) - Use encodeNullStrictMaybe/decodeNullStrictMaybe for optional peras_certificate - Handle both definite and indefinite length lists in BlockBody decoder - Add index range validation in BlockBody decoder (matching Alonzo) - Add DecCBOR instances for DijkstraBlockBodyRaw and DijkstraBlockBody in testlib - Add NFData and EncCBOR deriving for DijkstraBlockBody newtype - Export DijkstraBlockBodyRaw and MkDijkstraBlockBody from Internal module - Add custom CBOR generator for block_body - Use deriving via Mem for Annotator BlockBody decoder - Reimplement alignedValidFlags using IntSet - Update changelogs
Add custom generator to cost_models
Rewrite Dijkstra CddlSpec to use full*CddlSpec helpers
Add genDatumPresent and genNonEmptyAccountBalanceIntervals
genDatumPresent generates only DatumHash and Datum (no NoDatum), for use in CDDL roundtrip tests where NoDatum is not valid. genNonEmptyAccountBalanceIntervals ensures at least one entry, matching the CDDL spec.
Add full*CddlSpec test helpers
Add fullCddlSpec, fullGenCddlSpec, fullAnnCddlSpec, and fullAnnGenCddlSpec which bundle all Huddle-based CDDL tests (roundtrip, arbitrary-validate, anti-CBOR, decoder equivalence) for a given type behind a single call.
Move binary helpers to Test.Cardano.Ledger.Core.Binary
Fix CDDL spec for `account_balance_intervals`
Co-authored-by: Alexey Kuleshevich <[email protected]>
Switch Dijkstra CddlSpec to huddleCodecSpec{Full,NoAnn}
Replace individual huddle* test calls with the combined harnesses. Types with Annotator instances use huddleCodecSpecFull, others use huddleCodecSpecNoAnn. This adds anti-CBOR and Haskell roundtrip coverage. Equivalence entries now covered by huddleCodecSpecFull are removed from the bottom section.
Fix AccountBalanceIntervals generator
Rename CddlSpec to BinarySpec