Merge pull request #5192 from IntersectMBO/td/dijkstra-cddl
CDDL for Dijkstra
Home /
Input Output /
cardano-ledger-specs
Jul 26, 9-10 AM (0)
Jul 26, 10-11 AM (0)
Jul 26, 11-12 PM (0)
Jul 26, 12-1 PM (0)
Jul 26, 1-2 PM (0)
Jul 26, 2-3 PM (0)
Jul 26, 3-4 PM (0)
Jul 26, 4-5 PM (0)
Jul 26, 5-6 PM (0)
Jul 26, 6-7 PM (0)
Jul 26, 7-8 PM (0)
Jul 26, 8-9 PM (0)
Jul 26, 9-10 PM (0)
Jul 26, 10-11 PM (0)
Jul 26, 11-12 AM (0)
Jul 27, 12-1 AM (0)
Jul 27, 1-2 AM (0)
Jul 27, 2-3 AM (0)
Jul 27, 3-4 AM (0)
Jul 27, 4-5 AM (0)
Jul 27, 5-6 AM (0)
Jul 27, 6-7 AM (0)
Jul 27, 7-8 AM (0)
Jul 27, 8-9 AM (0)
Jul 27, 9-10 AM (0)
Jul 27, 10-11 AM (0)
Jul 27, 11-12 PM (0)
Jul 27, 12-1 PM (0)
Jul 27, 1-2 PM (0)
Jul 27, 2-3 PM (0)
Jul 27, 3-4 PM (0)
Jul 27, 4-5 PM (0)
Jul 27, 5-6 PM (0)
Jul 27, 6-7 PM (0)
Jul 27, 7-8 PM (0)
Jul 27, 8-9 PM (0)
Jul 27, 9-10 PM (0)
Jul 27, 10-11 PM (0)
Jul 27, 11-12 AM (0)
Jul 28, 12-1 AM (0)
Jul 28, 1-2 AM (0)
Jul 28, 2-3 AM (0)
Jul 28, 3-4 AM (0)
Jul 28, 4-5 AM (0)
Jul 28, 5-6 AM (0)
Jul 28, 6-7 AM (0)
Jul 28, 7-8 AM (0)
Jul 28, 8-9 AM (0)
Jul 28, 9-10 AM (0)
Jul 28, 10-11 AM (0)
Jul 28, 11-12 PM (1)
Jul 28, 12-1 PM (0)
Jul 28, 1-2 PM (0)
Jul 28, 2-3 PM (1)
Jul 28, 3-4 PM (2)
Jul 28, 4-5 PM (2)
Jul 28, 5-6 PM (0)
Jul 28, 6-7 PM (0)
Jul 28, 7-8 PM (0)
Jul 28, 8-9 PM (0)
Jul 28, 9-10 PM (0)
Jul 28, 10-11 PM (0)
Jul 28, 11-12 AM (0)
Jul 29, 12-1 AM (0)
Jul 29, 1-2 AM (2)
Jul 29, 2-3 AM (0)
Jul 29, 3-4 AM (0)
Jul 29, 4-5 AM (0)
Jul 29, 5-6 AM (0)
Jul 29, 6-7 AM (0)
Jul 29, 7-8 AM (0)
Jul 29, 8-9 AM (0)
Jul 29, 9-10 AM (0)
Jul 29, 10-11 AM (0)
Jul 29, 11-12 PM (0)
Jul 29, 12-1 PM (13)
Jul 29, 1-2 PM (0)
Jul 29, 2-3 PM (0)
Jul 29, 3-4 PM (0)
Jul 29, 4-5 PM (0)
Jul 29, 5-6 PM (0)
Jul 29, 6-7 PM (0)
Jul 29, 7-8 PM (0)
Jul 29, 8-9 PM (0)
Jul 29, 9-10 PM (0)
Jul 29, 10-11 PM (0)
Jul 29, 11-12 AM (0)
Jul 30, 12-1 AM (0)
Jul 30, 1-2 AM (0)
Jul 30, 2-3 AM (0)
Jul 30, 3-4 AM (0)
Jul 30, 4-5 AM (0)
Jul 30, 5-6 AM (0)
Jul 30, 6-7 AM (0)
Jul 30, 7-8 AM (0)
Jul 30, 8-9 AM (0)
Jul 30, 9-10 AM (0)
Jul 30, 10-11 AM (0)
Jul 30, 11-12 PM (0)
Jul 30, 12-1 PM (0)
Jul 30, 1-2 PM (0)
Jul 30, 2-3 PM (1)
Jul 30, 3-4 PM (0)
Jul 30, 4-5 PM (0)
Jul 30, 5-6 PM (0)
Jul 30, 6-7 PM (0)
Jul 30, 7-8 PM (0)
Jul 30, 8-9 PM (0)
Jul 30, 9-10 PM (0)
Jul 30, 10-11 PM (0)
Jul 30, 11-12 AM (0)
Jul 31, 12-1 AM (0)
Jul 31, 1-2 AM (0)
Jul 31, 2-3 AM (0)
Jul 31, 3-4 AM (0)
Jul 31, 4-5 AM (0)
Jul 31, 5-6 AM (0)
Jul 31, 6-7 AM (0)
Jul 31, 7-8 AM (0)
Jul 31, 8-9 AM (0)
Jul 31, 9-10 AM (0)
Jul 31, 10-11 AM (0)
Jul 31, 11-12 PM (0)
Jul 31, 12-1 PM (0)
Jul 31, 1-2 PM (0)
Jul 31, 2-3 PM (0)
Jul 31, 3-4 PM (0)
Jul 31, 4-5 PM (0)
Jul 31, 5-6 PM (0)
Jul 31, 6-7 PM (0)
Jul 31, 7-8 PM (0)
Jul 31, 8-9 PM (0)
Jul 31, 9-10 PM (0)
Jul 31, 10-11 PM (0)
Jul 31, 11-12 AM (0)
Aug 01, 12-1 AM (0)
Aug 01, 1-2 AM (0)
Aug 01, 2-3 AM (0)
Aug 01, 3-4 AM (0)
Aug 01, 4-5 AM (0)
Aug 01, 5-6 AM (0)
Aug 01, 6-7 AM (0)
Aug 01, 7-8 AM (0)
Aug 01, 8-9 AM (0)
Aug 01, 9-10 AM (0)
Aug 01, 10-11 AM (0)
Aug 01, 11-12 PM (0)
Aug 01, 12-1 PM (0)
Aug 01, 1-2 PM (0)
Aug 01, 2-3 PM (0)
Aug 01, 3-4 PM (0)
Aug 01, 4-5 PM (0)
Aug 01, 5-6 PM (0)
Aug 01, 6-7 PM (0)
Aug 01, 7-8 PM (0)
Aug 01, 8-9 PM (0)
Aug 01, 9-10 PM (0)
Aug 01, 10-11 PM (0)
Aug 01, 11-12 AM (0)
Aug 02, 12-1 AM (0)
Aug 02, 1-2 AM (0)
Aug 02, 2-3 AM (0)
Aug 02, 3-4 AM (0)
Aug 02, 4-5 AM (0)
Aug 02, 5-6 AM (0)
Aug 02, 6-7 AM (0)
Aug 02, 7-8 AM (0)
Aug 02, 8-9 AM (0)
Aug 02, 9-10 AM (0)
22 commits this week
Jul 26, 2025
-
Aug 02, 2025
Implement Babbage.Imp valid tests
Update CHANGELOG files
Remove `Generators` from `cardano-ledger-alonzo-test`
Remove `cardano-ledger-conway-test` package
Run babbage `TxInfo` spec in conway testlib
instead of in `cardano-ledger-conway-test`
Remove `cardano-ledger-babbage-test` package
Remove `Tripping` test from `cardano-ledger-alonzo-test`
since the tests there are covered by `roundTripAllPredicateFailures` in alonzo testlib and `roundTripBlockSpec` in tpraos testlib
Move `TxInfo` test from `cardano-ledger-babbage-test` to babbage testlib
Remove `Tripping` test from `cardano-ledger-babbage-test`
since the test is covered by `roundTripAllPredicateFailures`
Remove `Examples.Consensus` from `cardano-ledger-api`
and replace their usage in tests with examples defined in tpraos or in shelley testlib
Create tpraos-specific `ProtocolExamples`
Create `LedgerExamples` for each era
in the respective testlib library, and expose them as `Test.Cardano.Ledger.<era>.Examples.ledgerExamples`
Move Chain-`Examples` module under `Examples`
for consistency and also in order to make `Example` module available
Section on rewards without regard to time.
Added a document describing the reward calculation
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 4eff0f33b900ef87be7ad515d1ddf9ed9b5672cf
Updated from 4eff0f33b900ef87be7ad515d1ddf9ed9b5672cf via push
Remove all existing files
Update and fix formal-ledger-specifications (#5189)
Added `ScriptIntegrityHashMismatch`
Co-authored-by: Alexey Kuleshevich <[email protected]>