diff --git a/doc/read-the-docs-site/plutus-doc.cabal b/doc/read-the-docs-site/plutus-doc.cabal
index 52867e59eff..38973f22f6f 100644
--- a/doc/read-the-docs-site/plutus-doc.cabal
+++ b/doc/read-the-docs-site/plutus-doc.cabal
@@ -77,9 +77,9 @@ executable doc-doctests
, containers
, flat ^>=0.6
, lens
- , plutus-core ^>=1.13
- , plutus-ledger-api ^>=1.13
- , plutus-tx ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-ledger-api ^>=1.14
+ , plutus-tx ^>=1.14
, prettyprinter
, random
, serialise
diff --git a/plutus-benchmark/plutus-benchmark.cabal b/plutus-benchmark/plutus-benchmark.cabal
index 18de992a053..8b1713739d7 100644
--- a/plutus-benchmark/plutus-benchmark.cabal
+++ b/plutus-benchmark/plutus-benchmark.cabal
@@ -78,8 +78,8 @@ library plutus-benchmark-common
, directory
, filepath
, flat ^>=0.6
- , plutus-core ^>=1.13
- , plutus-tx ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-tx ^>=1.14
, tasty
, tasty-golden
, temporary
@@ -110,9 +110,9 @@ library nofib-internal
, base >=4.9 && <5
, deepseq
, plutus-benchmark-common
- , plutus-core ^>=1.13
- , plutus-tx ^>=1.13
- , plutus-tx-plugin ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-tx ^>=1.14
+ , plutus-tx-plugin ^>=1.14
executable nofib-exe
import: lang, ghc-version-support
@@ -127,8 +127,8 @@ executable nofib-exe
, nofib-internal
, optparse-applicative
, plutus-benchmark-common
- , plutus-core ^>=1.13
- , plutus-tx ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-tx ^>=1.14
, transformers
benchmark nofib
@@ -169,8 +169,8 @@ test-suite plutus-benchmark-nofib-tests
, base >=4.9 && <5
, nofib-internal
, plutus-benchmark-common
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.13
- , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.14
+ , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.14
, tasty
, tasty-hunit
, tasty-quickcheck
@@ -199,9 +199,9 @@ library lists-internal
, base >=4.9 && <5
, mtl
, plutus-benchmark-common
- , plutus-core ^>=1.13
- , plutus-tx ^>=1.13
- , plutus-tx-plugin ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-tx ^>=1.14
+ , plutus-tx-plugin ^>=1.14
executable list-sort-exe
import: lang, ghc-version-support
@@ -212,7 +212,7 @@ executable list-sort-exe
, lists-internal
, monoidal-containers
, plutus-benchmark-common
- , plutus-core ^>=1.13
+ , plutus-core ^>=1.14
benchmark lists
import: lang, ghc-version-support
@@ -238,8 +238,8 @@ test-suite plutus-benchmark-lists-tests
, base >=4.9 && <5
, lists-internal
, plutus-benchmark-common
- , plutus-core:plutus-core-testlib ^>=1.13
- , plutus-tx:plutus-tx-testlib ^>=1.13
+ , plutus-core:plutus-core-testlib ^>=1.14
+ , plutus-tx:plutus-tx-testlib ^>=1.14
, tasty
, tasty-quickcheck
@@ -261,8 +261,8 @@ benchmark validation
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
- , plutus-core ^>=1.13
- , plutus-ledger-api ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-ledger-api ^>=1.14
---------------- validation-decode ----------------
@@ -282,8 +282,8 @@ benchmark validation-decode
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
- , plutus-core ^>=1.13
- , plutus-ledger-api ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-ledger-api ^>=1.14
---------------- validation-full ----------------
@@ -303,8 +303,8 @@ benchmark validation-full
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
- , plutus-core ^>=1.13
- , plutus-ledger-api ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-ledger-api ^>=1.14
---------------- Cek cost model calibration ----------------
@@ -323,9 +323,9 @@ benchmark cek-calibration
, criterion >=1.5.9.0
, lens
, mtl
- , plutus-core ^>=1.13
- , plutus-tx ^>=1.13
- , plutus-tx-plugin ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-tx ^>=1.14
+ , plutus-tx-plugin ^>=1.14
---------------- Signature verification throughput ----------------
@@ -344,9 +344,9 @@ executable ed25519-costs
, cardano-crypto-class
, hedgehog
, plutus-benchmark-common
- , plutus-core ^>=1.13
- , plutus-tx ^>=1.13
- , plutus-tx-plugin ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-tx ^>=1.14
+ , plutus-tx-plugin ^>=1.14
-- Calculate the predicted costs of sequences of ed25519 signature verification
-- operations and compare them with a golden file.
@@ -367,9 +367,9 @@ test-suite ed25519-costs-test
, cardano-crypto-class
, hedgehog
, plutus-benchmark-common
- , plutus-core ^>=1.13
- , plutus-tx ^>=1.13
- , plutus-tx-plugin ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-tx ^>=1.14
+ , plutus-tx-plugin ^>=1.14
---------------- BLS12-381 experiments ----------------
@@ -397,10 +397,10 @@ library bls12-381lib-internal
, flat ^>=0.6
, hedgehog
, plutus-benchmark-common
- , plutus-core ^>=1.13
- , plutus-ledger-api ^>=1.13
- , plutus-tx ^>=1.13
- , plutus-tx-plugin ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-ledger-api ^>=1.14
+ , plutus-tx ^>=1.14
+ , plutus-tx-plugin ^>=1.14
-- Print out predicted costs of various scripts involving BLS12-381 operations
executable bls12-381-costs
@@ -449,7 +449,7 @@ benchmark bls12-381-benchmarks
, bytestring
, criterion >=1.5.9.0
, plutus-benchmark-common
- , plutus-tx ^>=1.13
+ , plutus-tx ^>=1.14
---------------- script contexts ----------------
@@ -463,9 +463,9 @@ library script-contexts-internal
exposed-modules: PlutusBenchmark.ScriptContexts
build-depends:
, base >=4.9 && <5
- , plutus-ledger-api ^>=1.13
- , plutus-tx ^>=1.13
- , plutus-tx-plugin ^>=1.13
+ , plutus-ledger-api ^>=1.14
+ , plutus-tx ^>=1.14
+ , plutus-tx-plugin ^>=1.14
test-suite plutus-benchmark-script-contexts-tests
import: lang, ghc-version-support
@@ -481,8 +481,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.13
- , plutus-tx:plutus-tx-testlib ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.14
+ , plutus-tx:plutus-tx-testlib ^>=1.14
, script-contexts-internal
, tasty
, tasty-hunit
@@ -515,10 +515,10 @@ library marlowe-internal
, mtl
, newtype-generics
, plutus-benchmark-common
- , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.13
- , plutus-ledger-api ^>=1.13
- , plutus-tx ^>=1.13
- , plutus-tx-plugin ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.14
+ , plutus-ledger-api ^>=1.14
+ , plutus-tx ^>=1.14
+ , plutus-tx-plugin ^>=1.14
, serialise
executable marlowe-validators
@@ -541,8 +541,8 @@ executable marlowe-validators
, cardano-binary
, marlowe-internal
, plutus-benchmark-common
- , plutus-ledger-api ^>=1.13
- , plutus-tx ^>=1.13
+ , plutus-ledger-api ^>=1.14
+ , plutus-tx ^>=1.14
, serialise
benchmark marlowe
@@ -559,8 +559,8 @@ benchmark marlowe
, criterion
, marlowe-internal
, plutus-benchmark-common
- , plutus-ledger-api ^>=1.13
- , plutus-tx ^>=1.13
+ , plutus-ledger-api ^>=1.14
+ , plutus-tx ^>=1.14
test-suite plutus-benchmark-marlowe-tests
import: lang, ghc-version-support
@@ -576,7 +576,7 @@ test-suite plutus-benchmark-marlowe-tests
build-depends:
, base >=4.9 && <5
, marlowe-internal
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.13
- , plutus-ledger-api ^>=1.13
- , plutus-tx ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.14
+ , plutus-ledger-api ^>=1.14
+ , plutus-tx ^>=1.14
, tasty
diff --git a/plutus-conformance/plutus-conformance.cabal b/plutus-conformance/plutus-conformance.cabal
index 221007b5f8d..904ca1950fa 100644
--- a/plutus-conformance/plutus-conformance.cabal
+++ b/plutus-conformance/plutus-conformance.cabal
@@ -50,7 +50,7 @@ library
, directory
, filepath
, lens
- , plutus-core ^>=1.13
+ , plutus-core ^>=1.14
, tasty
, tasty-expected-failure
, tasty-golden
@@ -66,7 +66,7 @@ executable test-utils
, base >=4.9 && <5
, optparse-applicative
, plutus-conformance
- , plutus-core ^>=1.13
+ , plutus-core ^>=1.14
, plutus-metatheory
, tasty-golden
, text
@@ -105,7 +105,7 @@ test-suite haskell-steppable-conformance
, base >=4.9 && <5
, lens
, plutus-conformance
- , plutus-core ^>=1.13
+ , plutus-core ^>=1.14
test-suite agda-conformance
import: lang
@@ -116,6 +116,6 @@ test-suite agda-conformance
build-depends:
, base >=4.9 && <5
, plutus-conformance
- , plutus-core ^>=1.13
+ , plutus-core ^>=1.14
, plutus-metatheory
, transformers
diff --git a/plutus-core/CHANGELOG.md b/plutus-core/CHANGELOG.md
index a5670c7dc18..d43d6d2b4a9 100644
--- a/plutus-core/CHANGELOG.md
+++ b/plutus-core/CHANGELOG.md
@@ -1,4 +1,15 @@
+
+# 1.14.0.0 — 2023-09-28
+
+## Added
+
+- Optimizer now considers constructor applications to be pure
+
+## Changed
+
+- The ThunkRecursions transformation preserves now the effect order & strictness
+
# 1.13.0.0 — 2023-09-15
diff --git a/plutus-core/changelog.d/20230920_113238_michael.peyton-jones_varinfo.md b/plutus-core/changelog.d/20230920_113238_michael.peyton-jones_varinfo.md
deleted file mode 100644
index 992c0d367cd..00000000000
--- a/plutus-core/changelog.d/20230920_113238_michael.peyton-jones_varinfo.md
+++ /dev/null
@@ -1,4 +0,0 @@
-### Added
-
-- Optimizer now considers constructor applications to be pure
-
diff --git a/plutus-core/changelog.d/20230925_151749_bezirg_fix_thunkrecursions.md b/plutus-core/changelog.d/20230925_151749_bezirg_fix_thunkrecursions.md
deleted file mode 100644
index 33c9948e1f0..00000000000
--- a/plutus-core/changelog.d/20230925_151749_bezirg_fix_thunkrecursions.md
+++ /dev/null
@@ -1,3 +0,0 @@
-### Changed
-
-- The ThunkRecursions transformation preserves now the effect order & strictness
diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal
index 812c3f1feda..f60581db744 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.13.0.0
+version: 1.14.0.0
license: Apache-2.0
license-files:
LICENSE
@@ -302,7 +302,7 @@ library
, nothunks >=0.1.1
, parser-combinators >=0.4.0
, prettyprinter >=1.1.0.1
- , prettyprinter-configurable ^>=1.13
+ , prettyprinter-configurable ^>=1.14
, primitive
, profunctors
, recursion-schemes
@@ -361,7 +361,7 @@ test-suite plutus-core-test
, hex-text
, mmorph
, mtl
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.14
, prettyprinter
, serialise
, tasty
@@ -417,7 +417,7 @@ test-suite untyped-plutus-core-test
, hedgehog
, lens
, mtl
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.14
, pretty-show
, prettyprinter
, QuickCheck
@@ -439,8 +439,8 @@ executable plc
, deepseq
, flat ^>=0.6
, optparse-applicative
- , plutus-core ^>=1.13
- , plutus-core-execlib ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-core-execlib ^>=1.14
, text
executable uplc
@@ -455,8 +455,8 @@ executable uplc
, haskeline
, mtl
, optparse-applicative
- , plutus-core ^>=1.13
- , plutus-core-execlib ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-core-execlib ^>=1.14
, prettyprinter
, split
, text
@@ -544,7 +544,7 @@ library plutus-ir
, mtl
, multiset
, parser-combinators >=0.4.0
- , plutus-core ^>=1.13
+ , plutus-core ^>=1.14
, prettyprinter >=1.1.0.1
, profunctors
, semigroupoids
@@ -587,7 +587,7 @@ test-suite plutus-ir-test
, hedgehog
, lens
, mtl
- , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.14
, QuickCheck
, serialise
, tasty
@@ -609,8 +609,8 @@ executable pir
, lens
, megaparsec
, optparse-applicative
- , plutus-core-execlib ^>=1.13
- , plutus-core:{plutus-core, plutus-ir} ^>=1.13
+ , plutus-core-execlib ^>=1.14
+ , plutus-core:{plutus-core, plutus-ir} ^>=1.14
, text
, transformers
@@ -639,7 +639,7 @@ library plutus-core-execlib
, monoidal-containers
, mtl
, optparse-applicative
- , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.14
, prettyprinter
, text
@@ -698,9 +698,9 @@ library plutus-core-testlib
, mmorph
, mtl
, multiset
- , plutus-core:{plutus-core, plutus-ir} ^>=1.13
+ , plutus-core:{plutus-core, plutus-ir} ^>=1.14
, prettyprinter >=1.1.0.1
- , prettyprinter-configurable ^>=1.13
+ , prettyprinter-configurable ^>=1.14
, QuickCheck
, quickcheck-instances
, quickcheck-transformer
@@ -732,7 +732,7 @@ library plutus-ir-cert
exposed-modules: PlutusIR.Certifier
build-depends:
, base
- , plutus-core:{plutus-core, plutus-ir}
+ , plutus-core:{plutus-core, plutus-ir} ^>=1.14
----------------------------------------------
-- debugger
@@ -763,8 +763,8 @@ executable debugger
, mono-traversable
, mtl
, optparse-applicative
- , plutus-core ^>=1.13
- , plutus-core-execlib ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-core-execlib ^>=1.14
, prettyprinter
, text
, text-zipper
@@ -844,7 +844,7 @@ executable cost-model-budgeting-bench
, hedgehog
, mtl
, optparse-applicative
- , plutus-core ^>=1.13
+ , plutus-core ^>=1.14
, QuickCheck
, quickcheck-instances
, random
@@ -881,7 +881,7 @@ executable generate-cost-model
, extra
, inline-r >=1.0.1
, optparse-applicative
- , plutus-core ^>=1.13
+ , plutus-core ^>=1.14
, text
, vector
@@ -922,7 +922,7 @@ benchmark cost-model-test
, hedgehog
, inline-r >=1.0.1
, mmorph
- , plutus-core ^>=1.13
+ , plutus-core ^>=1.14
, template-haskell
, text
, vector
diff --git a/plutus-ledger-api/CHANGELOG.md b/plutus-ledger-api/CHANGELOG.md
index 8200389e9ac..d6297fbc31c 100644
--- a/plutus-ledger-api/CHANGELOG.md
+++ b/plutus-ledger-api/CHANGELOG.md
@@ -1,4 +1,26 @@
+
+# 1.14.0.0 — 2023-09-28
+
+## Added
+
+- Added a new data type `PlutusLedgerApi.Common.SerialisedScript.ScriptForEvaluation`,
+ containing a serialised script and a deserialised script.
+
+## Changed
+
+- Renamed `PlutusLedgerApi.Common.SerialisedScript.ScriptForExecution` to
+ `PlutusLedgerApi.Common.SerialisedScript.ScriptNamedDeBruijn`.
+- Added a function `PlutusLedgerApi.Common.SerialisedScript.deserialiseScript`,
+ which converts a `SerialisedScript` into a `ScriptForEvaluation`.
+- Removed `PlutusLedgerApi.Common.SerialisedScript.fromSerialisedScript` and
+ `PlutusLedgerApi.Common.SerialisedScript.assertScriptWellFormed`.
+
+- Changed `PlutusLedgerApi.Common.ProtocolVersions.ProtocolVersion` to
+ `PlutusLedgerApi.Common.ProtocolVersions.MajorProtocolVersion`. The ledger can only
+ provide the major component of the protocol version (not the minor component), and
+ Plutus should only care about the major component anyway.
+
# 1.13.0.0 — 2023-09-15
diff --git a/plutus-ledger-api/changelog.d/20230913_145648_unsafeFixIO_ledger_api.md b/plutus-ledger-api/changelog.d/20230913_145648_unsafeFixIO_ledger_api.md
deleted file mode 100644
index d775aee1250..00000000000
--- a/plutus-ledger-api/changelog.d/20230913_145648_unsafeFixIO_ledger_api.md
+++ /dev/null
@@ -1,13 +0,0 @@
-### Added
-
-- Added a new data type `PlutusLedgerApi.Common.SerialisedScript.ScriptForEvaluation`,
- containing a serialised script and a deserialised script.
-
-### Changed
-
-- Renamed `PlutusLedgerApi.Common.SerialisedScript.ScriptForExecution` to
- `PlutusLedgerApi.Common.SerialisedScript.ScriptNamedDeBruijn`.
-- Added a function `PlutusLedgerApi.Common.SerialisedScript.deserialiseScript`,
- which converts a `SerialisedScript` into a `ScriptForEvaluation`.
-- Removed `PlutusLedgerApi.Common.SerialisedScript.fromSerialisedScript` and
- `PlutusLedgerApi.Common.SerialisedScript.assertScriptWellFormed`.
diff --git a/plutus-ledger-api/changelog.d/20230915_103539_unsafeFixIO_major.md b/plutus-ledger-api/changelog.d/20230915_103539_unsafeFixIO_major.md
deleted file mode 100644
index 7251c3cecfd..00000000000
--- a/plutus-ledger-api/changelog.d/20230915_103539_unsafeFixIO_major.md
+++ /dev/null
@@ -1,6 +0,0 @@
-### Changed
-
-- Changed `PlutusLedgerApi.Common.ProtocolVersions.ProtocolVersion` to
- `PlutusLedgerApi.Common.ProtocolVersions.MajorProtocolVersion`. The ledger can only
- provide the major component of the protocol version (not the minor component), and
- Plutus should only care about the major component anyway.
diff --git a/plutus-ledger-api/plutus-ledger-api.cabal b/plutus-ledger-api/plutus-ledger-api.cabal
index 32f1b0145db..f000ab909bc 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.13.0.0
+version: 1.14.0.0
license: Apache-2.0
license-files:
LICENSE
@@ -96,8 +96,8 @@ library
, lens
, mtl
, nothunks
- , plutus-core ^>=1.13
- , plutus-tx ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-tx ^>=1.14
, prettyprinter
, serialise
, tagged
@@ -122,9 +122,9 @@ library plutus-ledger-api-testlib
, base64-bytestring
, bytestring
, containers
- , plutus-core ^>=1.13
- , plutus-ledger-api ^>=1.13
- , plutus-tx ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-ledger-api ^>=1.14
+ , plutus-tx ^>=1.14
, prettyprinter
, PyF >=0.11.1.0
, serialise
@@ -152,9 +152,9 @@ test-suite plutus-ledger-api-test
, hedgehog
, mtl
, nothunks
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.13
- , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.13
- , plutus-tx:plutus-tx-testlib ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.14
+ , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.14
+ , plutus-tx:plutus-tx-testlib ^>=1.14
, tasty
, tasty-hedgehog
, tasty-hunit
@@ -173,8 +173,8 @@ executable evaluation-test
, extra
, filepath
, mtl
- , plutus-core ^>=1.13
- , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.13
+ , plutus-core ^>=1.14
+ , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.14
, serialise
, tasty
, tasty-hunit
diff --git a/plutus-metatheory/plutus-metatheory.cabal b/plutus-metatheory/plutus-metatheory.cabal
index d7553b22994..da4d37ff760 100644
--- a/plutus-metatheory/plutus-metatheory.cabal
+++ b/plutus-metatheory/plutus-metatheory.cabal
@@ -61,7 +61,7 @@ library
, megaparsec
, memory
, optparse-applicative
- , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.14
, process
, text
, transformers
@@ -472,8 +472,8 @@ executable plc-agda
test-suite test1
import: lang
build-tool-depends:
- , plutus-core:plc ^>=1.13
- , plutus-core:uplc ^>=1.13
+ , plutus-core:plc ^>=1.14
+ , plutus-core:uplc ^>=1.14
hs-source-dirs: test
build-depends:
@@ -488,8 +488,8 @@ test-suite test1
test-suite test2
import: lang
build-tool-depends:
- , plutus-core:plc ^>=1.13
- , plutus-core:uplc ^>=1.13
+ , plutus-core:plc ^>=1.14
+ , plutus-core:uplc ^>=1.14
hs-source-dirs: test
type: detailed-0.9
@@ -513,7 +513,7 @@ test-suite test3
, base
, lazy-search
, mtl
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.14
, plutus-metatheory
, size-based
, Stream
diff --git a/plutus-tx-plugin/plutus-tx-plugin.cabal b/plutus-tx-plugin/plutus-tx-plugin.cabal
index e48146cb327..f4068090ed8 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.13.0.0
+version: 1.14.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.13
- , plutus-tx ^>=1.13
+ , plutus-core:{plutus-core, plutus-ir} ^>=1.14
+ , plutus-tx ^>=1.14
, prettyprinter
, PyF >=0.11.1.0
, template-haskell
@@ -108,7 +108,7 @@ executable gen-plugin-opts-doc
, containers
, lens
, optparse-applicative
- , plutus-tx-plugin ^>=1.13
+ , plutus-tx-plugin ^>=1.14
, prettyprinter
, PyF >=0.11.1.0
, text
@@ -164,9 +164,9 @@ test-suite plutus-tx-tests
, hedgehog
, lens
, mtl
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.13
- , plutus-tx-plugin ^>=1.13
- , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.14
+ , plutus-tx-plugin ^>=1.14
+ , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.14
, tasty
, tasty-hedgehog
, tasty-hunit
@@ -194,9 +194,9 @@ test-suite size
hs-source-dirs: test/size
build-depends:
, base >=4.9 && <5.0
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.13
- , plutus-tx-plugin ^>=1.13
- , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.14
+ , plutus-tx-plugin ^>=1.14
+ , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.14
, tagged
, tasty
diff --git a/plutus-tx/plutus-tx.cabal b/plutus-tx/plutus-tx.cabal
index f7523ec9ab8..a7819301f2e 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.13.0.0
+version: 1.14.0.0
license: Apache-2.0
license-files:
LICENSE
@@ -108,7 +108,7 @@ library
, lens
, memory
, mtl
- , plutus-core:{plutus-core, plutus-ir} ^>=1.13
+ , plutus-core:{plutus-core, plutus-ir} ^>=1.14
, prettyprinter
, serialise
, template-haskell >=2.13.0.0
@@ -142,8 +142,8 @@ library plutus-tx-testlib
, hedgehog
, lens
, mtl
- , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.13
- , plutus-tx ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.14
+ , plutus-tx ^>=1.14
, prettyprinter
, tagged
, tasty
@@ -184,8 +184,8 @@ test-suite plutus-tx-test
, filepath
, hedgehog
, hedgehog-fn
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.13
- , plutus-tx ^>=1.13
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.14
+ , plutus-tx ^>=1.14
, pretty-show
, serialise
, tasty
diff --git a/prettyprinter-configurable/prettyprinter-configurable.cabal b/prettyprinter-configurable/prettyprinter-configurable.cabal
index fc6e3cdef39..c5f5d9c6f76 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.13.0.0
+version: 1.14.0.0
-- synopsis:
-- description:
@@ -82,7 +82,7 @@ test-suite prettyprinter-configurable-test
, base >=4.9 && <5
, megaparsec
, parser-combinators
- , prettyprinter-configurable ^>=1.13
+ , prettyprinter-configurable ^>=1.14
, QuickCheck
, quickcheck-text
, tasty