- Fix error in activation phase that caused proposals to get lost and…

… not be marked as "discarded" - Create an Activation.State module to facilitate reasoning with operations on the activation state. [skip ci]
input-output-hk · Aug 3, 2020 · cb5e5d4 · cb5e5d4
1 parent fea7c61
commit cb5e5d4
Show file tree

Hide file tree

Showing 4 changed files with 679 additions and 481 deletions.
diff --git a/executable-spec/decentralized-updates.cabal b/executable-spec/decentralized-updates.cabal
@@ -33,9 +33,10 @@ library
                      , Cardano.Ledger.Update.Ideation
                      , Cardano.Ledger.Update.Approval
                      , Cardano.Ledger.Update.Activation
-                     -- Proposals state
+                     -- State
                      , Cardano.Ledger.Update.ProposalState
                      , Cardano.Ledger.Update.ProposalsState
+                     , Cardano.Ledger.Update.Activation.State
                      -- Environment constraints
                      , Cardano.Ledger.Update.Env.TracksSlotTime
                      , Cardano.Ledger.Update.Env.HasStakeDistribution