From 832e119989e3d9c49b939ae11f152e46b3314e7f Mon Sep 17 00:00:00 2001 From: Ramsay Taylor Date: Wed, 29 Jan 2025 13:06:10 +0000 Subject: [PATCH] Release 1.40.0.0 (#6794) --- .../cardano-constitution.cabal | 16 +-- doc/docusaurus/docusaurus-examples.cabal | 28 +--- plutus-benchmark/plutus-benchmark.cabal | 130 +++++++++--------- plutus-conformance/plutus-conformance.cabal | 8 +- plutus-core/CHANGELOG.md | 13 ++ ...lly_statically_unroll_itraverseCounter_.md | 3 - ...rg_use_unsafeShiftL_instead_of_multiply.md | 3 - ...0250114_110640_bezirg_steppable_sop_fix.md | 3 - plutus-core/plutus-core.cabal | 30 ++-- plutus-executables/plutus-executables.cabal | 10 +- plutus-ledger-api/plutus-ledger-api.cabal | 36 ++--- plutus-metatheory/plutus-metatheory.cabal | 4 +- plutus-tx-plugin/plutus-tx-plugin.cabal | 20 +-- plutus-tx-test-util/plutus-tx-test-util.cabal | 4 +- plutus-tx/plutus-tx.cabal | 12 +- 15 files changed, 154 insertions(+), 166 deletions(-) delete mode 100644 plutus-core/changelog.d/20241126_025636_effectfully_statically_unroll_itraverseCounter_.md delete mode 100644 plutus-core/changelog.d/20241217_134339_bezirg_use_unsafeShiftL_instead_of_multiply.md delete mode 100644 plutus-core/changelog.d/20250114_110640_bezirg_steppable_sop_fix.md diff --git a/cardano-constitution/cardano-constitution.cabal b/cardano-constitution/cardano-constitution.cabal index a2387bd978d..de8e54cf5b5 100644 --- a/cardano-constitution/cardano-constitution.cabal +++ b/cardano-constitution/cardano-constitution.cabal @@ -86,10 +86,10 @@ library , base >=4.9 && <5 , containers , filepath - , plutus-core ^>=1.39 - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 - , plutus-tx-plugin ^>=1.39 + , plutus-core ^>=1.40 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 + , plutus-tx-plugin ^>=1.40 , regex-tdfa , safe , template-haskell @@ -132,10 +132,10 @@ test-suite cardano-constitution-test , containers , directory , filepath - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 , QuickCheck , serialise , tasty @@ -160,4 +160,4 @@ executable create-json-envelope , base , cardano-api , cardano-constitution - , plutus-ledger-api ^>=1.39 + , plutus-ledger-api ^>=1.40 diff --git a/doc/docusaurus/docusaurus-examples.cabal b/doc/docusaurus/docusaurus-examples.cabal index d25345ee8c5..eec1005b01c 100644 --- a/doc/docusaurus/docusaurus-examples.cabal +++ b/doc/docusaurus/docusaurus-examples.cabal @@ -39,12 +39,12 @@ library docusaurus-code build-depends: , base >=4.9 && <5 - , plutus-core ^>=1.39 - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 + , plutus-core ^>=1.40 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 if !(impl(ghcjs) || os(ghcjs)) - build-depends: plutus-tx-plugin ^>=1.39 + build-depends: plutus-tx-plugin ^>=1.40 executable example-cip57 import: lang, ghc-version-support, os-support @@ -55,21 +55,5 @@ executable example-cip57 build-depends: , base ^>=4.18 , containers - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 - -executable quickstart - import: lang, ghc-version-support, os-support - main-is: QuickStart.hs - hs-source-dirs: static/code - default-language: Haskell2010 - other-modules: AuctionValidator - build-depends: - , base >=4.9 && <5 - , base16-bytestring - , bytestring - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 - - if !(impl(ghcjs) || os(ghcjs)) - build-depends: plutus-tx-plugin ^>=1.39 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 diff --git a/plutus-benchmark/plutus-benchmark.cabal b/plutus-benchmark/plutus-benchmark.cabal index 76b2568a3ca..7da5ea96129 100644 --- a/plutus-benchmark/plutus-benchmark.cabal +++ b/plutus-benchmark/plutus-benchmark.cabal @@ -94,8 +94,8 @@ library plutus-benchmark-common , directory , filepath , flat ^>=0.6 - , plutus-core ^>=1.39 - , plutus-ledger-api ^>=1.39 + , plutus-core ^>=1.40 + , plutus-ledger-api ^>=1.40 , plutus-tx-test-util , tasty , tasty-golden @@ -122,9 +122,9 @@ library nofib-internal , base >=4.9 && <5 , deepseq , plutus-benchmark-common - , plutus-core ^>=1.39 - , plutus-tx ^>=1.39 - , plutus-tx-plugin ^>=1.39 + , plutus-core ^>=1.40 + , plutus-tx ^>=1.40 + , plutus-tx-plugin ^>=1.40 executable nofib-exe import: lang, ghc-version-support, os-support @@ -138,8 +138,8 @@ executable nofib-exe , nofib-internal , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.39 - , plutus-tx ^>=1.39 + , plutus-core ^>=1.40 + , plutus-tx ^>=1.40 , prettyprinter , transformers @@ -177,9 +177,9 @@ test-suite plutus-benchmark-nofib-tests , base >=4.9 && <5 , nofib-internal , plutus-benchmark-common - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.39 + , plutus-tx ^>=1.40 , 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.39 - , plutus-tx ^>=1.39 - , plutus-tx-plugin ^>=1.39 + , plutus-core ^>=1.40 + , plutus-tx ^>=1.40 + , plutus-tx-plugin ^>=1.40 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.39 + , plutus-core ^>=1.40 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.39 + , plutus-ledger-api ^>=1.40 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.39 - , plutus-tx:plutus-tx-testlib ^>=1.39 + , plutus-core:plutus-core-testlib ^>=1.40 + , plutus-tx:plutus-tx-testlib ^>=1.40 , tasty , tasty-quickcheck @@ -270,8 +270,8 @@ benchmark validation , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.39 - , plutus-ledger-api ^>=1.39 + , plutus-core ^>=1.40 + , plutus-ledger-api ^>=1.40 ---------------- validation-decode ---------------- @@ -291,8 +291,8 @@ benchmark validation-decode , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.39 - , plutus-ledger-api ^>=1.39 + , plutus-core ^>=1.40 + , plutus-ledger-api ^>=1.40 ---------------- validation-full ---------------- @@ -312,8 +312,8 @@ benchmark validation-full , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.39 - , plutus-ledger-api ^>=1.39 + , plutus-core ^>=1.40 + , plutus-ledger-api ^>=1.40 ---------------- Cek cost model calibration ---------------- @@ -329,10 +329,10 @@ benchmark cek-calibration , lens , mtl , plutus-benchmark-common - , plutus-core ^>=1.39 - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 - , plutus-tx-plugin ^>=1.39 + , plutus-core ^>=1.40 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 + , plutus-tx-plugin ^>=1.40 ---------------- Signature verification throughput ---------------- @@ -348,9 +348,9 @@ executable ed25519-costs , cardano-crypto-class , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.39 - , plutus-tx ^>=1.39 - , plutus-tx-plugin ^>=1.39 + , plutus-core ^>=1.40 + , plutus-tx ^>=1.40 + , plutus-tx-plugin ^>=1.40 -- Calculate the predicted costs of sequences of ed25519 signature verification -- operations and compare them with a golden file. @@ -367,10 +367,10 @@ test-suite ed25519-costs-test , cardano-crypto-class , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.39 - , plutus-tx-plugin ^>=1.39 + , plutus-tx ^>=1.40 + , plutus-tx-plugin ^>=1.40 ---------------- BLS12-381 experiments ---------------- @@ -388,10 +388,10 @@ library bls12-381lib-internal , bytestring , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.39 - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 - , plutus-tx-plugin ^>=1.39 + , plutus-core ^>=1.40 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 + , plutus-tx-plugin ^>=1.40 -- Print out predicted costs of various scripts involving BLS12-381 operations executable bls12-381-costs @@ -415,7 +415,7 @@ test-suite bls12-381-costs-test , base >=4.9 && <5 , bls12-381lib-internal , plutus-benchmark-common - , plutus-core:plutus-core-testlib ^>=1.39 + , plutus-core:plutus-core-testlib ^>=1.40 -- Run benchmarks for various scripts involving BLS12-381 operations benchmark bls12-381-benchmarks @@ -429,8 +429,8 @@ benchmark bls12-381-benchmarks , bytestring , criterion >=1.5.9.0 , plutus-benchmark-common - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 ---------------- script contexts ---------------- @@ -447,9 +447,9 @@ library script-contexts-internal build-depends: , base >=4.9 && <5 - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 - , plutus-tx-plugin ^>=1.39 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 + , plutus-tx-plugin ^>=1.40 test-suite plutus-benchmark-script-contexts-tests import: lang, ghc-version-support, os-support @@ -465,9 +465,9 @@ test-suite plutus-benchmark-script-contexts-tests build-depends: , base >=4.9 && <5 , plutus-benchmark-common - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib - , plutus-tx:plutus-tx-testlib ^>=1.39 + , plutus-tx:plutus-tx-testlib ^>=1.40 , script-contexts-internal , tasty , tasty-hunit @@ -490,17 +490,17 @@ library marlowe-internal build-depends: , base , bytestring - , cardano-crypto-class + , cardano-crypto-class ^>=2.1.5 , directory , filepath , mtl , newtype-generics , plutus-benchmark-common - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-execlib - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 - , plutus-tx-plugin ^>=1.39 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 + , plutus-tx-plugin ^>=1.40 , serialise executable marlowe-validators @@ -520,8 +520,8 @@ executable marlowe-validators , cardano-binary , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 , serialise benchmark marlowe @@ -535,8 +535,8 @@ benchmark marlowe , criterion , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 test-suite plutus-benchmark-marlowe-tests import: lang, ghc-version-support, os-support @@ -548,10 +548,10 @@ test-suite plutus-benchmark-marlowe-tests build-depends: , base >=4.9 && <5 , marlowe-internal - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 , plutus-tx:plutus-tx-testlib , tasty @@ -566,7 +566,7 @@ library agda-internal build-depends: , base >=4.9 && <5 , criterion - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-metatheory benchmark validation-agda-cek @@ -586,7 +586,7 @@ benchmark validation-agda-cek , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 benchmark nofib-agda-cek import: lang, ghc-version-support, os-support @@ -613,8 +613,8 @@ benchmark marlowe-agda-cek , criterion , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 -------------------- bitwise----------------------- @@ -630,8 +630,8 @@ library bitwise-internal build-depends: , base - , plutus-tx ^>=1.39 - , plutus-tx-plugin ^>=1.39 + , plutus-tx ^>=1.40 + , plutus-tx-plugin ^>=1.40 test-suite bitwise-test import: lang, ghc-version-support, os-support @@ -643,8 +643,8 @@ test-suite bitwise-test , bitwise-internal , cryptohash-sha512 , ed25519 - , plutus-core:plutus-core-testlib ^>=1.39 - , plutus-tx ^>=1.39 + , plutus-core:plutus-core-testlib ^>=1.40 + , plutus-tx ^>=1.40 , plutus-tx:plutus-tx-testlib , tasty , tasty-hunit @@ -659,4 +659,4 @@ benchmark bitwise-bench , bitwise-internal , criterion , plutus-benchmark-common - , plutus-tx ^>=1.39 + , plutus-tx ^>=1.40 diff --git a/plutus-conformance/plutus-conformance.cabal b/plutus-conformance/plutus-conformance.cabal index 26b24882404..2ad60643b70 100644 --- a/plutus-conformance/plutus-conformance.cabal +++ b/plutus-conformance/plutus-conformance.cabal @@ -52,7 +52,7 @@ library , base , directory , filepath - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib , tasty , tasty-expected-failure @@ -76,7 +76,7 @@ test-suite haskell-conformance build-depends: , base >=4.9 && <5 , plutus-conformance - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 test-suite haskell-steppable-conformance import: lang, os-support @@ -88,7 +88,7 @@ test-suite haskell-steppable-conformance build-depends: , base >=4.9 && <5 , plutus-conformance - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 test-suite agda-conformance import: lang, os-support @@ -101,6 +101,6 @@ test-suite agda-conformance , aeson , base >=4.9 && <5 , plutus-conformance - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-metatheory , transformers diff --git a/plutus-core/CHANGELOG.md b/plutus-core/CHANGELOG.md index e748d2f8d45..71601d58f29 100644 --- a/plutus-core/CHANGELOG.md +++ b/plutus-core/CHANGELOG.md @@ -1,4 +1,17 @@ + +# 1.40.0.0 — 2025-01-16 + +## Changed + +- In #5265 made `itraverseCounter_` faster increasing overall performance of the evaluator by 2.5%. + +- In #6737 made the the CEK creation operation marginally faster by resorting to bit manipulation + +## Fixed + +- Fix the Steppable CEK machine to correctly "pause/step" in case of SOPs. + # 1.39.0.0 — 2024-12-20 diff --git a/plutus-core/changelog.d/20241126_025636_effectfully_statically_unroll_itraverseCounter_.md b/plutus-core/changelog.d/20241126_025636_effectfully_statically_unroll_itraverseCounter_.md deleted file mode 100644 index 4e84188ab82..00000000000 --- a/plutus-core/changelog.d/20241126_025636_effectfully_statically_unroll_itraverseCounter_.md +++ /dev/null @@ -1,3 +0,0 @@ -### Changed - -- In #5265 made `itraverseCounter_` faster increasing overall performance of the evaluator by 2.5%. diff --git a/plutus-core/changelog.d/20241217_134339_bezirg_use_unsafeShiftL_instead_of_multiply.md b/plutus-core/changelog.d/20241217_134339_bezirg_use_unsafeShiftL_instead_of_multiply.md deleted file mode 100644 index 8ef40b783ae..00000000000 --- a/plutus-core/changelog.d/20241217_134339_bezirg_use_unsafeShiftL_instead_of_multiply.md +++ /dev/null @@ -1,3 +0,0 @@ -### Changed - -- In #6737 made the the CEK creation operation marginally faster by resorting to bit manipulation diff --git a/plutus-core/changelog.d/20250114_110640_bezirg_steppable_sop_fix.md b/plutus-core/changelog.d/20250114_110640_bezirg_steppable_sop_fix.md deleted file mode 100644 index 7a086724790..00000000000 --- a/plutus-core/changelog.d/20250114_110640_bezirg_steppable_sop_fix.md +++ /dev/null @@ -1,3 +0,0 @@ -### Fixed - -- Fix the Steppable CEK machine to correctly "pause/step" in case of SOPs. diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal index 316b0e29f36..797f3900882 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.39.0.0 +version: 1.40.0.0 license: Apache-2.0 license-files: LICENSE @@ -293,8 +293,8 @@ library , bimap , bytestring , bytestring-strict-builder - , cardano-crypto >=1.2 - , cardano-crypto-class ^>=2.2 + , cardano-crypto + , cardano-crypto-class ^>=2.1.5 , cassava , cborg , composition-prelude >=1.1.0.1 @@ -388,7 +388,7 @@ test-suite plutus-core-test , hex-text , mmorph , mtl - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib , prettyprinter , serialise @@ -454,7 +454,7 @@ test-suite untyped-plutus-core-test , hedgehog , lens , mtl - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib , pretty-show , prettyprinter @@ -560,7 +560,7 @@ library plutus-ir , mtl , multiset , parser-combinators >=0.4.0 - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , prettyprinter >=1.1.0.1 , profunctors , semigroupoids @@ -629,7 +629,7 @@ test-suite plutus-ir-test , hedgehog , lens , mtl - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib , plutus-core:plutus-ir , QuickCheck @@ -694,7 +694,7 @@ executable plutus , microlens-th ^>=0.4 , mono-traversable , mtl - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-ir , prettyprinter , primitive @@ -735,7 +735,7 @@ library plutus-core-execlib , monoidal-containers , mtl , optparse-applicative - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib , plutus-core:plutus-ir , prettyprinter @@ -802,7 +802,7 @@ library plutus-core-testlib , mmorph , mtl , multiset - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-ir , prettyprinter >=1.1.0.1 , prettyprinter-configurable @@ -837,7 +837,7 @@ library plutus-ir-cert exposed-modules: PlutusIR.Certifier build-depends: , base - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-ir ---------------------------------------------- @@ -916,7 +916,7 @@ executable cost-model-budgeting-bench , hedgehog , mtl , optparse-applicative - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , QuickCheck , quickcheck-instances , random @@ -954,7 +954,7 @@ executable generate-cost-model , directory , inline-r >=1.0.1 , optparse-applicative - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , text -- , exceptions @@ -998,7 +998,7 @@ benchmark cost-model-test , hedgehog , inline-r >=1.0.1 , mmorph - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , template-haskell , text @@ -1015,7 +1015,7 @@ executable print-cost-model , aeson , base >=4.9 && <5 , bytestring - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 ---------------------------------------------- -- satint diff --git a/plutus-executables/plutus-executables.cabal b/plutus-executables/plutus-executables.cabal index 4112c57038a..421576ee622 100644 --- a/plutus-executables/plutus-executables.cabal +++ b/plutus-executables/plutus-executables.cabal @@ -64,7 +64,7 @@ library lib build-depends: , base >=4.9 && <5 , bytestring - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-metatheory , text @@ -80,7 +80,7 @@ executable pir , lens , megaparsec , optparse-applicative - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-execlib , plutus-core:plutus-ir , text @@ -95,7 +95,7 @@ executable plc , bytestring , flat ^>=0.6 , optparse-applicative - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-execlib executable uplc @@ -111,7 +111,7 @@ executable uplc , haskeline , mtl , optparse-applicative - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-execlib , plutus-executables:lib , plutus-metatheory @@ -145,7 +145,7 @@ test-suite test-detailed , base , directory , extra - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-metatheory , process , tasty diff --git a/plutus-ledger-api/plutus-ledger-api.cabal b/plutus-ledger-api/plutus-ledger-api.cabal index 4215e3993bc..2f2d9f33c58 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.39.0.0 +version: 1.40.0.0 license: Apache-2.0 license-files: LICENSE @@ -116,8 +116,8 @@ library , lens , mtl , nothunks - , plutus-core ^>=1.39 - , plutus-tx ^>=1.39 + , plutus-core ^>=1.40 + , plutus-tx ^>=1.40 , prettyprinter , serialise , tagged @@ -149,10 +149,10 @@ library plutus-ledger-api-testlib , base64-bytestring , bytestring , containers - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.39 - , plutus-tx ^>=1.39 + , plutus-ledger-api ^>=1.40 + , plutus-tx ^>=1.40 , prettyprinter , QuickCheck , serialise @@ -188,11 +188,11 @@ test-suite plutus-ledger-api-test , lens , mtl , nothunks - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.39 + , plutus-ledger-api ^>=1.40 , plutus-ledger-api:plutus-ledger-api-testlib - , plutus-tx ^>=1.39 + , plutus-tx ^>=1.40 , plutus-tx:plutus-tx-testlib , prettyprinter , serialise @@ -233,12 +233,12 @@ test-suite plutus-ledger-api-plugin-test , containers , lens , mtl - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.39 + , plutus-ledger-api ^>=1.40 , plutus-ledger-api:plutus-ledger-api-testlib - , plutus-tx ^>=1.39 - , plutus-tx-plugin ^>=1.39 + , plutus-tx ^>=1.40 + , plutus-tx-plugin ^>=1.40 , plutus-tx-test-util , plutus-tx:plutus-tx-testlib , prettyprinter @@ -261,8 +261,8 @@ executable test-onchain-evaluation , extra , filepath , mtl - , plutus-core ^>=1.39 - , plutus-ledger-api ^>=1.39 + , plutus-core ^>=1.40 + , plutus-ledger-api ^>=1.40 , plutus-ledger-api:plutus-ledger-api-testlib , serialise , tasty @@ -282,10 +282,10 @@ executable analyse-script-events , filepath , lens , mtl - , plutus-core ^>=1.39 - , plutus-ledger-api ^>=1.39 + , plutus-core ^>=1.40 + , plutus-ledger-api ^>=1.40 , plutus-ledger-api:plutus-ledger-api-testlib - , plutus-tx ^>=1.39 + , plutus-tx ^>=1.40 , primitive , serialise diff --git a/plutus-metatheory/plutus-metatheory.cabal b/plutus-metatheory/plutus-metatheory.cabal index 3429f132885..427f27c4d5d 100644 --- a/plutus-metatheory/plutus-metatheory.cabal +++ b/plutus-metatheory/plutus-metatheory.cabal @@ -67,7 +67,7 @@ library , megaparsec , memory , optparse-applicative - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-execlib , process , text @@ -652,7 +652,7 @@ test-suite test-NEAT , base , lazy-search , mtl - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib , plutus-metatheory , size-based diff --git a/plutus-tx-plugin/plutus-tx-plugin.cabal b/plutus-tx-plugin/plutus-tx-plugin.cabal index 65f96e52d41..2a9484c5249 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.39.0.0 +version: 1.40.0.0 license: Apache-2.0 license-files: LICENSE @@ -84,9 +84,9 @@ library , ghc , lens , mtl - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-ir - , plutus-tx ^>=1.39 + , plutus-tx ^>=1.40 , prettyprinter , template-haskell , text @@ -102,7 +102,7 @@ executable gen-plugin-opts-doc , containers , lens , optparse-applicative - , plutus-tx-plugin ^>=1.39 + , plutus-tx-plugin ^>=1.40 , prettyprinter , PyF >=0.11.1.0 , text @@ -176,10 +176,10 @@ test-suite plutus-tx-plugin-tests , hedgehog , lens , mtl - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.39 - , plutus-tx-plugin ^>=1.39 + , plutus-tx ^>=1.40 + , plutus-tx-plugin ^>=1.40 , plutus-tx-test-util , plutus-tx:plutus-tx-testlib , serialise @@ -210,10 +210,10 @@ test-suite size hs-source-dirs: test/size build-depends: , base >=4.9 && <5.0 - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.39 - , plutus-tx-plugin ^>=1.39 + , plutus-tx ^>=1.40 + , plutus-tx-plugin ^>=1.40 , plutus-tx:plutus-tx-testlib , tagged , tasty diff --git a/plutus-tx-test-util/plutus-tx-test-util.cabal b/plutus-tx-test-util/plutus-tx-test-util.cabal index 80bc22b330c..0d66c9aefb5 100644 --- a/plutus-tx-test-util/plutus-tx-test-util.cabal +++ b/plutus-tx-test-util/plutus-tx-test-util.cabal @@ -71,8 +71,8 @@ library -- other-extensions: build-depends: , base >=4.9 && <5 - , plutus-core ^>=1.39 - , plutus-tx ^>=1.39 + , plutus-core ^>=1.40 + , plutus-tx ^>=1.40 , text hs-source-dirs: testlib diff --git a/plutus-tx/plutus-tx.cabal b/plutus-tx/plutus-tx.cabal index c80d914ca54..601935fa426 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.39.0.0 +version: 1.40.0.0 license: Apache-2.0 license-files: LICENSE @@ -133,7 +133,7 @@ library , lens , memory , mtl - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-ir , prettyprinter , serialise @@ -167,10 +167,10 @@ library plutus-tx-testlib , hedgehog , lens , mtl - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib , plutus-core:plutus-ir - , plutus-tx ^>=1.39 + , plutus-tx ^>=1.40 , prettyprinter , tagged , tasty @@ -217,9 +217,9 @@ test-suite plutus-tx-test , hedgehog-fn , lens , mtl - , plutus-core ^>=1.39 + , plutus-core ^>=1.40 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.39 + , plutus-tx ^>=1.40 , pretty-show , serialise , tasty