Download Latest Version plutus-metatheory.tar.gz (181.8 kB)
Email in envelope

Get an email when there's a new version of Plutus

Home / 1.47.0.0
Name Modified Size InfoDownloads / Week
Parent folder
pir-x86_64-linux-ghc96 2025-06-13 8.9 MB
plc-x86_64-linux-ghc96 2025-06-13 9.0 MB
plutus-metatheory.tar.gz 2025-06-13 180.8 kB
plutus-x86_64-linux-ghc96 2025-06-13 8.5 MB
uplc-x86_64-linux-ghc96 2025-06-13 8.6 MB
1.47.0.0 source code.tar.gz 2025-06-10 11.6 MB
1.47.0.0 source code.zip 2025-06-10 15.3 MB
README.md 2025-06-10 2.3 kB
Totals: 8 Items   62.0 MB 0

plutus-core

Changed

  • In [#7106] improved error reporting in the evaluators.

  • StructuralEvaluationError and OperationalEvaluationError were renamed to StructuralError and OperationalError respectively.

  • _MachineError was made obsolete in favor of _StructuralError.

  • The tags for the flat encodings of the as-yet-unreleased dropList, lengthOfArray, listToArray, indexArray, caseList and caseData built-in functions have been changed pending the possible removal of caseList and caseData.

plutus-ledger-api

No changes.

plutus-tx

Added

  • PlutusTx.Test.Run.Code module was added to the plutus-tx:testlib package. This module provides a way to run compiled Plutus code in a test environment, allowing for easier testing and debugging of Plutus scripts. See more details in the User Guide.

  • Added over 30 new functions to PlutusTx.BuiltinList

  • Added new errors codes:

  • PT23 -> PlutusTx.BuiltinList.head: empty list
  • PT24 -> PlutusTx.BuiltinList.tail: empty list
  • PT25 -> PlutusTx.BuiltinList.last: empty list

  • Added TH help PlutusTx.IsData.TH.makeIsDataAsList which generates ToData, FromData, UnsafeFromData instances with internal representation being Data.List instead of Data.Constr for given product datatype(only having a single constructor).

  • Added PlutusTx.Test.Util.compiledCodeToHask and PlutusTx.Test.Util.compiledCodeToHaskUnsafe for applying parameters to CompiledCodeIn uni fun tersely.

  • Added PlutusTx.Test.Golden.goldenCodeGen for generating golden of the generated code from Template Haskell.

  • Added assertResult for asserting given CompiledCode Bool evaluates True.

Changed

  • BuiltinList lookup is made cheaper by using the DropList builtin function.

plutus-tx-plugin

Added

  • Integrated the compiler certifier into the plugin. This feature can be accessed using the certify plugin option. Note that this is currently very experimental, and is released now mainly for testing purposes.

  • Added support for integerEq into the plugin, enabling use of (==) @Integer and pattern matching on Integer type values.

plutus-executables

No changes.

plutus-metatheory

No changes.

Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.46.0.0...1.47.0.0

Source: README.md, updated 2025-06-10