-
Notifications
You must be signed in to change notification settings - Fork 16
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add Ledger team update for 2024-05-08 (#392)
- Loading branch information
Showing
1 changed file
with
85 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,85 @@ | ||
| --- | ||
| title: Ledger Team Update | ||
| slug: 2024-05-08-ledger | ||
| authors: lehins | ||
| tags: [ledger] | ||
| hide_table_of_contents: false | ||
| --- | ||
|
|
||
| ## 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 | ||
|
|
||
| [pull-4295]: https://github.com/IntersectMBO/cardano-ledger/pull/4295 | ||
| [pull-4292]: https://github.com/IntersectMBO/cardano-ledger/pull/4292 | ||
| [pull-4298]: https://github.com/IntersectMBO/cardano-ledger/pull/4298 | ||
| [pull-4300]: https://github.com/IntersectMBO/cardano-ledger/pull/4300 | ||
| [pull-4299]: https://github.com/IntersectMBO/cardano-ledger/pull/4299 | ||
| [pull-4276]: https://github.com/IntersectMBO/cardano-ledger/pull/4276 | ||
| [pull-4285]: https://github.com/IntersectMBO/cardano-ledger/pull/4285 | ||
| [pull-4273]: https://github.com/IntersectMBO/cardano-ledger/pull/4273 | ||
| [pull-4303]: https://github.com/IntersectMBO/cardano-ledger/pull/4303 | ||
| [pull-4304]: https://github.com/IntersectMBO/cardano-ledger/pull/4304 | ||
| [pull-4305]: https://github.com/IntersectMBO/cardano-ledger/pull/4305 | ||
| [pull-4297]: https://github.com/IntersectMBO/cardano-ledger/pull/4297 | ||
| [pull-4275]: https://github.com/IntersectMBO/cardano-ledger/pull/4275 | ||
| [pull-4308]: https://github.com/IntersectMBO/cardano-ledger/pull/4308 | ||
| [pull-4301]: https://github.com/IntersectMBO/cardano-ledger/pull/4301 | ||
| [pull-4310]: https://github.com/IntersectMBO/cardano-ledger/pull/4310 | ||
| [pull-4315]: https://github.com/IntersectMBO/cardano-ledger/pull/4315 | ||
| [pull-4268]: https://github.com/IntersectMBO/cardano-ledger/pull/4268 | ||
| [pull-4317]: https://github.com/IntersectMBO/cardano-ledger/pull/4317 | ||
| [pull-4322]: https://github.com/IntersectMBO/cardano-ledger/pull/4322 | ||
| [pull-4309]: https://github.com/IntersectMBO/cardano-ledger/pull/4309 | ||
| [pull-4253]: https://github.com/IntersectMBO/cardano-ledger/pull/4253 | ||
| [pull-4284]: https://github.com/IntersectMBO/cardano-ledger/pull/4284 | ||
| [pull-4328]: https://github.com/IntersectMBO/cardano-ledger/pull/4328 |