plutus-core

Removed

• Removed the caseList and caseData builtins in preparation for adding direct Caseing on lists and Data.

Added

• In [#7029] added support for Caseing on booleans and integers. For example, case True a b now evaluates to b.

• Added a new UPLC optimisation which removes force when applied to case expressions where each branch contains a delay at the top, or if the delay is under any number of lambda abstractions.

• Added a new emitter mode logWithCallTraceEmitter which uses trace messages generated by PlutusTx.Plugin:profile-all flag of plutus-tx-plugin to create call trace of the functions that led to the evaluation failure. If script passes or script is not compiled with profile-all flag, logWithCallTraceEmitter will behave as regular logEmitter.

• Added support for Caseing on builtin lists. When Caseing a builtin list, exactly one or two branches are allowed: with a single branch, Case assumes the list is non-empty and applies the head element and the tail to that branch; with two branches, the first branch is selected if the list is empty (and takes no arguments), and the second branch is chosen if the list is non-empty, receiving the head element and the tail as its arguments. Note, the single branch WILL FAIL the script evaluation if empty list is given.

Changed

• Drop hex-text package in favor of base16-bytestring.

• Disable Plutus executable build for wasm

plutus-ledger-api

Added

• PlutusLedgerApi.Envelope module with two functions:
• compiledCodeEnvelope: creates a JSON envelope for CompiledCode with a description.
• writeCodeEnvelope: writes a JSON envelope for CompiledCode to a file.

plutus-tx

Added

• Module 'PlutusTx.Test.Util.Compiled' of the 'plutus-tx-testlib' package got a new function 'countFlatBytes' that counts the size of a 'CompiledCode' in Flat bytes.

plutus-tx-plugin

No changes.

plutus-executables

No changes.

plutus-metatheory

Fixed

Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.49.0.0...1.50.0.0