Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Included the hash in plutus script translation #4817

Merged
merged 1 commit into from
Jan 7, 2025

Conversation

Soupstraw
Copy link
Contributor

@Soupstraw Soupstraw commented Jan 3, 2025

Description

This PR updates the translation of Timelock and PlutusScript so that the translations of both include the script hash and the serialized size of the script.

related IntersectMBO/formal-ledger-specifications#630

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

    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

    If you change the bounds 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)
  • hie.yaml updated (use scripts/gen-hie.sh)
  • Self-reviewed the diff

@Soupstraw Soupstraw force-pushed the jj/plutusscript-hash branch from 18a0ffc to c10b2c9 Compare January 3, 2025 13:23
@Soupstraw Soupstraw marked this pull request as ready for review January 3, 2025 14:22
@Soupstraw Soupstraw requested a review from a team as a code owner January 3, 2025 14:22
@Soupstraw Soupstraw force-pushed the jj/plutusscript-hash branch from c10b2c9 to 0185bdf Compare January 3, 2025 14:27
cabal.project Outdated Show resolved Hide resolved
@Soupstraw Soupstraw force-pushed the jj/plutusscript-hash branch from 0185bdf to d41c185 Compare January 7, 2025 11:04
@Soupstraw Soupstraw enabled auto-merge (rebase) January 7, 2025 11:04
@Soupstraw Soupstraw merged commit 5aed6e5 into master Jan 7, 2025
153 of 156 checks passed
@Soupstraw Soupstraw deleted the jj/plutusscript-hash branch January 7, 2025 14:34
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.

2 participants