fixup! Add delegators to StakePoolState
Home /
Input Output /
cardano-ledger-specs
Oct 25, 6-7 AM (0)
Oct 25, 7-8 AM (0)
Oct 25, 8-9 AM (0)
Oct 25, 9-10 AM (0)
Oct 25, 10-11 AM (0)
Oct 25, 11-12 PM (0)
Oct 25, 12-1 PM (0)
Oct 25, 1-2 PM (0)
Oct 25, 2-3 PM (0)
Oct 25, 3-4 PM (0)
Oct 25, 4-5 PM (0)
Oct 25, 5-6 PM (0)
Oct 25, 6-7 PM (0)
Oct 25, 7-8 PM (0)
Oct 25, 8-9 PM (0)
Oct 25, 9-10 PM (0)
Oct 25, 10-11 PM (0)
Oct 25, 11-12 AM (0)
Oct 26, 12-1 AM (0)
Oct 26, 1-2 AM (0)
Oct 26, 2-3 AM (0)
Oct 26, 3-4 AM (0)
Oct 26, 4-5 AM (0)
Oct 26, 5-6 AM (0)
Oct 26, 6-7 AM (0)
Oct 26, 7-8 AM (0)
Oct 26, 8-9 AM (0)
Oct 26, 9-10 AM (0)
Oct 26, 10-11 AM (0)
Oct 26, 11-12 PM (0)
Oct 26, 12-1 PM (0)
Oct 26, 1-2 PM (0)
Oct 26, 2-3 PM (10)
Oct 26, 3-4 PM (0)
Oct 26, 4-5 PM (2)
Oct 26, 5-6 PM (0)
Oct 26, 6-7 PM (0)
Oct 26, 7-8 PM (0)
Oct 26, 8-9 PM (0)
Oct 26, 9-10 PM (0)
Oct 26, 10-11 PM (0)
Oct 26, 11-12 AM (0)
Oct 27, 12-1 AM (0)
Oct 27, 1-2 AM (0)
Oct 27, 2-3 AM (0)
Oct 27, 3-4 AM (0)
Oct 27, 4-5 AM (0)
Oct 27, 5-6 AM (0)
Oct 27, 6-7 AM (0)
Oct 27, 7-8 AM (0)
Oct 27, 8-9 AM (0)
Oct 27, 9-10 AM (22)
Oct 27, 10-11 AM (0)
Oct 27, 11-12 PM (0)
Oct 27, 12-1 PM (0)
Oct 27, 1-2 PM (0)
Oct 27, 2-3 PM (0)
Oct 27, 3-4 PM (23)
Oct 27, 4-5 PM (0)
Oct 27, 5-6 PM (0)
Oct 27, 6-7 PM (0)
Oct 27, 7-8 PM (0)
Oct 27, 8-9 PM (0)
Oct 27, 9-10 PM (0)
Oct 27, 10-11 PM (0)
Oct 27, 11-12 AM (0)
Oct 28, 12-1 AM (0)
Oct 28, 1-2 AM (0)
Oct 28, 2-3 AM (0)
Oct 28, 3-4 AM (0)
Oct 28, 4-5 AM (0)
Oct 28, 5-6 AM (0)
Oct 28, 6-7 AM (0)
Oct 28, 7-8 AM (0)
Oct 28, 8-9 AM (0)
Oct 28, 9-10 AM (0)
Oct 28, 10-11 AM (0)
Oct 28, 11-12 PM (4)
Oct 28, 12-1 PM (0)
Oct 28, 1-2 PM (0)
Oct 28, 2-3 PM (0)
Oct 28, 3-4 PM (0)
Oct 28, 4-5 PM (0)
Oct 28, 5-6 PM (0)
Oct 28, 6-7 PM (0)
Oct 28, 7-8 PM (0)
Oct 28, 8-9 PM (0)
Oct 28, 9-10 PM (1)
Oct 28, 10-11 PM (0)
Oct 28, 11-12 AM (0)
Oct 29, 12-1 AM (0)
Oct 29, 1-2 AM (0)
Oct 29, 2-3 AM (0)
Oct 29, 3-4 AM (0)
Oct 29, 4-5 AM (0)
Oct 29, 5-6 AM (1)
Oct 29, 6-7 AM (0)
Oct 29, 7-8 AM (0)
Oct 29, 8-9 AM (0)
Oct 29, 9-10 AM (0)
Oct 29, 10-11 AM (0)
Oct 29, 11-12 PM (0)
Oct 29, 12-1 PM (0)
Oct 29, 1-2 PM (0)
Oct 29, 2-3 PM (0)
Oct 29, 3-4 PM (0)
Oct 29, 4-5 PM (0)
Oct 29, 5-6 PM (0)
Oct 29, 6-7 PM (0)
Oct 29, 7-8 PM (0)
Oct 29, 8-9 PM (0)
Oct 29, 9-10 PM (0)
Oct 29, 10-11 PM (0)
Oct 29, 11-12 AM (0)
Oct 30, 12-1 AM (0)
Oct 30, 1-2 AM (0)
Oct 30, 2-3 AM (0)
Oct 30, 3-4 AM (0)
Oct 30, 4-5 AM (0)
Oct 30, 5-6 AM (0)
Oct 30, 6-7 AM (0)
Oct 30, 7-8 AM (0)
Oct 30, 8-9 AM (0)
Oct 30, 9-10 AM (0)
Oct 30, 10-11 AM (2)
Oct 30, 11-12 PM (0)
Oct 30, 12-1 PM (6)
Oct 30, 1-2 PM (1)
Oct 30, 2-3 PM (3)
Oct 30, 3-4 PM (11)
Oct 30, 4-5 PM (1)
Oct 30, 5-6 PM (0)
Oct 30, 6-7 PM (0)
Oct 30, 7-8 PM (0)
Oct 30, 8-9 PM (0)
Oct 30, 9-10 PM (0)
Oct 30, 10-11 PM (0)
Oct 30, 11-12 AM (0)
Oct 31, 12-1 AM (0)
Oct 31, 1-2 AM (0)
Oct 31, 2-3 AM (0)
Oct 31, 3-4 AM (0)
Oct 31, 4-5 AM (0)
Oct 31, 5-6 AM (0)
Oct 31, 6-7 AM (0)
Oct 31, 7-8 AM (0)
Oct 31, 8-9 AM (0)
Oct 31, 9-10 AM (0)
Oct 31, 10-11 AM (0)
Oct 31, 11-12 PM (0)
Oct 31, 12-1 PM (0)
Oct 31, 1-2 PM (0)
Oct 31, 2-3 PM (0)
Oct 31, 3-4 PM (0)
Oct 31, 4-5 PM (0)
Oct 31, 5-6 PM (0)
Oct 31, 6-7 PM (0)
Oct 31, 7-8 PM (0)
Oct 31, 8-9 PM (0)
Oct 31, 9-10 PM (0)
Oct 31, 10-11 PM (0)
Oct 31, 11-12 AM (0)
Nov 01, 12-1 AM (0)
Nov 01, 1-2 AM (0)
Nov 01, 2-3 AM (0)
Nov 01, 3-4 AM (0)
Nov 01, 4-5 AM (0)
Nov 01, 5-6 AM (0)
Nov 01, 6-7 AM (0)
87 commits this week
Oct 25, 2025
-
Nov 01, 2025
Refactor VState update logic to handle dRep undelegation/redelegation
Set delegators of updated pools in `PoolReap` rule
in order not to lose the delegations that happened after the update, before the end of the epoch
Refactor PState update logic to handle stake undelegation/redelegation
uniformly across eras
Intern stake credentials in `StakePoolState` CBOR decoder
Update conway `Transition` to set the pool delegations
and add a test for it
Update `StakePoolState` delegs in shelley
Update shelley `Transition` to set the pool delegations
and add a test for it
Update checks in `DelegSpec` to include delegs in `StakePoolState`
and add a test case for redelegating drep
Change state of shelley `DelegRule` to `CertState`
Use StakePoolState delegs to remove delegations when retiring pools
Refactor `processDRepUndelgation`
for consistency
Set delegators of updated pools in `PoolReap` rule
in order not to lose the delegations that happened after the update, before the end of the epoch
Refactor VState update logic to handle dRep undelegation/redelegation
Review
Co-authored-by: Alexey Kuleshevich <[email protected]>
Refactor PState update logic to handle stake undelegation/redelegation
uniformly across eras
Intern stake credentials in `StakePoolState` CBOR decoder
Update conway `Transition` to set the pool delegations
and add a test for it
Update shelley `Transition` to set the pool delegations
and add a test for it
Update `StakePoolState` delegs in shelley
Change state of shelley `DelegRule` to `CertState`
Update checks in `DelegSpec` to include delegs in `StakePoolState`
and add a test case for redelegating drep
CDDL: Consolidate protocol_version definitions.
Retroactively, correct the definition for sequence_number in the operational_cert.
CDDL: Consolidate nonce, slot, epoch & block_number
Remove all wrong definitions from later eras and add the correct definitions to core.
Merge pull request #5368 from IntersectMBO/f-f/fix-5331
Add DecCBOR for ShelleyBbodyPredFailure