From 6eccbf36dd147b286519204b279cd514ad2c465f Mon Sep 17 00:00:00 2001 From: Alexey Kuleshevich Date: Thu, 7 Dec 2023 22:19:58 +0100 Subject: [PATCH] Add Ledger team update for 2023-12-06 (#302) --- blog/2023-12-06-ledger.md | 61 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 61 insertions(+) create mode 100644 blog/2023-12-06-ledger.md diff --git a/blog/2023-12-06-ledger.md b/blog/2023-12-06-ledger.md new file mode 100644 index 0000000000..7df2993583 --- /dev/null +++ b/blog/2023-12-06-ledger.md @@ -0,0 +1,61 @@ +--- +title: Ledger Team Update +slug: 2023-12-06-ledger +authors: lehins +tags: [ledger] +hide_table_of_contents: false +--- + +## 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 + +[pull-3891]: https://github.com/input-output-hk/cardano-ledger/pull/3891 +[pull-3888]: https://github.com/input-output-hk/cardano-ledger/pull/3888 +[pull-3893]: https://github.com/input-output-hk/cardano-ledger/pull/3893 +[pull-3896]: https://github.com/input-output-hk/cardano-ledger/pull/3896 +[pull-3855]: https://github.com/input-output-hk/cardano-ledger/pull/3855 +[pull-3904]: https://github.com/input-output-hk/cardano-ledger/pull/3904 +[pull-3907]: https://github.com/input-output-hk/cardano-ledger/pull/3907 +[pull-3903]: https://github.com/input-output-hk/cardano-ledger/pull/3903 +[pull-3902]: https://github.com/input-output-hk/cardano-ledger/pull/3902 +[pull-3883]: https://github.com/input-output-hk/cardano-ledger/pull/3883 +[pull-3878]: https://github.com/input-output-hk/cardano-ledger/pull/3878 +[pull-3909]: https://github.com/input-output-hk/cardano-ledger/pull/3909 +[pull-3908]: https://github.com/input-output-hk/cardano-ledger/pull/3908 +[pull-3852]: https://github.com/input-output-hk/cardano-ledger/pull/3852 +[pull-3912]: https://github.com/input-output-hk/cardano-ledger/pull/3912