Skip to content

Commit

Permalink
Add Ledger team update for 2023-10-13 (#270)
Browse files Browse the repository at this point in the history
  • Loading branch information
lehins authored Oct 16, 2023
1 parent 7a6375f commit b17dc25
Showing 1 changed file with 49 additions and 0 deletions.
49 changes: 49 additions & 0 deletions blog/2023-10-13-ledger.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,49 @@
---
title: Ledger Team Update
slug: 2023-10-13-ledger
authors: lehins
tags: [ledger]
hide_table_of_contents: false
---

## High level summary

The Ledger team has been shifting focus from implementing Conway related features to
testing. For this reason there is a very little amount features that are reported this
time aorund. Notable Conway related changes are a specialized ledger query for getting
Constitutional Committee state and prevention of submitting proposal procedures that have
no valid path to enactment.

Testing related work was mainly on a constraint base system as well as on roundtrip
serialization. As a result of this extra testing a bug in Conway Genesis serialization
was eliminated.

## Low level summary

### Conway era

* [pull-3768] - Fail proposal on invalid prevGovActionId
* [pull-3781] - CommitteeState query

### Integration and releasing

* [pull-3774] - Bump urllib3 from 1.26.10 to 1.26.17 in /doc
* [pull-3770] - cabal.project: Bump index states
* [pull-3778] - Bump plutus to 1.14

### Testing

* [pull-3769] - Add roundtrip testing by validating FlatTerm
* [pull-3783] - Update TranslationInstance.hs
* [pull-3775] - Refactor and improve constraint based STS tests
* [pull-3793] - Fix sums with negative RHS.

[pull-3774]: https://github.com/input-output-hk/cardano-ledger/pull/3774
[pull-3770]: https://github.com/input-output-hk/cardano-ledger/pull/3770
[pull-3778]: https://github.com/input-output-hk/cardano-ledger/pull/3778
[pull-3769]: https://github.com/input-output-hk/cardano-ledger/pull/3769
[pull-3768]: https://github.com/input-output-hk/cardano-ledger/pull/3768
[pull-3781]: https://github.com/input-output-hk/cardano-ledger/pull/3781
[pull-3783]: https://github.com/input-output-hk/cardano-ledger/pull/3783
[pull-3775]: https://github.com/input-output-hk/cardano-ledger/pull/3775
[pull-3793]: https://github.com/input-output-hk/cardano-ledger/pull/3793

0 comments on commit b17dc25

Please sign in to comment.