Ledger Team Update

High level summary

Most notable progress is on testing. In particular data generation for conformance test has been improved and the implementation organized. Addition of various Conway related unit and property tests.

Conway

• pull-4236 - Fix typo in ToJSON of ConwayGovState
• pull-4250 - Add some ToJSON instances needed by cardano-node

Testing

• pull-4221 - Fix a NoThunks test failure on nightly builds
• pull-4214 - Fix estimateMinFeeTx w/ bootstrap test
• pull-4189 - Imptests - treasury withdrawals
• pull-4207 - Added tests from a bug report
• pull-4238 - Imptests: ParameterChange affects ratification for in-flight proposals
• pull-4243 - Convert small-steps testsuite to Hspec
• pull-4248 - Fix withdrawals test data generation in EnactSpec
• pull-4212 - Update and reorganize conformance tests
• pull-4242 - Added UnitTestTools and IncrementalStakeTest

Infrastructure and releasing

• pull-4219 - Fixes for 8.10 release
• pull-4225 - Post release updates
• pull-4235 - Revert to full formolu runs on CI
• pull-4239 - Use the Cabal-syntax package instead of the Cabal package
• pull-4234 - Add separate devShell for pre-commit
• pull-4245 - Plutus 1.25.0.0
• pull-4246 - Changelog for node release 8.10
• pull-4249 - Update tooling and minor fixups

Low level summary