Home /
Input Output /
cardano-ledger-specs
Oct 16, 4-5 PM (0)
Oct 16, 5-6 PM (0)
Oct 16, 6-7 PM (0)
Oct 16, 7-8 PM (0)
Oct 16, 8-9 PM (0)
Oct 16, 9-10 PM (0)
Oct 16, 10-11 PM (1)
Oct 16, 11-12 AM (0)
Oct 17, 12-1 AM (0)
Oct 17, 1-2 AM (0)
Oct 17, 2-3 AM (0)
Oct 17, 3-4 AM (0)
Oct 17, 4-5 AM (0)
Oct 17, 5-6 AM (0)
Oct 17, 6-7 AM (0)
Oct 17, 7-8 AM (0)
Oct 17, 8-9 AM (0)
Oct 17, 9-10 AM (0)
Oct 17, 10-11 AM (0)
Oct 17, 11-12 PM (0)
Oct 17, 12-1 PM (0)
Oct 17, 1-2 PM (0)
Oct 17, 2-3 PM (1)
Oct 17, 3-4 PM (0)
Oct 17, 4-5 PM (0)
Oct 17, 5-6 PM (2)
Oct 17, 6-7 PM (0)
Oct 17, 7-8 PM (0)
Oct 17, 8-9 PM (0)
Oct 17, 9-10 PM (0)
Oct 17, 10-11 PM (0)
Oct 17, 11-12 AM (0)
Oct 18, 12-1 AM (0)
Oct 18, 1-2 AM (0)
Oct 18, 2-3 AM (0)
Oct 18, 3-4 AM (0)
Oct 18, 4-5 AM (0)
Oct 18, 5-6 AM (0)
Oct 18, 6-7 AM (0)
Oct 18, 7-8 AM (0)
Oct 18, 8-9 AM (0)
Oct 18, 9-10 AM (0)
Oct 18, 10-11 AM (0)
Oct 18, 11-12 PM (0)
Oct 18, 12-1 PM (0)
Oct 18, 1-2 PM (0)
Oct 18, 2-3 PM (0)
Oct 18, 3-4 PM (0)
Oct 18, 4-5 PM (0)
Oct 18, 5-6 PM (0)
Oct 18, 6-7 PM (0)
Oct 18, 7-8 PM (0)
Oct 18, 8-9 PM (0)
Oct 18, 9-10 PM (0)
Oct 18, 10-11 PM (0)
Oct 18, 11-12 AM (0)
Oct 19, 12-1 AM (0)
Oct 19, 1-2 AM (0)
Oct 19, 2-3 AM (0)
Oct 19, 3-4 AM (0)
Oct 19, 4-5 AM (0)
Oct 19, 5-6 AM (0)
Oct 19, 6-7 AM (0)
Oct 19, 7-8 AM (0)
Oct 19, 8-9 AM (0)
Oct 19, 9-10 AM (0)
Oct 19, 10-11 AM (0)
Oct 19, 11-12 PM (0)
Oct 19, 12-1 PM (0)
Oct 19, 1-2 PM (0)
Oct 19, 2-3 PM (0)
Oct 19, 3-4 PM (0)
Oct 19, 4-5 PM (0)
Oct 19, 5-6 PM (0)
Oct 19, 6-7 PM (0)
Oct 19, 7-8 PM (0)
Oct 19, 8-9 PM (0)
Oct 19, 9-10 PM (0)
Oct 19, 10-11 PM (0)
Oct 19, 11-12 AM (0)
Oct 20, 12-1 AM (0)
Oct 20, 1-2 AM (0)
Oct 20, 2-3 AM (0)
Oct 20, 3-4 AM (1)
Oct 20, 4-5 AM (0)
Oct 20, 5-6 AM (0)
Oct 20, 6-7 AM (0)
Oct 20, 7-8 AM (0)
Oct 20, 8-9 AM (0)
Oct 20, 9-10 AM (0)
Oct 20, 10-11 AM (0)
Oct 20, 11-12 PM (0)
Oct 20, 12-1 PM (0)
Oct 20, 1-2 PM (10)
Oct 20, 2-3 PM (0)
Oct 20, 3-4 PM (0)
Oct 20, 4-5 PM (0)
Oct 20, 5-6 PM (0)
Oct 20, 6-7 PM (0)
Oct 20, 7-8 PM (0)
Oct 20, 8-9 PM (0)
Oct 20, 9-10 PM (0)
Oct 20, 10-11 PM (9)
Oct 20, 11-12 AM (0)
Oct 21, 12-1 AM (0)
Oct 21, 1-2 AM (0)
Oct 21, 2-3 AM (0)
Oct 21, 3-4 AM (0)
Oct 21, 4-5 AM (0)
Oct 21, 5-6 AM (0)
Oct 21, 6-7 AM (0)
Oct 21, 7-8 AM (0)
Oct 21, 8-9 AM (0)
Oct 21, 9-10 AM (0)
Oct 21, 10-11 AM (0)
Oct 21, 11-12 PM (6)
Oct 21, 12-1 PM (4)
Oct 21, 1-2 PM (0)
Oct 21, 2-3 PM (0)
Oct 21, 3-4 PM (0)
Oct 21, 4-5 PM (0)
Oct 21, 5-6 PM (0)
Oct 21, 6-7 PM (0)
Oct 21, 7-8 PM (0)
Oct 21, 8-9 PM (0)
Oct 21, 9-10 PM (0)
Oct 21, 10-11 PM (0)
Oct 21, 11-12 AM (0)
Oct 22, 12-1 AM (0)
Oct 22, 1-2 AM (0)
Oct 22, 2-3 AM (0)
Oct 22, 3-4 AM (0)
Oct 22, 4-5 AM (0)
Oct 22, 5-6 AM (0)
Oct 22, 6-7 AM (0)
Oct 22, 7-8 AM (0)
Oct 22, 8-9 AM (0)
Oct 22, 9-10 AM (0)
Oct 22, 10-11 AM (0)
Oct 22, 11-12 PM (0)
Oct 22, 12-1 PM (1)
Oct 22, 1-2 PM (0)
Oct 22, 2-3 PM (0)
Oct 22, 3-4 PM (0)
Oct 22, 4-5 PM (0)
Oct 22, 5-6 PM (0)
Oct 22, 6-7 PM (1)
Oct 22, 7-8 PM (0)
Oct 22, 8-9 PM (0)
Oct 22, 9-10 PM (0)
Oct 22, 10-11 PM (0)
Oct 22, 11-12 AM (0)
Oct 23, 12-1 AM (0)
Oct 23, 1-2 AM (0)
Oct 23, 2-3 AM (0)
Oct 23, 3-4 AM (1)
Oct 23, 4-5 AM (0)
Oct 23, 5-6 AM (0)
Oct 23, 6-7 AM (0)
Oct 23, 7-8 AM (0)
Oct 23, 8-9 AM (0)
Oct 23, 9-10 AM (22)
Oct 23, 10-11 AM (0)
Oct 23, 11-12 PM (0)
Oct 23, 12-1 PM (0)
Oct 23, 1-2 PM (0)
Oct 23, 2-3 PM (0)
Oct 23, 3-4 PM (0)
Oct 23, 4-5 PM (0)
59 commits this week
Oct 16, 2025
-
Oct 23, 2025
Implement instances
Added sizedCollateralReturnTxBodyF
Babbage implemented
Added fee top getters
Remove getters, since they reduce type safety
Allegra implemented
Finished first pass
Test suites done
Allegra TxBody is building
Initital attempt at parametric transactions
Add singletons for STxType
Implement NoThunks
Remove tasty from cardano-ledger-test
benchProperty uses a tasty-based function from shelley so tasty can't be eliminated from it yet
add Haskell Benchmark (customSmallerIsBetter) benchmark result for 0cf935ca78d9c5288f99a53d9d67123e4f7d7d70
Use tasty-hspec in cardano-ledger-test