diff --git a/cardano-constitution/cardano-constitution.cabal b/cardano-constitution/cardano-constitution.cabal
index 2d1e76c5b65..5702e26bb4d 100644
--- a/cardano-constitution/cardano-constitution.cabal
+++ b/cardano-constitution/cardano-constitution.cabal
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: cardano-constitution
-version: 1.53.0.0
+version: 1.54.0.0
license: Apache-2.0
license-files:
LICENSE
@@ -86,10 +86,10 @@ library
, base >=4.9 && <5
, containers
, filepath
- , plutus-core ^>=1.53
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
, regex-tdfa
, safe
, template-haskell
@@ -132,10 +132,10 @@ test-suite cardano-constitution-test
, containers
, directory
, filepath
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-testlib
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
, QuickCheck
, serialise
, tasty
@@ -152,4 +152,4 @@ executable create-json-envelope
build-depends:
, base
, cardano-constitution
- , plutus-ledger-api ^>=1.53
+ , plutus-ledger-api ^>=1.54
diff --git a/doc/docusaurus/docusaurus-examples.cabal b/doc/docusaurus/docusaurus-examples.cabal
index 7f4f1f144ea..4c169d1e9fa 100644
--- a/doc/docusaurus/docusaurus-examples.cabal
+++ b/doc/docusaurus/docusaurus-examples.cabal
@@ -40,10 +40,10 @@ library docusaurus-code
build-depends:
, base >=4.9 && <5
- , plutus-core ^>=1.53
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
executable example-cip57
import: lang, ghc-version-support, os-support
@@ -54,9 +54,9 @@ executable example-cip57
build-depends:
, base ^>=4.18
, containers
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
executable example-evaluation
import: lang, ghc-version-support, os-support
@@ -66,9 +66,9 @@ executable example-evaluation
other-modules: Paths_docusaurus_examples
build-depends:
, base ^>=4.18
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
, plutus-tx:plutus-tx-testlib
, text
@@ -88,6 +88,6 @@ executable quickstart
, base >=4.9 && <5
, base16-bytestring
, bytestring
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
diff --git a/plutus-benchmark/plutus-benchmark.cabal b/plutus-benchmark/plutus-benchmark.cabal
index 3d8f6e98646..db1b115c90e 100644
--- a/plutus-benchmark/plutus-benchmark.cabal
+++ b/plutus-benchmark/plutus-benchmark.cabal
@@ -93,9 +93,9 @@ library plutus-benchmark-common
, deepseq
, directory
, filepath
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
- , plutus-ledger-api ^>=1.53
+ , plutus-ledger-api ^>=1.54
, plutus-tx:plutus-tx-testlib
, tasty
, tasty-golden
@@ -122,9 +122,9 @@ library nofib-internal
, base >=4.9 && <5
, deepseq
, plutus-benchmark-common
- , plutus-core ^>=1.53
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
executable nofib-exe
import: lang, ghc-version-support, os-support
@@ -137,9 +137,9 @@ executable nofib-exe
, nofib-internal
, optparse-applicative
, plutus-benchmark-common
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
- , plutus-tx ^>=1.53
+ , plutus-tx ^>=1.54
, prettyprinter
, transformers
@@ -177,9 +177,9 @@ test-suite plutus-benchmark-nofib-tests
, base >=4.9 && <5
, nofib-internal
, plutus-benchmark-common
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-testlib
- , plutus-tx ^>=1.53
+ , plutus-tx ^>=1.54
, plutus-tx:plutus-tx-testlib
, tasty
, tasty-hunit
@@ -206,9 +206,9 @@ library lists-internal
, base >=4.9 && <5
, mtl
, plutus-benchmark-common
- , plutus-core ^>=1.53
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
executable list-sort-exe
import: lang, ghc-version-support, os-support
@@ -219,7 +219,7 @@ executable list-sort-exe
, lists-internal
, monoidal-containers
, plutus-benchmark-common
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
benchmark lists
import: lang, ghc-version-support, os-support
@@ -231,7 +231,7 @@ benchmark lists
, criterion >=1.5.9.0
, lists-internal
, plutus-benchmark-common
- , plutus-ledger-api ^>=1.53
+ , plutus-ledger-api ^>=1.54
test-suite plutus-benchmark-lists-tests
import: lang, ghc-version-support, os-support
@@ -248,8 +248,8 @@ test-suite plutus-benchmark-lists-tests
, base >=4.9 && <5
, lists-internal
, plutus-benchmark-common
- , plutus-core:plutus-core-testlib ^>=1.53
- , plutus-tx:plutus-tx-testlib ^>=1.53
+ , plutus-core:plutus-core-testlib ^>=1.54
+ , plutus-tx:plutus-tx-testlib ^>=1.54
, tasty
, tasty-quickcheck
@@ -263,7 +263,7 @@ library casing-internal
, base >=4.9 && <5
, mtl
, plutus-benchmark-common
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
benchmark casing
import: lang, ghc-version-support, os-support
@@ -275,7 +275,7 @@ benchmark casing
, casing-internal
, criterion >=1.5.9.0
, plutus-benchmark-common
- , plutus-ledger-api ^>=1.53
+ , plutus-ledger-api ^>=1.54
---------------- validation ----------------
@@ -291,7 +291,7 @@ library validation-internal
, filepath
, optparse-applicative
, plutus-benchmark-common
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
benchmark validation
@@ -302,8 +302,8 @@ benchmark validation
build-depends:
, base >=4.9 && <5
, plutus-benchmark-common
- , plutus-core ^>=1.53
- , plutus-ledger-api ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-ledger-api ^>=1.54
, validation-internal
test-suite validation-tests
@@ -318,10 +318,10 @@ test-suite validation-tests
, directory
, filepath
, plutus-benchmark-common
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
, plutus-core:plutus-core-testlib
- , plutus-tx ^>=1.53
+ , plutus-tx ^>=1.54
, plutus-tx:plutus-tx-testlib
, tasty
, validation-internal
@@ -338,8 +338,8 @@ benchmark validation-decode
, bytestring
, criterion >=1.5.9.0
, deepseq
- , plutus-core ^>=1.53
- , plutus-ledger-api ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-ledger-api ^>=1.54
, validation-internal
---------------- validation-full ----------------
@@ -354,8 +354,8 @@ benchmark validation-full
, bytestring
, criterion >=1.5.9.0
, deepseq
- , plutus-core ^>=1.53
- , plutus-ledger-api ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-ledger-api ^>=1.54
, validation-internal
---------------- Cek cost model calibration ----------------
@@ -372,10 +372,10 @@ benchmark cek-calibration
, lens
, mtl
, plutus-benchmark-common
- , plutus-core ^>=1.53
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
---------------- Signature verification throughput ----------------
@@ -391,9 +391,9 @@ executable ed25519-costs
, cardano-crypto-class
, hedgehog
, plutus-benchmark-common
- , plutus-core ^>=1.53
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
-- Calculate the predicted costs of sequences of ed25519 signature verification
-- operations and compare them with a golden file.
@@ -410,10 +410,10 @@ test-suite ed25519-costs-test
, cardano-crypto-class
, hedgehog
, plutus-benchmark-common
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-testlib
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
---------------- BLS12-381 experiments ----------------
@@ -431,10 +431,10 @@ library bls12-381lib-internal
, bytestring
, hedgehog
, plutus-benchmark-common
- , plutus-core ^>=1.53
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
-- Print out predicted costs of various scripts involving BLS12-381 operations
executable bls12-381-costs
@@ -458,7 +458,7 @@ test-suite bls12-381-costs-test
, base >=4.9 && <5
, bls12-381lib-internal
, plutus-benchmark-common
- , plutus-core:plutus-core-testlib ^>=1.53
+ , plutus-core:plutus-core-testlib ^>=1.54
-- Run benchmarks for various scripts involving BLS12-381 operations
benchmark bls12-381-benchmarks
@@ -472,8 +472,8 @@ benchmark bls12-381-benchmarks
, bytestring
, criterion >=1.5.9.0
, plutus-benchmark-common
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
---------------- script contexts ----------------
@@ -490,9 +490,9 @@ library script-contexts-internal
build-depends:
, base >=4.9 && <5
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
test-suite plutus-benchmark-script-contexts-tests
import: lang, ghc-version-support, os-support
@@ -508,8 +508,8 @@ test-suite plutus-benchmark-script-contexts-tests
build-depends:
, base >=4.9 && <5
, plutus-core:plutus-core-testlib
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
, plutus-tx:plutus-tx-testlib
, script-contexts-internal
, tasty
@@ -540,11 +540,11 @@ library marlowe-internal
, mtl
, newtype-generics
, plutus-benchmark-common
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-execlib
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
, serialise
executable marlowe-validators
@@ -565,8 +565,8 @@ executable marlowe-validators
, filepath
, marlowe-internal
, plutus-benchmark-common
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
, serialise
benchmark marlowe
@@ -580,8 +580,8 @@ benchmark marlowe
, criterion
, marlowe-internal
, plutus-benchmark-common
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
test-suite plutus-benchmark-marlowe-tests
import: lang, ghc-version-support, os-support
@@ -598,9 +598,9 @@ test-suite plutus-benchmark-marlowe-tests
, marlowe-internal
, mtl
, plutus-benchmark-common
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-testlib
- , plutus-ledger-api ^>=1.53
+ , plutus-ledger-api ^>=1.54
, tabular
, tasty
, tasty-golden
@@ -618,8 +618,8 @@ library agda-internal
build-depends:
, base >=4.9 && <5
, criterion
- , plutus-core ^>=1.53
- , plutus-metatheory ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-metatheory ^>=1.54
benchmark validation-agda-cek
import: lang, ghc-version-support, os-support,
@@ -631,7 +631,7 @@ benchmark validation-agda-cek
, base >=4.9 && <5
, deepseq
, plutus-benchmark-common
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, validation-internal
benchmark nofib-agda-cek
@@ -659,8 +659,8 @@ benchmark marlowe-agda-cek
, criterion
, marlowe-internal
, plutus-benchmark-common
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
-------------------- bitwise -----------------------
@@ -676,8 +676,8 @@ library bitwise-internal
build-depends:
, base
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
test-suite bitwise-test
import: lang, ghc-version-support, os-support
@@ -689,8 +689,8 @@ test-suite bitwise-test
, bitwise-internal
, cryptohash-sha512
, ed25519
- , plutus-core:plutus-core-testlib ^>=1.53
- , plutus-tx ^>=1.53
+ , plutus-core:plutus-core-testlib ^>=1.54
+ , plutus-tx ^>=1.54
, plutus-tx:plutus-tx-testlib
, tasty
, tasty-hunit
@@ -705,7 +705,7 @@ benchmark bitwise-bench
, bitwise-internal
, criterion
, plutus-benchmark-common
- , plutus-tx ^>=1.53
+ , plutus-tx ^>=1.54
------------------ linear vesting -------------------
@@ -752,8 +752,8 @@ library coop
, lens
, memory
, plutus-ledger-api
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
, QuickCheck
test-suite coop-test
@@ -764,9 +764,9 @@ test-suite coop-test
build-depends:
, base >=4.9 && <5
, coop
- , plutus-core:plutus-core-testlib ^>=1.53
+ , plutus-core:plutus-core-testlib ^>=1.54
, plutus-ledger-api
- , plutus-tx ^>=1.53
+ , plutus-tx ^>=1.54
, plutus-tx:plutus-tx-testlib
, tasty
@@ -784,7 +784,7 @@ executable gen-coop-flat
, plutus-core
, plutus-core:flat
, plutus-ledger-api
- , plutus-tx ^>=1.53
+ , plutus-tx ^>=1.54
, plutus-tx:plutus-tx-testlib
------------------ linear vesting -------------------
@@ -797,7 +797,7 @@ test-suite linear-vesting-test
build-depends:
, base >=4.9 && <5
, linear-vesting-internal
- , plutus-core:plutus-core-testlib ^>=1.53
+ , plutus-core:plutus-core-testlib ^>=1.54
, plutus-tx:plutus-tx-testlib
, tasty
@@ -833,6 +833,6 @@ test-suite cardano-loans-test
build-depends:
, base >=4.9 && <5
, cardano-loans-internal
- , plutus-core:plutus-core-testlib ^>=1.53
+ , plutus-core:plutus-core-testlib ^>=1.54
, plutus-tx:plutus-tx-testlib
, tasty
diff --git a/plutus-conformance/plutus-conformance.cabal b/plutus-conformance/plutus-conformance.cabal
index 94d28792475..b93c750c5ed 100644
--- a/plutus-conformance/plutus-conformance.cabal
+++ b/plutus-conformance/plutus-conformance.cabal
@@ -56,7 +56,7 @@ library
, base
, directory
, filepath
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-testlib
, tasty
, tasty-expected-failure
@@ -80,7 +80,7 @@ test-suite haskell-conformance
build-depends:
, base >=4.9 && <5
, plutus-conformance
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
test-suite haskell-steppable-conformance
import: lang, os-support
@@ -92,7 +92,7 @@ test-suite haskell-steppable-conformance
build-depends:
, base >=4.9 && <5
, plutus-conformance
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
test-suite agda-conformance
import: lang, os-support, ghc-version-support
@@ -105,6 +105,6 @@ test-suite agda-conformance
, aeson
, base >=4.9 && <5
, plutus-conformance
- , plutus-core ^>=1.53
- , plutus-metatheory ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-metatheory ^>=1.54
, transformers
diff --git a/plutus-core/CHANGELOG.md b/plutus-core/CHANGELOG.md
index 28cdee83539..2e25288e184 100644
--- a/plutus-core/CHANGELOG.md
+++ b/plutus-core/CHANGELOG.md
@@ -1,4 +1,21 @@
+
+# 1.54.0.0 — 2025-09-18
+
+## Added
+
+- Built-in type `Value`, and the implementations of `insertCoin` and `unionValue`.
+
+- Added the bls MSM built-in to plutus-core in #4255
+
+- Implementations of `LookupCoin` and `ValueContains` primitives.
+
+- Implementations of `ValueData` and `UnValueData` primitives.
+
+## Changed
+
+- Change default compiler option `datatypes` from `BuiltinCasing` back to `SumsOfProducts`
+
# 1.53.0.0 — 2025-09-04
diff --git a/plutus-core/changelog.d/20250909_084412_unsafeFixIO_insertCoin_unionValue.md b/plutus-core/changelog.d/20250909_084412_unsafeFixIO_insertCoin_unionValue.md
deleted file mode 100644
index 9165369d189..00000000000
--- a/plutus-core/changelog.d/20250909_084412_unsafeFixIO_insertCoin_unionValue.md
+++ /dev/null
@@ -1,4 +0,0 @@
-
-### Added
-
-- Built-in type `Value`, and the implementations of `insertCoin` and `unionValue`.
diff --git a/plutus-core/changelog.d/20250910_094648_thomas.vellekoop_blsmsm.md b/plutus-core/changelog.d/20250910_094648_thomas.vellekoop_blsmsm.md
deleted file mode 100644
index 6408a77f91c..00000000000
--- a/plutus-core/changelog.d/20250910_094648_thomas.vellekoop_blsmsm.md
+++ /dev/null
@@ -1,3 +0,0 @@
-### Added
-
-- Added the bls MSM built-in to plutus-core in #4255
diff --git a/plutus-core/changelog.d/20250911_104659_4022046+basetunnel_default_datatype_opt.md b/plutus-core/changelog.d/20250911_104659_4022046+basetunnel_default_datatype_opt.md
deleted file mode 100644
index 0c4de863bd3..00000000000
--- a/plutus-core/changelog.d/20250911_104659_4022046+basetunnel_default_datatype_opt.md
+++ /dev/null
@@ -1,3 +0,0 @@
-### Changed
-
-- Change default compiler option `datatypes` from `BuiltinCasing` back to `SumsOfProducts`
diff --git a/plutus-core/changelog.d/20250914_192839_unsafeFixIO_deletelookupcontains.md b/plutus-core/changelog.d/20250914_192839_unsafeFixIO_deletelookupcontains.md
deleted file mode 100644
index ab2077a92f2..00000000000
--- a/plutus-core/changelog.d/20250914_192839_unsafeFixIO_deletelookupcontains.md
+++ /dev/null
@@ -1,4 +0,0 @@
-
-### Added
-
-- Implementations of `LookupCoin` and `ValueContains` primitives.
diff --git a/plutus-core/changelog.d/20250916_154336_unsafeFixIO_value_tofromdata.md b/plutus-core/changelog.d/20250916_154336_unsafeFixIO_value_tofromdata.md
deleted file mode 100644
index eeedfeebb89..00000000000
--- a/plutus-core/changelog.d/20250916_154336_unsafeFixIO_value_tofromdata.md
+++ /dev/null
@@ -1,4 +0,0 @@
-
-### Added
-
-- Implementations of `ValueData` and `UnValueData` primitives.
diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal
index d078dfa835c..7bbeb7e8861 100644
--- a/plutus-core/plutus-core.cabal
+++ b/plutus-core/plutus-core.cabal
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: plutus-core
-version: 1.53.0.0
+version: 1.54.0.0
license: Apache-2.0
license-files:
LICENSE
@@ -394,7 +394,7 @@ test-suite plutus-core-test
, hedgehog
, mmorph
, mtl
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
, plutus-core:plutus-core-testlib
, prettyprinter
@@ -489,7 +489,7 @@ library untyped-plutus-core-testlib
, hedgehog
, lens
, mtl
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
, plutus-core:plutus-core-testlib
, pretty-show
@@ -596,7 +596,7 @@ library plutus-ir
, mtl
, multiset
, parser-combinators >=0.4.0
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
, prettyprinter >=1.1.0.1
, profunctors
@@ -662,7 +662,7 @@ test-suite plutus-ir-test
, hedgehog
, lens
, mtl
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
, plutus-core:plutus-core-testlib
, plutus-core:plutus-ir
@@ -724,7 +724,7 @@ executable plutus
, microlens-th ^>=0.4
, mono-traversable
, mtl
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
, plutus-core:plutus-ir
, prettyprinter
@@ -765,7 +765,7 @@ library plutus-core-execlib
, monoidal-containers
, mtl
, optparse-applicative
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
, plutus-core:plutus-core-testlib
, plutus-core:plutus-ir
@@ -835,7 +835,7 @@ library plutus-core-testlib
, mmorph
, mtl
, multiset
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-ir
, pretty-simple
, prettyprinter >=1.1.0.1
@@ -874,7 +874,7 @@ library plutus-ir-cert
exposed-modules: PlutusIR.Certifier
build-depends:
, base
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-ir
----------------------------------------------
@@ -954,7 +954,7 @@ executable cost-model-budgeting-bench
, hedgehog
, mtl
, optparse-applicative
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, QuickCheck
, quickcheck-instances
, random
@@ -993,7 +993,7 @@ executable generate-cost-model
, directory
, inline-r >=1.0.1
, optparse-applicative
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, text
-- , exceptions
@@ -1037,7 +1037,7 @@ benchmark cost-model-test
, hedgehog
, inline-r >=1.0.1
, mmorph
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, template-haskell
, text
@@ -1054,7 +1054,7 @@ executable print-cost-model
, aeson
, base >=4.9 && <5
, bytestring
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
----------------------------------------------
-- satint
diff --git a/plutus-executables/plutus-executables.cabal b/plutus-executables/plutus-executables.cabal
index a6759b674f1..ab6de6e348b 100644
--- a/plutus-executables/plutus-executables.cabal
+++ b/plutus-executables/plutus-executables.cabal
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: plutus-executables
-version: 1.53.0.0
+version: 1.54.0.0
synopsis: Tools for running plutus core programs
homepage: https://github.com/IntersectMBO/plutus
license: Apache-2.0
@@ -76,7 +76,7 @@ executable pir
, megaparsec
, mtl
, optparse-applicative
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-execlib
, plutus-core:plutus-ir
, text
@@ -91,7 +91,7 @@ executable plc
, bytestring
, mtl
, optparse-applicative
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
, plutus-core:plutus-core-execlib
@@ -108,10 +108,10 @@ executable uplc
, haskeline
, mtl
, optparse-applicative
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
, plutus-core:plutus-core-execlib
- , plutus-metatheory ^>=1.53
+ , plutus-metatheory ^>=1.54
, prettyprinter
, serialise
, split
@@ -125,7 +125,7 @@ test-suite test-simple
build-depends:
, base
, extra
- , plutus-metatheory ^>=1.53
+ , plutus-metatheory ^>=1.54
, process
build-tool-depends:
@@ -141,8 +141,8 @@ test-suite test-detailed
, base
, directory
, extra
- , plutus-core ^>=1.53
- , plutus-metatheory ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-metatheory ^>=1.54
, process
, tasty
, tasty-hunit
diff --git a/plutus-ledger-api/CHANGELOG.md b/plutus-ledger-api/CHANGELOG.md
index c1497c69e82..38079356bfa 100644
--- a/plutus-ledger-api/CHANGELOG.md
+++ b/plutus-ledger-api/CHANGELOG.md
@@ -1,4 +1,11 @@
+
+# 1.54.0.0 — 2025-09-18
+
+## Added
+
+- Added the bls MSM built-in to plutus-core in #4255
+
# 1.51.0.0 — 2025-07-30
diff --git a/plutus-ledger-api/changelog.d/20250910_094845_thomas.vellekoop_blsmsm.md b/plutus-ledger-api/changelog.d/20250910_094845_thomas.vellekoop_blsmsm.md
deleted file mode 100644
index 6408a77f91c..00000000000
--- a/plutus-ledger-api/changelog.d/20250910_094845_thomas.vellekoop_blsmsm.md
+++ /dev/null
@@ -1,3 +0,0 @@
-### Added
-
-- Added the bls MSM built-in to plutus-core in #4255
diff --git a/plutus-ledger-api/plutus-ledger-api.cabal b/plutus-ledger-api/plutus-ledger-api.cabal
index 55bcd871e3a..76d1442e37a 100644
--- a/plutus-ledger-api/plutus-ledger-api.cabal
+++ b/plutus-ledger-api/plutus-ledger-api.cabal
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: plutus-ledger-api
-version: 1.53.0.0
+version: 1.54.0.0
license: Apache-2.0
license-files:
LICENSE
@@ -122,8 +122,8 @@ library
, lens
, mtl
, nothunks ^>=0.2
- , plutus-core ^>=1.53
- , plutus-tx ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-tx ^>=1.54
, prettyprinter
, serialise
, tagged
@@ -156,10 +156,10 @@ library plutus-ledger-api-testlib
, base64-bytestring
, bytestring
, containers
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-testlib
- , plutus-ledger-api ^>=1.53
- , plutus-tx ^>=1.53
+ , plutus-ledger-api ^>=1.54
+ , plutus-tx ^>=1.54
, prettyprinter
, QuickCheck
, serialise
@@ -195,11 +195,11 @@ test-suite plutus-ledger-api-test
, lens
, mtl
, nothunks
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-testlib
- , plutus-ledger-api ^>=1.53
+ , plutus-ledger-api ^>=1.54
, plutus-ledger-api:plutus-ledger-api-testlib
- , plutus-tx ^>=1.53
+ , plutus-tx ^>=1.54
, plutus-tx:plutus-tx-testlib
, prettyprinter
, serialise
@@ -244,12 +244,12 @@ test-suite plutus-ledger-api-plugin-test
, filepath
, lens
, mtl
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-testlib
- , plutus-ledger-api ^>=1.53
+ , plutus-ledger-api ^>=1.54
, plutus-ledger-api:plutus-ledger-api-testlib
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
, plutus-tx:plutus-tx-testlib
, prettyprinter
, QuickCheck
@@ -273,8 +273,8 @@ executable test-onchain-evaluation
, extra
, filepath
, mtl
- , plutus-core ^>=1.53
- , plutus-ledger-api ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-ledger-api ^>=1.54
, plutus-ledger-api:plutus-ledger-api-testlib
, serialise
, tasty
@@ -293,10 +293,10 @@ executable analyse-script-events
, filepath
, lens
, mtl
- , plutus-core ^>=1.53
- , plutus-ledger-api ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-ledger-api ^>=1.54
, plutus-ledger-api:plutus-ledger-api-testlib
- , plutus-tx ^>=1.53
+ , plutus-tx ^>=1.54
, primitive
, serialise
@@ -315,7 +315,7 @@ executable dump-cost-model-parameters
, containers
, extra
, optparse-applicative
- , plutus-core ^>=1.53
- , plutus-ledger-api ^>=1.53
+ , plutus-core ^>=1.54
+ , plutus-ledger-api ^>=1.54
, text
, vector
diff --git a/plutus-metatheory/plutus-metatheory.cabal b/plutus-metatheory/plutus-metatheory.cabal
index 18306ca52fc..da1a3732c35 100644
--- a/plutus-metatheory/plutus-metatheory.cabal
+++ b/plutus-metatheory/plutus-metatheory.cabal
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: plutus-metatheory
-version: 1.53.0.0
+version: 1.54.0.0
synopsis: Command line tool for running plutus core programs
homepage: https://github.com/IntersectMBO/plutus
license: Apache-2.0
@@ -79,7 +79,7 @@ library
, memory
, mtl
, optparse-applicative
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-execlib
, process
, text
@@ -381,7 +381,7 @@ executable plc-agda
main-is: Main.hs
build-depends:
, base
- , plutus-metatheory ^>=1.53
+ , plutus-metatheory ^>=1.54
test-suite test-NEAT
import: lang, os-support, ghc-version-support
@@ -394,9 +394,9 @@ test-suite test-NEAT
, data-default-class
, lazy-search
, mtl
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-testlib
- , plutus-metatheory ^>=1.53
+ , plutus-metatheory ^>=1.54
, size-based
, Stream
, tasty
@@ -418,7 +418,7 @@ test-suite test-certifier
, plutus-core
, plutus-core:plutus-core-testlib
, plutus-core:untyped-plutus-core-testlib
- , plutus-metatheory ^>=1.53
+ , plutus-metatheory ^>=1.54
, process
, tasty
, tasty-hunit
diff --git a/plutus-tx-plugin/CHANGELOG.md b/plutus-tx-plugin/CHANGELOG.md
index 9e7d8162e47..6063160267a 100644
--- a/plutus-tx-plugin/CHANGELOG.md
+++ b/plutus-tx-plugin/CHANGELOG.md
@@ -1,4 +1,11 @@
+
+# 1.54.0.0 — 2025-09-18
+
+## Added
+
+- Added the bls MSM built-in to plutus-core in #4255
+
# 1.53.0.0 — 2025-09-04
diff --git a/plutus-tx-plugin/changelog.d/20250910_094955_thomas.vellekoop_blsmsm.md b/plutus-tx-plugin/changelog.d/20250910_094955_thomas.vellekoop_blsmsm.md
deleted file mode 100644
index 6408a77f91c..00000000000
--- a/plutus-tx-plugin/changelog.d/20250910_094955_thomas.vellekoop_blsmsm.md
+++ /dev/null
@@ -1,3 +0,0 @@
-### Added
-
-- Added the bls MSM built-in to plutus-core in #4255
diff --git a/plutus-tx-plugin/plutus-tx-plugin.cabal b/plutus-tx-plugin/plutus-tx-plugin.cabal
index 237b992ff92..0d11d0e2ea2 100644
--- a/plutus-tx-plugin/plutus-tx-plugin.cabal
+++ b/plutus-tx-plugin/plutus-tx-plugin.cabal
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: plutus-tx-plugin
-version: 1.53.0.0
+version: 1.54.0.0
license: Apache-2.0
license-files:
LICENSE
@@ -84,11 +84,11 @@ library
, lens
, megaparsec
, mtl
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
, plutus-core:plutus-ir
- , plutus-metatheory ^>=1.53
- , plutus-tx ^>=1.53
+ , plutus-metatheory ^>=1.54
+ , plutus-tx ^>=1.54
, prettyprinter
, template-haskell
, text
@@ -104,7 +104,7 @@ executable gen-plugin-opts-doc
, containers
, lens
, optparse-applicative
- , plutus-tx-plugin ^>=1.53
+ , plutus-tx-plugin ^>=1.54
, prettyprinter
, PyF >=0.11.1.0
, text
@@ -193,11 +193,11 @@ test-suite plutus-tx-plugin-tests
, hedgehog
, lens
, mtl
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
, plutus-core:plutus-core-testlib
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
, plutus-tx:plutus-tx-testlib
, prettyprinter
, serialise
@@ -228,10 +228,10 @@ test-suite size
hs-source-dirs: test/size
build-depends:
, base >=4.9 && <5.0
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-testlib
- , plutus-tx ^>=1.53
- , plutus-tx-plugin ^>=1.53
+ , plutus-tx ^>=1.54
+ , plutus-tx-plugin ^>=1.54
, plutus-tx:plutus-tx-testlib
, tagged
, tasty
diff --git a/plutus-tx/CHANGELOG.md b/plutus-tx/CHANGELOG.md
index 69eacf2d701..7c508e3802c 100644
--- a/plutus-tx/CHANGELOG.md
+++ b/plutus-tx/CHANGELOG.md
@@ -1,4 +1,11 @@
+
+# 1.54.0.0 — 2025-09-18
+
+## Added
+
+- Added the bls MSM built-in to plutus-core in #4255
+
# 1.53.0.0 — 2025-09-04
diff --git a/plutus-tx/changelog.d/20250910_094941_thomas.vellekoop_blsmsm.md b/plutus-tx/changelog.d/20250910_094941_thomas.vellekoop_blsmsm.md
deleted file mode 100644
index 6408a77f91c..00000000000
--- a/plutus-tx/changelog.d/20250910_094941_thomas.vellekoop_blsmsm.md
+++ /dev/null
@@ -1,3 +0,0 @@
-### Added
-
-- Added the bls MSM built-in to plutus-core in #4255
diff --git a/plutus-tx/plutus-tx.cabal b/plutus-tx/plutus-tx.cabal
index 000388d4d59..e4a09db91e1 100644
--- a/plutus-tx/plutus-tx.cabal
+++ b/plutus-tx/plutus-tx.cabal
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: plutus-tx
-version: 1.53.0.0
+version: 1.54.0.0
license: Apache-2.0
license-files:
LICENSE
@@ -140,7 +140,7 @@ library
, lens
, memory
, mtl
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
, plutus-core:plutus-ir
, prettyprinter
@@ -181,11 +181,11 @@ library plutus-tx-testlib
, hedgehog
, lens
, mtl
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:flat
, plutus-core:plutus-core-testlib
, plutus-core:plutus-ir
- , plutus-tx ^>=1.53
+ , plutus-tx ^>=1.54
, prettyprinter
, serialise
, tasty
@@ -234,9 +234,9 @@ test-suite plutus-tx-test
, hedgehog-fn
, lens
, mtl
- , plutus-core ^>=1.53
+ , plutus-core ^>=1.54
, plutus-core:plutus-core-testlib
- , plutus-tx ^>=1.53
+ , plutus-tx ^>=1.54
, pretty-show
, serialise
, tasty