Ledger Team Update

High level summary

This period we reached a major milestone, namely we now have an initial version of Conway conformance testing working. We are now able to generate random valid data with the help of constraint based testing framework, apply that data to Conway Ledger rules and verify that the output matches to the one produced by the executable version of the Formal Ledger Specification, when it is applied to the same random data.

We also had a couple of Conway bugs fixed and a few new predicate check implemented. Get Constitutional Committee query is complete and tested. Various improvements to the testing tools. Addition of more test cases.

Low level summary

Conway

• pull-3888 - Add checks for valid ProtVer when a proposal is a HardFork
• pull-3902 - Fix pvCanFollow usage in Conway and improve clarity in Shelley
• pull-3855 - Remove unreachable proposals
• pull-3903 - Add lenient decoder for Addr
• pull-3878 - Committee query - implement next epoch change

Testing

• pull-3893 - Move tree-diff dependency to tests together with all instances
• pull-3896 - Fix Brute force failure
• pull-3904 - New ListWhere Pred added to the Constrained Solver.
• pull-3907 - cardano-ledger-conformance: Remove CHANGELOG.md from cabal file
• pull-3883 - Committee QuerySpec Imp Test
• pull-3909 - Make impAnn a bit more useful, by making the logs scoped by impAnn
• pull-3908 - Use upstream testing instances for very basic types
• pull-3912 - Removed call to tail, and the 'watchPulser' test
• pull-3852 - Added constrained generators to conformance tests - Part 1

Improvements and releasing

• pull-3891 - Bump plutus to 1.17