Home /
Input Output /
cardano-ledger-specs
Nov 08, 9-10 PM (0)
Nov 08, 10-11 PM (0)
Nov 08, 11-12 AM (0)
Nov 09, 12-1 AM (0)
Nov 09, 1-2 AM (0)
Nov 09, 2-3 AM (0)
Nov 09, 3-4 AM (0)
Nov 09, 4-5 AM (0)
Nov 09, 5-6 AM (0)
Nov 09, 6-7 AM (0)
Nov 09, 7-8 AM (0)
Nov 09, 8-9 AM (0)
Nov 09, 9-10 AM (0)
Nov 09, 10-11 AM (0)
Nov 09, 11-12 PM (0)
Nov 09, 12-1 PM (0)
Nov 09, 1-2 PM (0)
Nov 09, 2-3 PM (0)
Nov 09, 3-4 PM (0)
Nov 09, 4-5 PM (0)
Nov 09, 5-6 PM (0)
Nov 09, 6-7 PM (0)
Nov 09, 7-8 PM (0)
Nov 09, 8-9 PM (0)
Nov 09, 9-10 PM (0)
Nov 09, 10-11 PM (0)
Nov 09, 11-12 AM (0)
Nov 10, 12-1 AM (0)
Nov 10, 1-2 AM (0)
Nov 10, 2-3 AM (0)
Nov 10, 3-4 AM (0)
Nov 10, 4-5 AM (0)
Nov 10, 5-6 AM (0)
Nov 10, 6-7 AM (0)
Nov 10, 7-8 AM (0)
Nov 10, 8-9 AM (0)
Nov 10, 9-10 AM (0)
Nov 10, 10-11 AM (0)
Nov 10, 11-12 PM (0)
Nov 10, 12-1 PM (1)
Nov 10, 1-2 PM (0)
Nov 10, 2-3 PM (1)
Nov 10, 3-4 PM (0)
Nov 10, 4-5 PM (0)
Nov 10, 5-6 PM (3)
Nov 10, 6-7 PM (0)
Nov 10, 7-8 PM (0)
Nov 10, 8-9 PM (0)
Nov 10, 9-10 PM (0)
Nov 10, 10-11 PM (0)
Nov 10, 11-12 AM (0)
Nov 11, 12-1 AM (0)
Nov 11, 1-2 AM (0)
Nov 11, 2-3 AM (0)
Nov 11, 3-4 AM (0)
Nov 11, 4-5 AM (0)
Nov 11, 5-6 AM (0)
Nov 11, 6-7 AM (0)
Nov 11, 7-8 AM (0)
Nov 11, 8-9 AM (0)
Nov 11, 9-10 AM (0)
Nov 11, 10-11 AM (0)
Nov 11, 11-12 PM (0)
Nov 11, 12-1 PM (0)
Nov 11, 1-2 PM (0)
Nov 11, 2-3 PM (0)
Nov 11, 3-4 PM (0)
Nov 11, 4-5 PM (0)
Nov 11, 5-6 PM (0)
Nov 11, 6-7 PM (0)
Nov 11, 7-8 PM (0)
Nov 11, 8-9 PM (0)
Nov 11, 9-10 PM (0)
Nov 11, 10-11 PM (0)
Nov 11, 11-12 AM (3)
Nov 12, 12-1 AM (0)
Nov 12, 1-2 AM (0)
Nov 12, 2-3 AM (0)
Nov 12, 3-4 AM (0)
Nov 12, 4-5 AM (0)
Nov 12, 5-6 AM (0)
Nov 12, 6-7 AM (0)
Nov 12, 7-8 AM (0)
Nov 12, 8-9 AM (0)
Nov 12, 9-10 AM (0)
Nov 12, 10-11 AM (0)
Nov 12, 11-12 PM (0)
Nov 12, 12-1 PM (0)
Nov 12, 1-2 PM (0)
Nov 12, 2-3 PM (1)
Nov 12, 3-4 PM (0)
Nov 12, 4-5 PM (0)
Nov 12, 5-6 PM (0)
Nov 12, 6-7 PM (0)
Nov 12, 7-8 PM (0)
Nov 12, 8-9 PM (0)
Nov 12, 9-10 PM (0)
Nov 12, 10-11 PM (0)
Nov 12, 11-12 AM (0)
Nov 13, 12-1 AM (0)
Nov 13, 1-2 AM (0)
Nov 13, 2-3 AM (0)
Nov 13, 3-4 AM (0)
Nov 13, 4-5 AM (0)
Nov 13, 5-6 AM (0)
Nov 13, 6-7 AM (0)
Nov 13, 7-8 AM (0)
Nov 13, 8-9 AM (0)
Nov 13, 9-10 AM (0)
Nov 13, 10-11 AM (0)
Nov 13, 11-12 PM (0)
Nov 13, 12-1 PM (0)
Nov 13, 1-2 PM (0)
Nov 13, 2-3 PM (0)
Nov 13, 3-4 PM (0)
Nov 13, 4-5 PM (0)
Nov 13, 5-6 PM (14)
Nov 13, 6-7 PM (0)
Nov 13, 7-8 PM (0)
Nov 13, 8-9 PM (0)
Nov 13, 9-10 PM (0)
Nov 13, 10-11 PM (0)
Nov 13, 11-12 AM (0)
Nov 14, 12-1 AM (0)
Nov 14, 1-2 AM (0)
Nov 14, 2-3 AM (0)
Nov 14, 3-4 AM (0)
Nov 14, 4-5 AM (1)
Nov 14, 5-6 AM (0)
Nov 14, 6-7 AM (1)
Nov 14, 7-8 AM (0)
Nov 14, 8-9 AM (0)
Nov 14, 9-10 AM (1)
Nov 14, 10-11 AM (0)
Nov 14, 11-12 PM (0)
Nov 14, 12-1 PM (0)
Nov 14, 1-2 PM (1)
Nov 14, 2-3 PM (0)
Nov 14, 3-4 PM (0)
Nov 14, 4-5 PM (0)
Nov 14, 5-6 PM (0)
Nov 14, 6-7 PM (0)
Nov 14, 7-8 PM (0)
Nov 14, 8-9 PM (0)
Nov 14, 9-10 PM (0)
Nov 14, 10-11 PM (0)
Nov 14, 11-12 AM (0)
Nov 15, 12-1 AM (5)
Nov 15, 1-2 AM (0)
Nov 15, 2-3 AM (0)
Nov 15, 3-4 AM (0)
Nov 15, 4-5 AM (0)
Nov 15, 5-6 AM (0)
Nov 15, 6-7 AM (0)
Nov 15, 7-8 AM (0)
Nov 15, 8-9 AM (0)
Nov 15, 9-10 AM (0)
Nov 15, 10-11 AM (0)
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)
32 commits this week
Nov 08, 2025
-
Nov 15, 2025
Fix shelley-test
WIP. Starting to remove owners from the StakePoolSnapShot
Stop re-exporting QuickCheck's NonZero
Fixed unannotated TxDats decoder
Preliminary ghc 9.14 support
Currently using ghc-9.14.0.20251028 (-rc1).
cabal.project: Update index-states
shelley-test builds
WIP shelley-test
shelley-test builds
Move Stake definition to Stake module
Api and Protocol are done
WIP. Starting to remove owners from the StakePoolSnapShot
Shelley tests are passing
Fix and Improve Arbitrary for SnapShot
Reward computation is done
WIP: Introduce StakePoolSnapShot. core compiles
Improve type clarity
Add `elemAt` to `vector-map`
Move Density and Wrapped to the type level
