Alexey Kuleshevich
Alexey Kuleshevich
We no longer need to support an inferior predicate failure: ```haskell failureUnless (sNeeded == sProvided) $ MissingScriptWitnessesUTXOW (sNeeded `Set.difference` sProvided) ``` This also means that `validateMissingScripts` in shelley no longer...
Constraint based testing framework is mature enough to support Conway. We need to add properties for the GOV rule
We need a DSL that we can specify our CDDL spec in and use it to: * Generate CDDL files * Generate random binary data and test our decoders
There are two occurrences of this use case in Ledger: `MultiAsset` in `cardano-ledger-mary` and `VotingProcedures` in `cardano-ledger-conway`. We need a new safe interface in `cardano-data` that provides a safe wrapper...
Issue #3692 was implemented in #3698 in such a way that governance action states need to be sorted every time we do ratification. This is suboptimal, since it would be...
Every test package that is attached to each era no longer needs to be a separate package, since we have public `testlib` sub-libraries for exporting test functionality to downstream packages....
This is a successor to #3151. We need to use the power of constraint based testing framework with ConwayEra. This will require complete integration of Conway Era into constraint based...
It makes no sense to generate haddock for modules that can't be imported from outside of the package. This doesn't happen on Hackage and should not happen for Haddock that...
It has been brought up that Staking key role is a little confusing, since it is not only used for receiving rewards, but also for: * Returns for deposits *...
Some of the PParamUpdates need their bounds tighten up. This ticket tracks these important tasks: * [ ] - Identify which pparam updates need extra validation * [ ] -...