High level summary
Some of the most important and final Conway features were implemented since the last report:
- Bootstrap phase is fully implemented
HardForkInitiaztion governance action will now correctly take us into the next era
that will follow the Conway era.- DRep stake distribution now also includes the amount in the reward account and deposits
that were left for the governance proposals.
CostModels updates for plutus scripts made more flexible, which will allow us adding
new primitives for all plutus versions starting with the Conway era.
As always, besides new features, we also wrote a lot of testing functionality. We now have
our first and fully functional conformance test for a GOV rule, with a few more in the
works. Many improvements and bugfixes to constraint based generating functionality. Last,
but not least, we did a major and long awaited improvement to our CI setup that makes it
much easier to spot failing tests and deal with potential flakiness.
Low level summary
Conway
- pull-4275 - Restrict gov actions during bootstrap
- pull-4253 - Hardfork Initiation into a new era
- pull-4273 - DRepDistr: Iterate over the DRep delegations in UMap
- pull-4309 - Add proposal deposits to DRep active voting stake.
- pull-4284 - Flexible costmodel params
- pull-4328 - Disable drep thresholds in bootstrap
Testing
- pull-4295 - Improve generator in ImpTestsState
- pull-4292 -
constrained-generators: add genHint for maps - pull-4298 -
constrained-generators: utility function for asserting over a reified value - pull-4300 -
constrained-generators: hotfix of latest derp... - pull-4297 -
constrained-generators: Fix ifElse dependencies - pull-4301 -
constrained-generators: Add monitoring capability to get a handle on test case distribution - pull-4315 -
constrained-generators: Improve error messages and make the tree generator reasonably sized - pull-4317 -
constrained-generators: Fix bug in reifies - pull-4299 - Fix strange CI failure.
- pull-4285 - Start Conway Imp tests with an initial committee and constitution
- pull-4303 - Fix test caused by erroneous merge
- pull-4310 - Fix
OMap.assocList - pull-4268 - Enable conformance tests for GOV rule
Infrastructure and releasing
- pull-4276 - Use a separate job for each test suite in GitHub CI
- pull-4304 - Ensure the CI complete step fails when tests fail
- pull-4308 - Add a CI status check to prevent merging PRs that contain merges
- pull-4305 - Use the correct iohk action for installing Haskell in GitHub CI
- pull-4322 - Bump jinja2 from 3.1.3 to 3.1.4 in /doc
