Ledger Team Update
· 2 min read
High level summary
Features that were implemented this period are mostly internal improvements to the quality of code. The only feature that stands out from this is the addition of a new query that allows users to learn the default vote for a particular Stake Pool Operator. Much improvement has also happened on the conformance testing side, as well as to the rest of the test suite.
Low level summary
Features
- pull-4666 - Mismatch for Conway predicate failures
- pull-4711 - Use Mismatch for Shelley, Mary, Allegra, Alonzo, Babbage
- pull-4722 - Create specialized newtype
VRFVerKeyHash - pull-4557 - Define CDDL via Huddle in shelley-ma
- pull-4733 - Alternative approach to
Annotator - pull-4735 - Add
queryStakePoolDefaultVotestate query - pull-4737 - Remove deprecated and unused definitions
Testing
- pull-4718 - Avoid intermittent test failures in constrained-generators
- pull-4712 - (NonEmpty x) in MemberSpec
- pull-4713 - Better bootstrap-aware Imp tests
- pull-4730 -
constrained-generators: fix flaky test - pull-4729 - Added
RewardUpdatespec translation - pull-4720 - Add CC removal imptest with UpdateCommittee
- pull-4728 - Add a balanced TxBody specification
- pull-4736 - Pass the signature checking function to Agda
- pull-4719 -
constrained-generators: Better shrinking for SuspendedSpec
