From 845a2224e037c78be73baed2ab945e1862254376 Mon Sep 17 00:00:00 2001 From: Ana Pantilie Date: Fri, 19 Apr 2024 14:12:06 +0300 Subject: [PATCH] [Release] 1.26.0.0 Signed-off-by: Ana Pantilie --- doc/read-the-docs-site/plutus-doc.cabal | 14 +-- plutus-benchmark/plutus-benchmark.cabal | 118 +++++++++--------- plutus-conformance/plutus-conformance.cabal | 8 +- plutus-core/CHANGELOG.md | 13 ++ ...neth.mackenzie_read_model_type_from_R_2.md | 5 - ...73125_michael.peyton-jones_vector_cases.md | 5 - ...neth.mackenzie_canonincal_data_encoding.md | 4 - plutus-core/plutus-core.cabal | 44 +++---- plutus-ledger-api/plutus-ledger-api.cabal | 36 +++--- plutus-metatheory/plutus-metatheory.cabal | 12 +- plutus-tx-plugin/CHANGELOG.md | 14 +++ .../20240325_114310_unsafeFixIO_options.md | 6 - ....Lazaryev_fix_remove_dead_bindings_flag.md | 3 - plutus-tx-plugin/plutus-tx-plugin.cabal | 20 +-- plutus-tx/CHANGELOG.md | 11 ++ ...40325_114314_Yuriy.Lazaryev_cip57_howto.md | 3 - ...40405_144845_Yuriy.Lazaryev_error_codes.md | 3 - ...412_060219_unsafeFixIO_indexBuiltinList.md | 3 - plutus-tx/plutus-tx.cabal | 12 +- .../prettyprinter-configurable.cabal | 4 +- 20 files changed, 172 insertions(+), 166 deletions(-) delete mode 100644 plutus-core/changelog.d/20240326_184114_kenneth.mackenzie_read_model_type_from_R_2.md delete mode 100644 plutus-core/changelog.d/20240402_173125_michael.peyton-jones_vector_cases.md delete mode 100644 plutus-core/changelog.d/20240405_015609_kenneth.mackenzie_canonincal_data_encoding.md delete mode 100644 plutus-tx-plugin/changelog.d/20240325_114310_unsafeFixIO_options.md delete mode 100644 plutus-tx-plugin/changelog.d/20240412_150720_Yuriy.Lazaryev_fix_remove_dead_bindings_flag.md delete mode 100644 plutus-tx/changelog.d/20240325_114314_Yuriy.Lazaryev_cip57_howto.md delete mode 100644 plutus-tx/changelog.d/20240405_144845_Yuriy.Lazaryev_error_codes.md delete mode 100644 plutus-tx/changelog.d/20240412_060219_unsafeFixIO_indexBuiltinList.md diff --git a/doc/read-the-docs-site/plutus-doc.cabal b/doc/read-the-docs-site/plutus-doc.cabal index 0d12729d7a1..e09b645594d 100644 --- a/doc/read-the-docs-site/plutus-doc.cabal +++ b/doc/read-the-docs-site/plutus-doc.cabal @@ -78,9 +78,9 @@ executable doc-doctests , containers , flat ^>=0.6 , lens - , plutus-core ^>=1.25 - , plutus-ledger-api ^>=1.25 - , plutus-tx ^>=1.25 + , plutus-core ^>=1.26 + , plutus-ledger-api ^>=1.26 + , plutus-tx ^>=1.26 , prettyprinter , random , serialise @@ -105,10 +105,10 @@ executable quick-start , base >=4.9 && <5 , base16-bytestring , bytestring - , plutus-core ^>=1.25 - , plutus-ledger-api ^>=1.25 - , plutus-tx ^>=1.25 - , plutus-tx-plugin ^>=1.25 + , plutus-core ^>=1.26 + , plutus-ledger-api ^>=1.26 + , plutus-tx ^>=1.26 + , plutus-tx-plugin ^>=1.26 if !(impl(ghcjs) || os(ghcjs)) build-depends: plutus-tx-plugin diff --git a/plutus-benchmark/plutus-benchmark.cabal b/plutus-benchmark/plutus-benchmark.cabal index 7e21837fda6..45244dddc40 100644 --- a/plutus-benchmark/plutus-benchmark.cabal +++ b/plutus-benchmark/plutus-benchmark.cabal @@ -90,9 +90,9 @@ library plutus-benchmark-common , directory , filepath , flat ^>=0.6 - , plutus-core ^>=1.25 - , plutus-ledger-api ^>=1.25 - , plutus-tx ^>=1.25 + , plutus-core ^>=1.26 + , plutus-ledger-api ^>=1.26 + , plutus-tx ^>=1.26 , tasty , tasty-golden , temporary @@ -119,9 +119,9 @@ library nofib-internal , base >=4.9 && <5 , deepseq , plutus-benchmark-common - , plutus-core ^>=1.25 - , plutus-tx ^>=1.25 - , plutus-tx-plugin ^>=1.25 + , plutus-core ^>=1.26 + , plutus-tx ^>=1.26 + , plutus-tx-plugin ^>=1.26 executable nofib-exe import: lang, ghc-version-support @@ -135,8 +135,8 @@ executable nofib-exe , nofib-internal , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.25 - , plutus-tx ^>=1.25 + , plutus-core ^>=1.26 + , plutus-tx ^>=1.26 , prettyprinter , transformers @@ -175,8 +175,8 @@ test-suite plutus-benchmark-nofib-tests , base >=4.9 && <5 , nofib-internal , plutus-benchmark-common - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.26 , tasty , tasty-hunit , tasty-quickcheck @@ -202,9 +202,9 @@ library lists-internal , base >=4.9 && <5 , mtl , plutus-benchmark-common - , plutus-core ^>=1.25 - , plutus-tx ^>=1.25 - , plutus-tx-plugin ^>=1.25 + , plutus-core ^>=1.26 + , plutus-tx ^>=1.26 + , plutus-tx-plugin ^>=1.26 executable list-sort-exe import: lang, ghc-version-support @@ -215,7 +215,7 @@ executable list-sort-exe , lists-internal , monoidal-containers , plutus-benchmark-common - , plutus-core ^>=1.25 + , plutus-core ^>=1.26 benchmark lists import: lang, ghc-version-support @@ -228,7 +228,7 @@ benchmark lists , deepseq , lists-internal , plutus-benchmark-common - , plutus-ledger-api + , plutus-ledger-api ^>=1.26 test-suite plutus-benchmark-lists-tests import: lang, ghc-version-support @@ -245,8 +245,8 @@ test-suite plutus-benchmark-lists-tests , base >=4.9 && <5 , lists-internal , plutus-benchmark-common - , plutus-core:plutus-core-testlib ^>=1.25 - , plutus-tx:plutus-tx-testlib ^>=1.25 + , plutus-core:plutus-core-testlib ^>=1.26 + , plutus-tx:plutus-tx-testlib ^>=1.26 , tasty , tasty-quickcheck @@ -268,7 +268,7 @@ benchmark validation , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.25 + , plutus-core ^>=1.26 ---------------- validation-decode ---------------- @@ -288,8 +288,8 @@ benchmark validation-decode , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.25 - , plutus-ledger-api ^>=1.25 + , plutus-core ^>=1.26 + , plutus-ledger-api ^>=1.26 ---------------- validation-full ---------------- @@ -309,8 +309,8 @@ benchmark validation-full , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.25 - , plutus-ledger-api ^>=1.25 + , plutus-core ^>=1.26 + , plutus-ledger-api ^>=1.26 ---------------- Cek cost model calibration ---------------- @@ -327,10 +327,10 @@ benchmark cek-calibration , lens , mtl , plutus-benchmark-common - , plutus-core ^>=1.25 - , plutus-ledger-api ^>=1.25 - , plutus-tx ^>=1.25 - , plutus-tx-plugin ^>=1.25 + , plutus-core ^>=1.26 + , plutus-ledger-api ^>=1.26 + , plutus-tx ^>=1.26 + , plutus-tx-plugin ^>=1.26 ---------------- Signature verification throughput ---------------- @@ -346,9 +346,9 @@ executable ed25519-costs , cardano-crypto-class , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.25 - , plutus-tx ^>=1.25 - , plutus-tx-plugin ^>=1.25 + , plutus-core ^>=1.26 + , plutus-tx ^>=1.26 + , plutus-tx-plugin ^>=1.26 -- 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.25 - , plutus-tx ^>=1.25 - , plutus-tx-plugin ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 + , plutus-tx ^>=1.26 + , plutus-tx-plugin ^>=1.26 ---------------- BLS12-381 experiments ---------------- @@ -385,10 +385,10 @@ library bls12-381lib-internal , bytestring , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.25 - , plutus-ledger-api ^>=1.25 - , plutus-tx ^>=1.25 - , plutus-tx-plugin ^>=1.25 + , plutus-core ^>=1.26 + , plutus-ledger-api ^>=1.26 + , plutus-tx ^>=1.26 + , plutus-tx-plugin ^>=1.26 -- 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.25 + , plutus-core:plutus-core-testlib ^>=1.26 -- Run benchmarks for various scripts involving BLS12-381 operations benchmark bls12-381-benchmarks @@ -427,8 +427,8 @@ benchmark bls12-381-benchmarks , criterion >=1.5.9.0 , deepseq , plutus-benchmark-common - , plutus-ledger-api ^>=1.25 - , plutus-tx ^>=1.25 + , plutus-ledger-api ^>=1.26 + , plutus-tx ^>=1.26 ---------------- script contexts ---------------- @@ -438,9 +438,9 @@ library script-contexts-internal exposed-modules: PlutusBenchmark.ScriptContexts build-depends: , base >=4.9 && <5 - , plutus-ledger-api ^>=1.25 - , plutus-tx ^>=1.25 - , plutus-tx-plugin ^>=1.25 + , plutus-ledger-api ^>=1.26 + , plutus-tx ^>=1.26 + , plutus-tx-plugin ^>=1.26 test-suite plutus-benchmark-script-contexts-tests import: lang, ghc-version-support @@ -452,8 +452,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.25 - , plutus-tx:plutus-tx-testlib ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 + , plutus-tx:plutus-tx-testlib ^>=1.26 , script-contexts-internal , tasty , tasty-hunit @@ -482,10 +482,10 @@ library marlowe-internal , mtl , newtype-generics , plutus-benchmark-common - , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.25 - , plutus-ledger-api ^>=1.25 - , plutus-tx ^>=1.25 - , plutus-tx-plugin ^>=1.25 + , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.26 + , plutus-ledger-api ^>=1.26 + , plutus-tx ^>=1.26 + , plutus-tx-plugin ^>=1.26 , serialise executable marlowe-validators @@ -505,8 +505,8 @@ executable marlowe-validators , cardano-binary , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.25 - , plutus-tx ^>=1.25 + , plutus-ledger-api ^>=1.26 + , plutus-tx ^>=1.26 , serialise benchmark marlowe @@ -521,8 +521,8 @@ benchmark marlowe , deepseq , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.25 - , plutus-tx ^>=1.25 + , plutus-ledger-api ^>=1.26 + , plutus-tx ^>=1.26 test-suite plutus-benchmark-marlowe-tests import: lang, ghc-version-support @@ -534,9 +534,9 @@ test-suite plutus-benchmark-marlowe-tests build-depends: , base >=4.9 && <5 , marlowe-internal - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25 - , plutus-ledger-api ^>=1.25 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 + , plutus-ledger-api ^>=1.26 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.26 , tasty ---------------- agda evaluators ---------------- @@ -550,7 +550,7 @@ library agda-internal build-depends: , base >=4.9 && <5 , criterion - , plutus-core ^>=1.25 + , plutus-core ^>=1.26 , plutus-metatheory benchmark validation-agda-cek @@ -570,7 +570,7 @@ benchmark validation-agda-cek , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.25 + , plutus-core ^>=1.26 benchmark nofib-agda-cek import: lang, ghc-version-support @@ -597,5 +597,5 @@ benchmark marlowe-agda-cek , criterion , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.25 - , plutus-tx ^>=1.25 + , plutus-ledger-api ^>=1.26 + , plutus-tx ^>=1.26 diff --git a/plutus-conformance/plutus-conformance.cabal b/plutus-conformance/plutus-conformance.cabal index 0aca596ec3b..b20a9315420 100644 --- a/plutus-conformance/plutus-conformance.cabal +++ b/plutus-conformance/plutus-conformance.cabal @@ -49,7 +49,7 @@ library , base , directory , filepath - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 , tasty , tasty-expected-failure , tasty-golden @@ -72,7 +72,7 @@ test-suite haskell-conformance build-depends: , base >=4.9 && <5 , plutus-conformance - , plutus-core ^>=1.25 + , plutus-core ^>=1.26 test-suite haskell-steppable-conformance import: lang @@ -85,7 +85,7 @@ test-suite haskell-steppable-conformance , base >=4.9 && <5 , lens , plutus-conformance - , plutus-core ^>=1.25 + , plutus-core ^>=1.26 test-suite agda-conformance import: lang @@ -98,6 +98,6 @@ test-suite agda-conformance , aeson , base >=4.9 && <5 , plutus-conformance - , plutus-core ^>=1.25 + , plutus-core ^>=1.26 , plutus-metatheory , transformers diff --git a/plutus-core/CHANGELOG.md b/plutus-core/CHANGELOG.md index 8de3b3fe8c1..c2960d01ca3 100644 --- a/plutus-core/CHANGELOG.md +++ b/plutus-core/CHANGELOG.md @@ -1,4 +1,17 @@ + +# 1.26.0.0 — 2024-04-19 + +## Changed + +- Improvements to costing infrastructure. + +- Use `Vector` in the datastructure for `case` terms during evaluation. This speeds + up evaluation fairly significantly. + +- The `flat` encoding of the `Data` type has been modified slightly to make sure that + the result is always in the canonical format described in the Plutus Core specification. + # 1.25.0.0 — 2024-04-03 diff --git a/plutus-core/changelog.d/20240326_184114_kenneth.mackenzie_read_model_type_from_R_2.md b/plutus-core/changelog.d/20240326_184114_kenneth.mackenzie_read_model_type_from_R_2.md deleted file mode 100644 index 9982ed703ed..00000000000 --- a/plutus-core/changelog.d/20240326_184114_kenneth.mackenzie_read_model_type_from_R_2.md +++ /dev/null @@ -1,5 +0,0 @@ -### Changed - -- Improvements to costing infrastructure. - - diff --git a/plutus-core/changelog.d/20240402_173125_michael.peyton-jones_vector_cases.md b/plutus-core/changelog.d/20240402_173125_michael.peyton-jones_vector_cases.md deleted file mode 100644 index c54489ed98e..00000000000 --- a/plutus-core/changelog.d/20240402_173125_michael.peyton-jones_vector_cases.md +++ /dev/null @@ -1,5 +0,0 @@ -### Changed - -- Use `Vector` in the datastructure for `case` terms during evaluation. This speeds - up evaluation fairly significantly. - diff --git a/plutus-core/changelog.d/20240405_015609_kenneth.mackenzie_canonincal_data_encoding.md b/plutus-core/changelog.d/20240405_015609_kenneth.mackenzie_canonincal_data_encoding.md deleted file mode 100644 index ff06e7dae38..00000000000 --- a/plutus-core/changelog.d/20240405_015609_kenneth.mackenzie_canonincal_data_encoding.md +++ /dev/null @@ -1,4 +0,0 @@ -### Changed - -- The `flat` encoding of the `Data` type has been modified slightly to make sure that - the result is always in the canonical format described in the Plutus Core specification. diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal index 5cbdd4fe325..cb4fe929b7f 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.25.0.0 +version: 1.26.0.0 license: Apache-2.0 license-files: LICENSE @@ -316,7 +316,7 @@ library , nothunks ^>=0.1.5 , parser-combinators >=0.4.0 , prettyprinter >=1.1.0.1 - , prettyprinter-configurable ^>=1.25 + , prettyprinter-configurable ^>=1.26 , primitive , profunctors , recursion-schemes @@ -379,7 +379,7 @@ test-suite plutus-core-test , hex-text , mmorph , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 , prettyprinter , serialise , tasty @@ -437,7 +437,7 @@ test-suite untyped-plutus-core-test , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 , pretty-show , prettyprinter , QuickCheck @@ -460,8 +460,8 @@ executable plc , bytestring , flat ^>=0.6 , optparse-applicative - , plutus-core ^>=1.25 - , plutus-core-execlib ^>=1.25 + , plutus-core ^>=1.26 + , plutus-core-execlib ^>=1.26 , text executable uplc @@ -477,8 +477,8 @@ executable uplc , haskeline , mtl , optparse-applicative - , plutus-core ^>=1.25 - , plutus-core-execlib ^>=1.25 + , plutus-core ^>=1.26 + , plutus-core-execlib ^>=1.26 , prettyprinter , split , text @@ -574,7 +574,7 @@ library plutus-ir , mtl , multiset , parser-combinators >=0.4.0 - , plutus-core ^>=1.25 + , plutus-core ^>=1.26 , prettyprinter >=1.1.0.1 , profunctors , semigroupoids @@ -639,7 +639,7 @@ test-suite plutus-ir-test , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.26 , QuickCheck , serialise , tasty @@ -662,8 +662,8 @@ executable pir , lens , megaparsec , optparse-applicative - , plutus-core-execlib ^>=1.25 - , plutus-core:{plutus-core, plutus-ir} ^>=1.25 + , plutus-core-execlib ^>=1.26 + , plutus-core:{plutus-core, plutus-ir} ^>=1.26 , text , transformers @@ -691,7 +691,7 @@ library plutus-core-execlib , monoidal-containers , mtl , optparse-applicative - , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.26 , prettyprinter , text @@ -753,9 +753,9 @@ library plutus-core-testlib , mmorph , mtl , multiset - , plutus-core:{plutus-core, plutus-ir} ^>=1.25 + , plutus-core:{plutus-core, plutus-ir} ^>=1.26 , prettyprinter >=1.1.0.1 - , prettyprinter-configurable ^>=1.25 + , prettyprinter-configurable ^>=1.26 , QuickCheck , quickcheck-instances , quickcheck-transformer @@ -787,7 +787,7 @@ library plutus-ir-cert exposed-modules: PlutusIR.Certifier build-depends: , base - , plutus-core:{plutus-core, plutus-ir} ^>=1.25 + , plutus-core:{plutus-core, plutus-ir} ^>=1.26 ---------------------------------------------- -- debugger @@ -820,8 +820,8 @@ executable debugger , mono-traversable , mtl , optparse-applicative - , plutus-core ^>=1.25 - , plutus-core-execlib ^>=1.25 + , plutus-core ^>=1.26 + , plutus-core-execlib ^>=1.26 , prettyprinter , primitive , text @@ -905,7 +905,7 @@ executable cost-model-budgeting-bench , hedgehog , mtl , optparse-applicative - , plutus-core ^>=1.25 + , plutus-core ^>=1.26 , QuickCheck , quickcheck-instances , random @@ -939,7 +939,7 @@ executable generate-cost-model , directory , inline-r >=1.0.1 , optparse-applicative - , plutus-core ^>=1.25 + , plutus-core ^>=1.26 , text -- , exceptions @@ -979,7 +979,7 @@ benchmark cost-model-test , hedgehog , inline-r >=1.0.1 , mmorph - , plutus-core ^>=1.25 + , plutus-core ^>=1.26 , template-haskell , text @@ -996,7 +996,7 @@ executable print-cost-model , aeson , base >=4.9 && <5 , bytestring - , plutus-core ^>=1.25 + , plutus-core ^>=1.26 ---------------------------------------------- -- satint diff --git a/plutus-ledger-api/plutus-ledger-api.cabal b/plutus-ledger-api/plutus-ledger-api.cabal index 06f96500519..e0be2497cc3 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.25.0.0 +version: 1.26.0.0 license: Apache-2.0 license-files: LICENSE @@ -102,8 +102,8 @@ library , lens , mtl , nothunks - , plutus-core ^>=1.25 - , plutus-tx ^>=1.25 + , plutus-core ^>=1.26 + , plutus-tx ^>=1.26 , prettyprinter , serialise , tagged @@ -130,9 +130,9 @@ library plutus-ledger-api-testlib , base64-bytestring , bytestring , containers - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25 - , plutus-ledger-api ^>=1.25 - , plutus-tx ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 + , plutus-ledger-api ^>=1.26 + , plutus-tx ^>=1.26 , prettyprinter , PyF >=0.11.1.0 , QuickCheck @@ -166,9 +166,9 @@ test-suite plutus-ledger-api-test , lens , mtl , nothunks - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25 - , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.25 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.26 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.26 , prettyprinter , serialise , tasty @@ -193,10 +193,10 @@ test-suite plutus-ledger-api-plugin-test build-depends: , base >=4.9 && <5 , containers - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25 - , plutus-ledger-api ^>=1.25 - , plutus-tx-plugin ^>=1.25 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 + , plutus-ledger-api ^>=1.26 + , plutus-tx-plugin ^>=1.26 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.26 , prettyprinter , tasty @@ -214,8 +214,8 @@ executable test-onchain-evaluation , extra , filepath , mtl - , plutus-core ^>=1.25 - , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.25 + , plutus-core ^>=1.26 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.26 , serialise , tasty , tasty-hunit @@ -234,9 +234,9 @@ executable analyse-script-events , filepath , lens , mtl - , plutus-core ^>=1.25 - , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.25 - , plutus-tx ^>=1.25 + , plutus-core ^>=1.26 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.26 + , plutus-tx ^>=1.26 , primitive , serialise diff --git a/plutus-metatheory/plutus-metatheory.cabal b/plutus-metatheory/plutus-metatheory.cabal index bebe94a5f37..f4ee008158a 100644 --- a/plutus-metatheory/plutus-metatheory.cabal +++ b/plutus-metatheory/plutus-metatheory.cabal @@ -63,7 +63,7 @@ library , megaparsec , memory , optparse-applicative - , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.25 + , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.26 , process , text , transformers @@ -548,8 +548,8 @@ executable plc-agda test-suite test1 import: lang build-tool-depends: - , plutus-core:plc ^>=1.25 - , plutus-core:uplc ^>=1.25 + , plutus-core:plc ^>=1.26 + , plutus-core:uplc ^>=1.26 hs-source-dirs: test build-depends: @@ -564,8 +564,8 @@ test-suite test1 test-suite test2 import: lang build-tool-depends: - , plutus-core:plc ^>=1.25 - , plutus-core:uplc ^>=1.25 + , plutus-core:plc ^>=1.26 + , plutus-core:uplc ^>=1.26 hs-source-dirs: test type: detailed-0.9 @@ -590,7 +590,7 @@ test-suite test3 , base , lazy-search , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 , plutus-metatheory , size-based , Stream diff --git a/plutus-tx-plugin/CHANGELOG.md b/plutus-tx-plugin/CHANGELOG.md index 7095b524384..d3853dcbee8 100644 --- a/plutus-tx-plugin/CHANGELOG.md +++ b/plutus-tx-plugin/CHANGELOG.md @@ -1,4 +1,18 @@ + +# 1.26.0.0 — 2024-04-19 + +## Added + +- Added two Plutus Tx compiler options, `preserve-logging` and `inline-constants`. + Option `conservative-optimisation` implies (or negates) `relaxed-float-in`, + `inline-constants` and `preserve-logging`, but previously only `relaxed-float-in` is + a plugin option by itself. + +## Fixed + +- Compiler flag `simplifier-remove-dead-bindings` does what it should now. + # 1.25.0.0 — 2024-04-03 diff --git a/plutus-tx-plugin/changelog.d/20240325_114310_unsafeFixIO_options.md b/plutus-tx-plugin/changelog.d/20240325_114310_unsafeFixIO_options.md deleted file mode 100644 index 91996bd5416..00000000000 --- a/plutus-tx-plugin/changelog.d/20240325_114310_unsafeFixIO_options.md +++ /dev/null @@ -1,6 +0,0 @@ -### Added - -- Added two Plutus Tx compiler options, `preserve-logging` and `inline-constants`. - Option `conservative-optimisation` implies (or negates) `relaxed-float-in`, - `inline-constants` and `preserve-logging`, but previously only `relaxed-float-in` is - a plugin option by itself. diff --git a/plutus-tx-plugin/changelog.d/20240412_150720_Yuriy.Lazaryev_fix_remove_dead_bindings_flag.md b/plutus-tx-plugin/changelog.d/20240412_150720_Yuriy.Lazaryev_fix_remove_dead_bindings_flag.md deleted file mode 100644 index 4e406e35e38..00000000000 --- a/plutus-tx-plugin/changelog.d/20240412_150720_Yuriy.Lazaryev_fix_remove_dead_bindings_flag.md +++ /dev/null @@ -1,3 +0,0 @@ -### Fixed - -- Compiler flag `simplifier-remove-dead-bindings` does what it should now. diff --git a/plutus-tx-plugin/plutus-tx-plugin.cabal b/plutus-tx-plugin/plutus-tx-plugin.cabal index 6c13b515d8b..97e0fc41834 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.25.0.0 +version: 1.26.0.0 license: Apache-2.0 license-files: LICENSE @@ -83,8 +83,8 @@ library , flat ^>=0.6 , lens , mtl - , plutus-core:{plutus-core, plutus-ir} ^>=1.25 - , plutus-tx ^>=1.25 + , plutus-core:{plutus-core, plutus-ir} ^>=1.26 + , plutus-tx ^>=1.26 , prettyprinter , PyF >=0.11.1.0 , template-haskell @@ -109,7 +109,7 @@ executable gen-plugin-opts-doc , containers , lens , optparse-applicative - , plutus-tx-plugin ^>=1.25 + , plutus-tx-plugin ^>=1.26 , prettyprinter , PyF >=0.11.1.0 , text @@ -182,9 +182,9 @@ test-suite plutus-tx-plugin-tests , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25 - , plutus-tx-plugin ^>=1.25 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 + , plutus-tx-plugin ^>=1.26 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.26 , serialise , tasty , tasty-golden @@ -212,9 +212,9 @@ test-suite size hs-source-dirs: test/size build-depends: , base >=4.9 && <5.0 - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25 - , plutus-tx-plugin ^>=1.25 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 + , plutus-tx-plugin ^>=1.26 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.26 , tagged , tasty diff --git a/plutus-tx/CHANGELOG.md b/plutus-tx/CHANGELOG.md index 236e4e868e4..67e6c2550f9 100644 --- a/plutus-tx/CHANGELOG.md +++ b/plutus-tx/CHANGELOG.md @@ -1,4 +1,15 @@ + +# 1.26.0.0 — 2024-04-19 + +## Added + +- CIP-0057 Blueprint generation is supported. + +- An error code "PT20" for the `recip` function in the `PlutusTx.Ratio` module. + +- `PlutusTx.List.indexBuiltinList`: index operator for builtin lists. + # 1.24.0.0 — 2024-03-26 diff --git a/plutus-tx/changelog.d/20240325_114314_Yuriy.Lazaryev_cip57_howto.md b/plutus-tx/changelog.d/20240325_114314_Yuriy.Lazaryev_cip57_howto.md deleted file mode 100644 index 4f8f7f09ebf..00000000000 --- a/plutus-tx/changelog.d/20240325_114314_Yuriy.Lazaryev_cip57_howto.md +++ /dev/null @@ -1,3 +0,0 @@ -### Added - -- CIP-0057 Blueprint generation is supported. diff --git a/plutus-tx/changelog.d/20240405_144845_Yuriy.Lazaryev_error_codes.md b/plutus-tx/changelog.d/20240405_144845_Yuriy.Lazaryev_error_codes.md deleted file mode 100644 index 1525cbd5181..00000000000 --- a/plutus-tx/changelog.d/20240405_144845_Yuriy.Lazaryev_error_codes.md +++ /dev/null @@ -1,3 +0,0 @@ -### Added - -- An error code "PT20" for the `recip` function in the `PlutusTx.Ratio` module. diff --git a/plutus-tx/changelog.d/20240412_060219_unsafeFixIO_indexBuiltinList.md b/plutus-tx/changelog.d/20240412_060219_unsafeFixIO_indexBuiltinList.md deleted file mode 100644 index a7051c636ca..00000000000 --- a/plutus-tx/changelog.d/20240412_060219_unsafeFixIO_indexBuiltinList.md +++ /dev/null @@ -1,3 +0,0 @@ -### Added - -- `PlutusTx.List.indexBuiltinList`: index operator for builtin lists. diff --git a/plutus-tx/plutus-tx.cabal b/plutus-tx/plutus-tx.cabal index e88fff83471..764d98f70bd 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.25.0.0 +version: 1.26.0.0 license: Apache-2.0 license-files: LICENSE @@ -128,7 +128,7 @@ library , lens , memory , mtl - , plutus-core:{plutus-core, plutus-ir} ^>=1.25 + , plutus-core:{plutus-core, plutus-ir} ^>=1.26 , prettyprinter , serialise , template-haskell >=2.13.0.0 @@ -161,8 +161,8 @@ library plutus-tx-testlib , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.25 - , plutus-tx ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.26 + , plutus-tx ^>=1.26 , prettyprinter , tagged , tasty @@ -209,8 +209,8 @@ test-suite plutus-tx-test , hedgehog , hedgehog-fn , lens - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25 - , plutus-tx ^>=1.25 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 + , plutus-tx ^>=1.26 , pretty-show , serialise , tasty diff --git a/prettyprinter-configurable/prettyprinter-configurable.cabal b/prettyprinter-configurable/prettyprinter-configurable.cabal index 2c71b03176f..aa55876bb0d 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.25.0.0 +version: 1.26.0.0 -- synopsis: -- description: @@ -83,7 +83,7 @@ test-suite prettyprinter-configurable-test , base >=4.9 && <5 , megaparsec , parser-combinators - , prettyprinter-configurable ^>=1.25 + , prettyprinter-configurable ^>=1.26 , QuickCheck , quickcheck-text , tasty