Skip to content

Conversation

@aniketd
Copy link
Contributor

@aniketd aniketd commented Oct 29, 2025

Description

Addresses some of the checklist in #5367 and is the second part of #5194

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.

@aniketd aniketd marked this pull request as ready for review October 29, 2025 16:45
@aniketd aniketd requested a review from a team as a code owner October 29, 2025 16:45
@aniketd aniketd force-pushed the aniketd/more-cddl-deduplication branch from 1a03ad8 to 99fa309 Compare October 29, 2025 16:56
@aniketd aniketd changed the title Aniketd/more cddl deduplication More CDDL de-duplication Oct 29, 2025
Copy link
Collaborator

@lehins lehins left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks awesome! Thanks to this work we discovered some discrepancies in older CDDL. I love it!

@aniketd aniketd force-pushed the aniketd/more-cddl-deduplication branch from 99fa309 to 8dee9c2 Compare October 30, 2025 11:27
@aniketd aniketd enabled auto-merge October 30, 2025 11:28
@aniketd aniketd disabled auto-merge October 30, 2025 13:50
Remove all wrong definitions from later eras and add the correct
definitions to core.
Retroactively, correct the definition for sequence_number in the
operational_cert.
* Move epoch_interval definition to core
* Correct field#7 in protocol_param_update with it
@aniketd aniketd force-pushed the aniketd/more-cddl-deduplication branch from 8dee9c2 to c7c025f Compare October 31, 2025 11:55
Copy link
Collaborator

@lehins lehins left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Awesome!! Thank you!

@lehins lehins merged commit cf517a0 into master Oct 31, 2025
124 checks passed
@lehins lehins deleted the aniketd/more-cddl-deduplication branch October 31, 2025 20:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants