From 61b1eedf082050d89cde8db89d73aae65bc95a65 Mon Sep 17 00:00:00 2001 From: Ziyang Liu Date: Mon, 11 May 2026 12:03:55 -0700 Subject: [PATCH] Release 1.64.0.0 --- .../cardano-constitution.cabal | 18 +- doc/docusaurus/docusaurus-examples.cabal | 32 ++-- plutus-benchmark/plutus-benchmark.cabal | 160 +++++++++--------- plutus-conformance/plutus-conformance.cabal | 10 +- plutus-core/CHANGELOG.md | 7 + ..._ana.pantilie95_constant_folding_uplc_2.md | 3 - plutus-core/plutus-core.cabal | 22 +-- plutus-executables/plutus-executables.cabal | 18 +- plutus-ledger-api/plutus-ledger-api.cabal | 34 ++-- plutus-metatheory/CHANGELOG.md | 11 ++ ...0311_120000_agda_certifier_improvements.md | 7 - plutus-metatheory/plutus-metatheory.cabal | 14 +- plutus-tx-plugin/CHANGELOG.md | 19 +++ ...agda_certifier_source_location_tracking.md | 8 - ...0504_112339_unsafeFixIO_case_on_integer.md | 3 - ...505_144620_unsafeFixIO_more_unsupported.md | 4 - plutus-tx-plugin/plutus-tx-plugin.cabal | 34 ++-- plutus-tx/plutus-tx.cabal | 12 +- 18 files changed, 214 insertions(+), 202 deletions(-) delete mode 100644 plutus-core/changelog.d/20260504_235314_ana.pantilie95_constant_folding_uplc_2.md delete mode 100644 plutus-metatheory/changelog.d/20260311_120000_agda_certifier_improvements.md delete mode 100644 plutus-tx-plugin/changelog.d/20260311_120000_agda_certifier_source_location_tracking.md delete mode 100644 plutus-tx-plugin/changelog.d/20260504_112339_unsafeFixIO_case_on_integer.md delete mode 100644 plutus-tx-plugin/changelog.d/20260505_144620_unsafeFixIO_more_unsupported.md diff --git a/cardano-constitution/cardano-constitution.cabal b/cardano-constitution/cardano-constitution.cabal index 10a0e2b70bc..71c7bd3addc 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.63.0.0 +version: 1.64.0.0 license: Apache-2.0 license-files: LICENSE @@ -86,10 +86,10 @@ library , base >=4.9 && <5 , containers , filepath - , plutus-core ^>=1.63 - , plutus-ledger-api ^>=1.63 - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-core ^>=1.64 + , plutus-ledger-api ^>=1.64 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 , regex-tdfa , safe , template-haskell @@ -132,10 +132,10 @@ test-suite cardano-constitution-test , containers , directory , filepath - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.63 - , plutus-tx ^>=1.63 + , plutus-ledger-api ^>=1.64 + , plutus-tx ^>=1.64 , QuickCheck , serialise , tasty @@ -152,4 +152,4 @@ executable create-json-envelope build-depends: , base , cardano-constitution - , plutus-ledger-api ^>=1.63 + , plutus-ledger-api ^>=1.64 diff --git a/doc/docusaurus/docusaurus-examples.cabal b/doc/docusaurus/docusaurus-examples.cabal index 5375d0a4391..0a9c8ae50a8 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.63 - , plutus-ledger-api ^>=1.63 - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-core ^>=1.64 + , plutus-ledger-api ^>=1.64 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 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.63 - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-ledger-api ^>=1.64 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 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.63 - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-ledger-api ^>=1.64 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 , plutus-tx:plutus-tx-testlib , text @@ -87,9 +87,9 @@ executable example-builtin-array build-depends: , base ^>=4.18 , colourista - , plutus-core ^>=1.63 - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-core ^>=1.64 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 , plutus-tx:plutus-tx-testlib , text @@ -109,6 +109,6 @@ executable quickstart , base >=4.9 && <5 , base16-bytestring , bytestring - , plutus-ledger-api ^>=1.63 - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-ledger-api ^>=1.64 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 diff --git a/plutus-benchmark/plutus-benchmark.cabal b/plutus-benchmark/plutus-benchmark.cabal index d90336c622e..3aeb7d3e02e 100644 --- a/plutus-benchmark/plutus-benchmark.cabal +++ b/plutus-benchmark/plutus-benchmark.cabal @@ -97,9 +97,9 @@ library plutus-benchmark-common , deepseq , directory , filepath - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat - , plutus-ledger-api ^>=1.63 + , plutus-ledger-api ^>=1.64 , plutus-tx:plutus-tx-testlib , tasty , tasty-golden @@ -126,9 +126,9 @@ library nofib-internal , base >=4.9 && <5 , deepseq , plutus-benchmark-common - , plutus-core ^>=1.63 - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-core ^>=1.64 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 executable nofib-exe import: lang, ghc-version-support, os-support @@ -141,9 +141,9 @@ executable nofib-exe , nofib-internal , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat - , plutus-tx ^>=1.63 + , plutus-tx ^>=1.64 , prettyprinter , transformers @@ -181,9 +181,9 @@ test-suite plutus-benchmark-nofib-tests , base >=4.9 && <5 , nofib-internal , plutus-benchmark-common - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.63 + , plutus-tx ^>=1.64 , plutus-tx:plutus-tx-testlib , tasty , tasty-hunit @@ -210,9 +210,9 @@ library lists-internal , base >=4.9 && <5 , mtl , plutus-benchmark-common - , plutus-core ^>=1.63 - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-core ^>=1.64 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 executable list-sort-exe import: lang, ghc-version-support, os-support @@ -223,7 +223,7 @@ executable list-sort-exe , lists-internal , monoidal-containers , plutus-benchmark-common - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 benchmark lists import: lang, ghc-version-support, os-support @@ -235,7 +235,7 @@ benchmark lists , criterion >=1.5.9.0 , lists-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.63 + , plutus-ledger-api ^>=1.64 test-suite plutus-benchmark-lists-tests import: lang, ghc-version-support, os-support @@ -252,8 +252,8 @@ test-suite plutus-benchmark-lists-tests , base >=4.9 && <5 , lists-internal , plutus-benchmark-common - , plutus-core:plutus-core-testlib ^>=1.63 - , plutus-tx:plutus-tx-testlib ^>=1.63 + , plutus-core:plutus-core-testlib ^>=1.64 + , plutus-tx:plutus-tx-testlib ^>=1.64 , tasty , tasty-quickcheck @@ -267,7 +267,7 @@ library casing-internal , base >=4.9 && <5 , mtl , plutus-benchmark-common - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 benchmark casing import: lang, ghc-version-support, os-support @@ -279,7 +279,7 @@ benchmark casing , casing-internal , criterion >=1.5.9.0 , plutus-benchmark-common - , plutus-ledger-api ^>=1.63 + , plutus-ledger-api ^>=1.64 ---------------- data ---------------- @@ -292,7 +292,7 @@ library data-internal , bytestring , mtl , plutus-benchmark-common - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 benchmark data import: lang, ghc-version-support, os-support @@ -305,7 +305,7 @@ benchmark data , criterion >=1.5.9.0 , data-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.63 + , plutus-ledger-api ^>=1.64 ---------------- force-delay ---------------- @@ -324,7 +324,7 @@ library force-delay-internal , filepath , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , text @@ -337,8 +337,8 @@ benchmark force-delay , base >=4.9 && <5 , force-delay-internal , plutus-benchmark-common - , plutus-core ^>=1.63 - , plutus-ledger-api ^>=1.63 + , plutus-core ^>=1.64 + , plutus-ledger-api ^>=1.64 ---------------- validation ---------------- @@ -354,7 +354,7 @@ library validation-internal , filepath , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat benchmark validation @@ -365,8 +365,8 @@ benchmark validation build-depends: , base >=4.9 && <5 , plutus-benchmark-common - , plutus-core ^>=1.63 - , plutus-ledger-api ^>=1.63 + , plutus-core ^>=1.64 + , plutus-ledger-api ^>=1.64 , validation-internal test-suite validation-tests @@ -381,10 +381,10 @@ test-suite validation-tests , directory , filepath , plutus-benchmark-common - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.63 + , plutus-tx ^>=1.64 , plutus-tx:plutus-tx-testlib , tasty , validation-internal @@ -401,8 +401,8 @@ benchmark validation-decode , bytestring , criterion >=1.5.9.0 , deepseq - , plutus-core ^>=1.63 - , plutus-ledger-api ^>=1.63 + , plutus-core ^>=1.64 + , plutus-ledger-api ^>=1.64 , validation-internal ---------------- validation-full ---------------- @@ -417,8 +417,8 @@ benchmark validation-full , bytestring , criterion >=1.5.9.0 , deepseq - , plutus-core ^>=1.63 - , plutus-ledger-api ^>=1.63 + , plutus-core ^>=1.64 + , plutus-ledger-api ^>=1.64 , validation-internal ---------------- Cek cost model calibration ---------------- @@ -435,10 +435,10 @@ benchmark cek-calibration , lens , mtl , plutus-benchmark-common - , plutus-core ^>=1.63 - , plutus-ledger-api ^>=1.63 - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-core ^>=1.64 + , plutus-ledger-api ^>=1.64 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 ---------------- Signature verification throughput ---------------- @@ -454,9 +454,9 @@ executable ed25519-costs , cardano-crypto-class , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.63 - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-core ^>=1.64 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 -- Calculate the predicted costs of sequences of ed25519 signature verification -- operations and compare them with a golden file. @@ -473,10 +473,10 @@ test-suite ed25519-costs-test , cardano-crypto-class , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 ---------------- BLS12-381 experiments ---------------- @@ -494,10 +494,10 @@ library bls12-381lib-internal , bytestring , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.63 - , plutus-ledger-api ^>=1.63 - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-core ^>=1.64 + , plutus-ledger-api ^>=1.64 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 -- Print out predicted costs of various scripts involving BLS12-381 operations executable bls12-381-costs @@ -521,7 +521,7 @@ test-suite bls12-381-costs-test , base >=4.9 && <5 , bls12-381lib-internal , plutus-benchmark-common - , plutus-core:plutus-core-testlib ^>=1.63 + , plutus-core:plutus-core-testlib ^>=1.64 -- Run benchmarks for various scripts involving BLS12-381 operations benchmark bls12-381-benchmarks @@ -535,8 +535,8 @@ benchmark bls12-381-benchmarks , bytestring , criterion >=1.5.9.0 , plutus-benchmark-common - , plutus-ledger-api ^>=1.63 - , plutus-tx ^>=1.63 + , plutus-ledger-api ^>=1.64 + , plutus-tx ^>=1.64 ---------------- script contexts ---------------- @@ -553,9 +553,9 @@ library script-contexts-internal build-depends: , base >=4.9 && <5 - , plutus-ledger-api ^>=1.63 - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-ledger-api ^>=1.64 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 test-suite plutus-benchmark-script-contexts-tests import: lang, ghc-version-support, os-support @@ -571,8 +571,8 @@ test-suite plutus-benchmark-script-contexts-tests build-depends: , base >=4.9 && <5 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 , plutus-tx:plutus-tx-testlib , script-contexts-internal , tasty @@ -603,12 +603,12 @@ library marlowe-internal , mtl , newtype-generics , plutus-benchmark-common - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat - , plutus-ledger-api ^>=1.63 + , plutus-ledger-api ^>=1.64 , plutus-ledger-api:plutus-execlib - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 , serialise executable marlowe-validators @@ -629,8 +629,8 @@ executable marlowe-validators , filepath , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.63 - , plutus-tx ^>=1.63 + , plutus-ledger-api ^>=1.64 + , plutus-tx ^>=1.64 , serialise benchmark marlowe @@ -645,7 +645,7 @@ benchmark marlowe , filepath , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.63 + , plutus-ledger-api ^>=1.64 test-suite plutus-benchmark-marlowe-tests import: lang, ghc-version-support, os-support @@ -662,9 +662,9 @@ test-suite plutus-benchmark-marlowe-tests , marlowe-internal , mtl , plutus-benchmark-common - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.63 + , plutus-ledger-api ^>=1.64 , tabular , tasty , tasty-golden @@ -682,8 +682,8 @@ library agda-internal build-depends: , base >=4.9 && <5 , criterion - , plutus-core ^>=1.63 - , plutus-metatheory ^>=1.63 + , plutus-core ^>=1.64 + , plutus-metatheory ^>=1.64 benchmark validation-agda-cek import: lang, ghc-version-support, os-support, @@ -695,7 +695,7 @@ benchmark validation-agda-cek , base >=4.9 && <5 , deepseq , plutus-benchmark-common - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , validation-internal benchmark nofib-agda-cek @@ -724,7 +724,7 @@ benchmark marlowe-agda-cek , filepath , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.63 + , plutus-ledger-api ^>=1.64 -------------------- bitwise ----------------------- @@ -740,8 +740,8 @@ library bitwise-internal build-depends: , base - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 test-suite bitwise-test import: lang, ghc-version-support, os-support @@ -753,8 +753,8 @@ test-suite bitwise-test , bitwise-internal , cryptohash-sha512 , ed25519 - , plutus-core:plutus-core-testlib ^>=1.63 - , plutus-tx ^>=1.63 + , plutus-core:plutus-core-testlib ^>=1.64 + , plutus-tx ^>=1.64 , plutus-tx:plutus-tx-testlib , tasty , tasty-hunit @@ -769,7 +769,7 @@ benchmark bitwise-bench , bitwise-internal , criterion , plutus-benchmark-common - , plutus-tx ^>=1.63 + , plutus-tx ^>=1.64 ------------------ linear vesting ------------------- @@ -817,8 +817,8 @@ library coop , lens , memory , plutus-ledger-api - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 , QuickCheck test-suite coop-test @@ -829,9 +829,9 @@ test-suite coop-test build-depends: , base >=4.9 && <5 , coop - , plutus-core:plutus-core-testlib ^>=1.63 + , plutus-core:plutus-core-testlib ^>=1.64 , plutus-ledger-api - , plutus-tx ^>=1.63 + , plutus-tx ^>=1.64 , plutus-tx:plutus-tx-testlib , tasty @@ -849,7 +849,7 @@ executable gen-coop-flat , plutus-core , plutus-core:flat , plutus-ledger-api - , plutus-tx ^>=1.63 + , plutus-tx ^>=1.64 , plutus-tx:plutus-tx-testlib ------------------ linear vesting ------------------- @@ -862,7 +862,7 @@ test-suite linear-vesting-test build-depends: , base >=4.9 && <5 , linear-vesting-internal - , plutus-core:plutus-core-testlib ^>=1.63 + , plutus-core:plutus-core-testlib ^>=1.64 , plutus-tx:plutus-tx-testlib , tasty @@ -898,7 +898,7 @@ test-suite cardano-loans-test build-depends: , base >=4.9 && <5 , cardano-loans-internal - , plutus-core:plutus-core-testlib ^>=1.63 + , plutus-core:plutus-core-testlib ^>=1.64 , plutus-tx:plutus-tx-testlib , tasty @@ -935,7 +935,7 @@ executable uplc-evaluator , directory , filepath , optparse-applicative - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , text , uuid , with-utf8 diff --git a/plutus-conformance/plutus-conformance.cabal b/plutus-conformance/plutus-conformance.cabal index 3cbf4c0df16..15654f2cef3 100644 --- a/plutus-conformance/plutus-conformance.cabal +++ b/plutus-conformance/plutus-conformance.cabal @@ -56,7 +56,7 @@ library , base , directory , filepath - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , 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.63 + , plutus-core ^>=1.64 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.63 + , plutus-core ^>=1.64 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.63 - , plutus-metatheory ^>=1.63 + , plutus-core ^>=1.64 + , plutus-metatheory ^>=1.64 , transformers diff --git a/plutus-core/CHANGELOG.md b/plutus-core/CHANGELOG.md index 16444b3850f..ef17f322d6a 100644 --- a/plutus-core/CHANGELOG.md +++ b/plutus-core/CHANGELOG.md @@ -1,4 +1,11 @@ + +# 1.64.0.0 — 2026-05-11 + +## Added + +- The UPLC optimizer now also simplifies terms by evaluating builtins. + # 1.63.0.0 — 2026-05-01 diff --git a/plutus-core/changelog.d/20260504_235314_ana.pantilie95_constant_folding_uplc_2.md b/plutus-core/changelog.d/20260504_235314_ana.pantilie95_constant_folding_uplc_2.md deleted file mode 100644 index b138ef87450..00000000000 --- a/plutus-core/changelog.d/20260504_235314_ana.pantilie95_constant_folding_uplc_2.md +++ /dev/null @@ -1,3 +0,0 @@ -### Added - -- The UPLC optimizer now also simplifies terms by evaluating builtins. diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal index a510e488621..6c228e739f5 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.63.0.0 +version: 1.64.0.0 license: Apache-2.0 license-files: LICENSE @@ -407,7 +407,7 @@ test-suite plutus-core-test , hedgehog , mmorph , mtl - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , plutus-core:plutus-core-testlib , prettyprinter @@ -505,7 +505,7 @@ library untyped-plutus-core-testlib , lens , megaparsec , mtl - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , plutus-core:plutus-core-testlib , pretty-show @@ -613,7 +613,7 @@ library plutus-ir , mtl , multiset , parser-combinators >=0.4.0 - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , prettyprinter >=1.1.0.1 , profunctors @@ -679,7 +679,7 @@ test-suite plutus-ir-test , hedgehog , lens , mtl - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , plutus-core:plutus-core-testlib , plutus-core:plutus-ir @@ -759,7 +759,7 @@ library plutus-core-testlib , mmorph , mtl , multiset - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:plutus-ir , pretty-simple , prettyprinter >=1.1.0.1 @@ -797,7 +797,7 @@ library plutus-ir-cert exposed-modules: PlutusIR.Certifier build-depends: , base - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:plutus-ir ---------------------------------------------- @@ -844,7 +844,7 @@ executable cost-model-budgeting-bench , hedgehog , mtl , optparse-applicative - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , QuickCheck , quickcheck-instances , random @@ -883,7 +883,7 @@ executable generate-cost-model , directory , inline-r >=1.0.1 , optparse-applicative - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , text -- , exceptions @@ -927,7 +927,7 @@ benchmark cost-model-test , hedgehog , inline-r >=1.0.1 , mmorph - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , template-haskell , text @@ -944,7 +944,7 @@ executable print-cost-model , aeson , base >=4.9 && <5 , bytestring - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 -- Golden file generator for Flat encoding stability tests. ---------------------------------------------- diff --git a/plutus-executables/plutus-executables.cabal b/plutus-executables/plutus-executables.cabal index e1b3bf30d03..e8f59c29367 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.63.0.0 +version: 1.64.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.63 + , plutus-core ^>=1.64 , plutus-core:plutus-ir , plutus-ledger-api:plutus-execlib , text @@ -91,7 +91,7 @@ executable plc , bytestring , mtl , optparse-applicative - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , plutus-ledger-api:plutus-execlib @@ -111,10 +111,10 @@ executable uplc , haskeline , mtl , optparse-applicative - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , plutus-ledger-api:plutus-execlib - , plutus-metatheory ^>=1.63 + , plutus-metatheory ^>=1.64 , prettyprinter , serialise , split @@ -169,7 +169,7 @@ executable plutus , microlens-th ^>=0.4 , mono-traversable , mtl - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , plutus-core:plutus-ir , prettyprinter @@ -195,7 +195,7 @@ test-suite test-simple build-depends: , base , extra - , plutus-metatheory ^>=1.63 + , plutus-metatheory ^>=1.64 , process build-tool-depends: @@ -214,8 +214,8 @@ test-suite test-detailed , directory , extra , filepath - , plutus-core ^>=1.63 - , plutus-metatheory ^>=1.63 + , plutus-core ^>=1.64 + , plutus-metatheory ^>=1.64 , process , tasty , tasty-hunit diff --git a/plutus-ledger-api/plutus-ledger-api.cabal b/plutus-ledger-api/plutus-ledger-api.cabal index 62c76fb238f..19d21a9865c 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.63.0.0 +version: 1.64.0.0 license: Apache-2.0 license-files: LICENSE @@ -118,8 +118,8 @@ library , lens , mtl , nothunks >=0.2 && <0.4 - , plutus-core ^>=1.63 - , plutus-tx ^>=1.63 + , plutus-core ^>=1.64 + , plutus-tx ^>=1.64 , prettyprinter , serialise , tagged @@ -150,7 +150,7 @@ library plutus-execlib , monoidal-containers , mtl , optparse-applicative - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , plutus-core:plutus-core-testlib , plutus-core:plutus-ir @@ -190,10 +190,10 @@ library plutus-ledger-api-testlib , bytestring , containers , lens - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.63 - , plutus-tx ^>=1.63 + , plutus-ledger-api ^>=1.64 + , plutus-tx ^>=1.64 , prettyprinter , QuickCheck , serialise @@ -237,11 +237,11 @@ test-suite plutus-ledger-api-test , lens , mtl , nothunks - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.63 + , plutus-ledger-api ^>=1.64 , plutus-ledger-api:plutus-ledger-api-testlib - , plutus-tx ^>=1.63 + , plutus-tx ^>=1.64 , plutus-tx:plutus-tx-testlib , prettyprinter , serialise @@ -301,8 +301,8 @@ executable test-onchain-evaluation , extra , filepath , mtl - , plutus-core ^>=1.63 - , plutus-ledger-api ^>=1.63 + , plutus-core ^>=1.64 + , plutus-ledger-api ^>=1.64 , plutus-ledger-api:plutus-ledger-api-testlib , serialise , tasty @@ -321,10 +321,10 @@ executable analyse-script-events , filepath , lens , mtl - , plutus-core ^>=1.63 - , plutus-ledger-api ^>=1.63 + , plutus-core ^>=1.64 + , plutus-ledger-api ^>=1.64 , plutus-ledger-api:plutus-ledger-api-testlib - , plutus-tx ^>=1.63 + , plutus-tx ^>=1.64 , primitive , serialise @@ -343,7 +343,7 @@ executable dump-cost-model-parameters , containers , extra , optparse-applicative - , plutus-core ^>=1.63 - , plutus-ledger-api ^>=1.63 + , plutus-core ^>=1.64 + , plutus-ledger-api ^>=1.64 , text , vector diff --git a/plutus-metatheory/CHANGELOG.md b/plutus-metatheory/CHANGELOG.md index 665a054aa4e..063fa62089e 100644 --- a/plutus-metatheory/CHANGELOG.md +++ b/plutus-metatheory/CHANGELOG.md @@ -1,4 +1,15 @@ + +# 1.64.0.0 — 2026-05-11 + +## Changed + +- `InvalidCertificate` error now includes the certifier report text for better + diagnostics. +- Use `createDirectoryIfMissing` instead of `createDirectory` to avoid failures + when certificate directories already exist. +- Removed noisy console output from `runCertifier` (result and path messages). + # 1.63.0.0 — 2026-05-01 diff --git a/plutus-metatheory/changelog.d/20260311_120000_agda_certifier_improvements.md b/plutus-metatheory/changelog.d/20260311_120000_agda_certifier_improvements.md deleted file mode 100644 index 39d92e671a3..00000000000 --- a/plutus-metatheory/changelog.d/20260311_120000_agda_certifier_improvements.md +++ /dev/null @@ -1,7 +0,0 @@ -### Changed - -- `InvalidCertificate` error now includes the certifier report text for better - diagnostics. -- Use `createDirectoryIfMissing` instead of `createDirectory` to avoid failures - when certificate directories already exist. -- Removed noisy console output from `runCertifier` (result and path messages). diff --git a/plutus-metatheory/plutus-metatheory.cabal b/plutus-metatheory/plutus-metatheory.cabal index f49da903ef1..ea37ef73385 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.63.0.0 +version: 1.64.0.0 synopsis: Command line tool for running plutus core programs homepage: https://github.com/IntersectMBO/plutus license: Apache-2.0 @@ -83,7 +83,7 @@ library , filepath , mtl , optparse-applicative - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-ledger-api , plutus-ledger-api:plutus-execlib , prettyprinter @@ -403,7 +403,7 @@ executable plc-agda main-is: Main.hs build-depends: , base - , plutus-metatheory ^>=1.63 + , plutus-metatheory ^>=1.64 test-suite test-NEAT import: lang, os-support, ghc-version-support @@ -416,9 +416,9 @@ test-suite test-NEAT , data-default-class , lazy-search , mtl - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:plutus-core-testlib - , plutus-metatheory ^>=1.63 + , plutus-metatheory ^>=1.64 , tasty , tasty-hunit @@ -436,7 +436,7 @@ test-suite test-certifier , base , plutus-core , plutus-core:untyped-plutus-core-testlib - , plutus-metatheory ^>=1.63 + , plutus-metatheory ^>=1.64 , tasty , tasty-hunit , text @@ -459,7 +459,7 @@ test-suite test-certifier-report , plutus-core , plutus-ledger-api , plutus-ledger-api:plutus-execlib - , plutus-metatheory ^>=1.63 + , plutus-metatheory ^>=1.64 , plutus-tx , tasty , tasty-golden diff --git a/plutus-tx-plugin/CHANGELOG.md b/plutus-tx-plugin/CHANGELOG.md index 33c3ecf5c6e..303023d3e9f 100644 --- a/plutus-tx-plugin/CHANGELOG.md +++ b/plutus-tx-plugin/CHANGELOG.md @@ -1,4 +1,23 @@ + +# 1.64.0.0 — 2026-05-11 + +## Added + +- `certify` plugin option to trigger Agda certificate generation for compiled + Plutus scripts. Each certificate is written to a directory named + `_-.agda-cert`, where `` is a random 6-char + alphanumeric tag. +- `generateCertificate` top-level function that invokes the certifier with + package and module names. + +- Detailed error message for unsupported casing on Integer. + +## Changed + +- Improved error reporting for a few unsupported types: `Float`, `Double`, + `Ratio`, `Text`, `ByteString`. + # 1.63.0.0 — 2026-05-01 diff --git a/plutus-tx-plugin/changelog.d/20260311_120000_agda_certifier_source_location_tracking.md b/plutus-tx-plugin/changelog.d/20260311_120000_agda_certifier_source_location_tracking.md deleted file mode 100644 index b997e2946f6..00000000000 --- a/plutus-tx-plugin/changelog.d/20260311_120000_agda_certifier_source_location_tracking.md +++ /dev/null @@ -1,8 +0,0 @@ -### Added - -- `certify` plugin option to trigger Agda certificate generation for compiled - Plutus scripts. Each certificate is written to a directory named - `_-.agda-cert`, where `` is a random 6-char - alphanumeric tag. -- `generateCertificate` top-level function that invokes the certifier with - package and module names. diff --git a/plutus-tx-plugin/changelog.d/20260504_112339_unsafeFixIO_case_on_integer.md b/plutus-tx-plugin/changelog.d/20260504_112339_unsafeFixIO_case_on_integer.md deleted file mode 100644 index 476adbd8d76..00000000000 --- a/plutus-tx-plugin/changelog.d/20260504_112339_unsafeFixIO_case_on_integer.md +++ /dev/null @@ -1,3 +0,0 @@ -### Added - -- Detailed error message for unsupported casing on Integer. diff --git a/plutus-tx-plugin/changelog.d/20260505_144620_unsafeFixIO_more_unsupported.md b/plutus-tx-plugin/changelog.d/20260505_144620_unsafeFixIO_more_unsupported.md deleted file mode 100644 index da8b110789d..00000000000 --- a/plutus-tx-plugin/changelog.d/20260505_144620_unsafeFixIO_more_unsupported.md +++ /dev/null @@ -1,4 +0,0 @@ -### Changed - -- Improved error reporting for a few unsupported types: `Float`, `Double`, - `Ratio`, `Text`, `ByteString`. diff --git a/plutus-tx-plugin/plutus-tx-plugin.cabal b/plutus-tx-plugin/plutus-tx-plugin.cabal index a04441db9f5..06cfa3d7727 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.63.0.0 +version: 1.64.0.0 license: Apache-2.0 license-files: LICENSE @@ -91,11 +91,11 @@ library , ghc-boot , lens , mtl - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , plutus-core:plutus-ir - , plutus-metatheory ^>=1.63 - , plutus-tx ^>=1.63 + , plutus-metatheory ^>=1.64 + , plutus-tx ^>=1.64 , prettyprinter , random , regex-tdfa @@ -113,7 +113,7 @@ executable gen-plugin-opts-doc , containers , lens , optparse-applicative - , plutus-tx-plugin ^>=1.63 + , plutus-tx-plugin ^>=1.64 , prettyprinter , PyF >=0.11.1.0 , text @@ -209,11 +209,11 @@ test-suite plutus-tx-plugin-tests , hedgehog , lens , mtl - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 , plutus-tx:plutus-tx-testlib , prettyprinter , serialise @@ -248,8 +248,8 @@ test-suite frontend-plugin-tests build-depends: , base >=4.9 && <5 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 , plutus-tx:plutus-tx-testlib , tasty @@ -290,12 +290,12 @@ test-suite plutus-ledger-api-plugin-test , filepath , lens , mtl - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.63 + , plutus-ledger-api ^>=1.64 , plutus-ledger-api:plutus-ledger-api-testlib - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 , plutus-tx:plutus-tx-testlib , prettyprinter , QuickCheck @@ -314,10 +314,10 @@ test-suite size hs-source-dirs: test/AstSize build-depends: , base >=4.9 && <5.0 - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.63 - , plutus-tx-plugin ^>=1.63 + , plutus-tx ^>=1.64 + , plutus-tx-plugin ^>=1.64 , plutus-tx:plutus-tx-testlib , tagged , tasty diff --git a/plutus-tx/plutus-tx.cabal b/plutus-tx/plutus-tx.cabal index 369020cf3f5..6c2317c8ce7 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.63.0.0 +version: 1.64.0.0 license: Apache-2.0 license-files: LICENSE @@ -151,7 +151,7 @@ library , lens , memory , mtl - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , plutus-core:plutus-ir , prettyprinter @@ -193,11 +193,11 @@ library plutus-tx-testlib , hedgehog , lens , mtl - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:flat , plutus-core:plutus-core-testlib , plutus-core:plutus-ir - , plutus-tx ^>=1.63 + , plutus-tx ^>=1.64 , prettyprinter , serialise , tasty @@ -250,9 +250,9 @@ test-suite plutus-tx-test , hedgehog-fn , lens , mtl - , plutus-core ^>=1.63 + , plutus-core ^>=1.64 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.63 + , plutus-tx ^>=1.64 , plutus-tx:plutus-tx-testlib , pretty-show , serialise