diff --git a/cardano-constitution/cardano-constitution.cabal b/cardano-constitution/cardano-constitution.cabal index 2d1e76c5b65..c21a49b784d 100644 --- a/cardano-constitution/cardano-constitution.cabal +++ b/cardano-constitution/cardano-constitution.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: cardano-constitution -version: 1.53.0.0 +version: 1.53.1.0 license: Apache-2.0 license-files: LICENSE @@ -83,13 +83,13 @@ library build-depends: , aeson - , base >=4.9 && <5 + , base >=4.9 && <5 , containers , filepath - , plutus-core ^>=1.53 - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 , regex-tdfa , safe , template-haskell @@ -126,16 +126,16 @@ test-suite cardano-constitution-test build-depends: , aeson - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , cardano-constitution , containers , directory , filepath - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 , QuickCheck , serialise , tasty @@ -152,4 +152,4 @@ executable create-json-envelope build-depends: , base , cardano-constitution - , plutus-ledger-api ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 diff --git a/doc/docusaurus/docusaurus-examples.cabal b/doc/docusaurus/docusaurus-examples.cabal index 7f4f1f144ea..ba2611141a8 100644 --- a/doc/docusaurus/docusaurus-examples.cabal +++ b/doc/docusaurus/docusaurus-examples.cabal @@ -39,11 +39,11 @@ library docusaurus-code BasicValidators build-depends: - , base >=4.9 && <5 - , plutus-core ^>=1.53 - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , base >=4.9 && <5 + , plutus-core ^>=1.53.1.0 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 executable example-cip57 import: lang, ghc-version-support, os-support @@ -54,9 +54,9 @@ executable example-cip57 build-depends: , base ^>=4.18 , containers - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 executable example-evaluation import: lang, ghc-version-support, os-support @@ -66,9 +66,9 @@ executable example-evaluation other-modules: Paths_docusaurus_examples build-depends: , base ^>=4.18 - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib , text @@ -85,9 +85,9 @@ executable quickstart default-language: Haskell2010 other-modules: AuctionValidator build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , base16-bytestring , bytestring - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 diff --git a/plutus-benchmark/plutus-benchmark.cabal b/plutus-benchmark/plutus-benchmark.cabal index cb413bbd7d1..e5a077ce1b9 100644 --- a/plutus-benchmark/plutus-benchmark.cabal +++ b/plutus-benchmark/plutus-benchmark.cabal @@ -87,15 +87,15 @@ library plutus-benchmark-common other-modules: Paths_plutus_benchmark build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , criterion , deepseq , directory , filepath , flat ^>=0.6 - , plutus-core ^>=1.53 - , plutus-ledger-api ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-ledger-api ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib , tasty , tasty-golden @@ -119,27 +119,27 @@ library nofib-internal PlutusBenchmark.NoFib.Queens build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , deepseq , plutus-benchmark-common - , plutus-core ^>=1.53 - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 executable nofib-exe import: lang, ghc-version-support, os-support main-is: Main.hs hs-source-dirs: nofib/exe build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , flat ^>=0.6 , lens , nofib-internal , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.53 - , plutus-tx ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 , prettyprinter , transformers @@ -174,12 +174,12 @@ test-suite plutus-benchmark-nofib-tests hs-source-dirs: nofib/test ghc-options: -threaded -rtsopts -with-rtsopts=-N build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , nofib-internal , plutus-benchmark-common - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.53 + , plutus-tx ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib , tasty , tasty-hunit @@ -203,23 +203,23 @@ library lists-internal PlutusBenchmark.Lists.Sort.QuickSort build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , mtl , plutus-benchmark-common - , plutus-core ^>=1.53 - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 executable list-sort-exe import: lang, ghc-version-support, os-support main-is: Main.hs hs-source-dirs: lists/exe build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , lists-internal , monoidal-containers , plutus-benchmark-common - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 benchmark lists import: lang, ghc-version-support, os-support @@ -227,11 +227,11 @@ benchmark lists main-is: Bench.hs hs-source-dirs: lists/bench build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , criterion >=1.5.9.0 , lists-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 test-suite plutus-benchmark-lists-tests import: lang, ghc-version-support, os-support @@ -245,11 +245,11 @@ test-suite plutus-benchmark-lists-tests Sum.Spec build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , lists-internal , plutus-benchmark-common - , plutus-core:plutus-core-testlib ^>=1.53 - , plutus-tx:plutus-tx-testlib ^>=1.53 + , plutus-core:plutus-core-testlib ^>=1.53.1.0 + , plutus-tx:plutus-tx-testlib ^>=1.53.1.0 , tasty , tasty-quickcheck @@ -260,10 +260,10 @@ library casing-internal hs-source-dirs: casing/src exposed-modules: PlutusBenchmark.Casing build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , mtl , plutus-benchmark-common - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 benchmark casing import: lang, ghc-version-support, os-support @@ -271,11 +271,11 @@ benchmark casing main-is: Bench.hs hs-source-dirs: casing/bench build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , casing-internal , criterion >=1.5.9.0 , plutus-benchmark-common - , plutus-ledger-api ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 ---------------- validation ---------------- @@ -284,7 +284,7 @@ library validation-internal hs-source-dirs: validation/src exposed-modules: PlutusBenchmark.Validation.Common build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , criterion >=1.5.9.0 , directory @@ -292,7 +292,7 @@ library validation-internal , flat ^>=0.6 , optparse-applicative , plutus-benchmark-common - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 benchmark validation import: lang, os-support @@ -300,10 +300,10 @@ benchmark validation main-is: BenchCek.hs hs-source-dirs: validation/bench build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , plutus-benchmark-common - , plutus-core ^>=1.53 - , plutus-ledger-api ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-ledger-api ^>=1.53.1.0 , validation-internal test-suite validation-tests @@ -313,15 +313,15 @@ test-suite validation-tests hs-source-dirs: validation/test ghc-options: -threaded -rtsopts -with-rtsopts=-N build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , directory , filepath , flat ^>=0.6 , plutus-benchmark-common - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.53 + , plutus-tx ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib , tasty , validation-internal @@ -334,12 +334,12 @@ benchmark validation-decode main-is: BenchDec.hs hs-source-dirs: validation/bench build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , criterion >=1.5.9.0 , deepseq - , plutus-core ^>=1.53 - , plutus-ledger-api ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-ledger-api ^>=1.53.1.0 , validation-internal ---------------- validation-full ---------------- @@ -350,12 +350,12 @@ benchmark validation-full main-is: BenchFull.hs hs-source-dirs: validation/bench build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , criterion >=1.5.9.0 , deepseq - , plutus-core ^>=1.53 - , plutus-ledger-api ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-ledger-api ^>=1.53.1.0 , validation-internal ---------------- Cek cost model calibration ---------------- @@ -367,15 +367,15 @@ benchmark cek-calibration main-is: Main.hs hs-source-dirs: cek-calibration build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , criterion >=1.5.9.0 , lens , mtl , plutus-benchmark-common - , plutus-core ^>=1.53 - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 ---------------- Signature verification throughput ---------------- @@ -386,14 +386,14 @@ executable ed25519-costs main-is: Main.hs other-modules: PlutusBenchmark.Ed25519.Common build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , cardano-crypto-class , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.53 - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 -- Calculate the predicted costs of sequences of ed25519 signature verification -- operations and compare them with a golden file. @@ -405,15 +405,15 @@ test-suite ed25519-costs-test main-is: Spec.hs other-modules: PlutusBenchmark.Ed25519.Common build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , cardano-crypto-class , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 ---------------- BLS12-381 experiments ---------------- @@ -427,14 +427,14 @@ library bls12-381lib-internal PlutusBenchmark.BLS12_381.Scripts build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , hedgehog , plutus-benchmark-common - , plutus-core ^>=1.53 - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 -- Print out predicted costs of various scripts involving BLS12-381 operations executable bls12-381-costs @@ -455,10 +455,10 @@ test-suite bls12-381-costs-test ghc-options: -threaded -rtsopts -with-rtsopts=-N hs-source-dirs: bls12-381-costs/test build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bls12-381lib-internal , plutus-benchmark-common - , plutus-core:plutus-core-testlib ^>=1.53 + , plutus-core:plutus-core-testlib ^>=1.53.1.0 -- Run benchmarks for various scripts involving BLS12-381 operations benchmark bls12-381-benchmarks @@ -467,13 +467,13 @@ benchmark bls12-381-benchmarks main-is: Bench.hs hs-source-dirs: bls12-381-costs/bench build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bls12-381lib-internal , bytestring , criterion >=1.5.9.0 , plutus-benchmark-common - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 ---------------- script contexts ---------------- @@ -489,10 +489,10 @@ library script-contexts-internal PlutusBenchmark.V3.ScriptContexts build-depends: - , base >=4.9 && <5 - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , base >=4.9 && <5 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 test-suite plutus-benchmark-script-contexts-tests import: lang, ghc-version-support, os-support @@ -506,10 +506,10 @@ test-suite plutus-benchmark-script-contexts-tests V3.Spec build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib , script-contexts-internal , tasty @@ -540,11 +540,11 @@ library marlowe-internal , mtl , newtype-generics , plutus-benchmark-common - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-execlib - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 , serialise executable marlowe-validators @@ -565,8 +565,8 @@ executable marlowe-validators , filepath , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 , serialise benchmark marlowe @@ -576,12 +576,12 @@ benchmark marlowe other-modules: Shared hs-source-dirs: marlowe/bench build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , criterion , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 test-suite plutus-benchmark-marlowe-tests import: lang, ghc-version-support, os-support @@ -591,16 +591,16 @@ test-suite plutus-benchmark-marlowe-tests hs-source-dirs: marlowe/test other-modules: Lib build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , directory , filepath , formatting , marlowe-internal , mtl , plutus-benchmark-common - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 , tabular , tasty , tasty-golden @@ -616,10 +616,10 @@ library agda-internal hs-source-dirs: agda-common exposed-modules: PlutusBenchmark.Agda.Common build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , criterion - , plutus-core ^>=1.53 - , plutus-metatheory ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-metatheory ^>=1.53.1.0 benchmark validation-agda-cek import: lang, ghc-version-support, os-support, @@ -628,10 +628,10 @@ benchmark validation-agda-cek hs-source-dirs: validation/bench build-depends: , agda-internal - , base >=4.9 && <5 + , base >=4.9 && <5 , deepseq , plutus-benchmark-common - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , validation-internal benchmark nofib-agda-cek @@ -655,12 +655,12 @@ benchmark marlowe-agda-cek hs-source-dirs: marlowe/bench build-depends: , agda-internal - , base >=4.9 && <5 + , base >=4.9 && <5 , criterion , marlowe-internal , plutus-benchmark-common - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 -------------------- bitwise ----------------------- @@ -676,8 +676,8 @@ library bitwise-internal build-depends: , base - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 test-suite bitwise-test import: lang, ghc-version-support, os-support @@ -685,12 +685,12 @@ test-suite bitwise-test main-is: Main.hs hs-source-dirs: bitwise/test build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bitwise-internal , cryptohash-sha512 , ed25519 - , plutus-core:plutus-core-testlib ^>=1.53 - , plutus-tx ^>=1.53 + , plutus-core:plutus-core-testlib ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib , tasty , tasty-hunit @@ -701,11 +701,11 @@ benchmark bitwise-bench main-is: Main.hs hs-source-dirs: bitwise/bench build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bitwise-internal , criterion , plutus-benchmark-common - , plutus-tx ^>=1.53 + , plutus-tx ^>=1.53.1.0 ------------------ linear vesting ------------------- @@ -752,8 +752,8 @@ library coop , lens , memory , plutus-ledger-api - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 , QuickCheck test-suite coop-test @@ -762,11 +762,11 @@ test-suite coop-test main-is: Main.hs hs-source-dirs: coop/test build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , coop - , plutus-core:plutus-core-testlib ^>=1.53 + , plutus-core:plutus-core-testlib ^>=1.53.1.0 , plutus-ledger-api - , plutus-tx ^>=1.53 + , plutus-tx ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib , tasty @@ -784,7 +784,7 @@ executable gen-coop-flat , plutus-benchmark-common , plutus-core , plutus-ledger-api - , plutus-tx ^>=1.53 + , plutus-tx ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib ------------------ linear vesting ------------------- @@ -795,9 +795,9 @@ test-suite linear-vesting-test main-is: Main.hs hs-source-dirs: linear-vesting/test build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , linear-vesting-internal - , plutus-core:plutus-core-testlib ^>=1.53 + , plutus-core:plutus-core-testlib ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib , tasty @@ -831,8 +831,8 @@ test-suite cardano-loans-test main-is: Main.hs hs-source-dirs: cardano-loans/test build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , cardano-loans-internal - , plutus-core:plutus-core-testlib ^>=1.53 + , plutus-core:plutus-core-testlib ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib , tasty diff --git a/plutus-conformance/plutus-conformance.cabal b/plutus-conformance/plutus-conformance.cabal index 94d28792475..80078e56bd1 100644 --- a/plutus-conformance/plutus-conformance.cabal +++ b/plutus-conformance/plutus-conformance.cabal @@ -56,7 +56,7 @@ library , base , directory , filepath - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib , tasty , tasty-expected-failure @@ -78,9 +78,9 @@ test-suite haskell-conformance hs-source-dirs: haskell test-cases other-modules: build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , plutus-conformance - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 test-suite haskell-steppable-conformance import: lang, os-support @@ -90,9 +90,9 @@ test-suite haskell-steppable-conformance hs-source-dirs: haskell-steppable test-cases other-modules: build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , plutus-conformance - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 test-suite agda-conformance import: lang, os-support, ghc-version-support @@ -103,8 +103,8 @@ test-suite agda-conformance other-modules: build-depends: , aeson - , base >=4.9 && <5 + , base >=4.9 && <5 , plutus-conformance - , plutus-core ^>=1.53 - , plutus-metatheory ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-metatheory ^>=1.53.1.0 , transformers diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal index 038912952c3..c7e460593c3 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.53.0.0 +version: 1.53.1.0 license: Apache-2.0 license-files: LICENSE @@ -381,7 +381,7 @@ test-suite plutus-core-test default-language: Haskell2010 build-depends: , aeson - , base >=4.9 && <5 + , base >=4.9 && <5 , base16-bytestring ^>=1.0 , bytestring , containers @@ -392,7 +392,7 @@ test-suite plutus-core-test , hedgehog , mmorph , mtl - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib , prettyprinter , serialise @@ -474,7 +474,7 @@ library untyped-plutus-core-testlib Transform.Simplify.Spec build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , base16-bytestring , bytestring , cardano-crypto-class @@ -484,7 +484,7 @@ library untyped-plutus-core-testlib , hedgehog , lens , mtl - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib , pretty-show , prettyprinter @@ -576,7 +576,7 @@ library plutus-ir build-depends: , algebraic-graphs >=0.7 - , base >=4.9 && <5 + , base >=4.9 && <5 , containers , data-default-class , dlist @@ -591,7 +591,7 @@ library plutus-ir , mtl , multiset , parser-combinators >=0.4.0 - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , prettyprinter >=1.1.0.1 , profunctors , semigroupoids @@ -649,7 +649,7 @@ test-suite plutus-ir-test build-tool-depends: tasty-discover:tasty-discover build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , containers , filepath , flat ^>=0.6 @@ -657,7 +657,7 @@ test-suite plutus-ir-test , hedgehog , lens , mtl - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib , plutus-core:plutus-ir , QuickCheck @@ -706,7 +706,7 @@ executable plutus build-depends: , aeson-pretty - , base >=4.9 && <5 + , base >=4.9 && <5 , brick , bytestring , containers @@ -719,7 +719,7 @@ executable plutus , microlens-th ^>=0.4 , mono-traversable , mtl - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-ir , prettyprinter , primitive @@ -752,7 +752,7 @@ library plutus-core-execlib build-depends: , aeson - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , flat ^>=0.6 , lens @@ -760,7 +760,7 @@ library plutus-core-execlib , monoidal-containers , mtl , optparse-applicative - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib , plutus-core:plutus-ir , prettyprinter @@ -811,7 +811,7 @@ library plutus-core-testlib UntypedPlutusCore.Test.DeBruijn.Good build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bifunctors , bytestring , containers @@ -827,7 +827,7 @@ library plutus-core-testlib , mmorph , mtl , multiset - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-ir , pretty-simple , prettyprinter >=1.1.0.1 @@ -865,7 +865,7 @@ library plutus-ir-cert exposed-modules: PlutusIR.Certifier build-depends: , base - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-ir ---------------------------------------------- @@ -934,7 +934,7 @@ executable cost-model-budgeting-bench hs-source-dirs: cost-model/budgeting-bench build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , cardano-crypto-class , criterion @@ -945,7 +945,7 @@ executable cost-model-budgeting-bench , hedgehog , mtl , optparse-applicative - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , QuickCheck , quickcheck-instances , random @@ -979,12 +979,12 @@ executable generate-cost-model build-depends: , aeson-pretty , barbies - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , directory , inline-r >=1.0.1 , optparse-applicative - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , text -- , exceptions @@ -1023,12 +1023,12 @@ benchmark cost-model-test build-depends: , barbies - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , hedgehog , inline-r >=1.0.1 , mmorph - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , template-haskell , text @@ -1043,9 +1043,9 @@ executable print-cost-model other-modules: Paths_plutus_core build-depends: , aeson - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 ---------------------------------------------- -- satint diff --git a/plutus-core/testlib/PlutusCore/Generators/QuickCheck/Builtin.hs b/plutus-core/testlib/PlutusCore/Generators/QuickCheck/Builtin.hs index 3ee10b96526..1f9803ef646 100644 --- a/plutus-core/testlib/PlutusCore/Generators/QuickCheck/Builtin.hs +++ b/plutus-core/testlib/PlutusCore/Generators/QuickCheck/Builtin.hs @@ -7,6 +7,7 @@ {-# LANGUAGE TypeApplications #-} {-# OPTIONS_GHC -fno-warn-orphans #-} +{-# OPTIONS_GHC -Wno-dodgy-imports #-} module PlutusCore.Generators.QuickCheck.Builtin where @@ -30,7 +31,7 @@ import Data.Text (Text) import Data.Text qualified as Text import Data.Text.Encoding qualified as Text import Data.Vector.Strict qualified as Strict -import Test.QuickCheck +import Test.QuickCheck hiding (Some (..)) import Test.QuickCheck.Instances.ByteString () import Test.QuickCheck.Instances.Vector () import Universe diff --git a/plutus-core/untyped-plutus-core/testlib/Evaluation/Builtins/BLS12_381.hs b/plutus-core/untyped-plutus-core/testlib/Evaluation/Builtins/BLS12_381.hs index 65641f18aa2..c9537c133c4 100644 --- a/plutus-core/untyped-plutus-core/testlib/Evaluation/Builtins/BLS12_381.hs +++ b/plutus-core/untyped-plutus-core/testlib/Evaluation/Builtins/BLS12_381.hs @@ -4,6 +4,8 @@ {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TypeApplications #-} +{-# OPTIONS_GHC -Wno-dodgy-imports #-} + {- | Property tests for the BLS12-381 builtins -} module Evaluation.Builtins.BLS12_381 where @@ -23,9 +25,9 @@ import Data.ByteString as BS (empty, length, pack) import Data.List as List (foldl', genericReplicate, length, nub) import Text.Printf (printf) -import Test.QuickCheck +import Test.QuickCheck hiding (Some (..)) import Test.Tasty -import Test.Tasty.QuickCheck +import Test.Tasty.QuickCheck hiding (Some (..)) -- QuickCheck utilities diff --git a/plutus-core/untyped-plutus-core/testlib/Evaluation/Builtins/Costing.hs b/plutus-core/untyped-plutus-core/testlib/Evaluation/Builtins/Costing.hs index a220dedf86e..95491ba4231 100644 --- a/plutus-core/untyped-plutus-core/testlib/Evaluation/Builtins/Costing.hs +++ b/plutus-core/untyped-plutus-core/testlib/Evaluation/Builtins/Costing.hs @@ -3,6 +3,7 @@ {-# LANGUAGE TypeApplications #-} {-# OPTIONS_GHC -fno-warn-orphans #-} +{-# OPTIONS_GHC -Wno-dodgy-imports #-} module Evaluation.Builtins.Costing where @@ -22,7 +23,7 @@ import Data.Maybe import Data.SatInt import Test.QuickCheck.Gen import Test.Tasty -import Test.Tasty.QuickCheck +import Test.Tasty.QuickCheck hiding (Some (..)) deriving newtype instance Foldable NonEmptyList -- QuickCheck... diff --git a/plutus-executables/plutus-executables.cabal b/plutus-executables/plutus-executables.cabal index 814bd8f5b45..b06e85c8708 100644 --- a/plutus-executables/plutus-executables.cabal +++ b/plutus-executables/plutus-executables.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: plutus-executables -version: 1.53.0.0 +version: 1.53.1.0 synopsis: Tools for running plutus core programs homepage: https://github.com/IntersectMBO/plutus license: Apache-2.0 @@ -68,7 +68,7 @@ executable pir other-modules: Paths_plutus_executables hs-source-dirs: executables build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , cassava , containers @@ -76,7 +76,7 @@ executable pir , megaparsec , mtl , optparse-applicative - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-execlib , plutus-core:plutus-ir , text @@ -87,12 +87,12 @@ executable plc other-modules: Paths_plutus_executables hs-source-dirs: executables build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , flat ^>=0.6 , mtl , optparse-applicative - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-execlib executable uplc @@ -101,7 +101,7 @@ executable uplc other-modules: Paths_plutus_executables hs-source-dirs: executables build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , criterion , deepseq @@ -109,9 +109,9 @@ executable uplc , haskeline , mtl , optparse-applicative - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-execlib - , plutus-metatheory ^>=1.53 + , plutus-metatheory ^>=1.53.1.0 , prettyprinter , serialise , split @@ -125,7 +125,7 @@ test-suite test-simple build-depends: , base , extra - , plutus-metatheory ^>=1.53 + , plutus-metatheory ^>=1.53.1.0 , process build-tool-depends: @@ -141,8 +141,8 @@ test-suite test-detailed , base , directory , extra - , plutus-core ^>=1.53 - , plutus-metatheory ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-metatheory ^>=1.53.1.0 , process , tasty , tasty-hunit diff --git a/plutus-ledger-api/CHANGELOG.md b/plutus-ledger-api/CHANGELOG.md index c1497c69e82..7b39f28d5c3 100644 --- a/plutus-ledger-api/CHANGELOG.md +++ b/plutus-ledger-api/CHANGELOG.md @@ -1,4 +1,11 @@ + +# 1.53.1.0 — 2025-10-17 + +## Fixed + +- Allows PlutusV3 scripts with the v1.0.0 Plutus Core language version. + # 1.51.0.0 — 2025-07-30 diff --git a/plutus-ledger-api/plutus-ledger-api.cabal b/plutus-ledger-api/plutus-ledger-api.cabal index 033c01c89ea..802dc204889 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.53.0.0 +version: 1.53.1.0 license: Apache-2.0 license-files: LICENSE @@ -113,7 +113,7 @@ library build-depends: , aeson , aeson-pretty - , base >=4.9 && <5 + , base >=4.9 && <5 , base16-bytestring >=1 , bytestring , cborg @@ -122,8 +122,8 @@ library , lens , mtl , nothunks - , plutus-core ^>=1.53 - , plutus-tx ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 , prettyprinter , serialise , tagged @@ -151,15 +151,15 @@ library plutus-ledger-api-testlib build-depends: , barbies - , base >=4.9 && <5 + , base >=4.9 && <5 , base16-bytestring , base64-bytestring , bytestring , containers - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.53 - , plutus-tx ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 + , plutus-tx ^>=1.53.1.0 , prettyprinter , QuickCheck , serialise @@ -186,7 +186,7 @@ test-suite plutus-ledger-api-test Spec.Versions build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , cborg , containers @@ -195,11 +195,11 @@ test-suite plutus-ledger-api-test , lens , mtl , nothunks - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 , plutus-ledger-api:plutus-ledger-api-testlib - , plutus-tx ^>=1.53 + , plutus-tx ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib , prettyprinter , serialise @@ -238,18 +238,18 @@ test-suite plutus-ledger-api-plugin-test buildable: False build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , containers , filepath , lens , mtl - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib - , plutus-ledger-api ^>=1.53 + , plutus-ledger-api ^>=1.53.1.0 , plutus-ledger-api:plutus-ledger-api-testlib - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib , prettyprinter , QuickCheck @@ -269,12 +269,12 @@ executable test-onchain-evaluation ghc-options: -threaded -rtsopts -with-rtsopts=-N build-depends: , async - , base >=4.9 && <5 + , base >=4.9 && <5 , extra , filepath , mtl - , plutus-core ^>=1.53 - , plutus-ledger-api ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-ledger-api ^>=1.53.1.0 , plutus-ledger-api:plutus-ledger-api-testlib , serialise , tasty @@ -288,15 +288,15 @@ executable analyse-script-events default-language: Haskell2010 ghc-options: -threaded -rtsopts -with-rtsopts=-N build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , extra , filepath , lens , mtl - , plutus-core ^>=1.53 - , plutus-ledger-api ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-ledger-api ^>=1.53.1.0 , plutus-ledger-api:plutus-ledger-api-testlib - , plutus-tx ^>=1.53 + , plutus-tx ^>=1.53.1.0 , primitive , serialise @@ -310,12 +310,12 @@ executable dump-cost-model-parameters build-depends: , aeson , aeson-pretty - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , containers , extra , optparse-applicative - , plutus-core ^>=1.53 - , plutus-ledger-api ^>=1.53 + , plutus-core ^>=1.53.1.0 + , plutus-ledger-api ^>=1.53.1.0 , text , vector diff --git a/plutus-ledger-api/src/PlutusLedgerApi/Common/Versions.hs b/plutus-ledger-api/src/PlutusLedgerApi/Common/Versions.hs index e87b3aad69f..57f0a780aec 100644 --- a/plutus-ledger-api/src/PlutusLedgerApi/Common/Versions.hs +++ b/plutus-ledger-api/src/PlutusLedgerApi/Common/Versions.hs @@ -270,12 +270,12 @@ plcVersionsIntroducedIn = ] PlutusV2 -> Map.fromList - [ (alonzoPV, Set.fromList [ plcVersion100 ]) + [ (vasilPV, Set.fromList [ plcVersion100 ]) , (pv11PV, Set.fromList [ plcVersion110 ]) ] PlutusV3 -> Map.fromList - [(changPV, Set.fromList [ plcVersion110 ]) + [ (changPV, Set.fromList [ plcVersion100, plcVersion110 ]) ] {-| Which Plutus Core language versions are available in the given 'PlutusLedgerLanguage' diff --git a/plutus-ledger-api/test/Spec/Versions.hs b/plutus-ledger-api/test/Spec/Versions.hs index 9d8ebfbf7b6..1e89dfad7da 100644 --- a/plutus-ledger-api/test/Spec/Versions.hs +++ b/plutus-ledger-api/test/Spec/Versions.hs @@ -57,6 +57,9 @@ showPV (MajorProtocolVersion pv) = errorScript :: SerialisedScript errorScript = serialiseUPLC $ UPLC.Program () PLC.plcVersion100 $ UPLC.Error () +v100script :: UPLC.Program UPLC.DeBruijn UPLC.DefaultUni UPLC.DefaultFun () +v100script = UPLC.Program () PLC.plcVersion100 $ UPLC.Constant () (PLC.Some (PLC.ValueOf PLC.DefaultUniUnit ())) + v110script :: UPLC.Program UPLC.DeBruijn UPLC.DefaultUni UPLC.DefaultFun () v110script = UPLC.Program () PLC.plcVersion110 $ UPLC.Constr () 0 mempty @@ -119,23 +122,28 @@ testLedgerLanguages = testGroup "ledger languages" testLanguageVersions :: TestTree testLanguageVersions = testGroup "Plutus Core language versions" $ - let expectGood prog ll pv = + let expectGood plcv prog ll pv = testCase ("Ok in " ++ showPV pv) $ - assertBool ("v110" ++ " not allowed in " ++ show ll ++" @" ++ showPV pv) $ + assertBool (plcv ++ " not allowed in " ++ show ll ++" @" ++ showPV pv) $ isRight $ mkTestTerm ll pv prog - expectBad prog ll pv = + expectBad plcv prog ll pv = testCase ("Not in " ++ showPV pv) $ - assertBool ("v110" ++ " should not be allowed in " ++ show ll ++" @" ++ showPV pv) $ + assertBool (plcv ++ " should not be allowed in " ++ show ll ++" @" ++ showPV pv) $ isLeft $ mkTestTerm ll pv prog - testOkFrom ll firstGood prog = + testOkFrom plcv ll firstGood prog = let expectedGood = [ firstGood .. newestPV ] in testGroup (show ll) $ - fmap (expectBad prog ll) (allPVs \\ expectedGood) ++ - fmap (expectGood prog ll) expectedGood - in [ testGroup "v1.1.0 availability" - [ testOkFrom PlutusV1 newestPV v110script - , testOkFrom PlutusV2 newestPV v110script - , testOkFrom PlutusV3 changPV v110script + fmap (expectBad plcv prog ll) (allPVs \\ expectedGood) ++ + fmap (expectGood plcv prog ll) expectedGood + in [ testGroup "v1.0.0 availability" + [ testOkFrom "v100" PlutusV1 alonzoPV v100script + , testOkFrom "v100" PlutusV2 vasilPV v100script + , testOkFrom "v100" PlutusV3 changPV v100script + ] + , testGroup "v1.1.0 availability" + [ testOkFrom "v110" PlutusV1 newestPV v110script + , testOkFrom "v110" PlutusV2 newestPV v110script + , testOkFrom "v110" PlutusV3 changPV v110script ] -- Check that case and constr are not allowed in 1.1.0 in any LL/PV combination , testCase "case is not available in v1.0.0 ever" $ diff --git a/plutus-metatheory/plutus-metatheory.cabal b/plutus-metatheory/plutus-metatheory.cabal index 18306ca52fc..4bab537e3a3 100644 --- a/plutus-metatheory/plutus-metatheory.cabal +++ b/plutus-metatheory/plutus-metatheory.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: plutus-metatheory -version: 1.53.0.0 +version: 1.53.1.0 synopsis: Command line tool for running plutus core programs homepage: https://github.com/IntersectMBO/plutus license: Apache-2.0 @@ -79,7 +79,7 @@ library , memory , mtl , optparse-applicative - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-execlib , process , text @@ -381,7 +381,7 @@ executable plc-agda main-is: Main.hs build-depends: , base - , plutus-metatheory ^>=1.53 + , plutus-metatheory ^>=1.53.1.0 test-suite test-NEAT import: lang, os-support, ghc-version-support @@ -394,9 +394,9 @@ test-suite test-NEAT , data-default-class , lazy-search , mtl - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib - , plutus-metatheory ^>=1.53 + , plutus-metatheory ^>=1.53.1.0 , size-based , Stream , tasty @@ -418,7 +418,7 @@ test-suite test-certifier , plutus-core , plutus-core:plutus-core-testlib , plutus-core:untyped-plutus-core-testlib - , plutus-metatheory ^>=1.53 + , plutus-metatheory ^>=1.53.1.0 , process , tasty , tasty-hunit diff --git a/plutus-tx-plugin/CHANGELOG.md b/plutus-tx-plugin/CHANGELOG.md index 9e7d8162e47..5be82d5f9b9 100644 --- a/plutus-tx-plugin/CHANGELOG.md +++ b/plutus-tx-plugin/CHANGELOG.md @@ -1,4 +1,11 @@ + +# 1.53.1.0 — 2025-10-17 + +## Removed + +- Removed the experimental compiler certification option temporarily due to ghc issues regarding the profiling build of `plutus-metatheory`. + # 1.53.0.0 — 2025-09-04 diff --git a/plutus-tx-plugin/plutus-tx-plugin.cabal b/plutus-tx-plugin/plutus-tx-plugin.cabal index 0dc8804c027..28f976b24cb 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.53.0.0 +version: 1.53.1.0 license: Apache-2.0 license-files: LICENSE @@ -74,7 +74,7 @@ library build-depends: , array - , base >=4.9 && <5 + , base >=4.9 && <5 , base16-bytestring , bytestring , containers @@ -83,12 +83,10 @@ library , flat ^>=0.6 , ghc , lens - , megaparsec , mtl - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-ir - , plutus-metatheory ^>=1.53 - , plutus-tx ^>=1.53 + , plutus-tx ^>=1.53.1.0 , prettyprinter , template-haskell , text @@ -100,11 +98,11 @@ executable gen-plugin-opts-doc hs-source-dirs: app ghc-options: -threaded -rtsopts -with-rtsopts=-N build-depends: - , base >=4.7 && <5 + , base >=4.7 && <5 , containers , lens , optparse-applicative - , plutus-tx-plugin ^>=1.53 + , plutus-tx-plugin ^>=1.53.1.0 , prettyprinter , PyF >=0.11.1.0 , text @@ -184,7 +182,7 @@ test-suite plutus-tx-plugin-tests Unicode.Spec build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , base16-bytestring , bytestring , containers @@ -194,10 +192,10 @@ test-suite plutus-tx-plugin-tests , hedgehog , lens , mtl - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib , prettyprinter , serialise @@ -227,11 +225,11 @@ test-suite size main-is: Main.hs hs-source-dirs: test/size build-depends: - , base >=4.9 && <5.0 - , plutus-core ^>=1.53 + , base >=4.9 && <5.0 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.53 - , plutus-tx-plugin ^>=1.53 + , plutus-tx ^>=1.53.1.0 + , plutus-tx-plugin ^>=1.53.1.0 , plutus-tx:plutus-tx-testlib , tagged , tasty diff --git a/plutus-tx-plugin/src/PlutusTx/Options.hs b/plutus-tx-plugin/src/PlutusTx/Options.hs index be6468d6023..fa2237998a8 100644 --- a/plutus-tx-plugin/src/PlutusTx/Options.hs +++ b/plutus-tx-plugin/src/PlutusTx/Options.hs @@ -19,7 +19,6 @@ import PlutusIR.Compiler.Types qualified as PIR import PlutusTx.Compiler.Types import UntypedPlutusCore qualified as UPLC -import Control.Applicative (many, optional, (<|>)) import Control.Exception import Control.Lens import Data.Bifunctor (first) @@ -36,7 +35,6 @@ import Data.Text qualified as Text import Data.Type.Equality import GHC.Plugins qualified as GHC import Prettyprinter -import Text.Megaparsec.Char (alphaNumChar, char, upperChar) import Text.Read (readMaybe) import Type.Reflection @@ -78,7 +76,6 @@ data PluginOptions = PluginOptions -- Which effectively ignores the trace text. _posRemoveTrace :: Bool , _posDumpCompilationTrace :: Bool - , _posCertify :: Maybe String } makeLenses ''PluginOptions @@ -310,18 +307,6 @@ pluginOptions = , let k = "dump-compilation-trace" desc = "Dump compilation trace for debugging" in (k, PluginOption typeRep (setTrue k) posDumpCompilationTrace desc []) - , let k = "certify" - desc = - "Produce a certificate for the compiled program, with the given name. " - <> "This certificate provides evidence that the compiler optimizations have " - <> "preserved the functional behavior of the original program. " - <> "Currently, this is only supported for the UPLC compilation pipeline. " - <> "Warning: this is an experimental feature and may not work as expected." - p = optional $ do - firstC <- upperChar - rest <- many (alphaNumChar <|> char '_' <|> char '\\') - pure (firstC : rest) - in (k, PluginOption typeRep (plcParserOption p k) posCertify desc []) ] flag :: (a -> a) -> OptionKey -> Maybe OptionValue -> Validation ParseError (a -> a) @@ -394,7 +379,6 @@ defaultPluginOptions = , _posPreserveLogging = True , _posRemoveTrace = False , _posDumpCompilationTrace = False - , _posCertify = Nothing } processOne diff --git a/plutus-tx-plugin/src/PlutusTx/Plugin.hs b/plutus-tx-plugin/src/PlutusTx/Plugin.hs index f0015455b4c..8563e1e8bba 100644 --- a/plutus-tx-plugin/src/PlutusTx/Plugin.hs +++ b/plutus-tx-plugin/src/PlutusTx/Plugin.hs @@ -83,11 +83,9 @@ import PlutusIR.Compiler.Types qualified as PIR import PlutusIR.Transform.RewriteRules import PlutusIR.Transform.RewriteRules.RemoveTrace (rewriteRuleRemoveTrace) import Prettyprinter qualified as PP -import System.IO (hPutStrLn, openBinaryTempFile, stderr) +import System.IO (openBinaryTempFile) import System.IO.Unsafe (unsafePerformIO) -import Certifier - data PluginCtx = PluginCtx { pcOpts :: PluginOptions , pcFamEnvs :: GHC.FamInstEnvs @@ -638,17 +636,7 @@ runCompiler moduleName opts expr = do modifyError PLC.TypeErrorE $ PLC.inferTypeOfProgram plcTcConfig (plcP $> annMayInline) - let optCertify = opts ^. posCertify - (uplcP, simplTrace) <- flip runReaderT plcOpts $ PLC.compileProgramWithTrace plcP - liftIO $ case optCertify of - Just certName -> do - result <- runCertifier $ mkCertifier simplTrace certName - case result of - Right certSuccess -> - hPutStrLn stderr $ prettyCertifierSuccess certSuccess - Left err -> - hPutStrLn stderr $ prettyCertifierError err - Nothing -> pure () + (uplcP, _) <- flip runReaderT plcOpts $ PLC.compileProgramWithTrace plcP dbP <- liftExcept $ modifyError PLC.FreeVariableErrorE $ traverseOf UPLC.progTerm UPLC.deBruijnTerm uplcP when (opts ^. posDumpUPlc) . liftIO $ dumpFlat diff --git a/plutus-tx/plutus-tx.cabal b/plutus-tx/plutus-tx.cabal index 5a19c135541..d8c8fd0d0b3 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.53.0.0 +version: 1.53.1.0 license: Apache-2.0 license-files: LICENSE @@ -127,7 +127,7 @@ library build-depends: , aeson >=2.2 , aeson-pretty - , base >=4.9 && <5 + , base >=4.9 && <5 , base16-bytestring , bytestring , containers @@ -141,7 +141,7 @@ library , lens , memory , mtl - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-ir , prettyprinter , serialise @@ -176,16 +176,16 @@ library plutus-tx-testlib PlutusTx.Test.Util.Compiled build-depends: - , base >=4.9 && <5 + , base >=4.9 && <5 , bytestring , flat ^>=0.6 , hedgehog , lens , mtl - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib , plutus-core:plutus-ir - , plutus-tx ^>=1.53 + , plutus-tx ^>=1.53.1.0 , prettyprinter , serialise , tasty @@ -224,7 +224,7 @@ test-suite plutus-tx-test hs-source-dirs: test build-depends: , aeson - , base >=4.9 && <5 + , base >=4.9 && <5 , base16-bytestring , bytestring , cborg @@ -234,9 +234,9 @@ test-suite plutus-tx-test , hedgehog-fn , lens , mtl - , plutus-core ^>=1.53 + , plutus-core ^>=1.53.1.0 , plutus-core:plutus-core-testlib - , plutus-tx ^>=1.53 + , plutus-tx ^>=1.53.1.0 , pretty-show , serialise , tasty