Skip to content

1.65.0.0

Choose a tag to compare

View all tags
@Unisay Unisay released this 22 May 12:34
1.65.0.0
b2db512
This commit was signed with the committer’s verified signature.
Unisay Yura
GPG key ID: 503E24FCC515962B
Verified
Learn about vigilant mode.

plutus-core

Added

  • A new UPLC optimization that hoists forced polymorphic builtins, which can reduce
    the number of forces.

plutus-ledger-api

No changes.

plutus-tx

No changes.

plutus-tx-plugin

Added

  • A new plugin flag hoist-polymorphic-builtins that controls whether to run the optimization
    that hoists forced polymorphic built-in functions (on by default).

Changed

  • CannotParseValue plugin-option parse error now carries a human-readable
    detail string instead of a placeholder SomeTypeRep. Errors produced by
    plcParserOption include the underlying parser error message (source
    position and explanation), so failures to parse option values are no
    longer reported as "into type Int".

plutus-executables

No changes.

plutus-metatheory

Added

  • The certifier now includes a README.md inside each generated Agda project, describing how to typecheck the certificate.

Full Changelog: 1.64.0.0...1.65.0.0

Assets 7
Loading