Repository navigation

Suggestions to #2386 - #2390

Closed

jasagredo wants to merge 10 commits into

nfrisby/leios-main-protofrom

js/nfrisby/leios-main-proto

Commits on Oct 9, 2026
- Don't fix the mkHeader call in Praos2 to DijkstraEra
  jasagredo
  committed
  4cce413
- Pull cardano-ledger SRP from `master`
  jasagredo
  committed
  b7ce7d3
- Remove seedInitialStakeSnapshots
  jasagredo
  committed
  bdb70f9
- Use nesStakePoolDistrG instead of the deleted nesPd
  jasagredo
  committed
  7ba87b8
- Use `mkHeaderBody` insted of the now non-bidirectional `HeaderBody`
  jasagredo
  committed
  a96ea76
- Regenerate golden files
  jasagredo
  committed
  37974ba
- Dijkstra uses its header type in CDDL
  jasagredo
  committed
  8024a1d
- Changelog fragment for Praos2
  jasagredo
  committed
  cb44369
- Style: put kind signature next to ForecastsLeios
  jasagredo
  committed
  b65c119
- HLint: redundant pragma
  jasagredo
  committed
  f5a041f