From cd3064ac9012b4b976edccebf7807cf6673567c1 Mon Sep 17 00:00:00 2001 From: Alexey Kuleshevich Date: Wed, 20 Nov 2024 16:55:53 -0700 Subject: [PATCH] Add Ledger team update for 2024-11-20 --- blog/2024-11-20-ledger.md | 52 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 52 insertions(+) create mode 100644 blog/2024-11-20-ledger.md diff --git a/blog/2024-11-20-ledger.md b/blog/2024-11-20-ledger.md new file mode 100644 index 0000000000..c270506c69 --- /dev/null +++ b/blog/2024-11-20-ledger.md @@ -0,0 +1,52 @@ +--- +title: Ledger Team Update +slug: 2024-11-20-ledger +authors: lehins +tags: [ledger] +hide_table_of_contents: false +--- + +## High level summary + + +## Low level summary + +### Features + +### Testing + +### Infrastructure and releasing + +* [pull-4743] - Fix looping issue in constrained-generators +* [pull-4741] - Various executable spec improvements +* [pull-4746] - Added `LEDGERS` conformance +* [pull-4750] - Update CHaP and Hackage +* [pull-4747] - Fixed translation of `StakeReference` +* [pull-4700] - Test SPO vote counting +* [pull-4745] - Extract `ImpSpec` into its own package +* [pull-4744] - Guardrail in Imp genesis +* [pull-4758] - Add a hidden skiplist file for `git fsck` and a note about using it +* [pull-4739] - Improve the propagation of explanations when a Spec fails. +* [pull-4755] - `constrained-generators`: Fix test failure related to narrowing of fold specs +* [pull-4708] - Continue implementing the tests in `Alonzo.Imp.UtxowSpec.Valid` +* [pull-4756] - Updated spec to fix a conformance failure +* [pull-4759] - Documented `RatifyState` +* [pull-4763] - Remove ImpSpec +* [pull-4765] - Pass epochNo from BBODY instead of re-computing it in downstream rules + +[pull-4743]: https://github.com/IntersectMBO/cardano-ledger/pull/4743 +[pull-4741]: https://github.com/IntersectMBO/cardano-ledger/pull/4741 +[pull-4746]: https://github.com/IntersectMBO/cardano-ledger/pull/4746 +[pull-4750]: https://github.com/IntersectMBO/cardano-ledger/pull/4750 +[pull-4747]: https://github.com/IntersectMBO/cardano-ledger/pull/4747 +[pull-4700]: https://github.com/IntersectMBO/cardano-ledger/pull/4700 +[pull-4745]: https://github.com/IntersectMBO/cardano-ledger/pull/4745 +[pull-4744]: https://github.com/IntersectMBO/cardano-ledger/pull/4744 +[pull-4758]: https://github.com/IntersectMBO/cardano-ledger/pull/4758 +[pull-4739]: https://github.com/IntersectMBO/cardano-ledger/pull/4739 +[pull-4755]: https://github.com/IntersectMBO/cardano-ledger/pull/4755 +[pull-4708]: https://github.com/IntersectMBO/cardano-ledger/pull/4708 +[pull-4756]: https://github.com/IntersectMBO/cardano-ledger/pull/4756 +[pull-4759]: https://github.com/IntersectMBO/cardano-ledger/pull/4759 +[pull-4763]: https://github.com/IntersectMBO/cardano-ledger/pull/4763 +[pull-4765]: https://github.com/IntersectMBO/cardano-ledger/pull/4765