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
queryStakePoolDefaultVote
state 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
RewardUpdate
spec 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