Code

Integrate cardano-ledger releases#1345

Code

Merged

lehins merged 8 commits intomainIntersectMBO/ouroboros-consensus:mainfrom neilmayhew/integrate-ledgerIntersectMBO/ouroboros-consensus:neilmayhew/integrate-ledgerCopy head branch name to clipboardDec 21, 2024

+113-85

Commits

Commits on Dec 18, 2024

• Fix typo in documentation

  neilmayhew

  committed
  d1c93c9

  Copy full SHA for d1c93c9

• Bump Hackage and CHaP indexes

  neilmayhew

  committed
  9d2b660

  Copy full SHA for 9d2b660

Commits on Dec 20, 2024

• cardano-ledger upgrade: bump ledger dependency bounds

  

  neilmayhew

  authored and

  lehins

  committed
  11cdea1

  Copy full SHA for 11cdea1

• cardano-ledger upgrade: use modified ledger serialization API

  

  neilmayhew

  authored and

  lehins

  committed
  8c2e366

  Copy full SHA for 8c2e366

• cardano-ledger upgrade: use Cardano.Ledger.Core instead of Cardano.Ledger.Era

  

  neilmayhew

  authored and

  lehins

  committed
  ea81b54

  Copy full SHA for ea81b54

• cardano-ledger upgrade: use new predicate failure API with Mismatch

  

  neilmayhew

  authored and

  lehins

  committed
  a36a72f

  Copy full SHA for a36a72f

• cardano-ledger upgrade: accommodate new ledgerSlotNo field in LedgerEnv

  

  neilmayhew

  authored and

  lehins

  committed
  66f1812

  Copy full SHA for 66f1812

Commits on Dec 21, 2024

• cardano-ledger upgrade: accommodate the new VRFVerKeyHash type

  

  neilmayhew

  authored and

  johnalotoski

  committed
  0d65a19

  Copy full SHA for 0d65a19