Added Dijkstra era

[Soupstraw]

Description

This PR sets up a subproject for the new Dijkstra era

I removed unnecessary era parametrization from GovActionId to make translations easier.

close #4955
close #5043

Checklist

• Commits in meaningful sequence and with useful messages.
• Tests added or updated when needed.
• CHANGELOG.md files updated for packages with externally visible changes.
  NOTE: New section is never added with the code changes. (See RELEASING.md).
• Versions updated in .cabal and CHANGELOG.md files when necessary, according to the
  versioning process.
• Version bounds in .cabal files updated when necessary.
  NOTE: If bounds change in a cabal file, that package itself must have a version increase. (See RELEASING.md).
• Code formatted (use scripts/fourmolize.sh).
• Cabal files formatted (use scripts/cabal-format.sh).
• CDDL files are up to date (use scripts/gen-cddl.sh)
• hie.yaml updated (use scripts/gen-hie.sh).
• Self-reviewed the diff.

[lehins]

That is not what I had in mind when I created a ticket.

We need an era that is equivalent to Conway, not just a placeholder package.

In other words it should reuse all of the types and rules and should be running all of the reusable tests from previous eras, including impspec

[lehins]

@Soupstraw While performing this task I would like for you to also write up a document that explains the steps that are necessary to follow in order to define a new blank era that matches the behavior of the previous one exactly and executes all of the same tests.

[lehins]

This looks awesome! Thank you for all the simplification and changes to tests reusability

[lehins]

Looks like it is ready to go, just need to run formatters

[amesgen]

Is it intentional that this PR still has

cardano-ledger/libs/cardano-ledger-api/src/Cardano/Ledger/Api/Era.hs

Line 80 in b3452e4

type LatestKnownEra = ConwayEra

? Fixing this also requires adding a (probably trivial for now) Dijkstra.Transition module.

[lehins]

Good idea. I'll have a PR ready tomorrow.10:39 AM, June 2, 2025, amesgen ***@***.***>:amesgen left a comment (IntersectMBO/cardano-ledger#5030) Is it intentional that this PR still has https://github.com/IntersectMBO/cardano-ledger/blob/b3452e4e74e590d268d604778cbd6899ffbfb375/libs/cardano-ledger-api/src/Cardano/Ledger/Api/Era.hs#L80 ? Fixing this also requires adding a (probably trivial for now) Dijkstra.Transition module. —Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because your review was requested.Message ID: ***@***.***> Отправлено из мобильной Яндекс.Почты: http://m.ya.ru/ymail