From 2e0e719c6e351344f0cf9075e3db4e7c7508064b Mon Sep 17 00:00:00 2001 From: kwxm Date: Wed, 9 Oct 2024 20:36:48 +0100 Subject: [PATCH 1/2] Plutus release 1.36.0.0 --- .../cardano-constitution.cabal | 16 +-- doc/docusaurus/docusaurus-examples.cabal | 10 +- plutus-benchmark/plutus-benchmark.cabal | 128 +++++++++--------- plutus-conformance/plutus-conformance.cabal | 8 +- plutus-core/CHANGELOG.md | 22 +++ ..._220810_kenneth.mackenzie_new_semantics.md | 19 --- plutus-core/plutus-core.cabal | 30 ++-- plutus-executables/plutus-executables.cabal | 8 +- 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/CHANGELOG.md | 23 ++++ ..._221415_kenneth.mackenzie_new_semantics.md | 19 --- plutus-tx/plutus-tx.cabal | 12 +- .../prettyprinter-configurable.cabal | 4 +- 16 files changed, 185 insertions(+), 178 deletions(-) delete mode 100644 plutus-core/changelog.d/20241008_220810_kenneth.mackenzie_new_semantics.md delete mode 100644 plutus-tx/changelog.d/20241008_221415_kenneth.mackenzie_new_semantics.md diff --git a/cardano-constitution/cardano-constitution.cabal b/cardano-constitution/cardano-constitution.cabal index 34d4b6ba370..c8decc64d54 100644 --- a/cardano-constitution/cardano-constitution.cabal +++ b/cardano-constitution/cardano-constitution.cabal @@ -82,10 +82,10 @@ library , base >=4.9 && <5 , containers , filepath - , plutus-core ^>=1.35 - , plutus-ledger-api ^>=1.35 - , plutus-tx ^>=1.35 - , plutus-tx-plugin ^>=1.35 + , plutus-core ^>=1.36 + , plutus-ledger-api ^>=1.36 + , plutus-tx ^>=1.36 + , plutus-tx-plugin ^>=1.36 , regex-tdfa , safe , template-haskell @@ -124,9 +124,9 @@ test-suite cardano-constitution-test , containers , directory , filepath - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 - , plutus-ledger-api ^>=1.35 - , plutus-tx ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 + , plutus-ledger-api ^>=1.36 + , plutus-tx ^>=1.36 , QuickCheck , serialise , tasty @@ -151,4 +151,4 @@ executable create-json-envelope , base , cardano-api , cardano-constitution - , plutus-ledger-api ^>=1.35 + , plutus-ledger-api ^>=1.36 diff --git a/doc/docusaurus/docusaurus-examples.cabal b/doc/docusaurus/docusaurus-examples.cabal index 4f13f1310f0..40186be7694 100644 --- a/doc/docusaurus/docusaurus-examples.cabal +++ b/doc/docusaurus/docusaurus-examples.cabal @@ -39,9 +39,9 @@ library docusaurus-code build-depends: , base >=4.9 && <5 - , plutus-core ^>=1.35 - , plutus-ledger-api ^>=1.35 - , plutus-tx ^>=1.35 + , plutus-core ^>=1.36 + , plutus-ledger-api ^>=1.36 + , plutus-tx ^>=1.36 if !(impl(ghcjs) || os(ghcjs)) build-depends: plutus-tx-plugin @@ -55,5 +55,5 @@ executable example-cip57 build-depends: , base ^>=4.18 , containers - , plutus-ledger-api ^>=1.35 - , plutus-tx ^>=1.35 + , plutus-ledger-api ^>=1.36 + , plutus-tx ^>=1.36 diff --git a/plutus-benchmark/plutus-benchmark.cabal b/plutus-benchmark/plutus-benchmark.cabal index 75bb15e25b0..fcc469f355f 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.35 - , plutus-ledger-api ^>=1.35 + , plutus-core ^>=1.36 + , plutus-ledger-api ^>=1.36 , 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.35 - , plutus-tx ^>=1.35 - , plutus-tx-plugin ^>=1.35 + , plutus-core ^>=1.36 + , plutus-tx ^>=1.36 + , plutus-tx-plugin ^>=1.36 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.35 - , plutus-tx ^>=1.35 + , plutus-core ^>=1.36 + , plutus-tx ^>=1.36 , prettyprinter , transformers @@ -177,8 +177,8 @@ test-suite plutus-benchmark-nofib-tests , base >=4.9 && <5 , nofib-internal , plutus-benchmark-common - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.36 , tasty , tasty-hunit , tasty-quickcheck @@ -204,9 +204,9 @@ library lists-internal , base >=4.9 && <5 , mtl , plutus-benchmark-common - , plutus-core ^>=1.35 - , plutus-tx ^>=1.35 - , plutus-tx-plugin ^>=1.35 + , plutus-core ^>=1.36 + , plutus-tx ^>=1.36 + , plutus-tx-plugin ^>=1.36 executable list-sort-exe import: lang, ghc-version-support, os-support @@ -217,7 +217,7 @@ executable list-sort-exe , lists-internal , monoidal-containers , plutus-benchmark-common - , plutus-core ^>=1.35 + , plutus-core ^>=1.36 benchmark lists import: lang, ghc-version-support, os-support @@ -229,7 +229,7 @@ benchmark lists , criterion >=1.5.9.0 , lists-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.35 + , plutus-ledger-api ^>=1.36 test-suite plutus-benchmark-lists-tests import: lang, ghc-version-support, os-support @@ -246,8 +246,8 @@ test-suite plutus-benchmark-lists-tests , base >=4.9 && <5 , lists-internal , plutus-benchmark-common - , plutus-core:plutus-core-testlib ^>=1.35 - , plutus-tx:plutus-tx-testlib ^>=1.35 + , plutus-core:plutus-core-testlib ^>=1.36 + , plutus-tx:plutus-tx-testlib ^>=1.36 , tasty , tasty-quickcheck @@ -268,8 +268,8 @@ benchmark validation , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.35 - , plutus-ledger-api ^>=1.35 + , plutus-core ^>=1.36 + , plutus-ledger-api ^>=1.36 ---------------- validation-decode ---------------- @@ -289,8 +289,8 @@ benchmark validation-decode , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.35 - , plutus-ledger-api ^>=1.35 + , plutus-core ^>=1.36 + , plutus-ledger-api ^>=1.36 ---------------- validation-full ---------------- @@ -310,8 +310,8 @@ benchmark validation-full , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.35 - , plutus-ledger-api ^>=1.35 + , plutus-core ^>=1.36 + , plutus-ledger-api ^>=1.36 ---------------- Cek cost model calibration ---------------- @@ -327,10 +327,10 @@ benchmark cek-calibration , lens , mtl , plutus-benchmark-common - , plutus-core ^>=1.35 - , plutus-ledger-api ^>=1.35 - , plutus-tx ^>=1.35 - , plutus-tx-plugin ^>=1.35 + , plutus-core ^>=1.36 + , plutus-ledger-api ^>=1.36 + , plutus-tx ^>=1.36 + , plutus-tx-plugin ^>=1.36 ---------------- Signature verification throughput ---------------- @@ -346,9 +346,9 @@ executable ed25519-costs , cardano-crypto-class , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.35 - , plutus-tx ^>=1.35 - , plutus-tx-plugin ^>=1.35 + , plutus-core ^>=1.36 + , plutus-tx ^>=1.36 + , plutus-tx-plugin ^>=1.36 -- Calculate the predicted costs of sequences of ed25519 signature verification -- operations and compare them with a golden file. @@ -365,9 +365,9 @@ test-suite ed25519-costs-test , cardano-crypto-class , hedgehog , plutus-benchmark-common - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 - , plutus-tx ^>=1.35 - , plutus-tx-plugin ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 + , plutus-tx ^>=1.36 + , plutus-tx-plugin ^>=1.36 ---------------- BLS12-381 experiments ---------------- @@ -385,10 +385,10 @@ library bls12-381lib-internal , bytestring , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.35 - , plutus-ledger-api ^>=1.35 - , plutus-tx ^>=1.35 - , plutus-tx-plugin ^>=1.35 + , plutus-core ^>=1.36 + , plutus-ledger-api ^>=1.36 + , plutus-tx ^>=1.36 + , plutus-tx-plugin ^>=1.36 -- Print out predicted costs of various scripts involving BLS12-381 operations executable bls12-381-costs @@ -412,7 +412,7 @@ test-suite bls12-381-costs-test , base >=4.9 && <5 , bls12-381lib-internal , plutus-benchmark-common - , plutus-core:plutus-core-testlib ^>=1.35 + , plutus-core:plutus-core-testlib ^>=1.36 -- Run benchmarks for various scripts involving BLS12-381 operations benchmark bls12-381-benchmarks @@ -426,8 +426,8 @@ benchmark bls12-381-benchmarks , bytestring , criterion >=1.5.9.0 , plutus-benchmark-common - , plutus-ledger-api ^>=1.35 - , plutus-tx ^>=1.35 + , plutus-ledger-api ^>=1.36 + , plutus-tx ^>=1.36 ---------------- script contexts ---------------- @@ -440,9 +440,9 @@ library script-contexts-internal build-depends: , base >=4.9 && <5 - , plutus-ledger-api ^>=1.35 - , plutus-tx ^>=1.35 - , plutus-tx-plugin ^>=1.35 + , plutus-ledger-api ^>=1.36 + , plutus-tx ^>=1.36 + , plutus-tx-plugin ^>=1.36 test-suite plutus-benchmark-script-contexts-tests import: lang, ghc-version-support, os-support @@ -454,8 +454,8 @@ test-suite plutus-benchmark-script-contexts-tests build-depends: , base >=4.9 && <5 , plutus-benchmark-common - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 - , plutus-tx:plutus-tx-testlib ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 + , plutus-tx:plutus-tx-testlib ^>=1.36 , script-contexts-internal , tasty , tasty-hunit @@ -484,10 +484,10 @@ library marlowe-internal , mtl , newtype-generics , plutus-benchmark-common - , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.35 - , plutus-ledger-api ^>=1.35 - , plutus-tx ^>=1.35 - , plutus-tx-plugin ^>=1.35 + , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.36 + , plutus-ledger-api ^>=1.36 + , plutus-tx ^>=1.36 + , plutus-tx-plugin ^>=1.36 , serialise executable marlowe-validators @@ -507,8 +507,8 @@ executable marlowe-validators , cardano-binary , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.35 - , plutus-tx ^>=1.35 + , plutus-ledger-api ^>=1.36 + , plutus-tx ^>=1.36 , serialise benchmark marlowe @@ -522,8 +522,8 @@ benchmark marlowe , criterion , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.35 - , plutus-tx ^>=1.35 + , plutus-ledger-api ^>=1.36 + , plutus-tx ^>=1.36 test-suite plutus-benchmark-marlowe-tests import: lang, ghc-version-support, os-support @@ -535,9 +535,9 @@ test-suite plutus-benchmark-marlowe-tests build-depends: , base >=4.9 && <5 , marlowe-internal - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 - , plutus-ledger-api ^>=1.35 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 + , plutus-ledger-api ^>=1.36 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.36 , tasty ---------------- agda evaluators ---------------- @@ -551,7 +551,7 @@ library agda-internal build-depends: , base >=4.9 && <5 , criterion - , plutus-core ^>=1.35 + , plutus-core ^>=1.36 , plutus-metatheory benchmark validation-agda-cek @@ -571,7 +571,7 @@ benchmark validation-agda-cek , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.35 + , plutus-core ^>=1.36 benchmark nofib-agda-cek import: lang, ghc-version-support, os-support @@ -598,8 +598,8 @@ benchmark marlowe-agda-cek , criterion , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.35 - , plutus-tx ^>=1.35 + , plutus-ledger-api ^>=1.36 + , plutus-tx ^>=1.36 -------------------- bitwise----------------------- @@ -615,8 +615,8 @@ library bitwise-internal build-depends: , base - , plutus-tx ^>=1.35 - , plutus-tx-plugin ^>=1.35 + , plutus-tx ^>=1.36 + , plutus-tx-plugin ^>=1.36 test-suite bitwise-test import: lang, ghc-version-support, os-support @@ -628,8 +628,8 @@ test-suite bitwise-test , bitwise-internal , cryptohash-sha512 , ed25519 - , plutus-core:plutus-core-testlib ^>=1.35 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.35 + , plutus-core:plutus-core-testlib ^>=1.36 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.36 , tasty , tasty-hunit @@ -643,4 +643,4 @@ benchmark bitwise-bench , bitwise-internal , criterion , plutus-benchmark-common - , plutus-tx ^>=1.35 + , plutus-tx ^>=1.36 diff --git a/plutus-conformance/plutus-conformance.cabal b/plutus-conformance/plutus-conformance.cabal index 7ba6f3bea2b..9a431b1963b 100644 --- a/plutus-conformance/plutus-conformance.cabal +++ b/plutus-conformance/plutus-conformance.cabal @@ -52,7 +52,7 @@ library , base , directory , filepath - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 , tasty , tasty-expected-failure , tasty-golden @@ -75,7 +75,7 @@ test-suite haskell-conformance build-depends: , base >=4.9 && <5 , plutus-conformance - , plutus-core ^>=1.35 + , plutus-core ^>=1.36 test-suite haskell-steppable-conformance import: lang, os-support @@ -88,7 +88,7 @@ test-suite haskell-steppable-conformance , base >=4.9 && <5 , lens , plutus-conformance - , plutus-core ^>=1.35 + , plutus-core ^>=1.36 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.35 + , plutus-core ^>=1.36 , plutus-metatheory , transformers diff --git a/plutus-core/CHANGELOG.md b/plutus-core/CHANGELOG.md index 33dde00b72e..ff991aa8c1e 100644 --- a/plutus-core/CHANGELOG.md +++ b/plutus-core/CHANGELOG.md @@ -1,4 +1,26 @@ + +# 1.36.0.0 — 2024-10-09 + +## Changed + +- The signature of the `writeBits` PLC builtin has been changed from +``` +[bytestring, list integer, list boolean] -> bytestring +``` + +to + +``` +[bytestring, list integer, boolean] -> bytestring +``` + +Instead of a list of boolean values to write to bit positions specified in the +second argument it now takes a single boolean value which is used to update the +bits at all of the given positions. If it's necessary to set some bits and +clear others then the function shouldbe called twice, once with `True` as the +third argument and once with `False`. + # 1.35.0.0 — 2024-10-04 diff --git a/plutus-core/changelog.d/20241008_220810_kenneth.mackenzie_new_semantics.md b/plutus-core/changelog.d/20241008_220810_kenneth.mackenzie_new_semantics.md deleted file mode 100644 index 1f4bb31ce3e..00000000000 --- a/plutus-core/changelog.d/20241008_220810_kenneth.mackenzie_new_semantics.md +++ /dev/null @@ -1,19 +0,0 @@ -### Changed - -- The signature of the `writeBits` PLC builtin has been changed from -``` -[bytestring, list integer, list boolean] -> bytestring -``` - -to - -``` -[bytestring, list integer, boolean] -> bytestring -``` - -Instead of a list of boolean values to write to bit positions specified in the -second argument it now takes a single boolean value which is used to update the -bits at all of the given positions. If it's necessary to set some bits and -clear others then the function shouldbe called twice, once with `True` as the -third argument and once with `False`. - diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal index a05fb74be02..74172c24969 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.35.0.0 +version: 1.36.0.0 license: Apache-2.0 license-files: LICENSE @@ -322,7 +322,7 @@ library , nothunks ^>=0.2 , parser-combinators >=0.4.0 , prettyprinter >=1.1.0.1 - , prettyprinter-configurable ^>=1.35 + , prettyprinter-configurable ^>=1.36 , primitive , profunctors , recursion-schemes @@ -385,7 +385,7 @@ test-suite plutus-core-test , hex-text , mmorph , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 , prettyprinter , serialise , tasty @@ -449,7 +449,7 @@ test-suite untyped-plutus-core-test , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 , pretty-show , prettyprinter , QuickCheck @@ -554,7 +554,7 @@ library plutus-ir , mtl , multiset , parser-combinators >=0.4.0 - , plutus-core ^>=1.35 + , plutus-core ^>=1.36 , prettyprinter >=1.1.0.1 , profunctors , semigroupoids @@ -623,7 +623,7 @@ test-suite plutus-ir-test , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.36 , QuickCheck , serialise , tasty @@ -686,7 +686,7 @@ executable plutus , microlens-th ^>=0.4 , mono-traversable , mtl - , plutus-core:{plutus-core, plutus-ir} ^>=1.35 + , plutus-core:{plutus-core, plutus-ir} ^>=1.36 , prettyprinter , primitive , serialise @@ -726,7 +726,7 @@ library plutus-core-execlib , monoidal-containers , mtl , optparse-applicative - , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.36 , prettyprinter , text @@ -791,9 +791,9 @@ library plutus-core-testlib , mmorph , mtl , multiset - , plutus-core:{plutus-core, plutus-ir} ^>=1.35 + , plutus-core:{plutus-core, plutus-ir} ^>=1.36 , prettyprinter >=1.1.0.1 - , prettyprinter-configurable ^>=1.35 + , prettyprinter-configurable ^>=1.36 , QuickCheck , quickcheck-instances , quickcheck-transformer @@ -825,7 +825,7 @@ library plutus-ir-cert exposed-modules: PlutusIR.Certifier build-depends: , base - , plutus-core:{plutus-core, plutus-ir} ^>=1.35 + , plutus-core:{plutus-core, plutus-ir} ^>=1.36 ---------------------------------------------- -- profiling @@ -903,7 +903,7 @@ executable cost-model-budgeting-bench , hedgehog , mtl , optparse-applicative - , plutus-core ^>=1.35 + , plutus-core ^>=1.36 , QuickCheck , quickcheck-instances , random @@ -941,7 +941,7 @@ executable generate-cost-model , directory , inline-r >=1.0.1 , optparse-applicative - , plutus-core ^>=1.35 + , plutus-core ^>=1.36 , text -- , exceptions @@ -985,7 +985,7 @@ benchmark cost-model-test , hedgehog , inline-r >=1.0.1 , mmorph - , plutus-core ^>=1.35 + , plutus-core ^>=1.36 , template-haskell , text @@ -1002,7 +1002,7 @@ executable print-cost-model , aeson , base >=4.9 && <5 , bytestring - , plutus-core ^>=1.35 + , plutus-core ^>=1.36 ---------------------------------------------- -- satint diff --git a/plutus-executables/plutus-executables.cabal b/plutus-executables/plutus-executables.cabal index 4f262be744a..4076fbe9d14 100644 --- a/plutus-executables/plutus-executables.cabal +++ b/plutus-executables/plutus-executables.cabal @@ -62,7 +62,7 @@ executable pir , lens , megaparsec , optparse-applicative - , plutus-core:{plutus-core, plutus-core-execlib, plutus-ir} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-execlib, plutus-ir} ^>=1.36 , text , transformers @@ -75,7 +75,7 @@ executable plc , bytestring , flat ^>=0.6 , optparse-applicative - , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.36 executable uplc import: lang, os-support @@ -90,7 +90,7 @@ executable uplc , haskeline , mtl , optparse-applicative - , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.36 , plutus-metatheory , prettyprinter , split @@ -120,7 +120,7 @@ test-suite test-detailed , base , directory , extra - , plutus-core ^>=1.35 + , plutus-core ^>=1.36 , plutus-metatheory , process , tasty diff --git a/plutus-ledger-api/plutus-ledger-api.cabal b/plutus-ledger-api/plutus-ledger-api.cabal index e57a3f0aa45..56936c8392e 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.35.0.0 +version: 1.36.0.0 license: Apache-2.0 license-files: LICENSE @@ -109,8 +109,8 @@ library , lens , mtl , nothunks - , plutus-core ^>=1.35 - , plutus-tx ^>=1.35 + , plutus-core ^>=1.36 + , plutus-tx ^>=1.36 , prettyprinter , serialise , tagged @@ -141,9 +141,9 @@ library plutus-ledger-api-testlib , base64-bytestring , bytestring , containers - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 - , plutus-ledger-api ^>=1.35 - , plutus-tx ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 + , plutus-ledger-api ^>=1.36 + , plutus-tx ^>=1.36 , prettyprinter , QuickCheck , serialise @@ -180,9 +180,9 @@ test-suite plutus-ledger-api-test , lens , mtl , nothunks - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 - , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.35 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.36 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.36 , prettyprinter , serialise , tasty @@ -219,10 +219,10 @@ test-suite plutus-ledger-api-plugin-test , containers , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 - , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.35 - , plutus-tx-plugin ^>=1.35 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.36 + , plutus-tx-plugin ^>=1.36 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.36 , prettyprinter , tasty , tasty-hunit @@ -241,8 +241,8 @@ executable test-onchain-evaluation , extra , filepath , mtl - , plutus-core ^>=1.35 - , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.35 + , plutus-core ^>=1.36 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.36 , serialise , tasty , tasty-hunit @@ -261,9 +261,9 @@ executable analyse-script-events , filepath , lens , mtl - , plutus-core ^>=1.35 - , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.35 - , plutus-tx ^>=1.35 + , plutus-core ^>=1.36 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.36 + , plutus-tx ^>=1.36 , primitive , serialise diff --git a/plutus-metatheory/plutus-metatheory.cabal b/plutus-metatheory/plutus-metatheory.cabal index 57d21361436..9840d96054c 100644 --- a/plutus-metatheory/plutus-metatheory.cabal +++ b/plutus-metatheory/plutus-metatheory.cabal @@ -67,7 +67,7 @@ library , megaparsec , memory , optparse-applicative - , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.36 , process , text , transformers @@ -599,7 +599,7 @@ test-suite test-NEAT , base , lazy-search , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 , plutus-metatheory , size-based , Stream diff --git a/plutus-tx-plugin/plutus-tx-plugin.cabal b/plutus-tx-plugin/plutus-tx-plugin.cabal index b6b3c8dcc25..c86d5c807cf 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.35.0.0 +version: 1.36.0.0 license: Apache-2.0 license-files: LICENSE @@ -83,8 +83,8 @@ library , ghc , lens , mtl - , plutus-core:{plutus-core, plutus-ir} ^>=1.35 - , plutus-tx ^>=1.35 + , plutus-core:{plutus-core, plutus-ir} ^>=1.36 + , plutus-tx ^>=1.36 , prettyprinter , template-haskell , text @@ -100,7 +100,7 @@ executable gen-plugin-opts-doc , containers , lens , optparse-applicative - , plutus-tx-plugin ^>=1.35 + , plutus-tx-plugin ^>=1.36 , prettyprinter , PyF >=0.11.1.0 , text @@ -172,10 +172,10 @@ test-suite plutus-tx-plugin-tests , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 - , plutus-tx-plugin ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 + , plutus-tx-plugin ^>=1.36 , plutus-tx-test-util - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.35 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.36 , serialise , tasty , tasty-golden @@ -204,9 +204,9 @@ test-suite size hs-source-dirs: test/size build-depends: , base >=4.9 && <5.0 - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 - , plutus-tx-plugin ^>=1.35 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 + , plutus-tx-plugin ^>=1.36 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.36 , 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 a8fb527f722..f9907b63754 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.35 - , plutus-tx ^>=1.35 + , plutus-core ^>=1.36 + , plutus-tx ^>=1.36 , text hs-source-dirs: testlib diff --git a/plutus-tx/CHANGELOG.md b/plutus-tx/CHANGELOG.md index faaa9e66c3b..615e7e06a89 100644 --- a/plutus-tx/CHANGELOG.md +++ b/plutus-tx/CHANGELOG.md @@ -1,4 +1,27 @@ + +# 1.36.0.0 — 2024-10-09 + +## Changed + +- The type of `writeBits` built-in PlutusTx/Plinth function has been changed from + +``` +BuiltinByteString -> [Integer] -> [Bool] -> BuiltinByteString +``` + +to + +``` +BuiltinByteString -> [Integer] -> Bool -> BuiltinByteString +``` + +Instead of a list of boolean values to write to bit positions specified in the +second argument it now takes a single boolean value which is used to update the +bits at all of the given positions. If it's necessary to set some bits and +clear others then the function should be called twice, once with `True` as the +third argument and once with `False`. + # 1.34.0.0 — 2024-09-09 diff --git a/plutus-tx/changelog.d/20241008_221415_kenneth.mackenzie_new_semantics.md b/plutus-tx/changelog.d/20241008_221415_kenneth.mackenzie_new_semantics.md deleted file mode 100644 index 8303e9789da..00000000000 --- a/plutus-tx/changelog.d/20241008_221415_kenneth.mackenzie_new_semantics.md +++ /dev/null @@ -1,19 +0,0 @@ -### Changed - -- The type of `writeBits` built-in PlutusTx/Plinth function has been changed from - -``` -BuiltinByteString -> [Integer] -> [Bool] -> BuiltinByteString -``` - -to - -``` -BuiltinByteString -> [Integer] -> Bool -> BuiltinByteString -``` - -Instead of a list of boolean values to write to bit positions specified in the -second argument it now takes a single boolean value which is used to update the -bits at all of the given positions. If it's necessary to set some bits and -clear others then the function should be called twice, once with `True` as the -third argument and once with `False`. diff --git a/plutus-tx/plutus-tx.cabal b/plutus-tx/plutus-tx.cabal index df8acc7ebba..9dddb1cabc6 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.35.0.0 +version: 1.36.0.0 license: Apache-2.0 license-files: LICENSE @@ -132,7 +132,7 @@ library , lens , memory , mtl - , plutus-core:{plutus-core, plutus-ir} ^>=1.35 + , plutus-core:{plutus-core, plutus-ir} ^>=1.36 , prettyprinter , serialise , template-haskell >=2.13.0.0 @@ -165,8 +165,8 @@ library plutus-tx-testlib , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.35 - , plutus-tx ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.36 + , plutus-tx ^>=1.36 , prettyprinter , tagged , tasty @@ -214,8 +214,8 @@ test-suite plutus-tx-test , hedgehog-fn , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.35 - , plutus-tx ^>=1.35 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.36 + , plutus-tx ^>=1.36 , pretty-show , serialise , tasty diff --git a/prettyprinter-configurable/prettyprinter-configurable.cabal b/prettyprinter-configurable/prettyprinter-configurable.cabal index b2416d9caef..a0ebe0c8d9f 100644 --- a/prettyprinter-configurable/prettyprinter-configurable.cabal +++ b/prettyprinter-configurable/prettyprinter-configurable.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: prettyprinter-configurable -version: 1.35.0.0 +version: 1.36.0.0 synopsis: Configurable pretty-printing homepage: https://github.com/input-output-hk/plutus/tree/master/prettyprinter-configurable/ @@ -76,7 +76,7 @@ test-suite prettyprinter-configurable-test , base >=4.9 && <5 , megaparsec , parser-combinators - , prettyprinter-configurable ^>=1.35 + , prettyprinter-configurable ^>=1.36 , QuickCheck , quickcheck-text , tasty From 7cd8b0dbef27fbdbb9f345a586188c6c5b279a3d Mon Sep 17 00:00:00 2001 From: kwxm Date: Wed, 9 Oct 2024 20:41:33 +0100 Subject: [PATCH 2/2] Fix formatting in changelog --- plutus-core/CHANGELOG.md | 12 ++++++------ plutus-tx/CHANGELOG.md | 12 ++++++------ 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/plutus-core/CHANGELOG.md b/plutus-core/CHANGELOG.md index ff991aa8c1e..45ede3f95ae 100644 --- a/plutus-core/CHANGELOG.md +++ b/plutus-core/CHANGELOG.md @@ -9,17 +9,17 @@ [bytestring, list integer, list boolean] -> bytestring ``` -to + to ``` [bytestring, list integer, boolean] -> bytestring ``` -Instead of a list of boolean values to write to bit positions specified in the -second argument it now takes a single boolean value which is used to update the -bits at all of the given positions. If it's necessary to set some bits and -clear others then the function shouldbe called twice, once with `True` as the -third argument and once with `False`. + Instead of a list of boolean values to write to bit positions specified in the + second argument it now takes a single boolean value which is used to update the + bits at all of the given positions. If it's necessary to set some bits and + clear others then the function should be called twice, once with `True` as the + third argument and once with `False`. # 1.35.0.0 — 2024-10-04 diff --git a/plutus-tx/CHANGELOG.md b/plutus-tx/CHANGELOG.md index 615e7e06a89..6c7896577f6 100644 --- a/plutus-tx/CHANGELOG.md +++ b/plutus-tx/CHANGELOG.md @@ -10,17 +10,17 @@ BuiltinByteString -> [Integer] -> [Bool] -> BuiltinByteString ``` -to + to ``` BuiltinByteString -> [Integer] -> Bool -> BuiltinByteString ``` -Instead of a list of boolean values to write to bit positions specified in the -second argument it now takes a single boolean value which is used to update the -bits at all of the given positions. If it's necessary to set some bits and -clear others then the function should be called twice, once with `True` as the -third argument and once with `False`. + Instead of a list of boolean values to write to bit positions specified in the + second argument it now takes a single boolean value which is used to update the + bits at all of the given positions. If it's necessary to set some bits and + clear others then the function should be called twice, once with `True` as the + third argument and once with `False`. # 1.34.0.0 — 2024-09-09