From e7cee8ad74b3f3ea870831658c1f6256f753a021 Mon Sep 17 00:00:00 2001 From: Ziyang Liu Date: Tue, 30 Apr 2024 06:26:42 -0700 Subject: [PATCH] 1.27.0.0 --- 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 | 16 +++ .../20240421_114005_bezirg_exe_combined.md | 12 -- plutus-core/plutus-core.cabal | 42 +++---- plutus-ledger-api/CHANGELOG.md | 25 ++++ .../20240421_114811_bezirg_exe_combined.md | 3 - .../20240423_155246_unsafeFixIO_int64.md | 4 - ...ProtocolVersion_and_multiple_CostModels.md | 15 --- plutus-ledger-api/plutus-ledger-api.cabal | 36 +++--- plutus-metatheory/plutus-metatheory.cabal | 12 +- plutus-tx-plugin/CHANGELOG.md | 4 + .../20240421_114911_bezirg_exe_combined.md | 5 - plutus-tx-plugin/plutus-tx-plugin.cabal | 20 +-- plutus-tx/plutus-tx.cabal | 12 +- .../prettyprinter-configurable.cabal | 4 +- 17 files changed, 178 insertions(+), 172 deletions(-) delete mode 100644 plutus-core/changelog.d/20240421_114005_bezirg_exe_combined.md delete mode 100644 plutus-ledger-api/changelog.d/20240421_114811_bezirg_exe_combined.md delete mode 100644 plutus-ledger-api/changelog.d/20240423_155246_unsafeFixIO_int64.md delete mode 100644 plutus-ledger-api/changelog.d/20240425_183853_effectfully_both_MajorProtocolVersion_and_multiple_CostModels.md delete mode 100644 plutus-tx-plugin/changelog.d/20240421_114911_bezirg_exe_combined.md diff --git a/doc/read-the-docs-site/plutus-doc.cabal b/doc/read-the-docs-site/plutus-doc.cabal index e09b645594d..7760ec0c10e 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.26 - , plutus-ledger-api ^>=1.26 - , plutus-tx ^>=1.26 + , plutus-core ^>=1.27 + , plutus-ledger-api ^>=1.27 + , plutus-tx ^>=1.27 , prettyprinter , random , serialise @@ -105,10 +105,10 @@ executable quick-start , base >=4.9 && <5 , base16-bytestring , bytestring - , plutus-core ^>=1.26 - , plutus-ledger-api ^>=1.26 - , plutus-tx ^>=1.26 - , plutus-tx-plugin ^>=1.26 + , plutus-core ^>=1.27 + , plutus-ledger-api ^>=1.27 + , plutus-tx ^>=1.27 + , plutus-tx-plugin ^>=1.27 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 aa7384fe458..a779acfc96d 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.26 - , plutus-ledger-api ^>=1.26 - , plutus-tx ^>=1.26 + , plutus-core ^>=1.27 + , plutus-ledger-api ^>=1.27 + , plutus-tx ^>=1.27 , tasty , tasty-golden , temporary @@ -119,9 +119,9 @@ library nofib-internal , base >=4.9 && <5 , deepseq , plutus-benchmark-common - , plutus-core ^>=1.26 - , plutus-tx ^>=1.26 - , plutus-tx-plugin ^>=1.26 + , plutus-core ^>=1.27 + , plutus-tx ^>=1.27 + , plutus-tx-plugin ^>=1.27 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.26 - , plutus-tx ^>=1.26 + , plutus-core ^>=1.27 + , plutus-tx ^>=1.27 , prettyprinter , transformers @@ -174,8 +174,8 @@ test-suite plutus-benchmark-nofib-tests , base >=4.9 && <5 , nofib-internal , plutus-benchmark-common - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.26 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.27 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.27 , tasty , tasty-hunit , tasty-quickcheck @@ -201,9 +201,9 @@ library lists-internal , base >=4.9 && <5 , mtl , plutus-benchmark-common - , plutus-core ^>=1.26 - , plutus-tx ^>=1.26 - , plutus-tx-plugin ^>=1.26 + , plutus-core ^>=1.27 + , plutus-tx ^>=1.27 + , plutus-tx-plugin ^>=1.27 executable list-sort-exe import: lang, ghc-version-support @@ -214,7 +214,7 @@ executable list-sort-exe , lists-internal , monoidal-containers , plutus-benchmark-common - , plutus-core ^>=1.26 + , plutus-core ^>=1.27 benchmark lists import: lang, ghc-version-support @@ -226,7 +226,7 @@ benchmark lists , criterion >=1.5.9.0 , lists-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.26 + , plutus-ledger-api ^>=1.27 test-suite plutus-benchmark-lists-tests import: lang, ghc-version-support @@ -243,8 +243,8 @@ test-suite plutus-benchmark-lists-tests , base >=4.9 && <5 , lists-internal , plutus-benchmark-common - , plutus-core:plutus-core-testlib ^>=1.26 - , plutus-tx:plutus-tx-testlib ^>=1.26 + , plutus-core:plutus-core-testlib ^>=1.27 + , plutus-tx:plutus-tx-testlib ^>=1.27 , tasty , tasty-quickcheck @@ -265,7 +265,7 @@ benchmark validation , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.26 + , plutus-core ^>=1.27 ---------------- validation-decode ---------------- @@ -285,8 +285,8 @@ benchmark validation-decode , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.26 - , plutus-ledger-api ^>=1.26 + , plutus-core ^>=1.27 + , plutus-ledger-api ^>=1.27 ---------------- validation-full ---------------- @@ -306,8 +306,8 @@ benchmark validation-full , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.26 - , plutus-ledger-api ^>=1.26 + , plutus-core ^>=1.27 + , plutus-ledger-api ^>=1.27 ---------------- Cek cost model calibration ---------------- @@ -323,10 +323,10 @@ benchmark cek-calibration , lens , mtl , plutus-benchmark-common - , plutus-core ^>=1.26 - , plutus-ledger-api ^>=1.26 - , plutus-tx ^>=1.26 - , plutus-tx-plugin ^>=1.26 + , plutus-core ^>=1.27 + , plutus-ledger-api ^>=1.27 + , plutus-tx ^>=1.27 + , plutus-tx-plugin ^>=1.27 ---------------- Signature verification throughput ---------------- @@ -342,9 +342,9 @@ executable ed25519-costs , cardano-crypto-class , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.26 - , plutus-tx ^>=1.26 - , plutus-tx-plugin ^>=1.26 + , plutus-core ^>=1.27 + , plutus-tx ^>=1.27 + , plutus-tx-plugin ^>=1.27 -- Calculate the predicted costs of sequences of ed25519 signature verification -- operations and compare them with a golden file. @@ -361,9 +361,9 @@ test-suite ed25519-costs-test , cardano-crypto-class , hedgehog , plutus-benchmark-common - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 - , plutus-tx ^>=1.26 - , plutus-tx-plugin ^>=1.26 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.27 + , plutus-tx ^>=1.27 + , plutus-tx-plugin ^>=1.27 ---------------- BLS12-381 experiments ---------------- @@ -381,10 +381,10 @@ library bls12-381lib-internal , bytestring , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.26 - , plutus-ledger-api ^>=1.26 - , plutus-tx ^>=1.26 - , plutus-tx-plugin ^>=1.26 + , plutus-core ^>=1.27 + , plutus-ledger-api ^>=1.27 + , plutus-tx ^>=1.27 + , plutus-tx-plugin ^>=1.27 -- Print out predicted costs of various scripts involving BLS12-381 operations executable bls12-381-costs @@ -408,7 +408,7 @@ test-suite bls12-381-costs-test , base >=4.9 && <5 , bls12-381lib-internal , plutus-benchmark-common - , plutus-core:plutus-core-testlib ^>=1.26 + , plutus-core:plutus-core-testlib ^>=1.27 -- Run benchmarks for various scripts involving BLS12-381 operations benchmark bls12-381-benchmarks @@ -422,8 +422,8 @@ benchmark bls12-381-benchmarks , bytestring , criterion >=1.5.9.0 , plutus-benchmark-common - , plutus-ledger-api ^>=1.26 - , plutus-tx ^>=1.26 + , plutus-ledger-api ^>=1.27 + , plutus-tx ^>=1.27 ---------------- script contexts ---------------- @@ -433,9 +433,9 @@ library script-contexts-internal exposed-modules: PlutusBenchmark.ScriptContexts build-depends: , base >=4.9 && <5 - , plutus-ledger-api ^>=1.26 - , plutus-tx ^>=1.26 - , plutus-tx-plugin ^>=1.26 + , plutus-ledger-api ^>=1.27 + , plutus-tx ^>=1.27 + , plutus-tx-plugin ^>=1.27 test-suite plutus-benchmark-script-contexts-tests import: lang, ghc-version-support @@ -447,8 +447,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.26 - , plutus-tx:plutus-tx-testlib ^>=1.26 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.27 + , plutus-tx:plutus-tx-testlib ^>=1.27 , script-contexts-internal , tasty , tasty-hunit @@ -477,10 +477,10 @@ library marlowe-internal , mtl , newtype-generics , plutus-benchmark-common - , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.26 - , plutus-ledger-api ^>=1.26 - , plutus-tx ^>=1.26 - , plutus-tx-plugin ^>=1.26 + , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.27 + , plutus-ledger-api ^>=1.27 + , plutus-tx ^>=1.27 + , plutus-tx-plugin ^>=1.27 , serialise executable marlowe-validators @@ -500,8 +500,8 @@ executable marlowe-validators , cardano-binary , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.26 - , plutus-tx ^>=1.26 + , plutus-ledger-api ^>=1.27 + , plutus-tx ^>=1.27 , serialise benchmark marlowe @@ -515,8 +515,8 @@ benchmark marlowe , criterion , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.26 - , plutus-tx ^>=1.26 + , plutus-ledger-api ^>=1.27 + , plutus-tx ^>=1.27 test-suite plutus-benchmark-marlowe-tests import: lang, ghc-version-support @@ -528,9 +528,9 @@ test-suite plutus-benchmark-marlowe-tests build-depends: , base >=4.9 && <5 , marlowe-internal - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 - , plutus-ledger-api ^>=1.26 - , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.26 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.27 + , plutus-ledger-api ^>=1.27 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.27 , tasty ---------------- agda evaluators ---------------- @@ -544,7 +544,7 @@ library agda-internal build-depends: , base >=4.9 && <5 , criterion - , plutus-core ^>=1.26 + , plutus-core ^>=1.27 , plutus-metatheory benchmark validation-agda-cek @@ -564,7 +564,7 @@ benchmark validation-agda-cek , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.26 + , plutus-core ^>=1.27 benchmark nofib-agda-cek import: lang, ghc-version-support @@ -591,5 +591,5 @@ benchmark marlowe-agda-cek , criterion , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.26 - , plutus-tx ^>=1.26 + , plutus-ledger-api ^>=1.27 + , plutus-tx ^>=1.27 diff --git a/plutus-conformance/plutus-conformance.cabal b/plutus-conformance/plutus-conformance.cabal index b20a9315420..4f91d94db49 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.26 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.27 , 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.26 + , plutus-core ^>=1.27 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.26 + , plutus-core ^>=1.27 test-suite agda-conformance import: lang @@ -98,6 +98,6 @@ test-suite agda-conformance , aeson , base >=4.9 && <5 , plutus-conformance - , plutus-core ^>=1.26 + , plutus-core ^>=1.27 , plutus-metatheory , transformers diff --git a/plutus-core/CHANGELOG.md b/plutus-core/CHANGELOG.md index c2960d01ca3..0e9c15d3570 100644 --- a/plutus-core/CHANGELOG.md +++ b/plutus-core/CHANGELOG.md @@ -1,4 +1,20 @@ + +# 1.27.0.0 — 2024-04-30 + +## Removed + +- Debugger executable is removed and integrated inside plutus executable. + +## Added + +- An experimental "plutus" tool that unifies `pir`, `plc`, `uplc`, and `debugger` executables into one. +- `Codec.CBOR.Extras` module is migrated here from `plutus-ledger-api. + +## Fixed + +- Restrict `eraseTerm`/`eraseProgram` to only work with `TPLC Name` input. + # 1.26.0.0 — 2024-04-19 diff --git a/plutus-core/changelog.d/20240421_114005_bezirg_exe_combined.md b/plutus-core/changelog.d/20240421_114005_bezirg_exe_combined.md deleted file mode 100644 index 58f82473a8f..00000000000 --- a/plutus-core/changelog.d/20240421_114005_bezirg_exe_combined.md +++ /dev/null @@ -1,12 +0,0 @@ -### Removed - -- Debugger executable is removed and integrated inside plutus executable. - -### Added - -- An experimental "plutus" tool that unifies `pir`, `plc`, `uplc`, and `debugger` executables into one. -- `Codec.CBOR.Extras` module is migrated here from `plutus-ledger-api. - -### Fixed - -- Restrict `eraseTerm`/`eraseProgram` to only work with `TPLC Name` input. diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal index a4cc73b3581..24b16811597 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.26.0.0 +version: 1.27.0.0 license: Apache-2.0 license-files: LICENSE @@ -317,7 +317,7 @@ library , nothunks ^>=0.1.5 , parser-combinators >=0.4.0 , prettyprinter >=1.1.0.1 - , prettyprinter-configurable ^>=1.26 + , prettyprinter-configurable ^>=1.27 , primitive , profunctors , recursion-schemes @@ -380,7 +380,7 @@ test-suite plutus-core-test , hex-text , mmorph , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.27 , prettyprinter , serialise , tasty @@ -438,7 +438,7 @@ test-suite untyped-plutus-core-test , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.27 , pretty-show , prettyprinter , QuickCheck @@ -461,8 +461,8 @@ executable plc , bytestring , flat ^>=0.6 , optparse-applicative - , plutus-core ^>=1.26 - , plutus-core-execlib ^>=1.26 + , plutus-core ^>=1.27 + , plutus-core-execlib ^>=1.27 , text executable uplc @@ -478,8 +478,8 @@ executable uplc , haskeline , mtl , optparse-applicative - , plutus-core ^>=1.26 - , plutus-core-execlib ^>=1.26 + , plutus-core ^>=1.27 + , plutus-core-execlib ^>=1.27 , prettyprinter , split , text @@ -575,7 +575,7 @@ library plutus-ir , mtl , multiset , parser-combinators >=0.4.0 - , plutus-core ^>=1.26 + , plutus-core ^>=1.27 , prettyprinter >=1.1.0.1 , profunctors , semigroupoids @@ -641,7 +641,7 @@ test-suite plutus-ir-test , hedgehog , lens , mtl - , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.26 + , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.27 , QuickCheck , serialise , tasty @@ -664,8 +664,8 @@ executable pir , lens , megaparsec , optparse-applicative - , plutus-core-execlib ^>=1.26 - , plutus-core:{plutus-core, plutus-ir} ^>=1.26 + , plutus-core-execlib ^>=1.27 + , plutus-core:{plutus-core, plutus-ir} ^>=1.27 , text , transformers @@ -721,7 +721,7 @@ executable plutus , microlens-th ^>=0.4 , mono-traversable , mtl - , plutus-core:{plutus-core, plutus-ir} ^>=1.26 + , plutus-core:{plutus-core, plutus-ir} ^>=1.27 , prettyprinter , primitive , serialise @@ -761,7 +761,7 @@ library plutus-core-execlib , monoidal-containers , mtl , optparse-applicative - , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.26 + , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.27 , prettyprinter , text @@ -823,9 +823,9 @@ library plutus-core-testlib , mmorph , mtl , multiset - , plutus-core:{plutus-core, plutus-ir} ^>=1.26 + , plutus-core:{plutus-core, plutus-ir} ^>=1.27 , prettyprinter >=1.1.0.1 - , prettyprinter-configurable ^>=1.26 + , prettyprinter-configurable ^>=1.27 , QuickCheck , quickcheck-instances , quickcheck-transformer @@ -857,7 +857,7 @@ library plutus-ir-cert exposed-modules: PlutusIR.Certifier build-depends: , base - , plutus-core:{plutus-core, plutus-ir} ^>=1.26 + , plutus-core:{plutus-core, plutus-ir} ^>=1.27 ---------------------------------------------- -- profiling @@ -935,7 +935,7 @@ executable cost-model-budgeting-bench , hedgehog , mtl , optparse-applicative - , plutus-core ^>=1.26 + , plutus-core ^>=1.27 , QuickCheck , quickcheck-instances , random @@ -969,7 +969,7 @@ executable generate-cost-model , directory , inline-r >=1.0.1 , optparse-applicative - , plutus-core ^>=1.26 + , plutus-core ^>=1.27 , text -- , exceptions @@ -1009,7 +1009,7 @@ benchmark cost-model-test , hedgehog , inline-r >=1.0.1 , mmorph - , plutus-core ^>=1.26 + , plutus-core ^>=1.27 , template-haskell , text @@ -1026,7 +1026,7 @@ executable print-cost-model , aeson , base >=4.9 && <5 , bytestring - , plutus-core ^>=1.26 + , plutus-core ^>=1.27 ---------------------------------------------- -- satint diff --git a/plutus-ledger-api/CHANGELOG.md b/plutus-ledger-api/CHANGELOG.md index d7e4d4fb467..47b1b479dd5 100644 --- a/plutus-ledger-api/CHANGELOG.md +++ b/plutus-ledger-api/CHANGELOG.md @@ -1,4 +1,29 @@ + +# 1.27.0.0 — 2024-04-30 + +## Removed + +- `Codec.CBOR.Extras` module is migrated from here to `plutus-core`. + +## Changed + +- `mkEvaluationContext` now takes `[Int64]` (instead of `[Integer]`). + +`EvaluationContext` now contains: + +- `PlutusLedgerLanguage` -- a ledger language +- `MajorProtocolVersion -> BuiltinSemanticsVariant DefaultFun` -- a function returning a semantics variant for every protocol version +- `[(BuiltinSemanticsVariant DefaultFun, DefaultMachineParameters)]` -- a cache of machine parameters for each semantics variant supported by the ledger language + +Similarly, `mkDynEvaluationContext` now takes additional arguments: + +- `PlutusLedgerLanguage` -- same as above +- `[BuiltinSemanticsVariant DefaultFun]` -- a list of semantics variants supported by the ledger language +- `MajorProtocolVersion -> BuiltinSemanticsVariant DefaultFun` -- same as above + +All this allows us to improve the accuracy of costing in future protocol versions without introducing new ledger languages. + # 1.22.0.0 — 2024-02-21 diff --git a/plutus-ledger-api/changelog.d/20240421_114811_bezirg_exe_combined.md b/plutus-ledger-api/changelog.d/20240421_114811_bezirg_exe_combined.md deleted file mode 100644 index 7d67e57aae8..00000000000 --- a/plutus-ledger-api/changelog.d/20240421_114811_bezirg_exe_combined.md +++ /dev/null @@ -1,3 +0,0 @@ -### Removed - -- `Codec.CBOR.Extras` module is migrated from here to `plutus-core`. diff --git a/plutus-ledger-api/changelog.d/20240423_155246_unsafeFixIO_int64.md b/plutus-ledger-api/changelog.d/20240423_155246_unsafeFixIO_int64.md deleted file mode 100644 index fba003ab75d..00000000000 --- a/plutus-ledger-api/changelog.d/20240423_155246_unsafeFixIO_int64.md +++ /dev/null @@ -1,4 +0,0 @@ - -### Changed - -- `mkEvaluationContext` now takes `[Int64]` (instead of `[Integer]`). diff --git a/plutus-ledger-api/changelog.d/20240425_183853_effectfully_both_MajorProtocolVersion_and_multiple_CostModels.md b/plutus-ledger-api/changelog.d/20240425_183853_effectfully_both_MajorProtocolVersion_and_multiple_CostModels.md deleted file mode 100644 index b740817e3d4..00000000000 --- a/plutus-ledger-api/changelog.d/20240425_183853_effectfully_both_MajorProtocolVersion_and_multiple_CostModels.md +++ /dev/null @@ -1,15 +0,0 @@ -### Changed - -`EvaluationContext` now contains: - -- `PlutusLedgerLanguage` -- a ledger language -- `MajorProtocolVersion -> BuiltinSemanticsVariant DefaultFun` -- a function returning a semantics variant for every protocol version -- `[(BuiltinSemanticsVariant DefaultFun, DefaultMachineParameters)]` -- a cache of machine parameters for each semantics variant supported by the ledger language - -Similarly, `mkDynEvaluationContext` now takes additional arguments: - -- `PlutusLedgerLanguage` -- same as above -- `[BuiltinSemanticsVariant DefaultFun]` -- a list of semantics variants supported by the ledger language -- `MajorProtocolVersion -> BuiltinSemanticsVariant DefaultFun` -- same as above - -All this allows us to improve the accuracy of costing in future protocol versions without introducing new ledger languages. diff --git a/plutus-ledger-api/plutus-ledger-api.cabal b/plutus-ledger-api/plutus-ledger-api.cabal index bf4c9c24dc0..741dd34b1fe 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.26.0.0 +version: 1.27.0.0 license: Apache-2.0 license-files: LICENSE @@ -100,8 +100,8 @@ library , lens , mtl , nothunks - , plutus-core ^>=1.26 - , plutus-tx ^>=1.26 + , plutus-core ^>=1.27 + , plutus-tx ^>=1.27 , prettyprinter , serialise , tagged @@ -128,9 +128,9 @@ library plutus-ledger-api-testlib , base64-bytestring , bytestring , containers - , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26 - , plutus-ledger-api ^>=1.26 - , plutus-tx ^>=1.26 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.27 + , plutus-ledger-api ^>=1.27 + , plutus-tx ^>=1.27 , prettyprinter , PyF >=0.11.1.0 , QuickCheck @@ -163,9 +163,9 @@ test-suite plutus-ledger-api-test , lens , mtl , nothunks - , 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 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.27 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.27 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.27 , prettyprinter , serialise , tasty @@ -190,10 +190,10 @@ test-suite plutus-ledger-api-plugin-test build-depends: , base >=4.9 && <5 , containers - , 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 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.27 + , plutus-ledger-api ^>=1.27 + , plutus-tx-plugin ^>=1.27 + , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.27 , prettyprinter , tasty @@ -211,8 +211,8 @@ executable test-onchain-evaluation , extra , filepath , mtl - , plutus-core ^>=1.26 - , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.26 + , plutus-core ^>=1.27 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.27 , serialise , tasty , tasty-hunit @@ -231,9 +231,9 @@ executable analyse-script-events , filepath , lens , mtl - , plutus-core ^>=1.26 - , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.26 - , plutus-tx ^>=1.26 + , plutus-core ^>=1.27 + , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.27 + , plutus-tx ^>=1.27 , primitive , serialise diff --git a/plutus-metatheory/plutus-metatheory.cabal b/plutus-metatheory/plutus-metatheory.cabal index f4ee008158a..3a28db963ff 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.26 + , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.27 , process , text , transformers @@ -548,8 +548,8 @@ executable plc-agda test-suite test1 import: lang build-tool-depends: - , plutus-core:plc ^>=1.26 - , plutus-core:uplc ^>=1.26 + , plutus-core:plc ^>=1.27 + , plutus-core:uplc ^>=1.27 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.26 - , plutus-core:uplc ^>=1.26 + , plutus-core:plc ^>=1.27 + , plutus-core:uplc ^>=1.27 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.26 + , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.27 , plutus-metatheory , size-based , Stream diff --git a/plutus-tx-plugin/CHANGELOG.md b/plutus-tx-plugin/CHANGELOG.md index d3853dcbee8..44f39c4ea40 100644 --- a/plutus-tx-plugin/CHANGELOG.md +++ b/plutus-tx-plugin/CHANGELOG.md @@ -1,4 +1,8 @@ + +# 1.27.0.0 — 2024-04-30 + + # 1.26.0.0 — 2024-04-19 diff --git a/plutus-tx-plugin/changelog.d/20240421_114911_bezirg_exe_combined.md b/plutus-tx-plugin/changelog.d/20240421_114911_bezirg_exe_combined.md deleted file mode 100644 index 758c1f6d036..00000000000 --- a/plutus-tx-plugin/changelog.d/20240421_114911_bezirg_exe_combined.md +++ /dev/null @@ -1,5 +0,0 @@ -