From bc8c3a765769d2c0cd41c43278f5954cfdfd9b15 Mon Sep 17 00:00:00 2001
From: Yura Lazarev <1009751+Unisay@users.noreply.github.com>
Date: Mon, 17 Jun 2024 13:34:04 +0200
Subject: [PATCH] Release 1.30.0.0 (#6216)
---
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 | 17 +++
.../20240510_104627_koz.ross_logical.md | 38 ------
.../20240523_124004_koz.ross_bitwise_2.md | 39 ------
.../changelog.d/20240528_112406_bezirg.md | 4 -
plutus-core/plutus-core.cabal | 42 +++----
plutus-ledger-api/CHANGELOG.md | 28 +++++
...844_ana.pantilie95_add_data_value_types.md | 3 -
..._effectfully_polish_imports_and_exports.md | 18 ---
...ana.pantilie95_fix_scriptcontext_pretty.md | 3 -
plutus-ledger-api/plutus-ledger-api.cabal | 36 +++---
plutus-metatheory/plutus-metatheory.cabal | 12 +-
plutus-tx-plugin/plutus-tx-plugin.cabal | 20 +--
plutus-tx-test-util/plutus-tx-test-util.cabal | 4 +-
plutus-tx/CHANGELOG.md | 22 ++++
.../20240510_110418_koz.ross_logical.md | 38 ------
.../20240523_124052_koz.ross_bitwise_2.md | 39 ------
...2_ana.pantilie95_fix_assocmap_instances.md | 3 -
...154728_ana.pantilie95_add_haskell_sc_eq.md | 3 -
plutus-tx/plutus-tx.cabal | 12 +-
.../prettyprinter-configurable.cabal | 4 +-
23 files changed, 202 insertions(+), 323 deletions(-)
delete mode 100644 plutus-core/changelog.d/20240510_104627_koz.ross_logical.md
delete mode 100644 plutus-core/changelog.d/20240523_124004_koz.ross_bitwise_2.md
delete mode 100644 plutus-core/changelog.d/20240528_112406_bezirg.md
delete mode 100644 plutus-ledger-api/changelog.d/20240604_134844_ana.pantilie95_add_data_value_types.md
delete mode 100644 plutus-ledger-api/changelog.d/20240606_160839_effectfully_polish_imports_and_exports.md
delete mode 100644 plutus-ledger-api/changelog.d/20240607_213432_ana.pantilie95_fix_scriptcontext_pretty.md
delete mode 100644 plutus-tx/changelog.d/20240510_110418_koz.ross_logical.md
delete mode 100644 plutus-tx/changelog.d/20240523_124052_koz.ross_bitwise_2.md
delete mode 100644 plutus-tx/changelog.d/20240607_155832_ana.pantilie95_fix_assocmap_instances.md
delete mode 100644 plutus-tx/changelog.d/20240614_154728_ana.pantilie95_add_haskell_sc_eq.md
diff --git a/doc/read-the-docs-site/plutus-doc.cabal b/doc/read-the-docs-site/plutus-doc.cabal
index 4ec172df787..c57a7650bbf 100644
--- a/doc/read-the-docs-site/plutus-doc.cabal
+++ b/doc/read-the-docs-site/plutus-doc.cabal
@@ -69,9 +69,9 @@ executable doc-doctests
, containers
, flat ^>=0.6
, lens
- , plutus-core ^>=1.29
- , plutus-ledger-api ^>=1.29
- , plutus-tx ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-ledger-api ^>=1.30
+ , plutus-tx ^>=1.30
, prettyprinter
, random
, serialise
@@ -96,10 +96,10 @@ executable quick-start
, base >=4.9 && <5
, base16-bytestring
, bytestring
- , plutus-core ^>=1.29
- , plutus-ledger-api ^>=1.29
- , plutus-tx ^>=1.29
- , plutus-tx-plugin ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-ledger-api ^>=1.30
+ , plutus-tx ^>=1.30
+ , plutus-tx-plugin ^>=1.30
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 34702828fb1..a9ec5f49efd 100644
--- a/plutus-benchmark/plutus-benchmark.cabal
+++ b/plutus-benchmark/plutus-benchmark.cabal
@@ -90,8 +90,8 @@ library plutus-benchmark-common
, directory
, filepath
, flat ^>=0.6
- , plutus-core ^>=1.29
- , plutus-ledger-api ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-ledger-api ^>=1.30
, plutus-tx-test-util
, tasty
, tasty-golden
@@ -118,9 +118,9 @@ library nofib-internal
, base >=4.9 && <5
, deepseq
, plutus-benchmark-common
- , plutus-core ^>=1.29
- , plutus-tx ^>=1.29
- , plutus-tx-plugin ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-tx ^>=1.30
+ , plutus-tx-plugin ^>=1.30
executable nofib-exe
import: lang, ghc-version-support
@@ -134,8 +134,8 @@ executable nofib-exe
, nofib-internal
, optparse-applicative
, plutus-benchmark-common
- , plutus-core ^>=1.29
- , plutus-tx ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-tx ^>=1.30
, prettyprinter
, transformers
@@ -173,8 +173,8 @@ test-suite plutus-benchmark-nofib-tests
, base >=4.9 && <5
, nofib-internal
, plutus-benchmark-common
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
- , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
+ , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.30
, tasty
, tasty-hunit
, tasty-quickcheck
@@ -200,9 +200,9 @@ library lists-internal
, base >=4.9 && <5
, mtl
, plutus-benchmark-common
- , plutus-core ^>=1.29
- , plutus-tx ^>=1.29
- , plutus-tx-plugin ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-tx ^>=1.30
+ , plutus-tx-plugin ^>=1.30
executable list-sort-exe
import: lang, ghc-version-support
@@ -213,7 +213,7 @@ executable list-sort-exe
, lists-internal
, monoidal-containers
, plutus-benchmark-common
- , plutus-core ^>=1.29
+ , plutus-core ^>=1.30
benchmark lists
import: lang, ghc-version-support
@@ -225,7 +225,7 @@ benchmark lists
, criterion >=1.5.9.0
, lists-internal
, plutus-benchmark-common
- , plutus-ledger-api ^>=1.29
+ , plutus-ledger-api ^>=1.30
test-suite plutus-benchmark-lists-tests
import: lang, ghc-version-support
@@ -242,8 +242,8 @@ test-suite plutus-benchmark-lists-tests
, base >=4.9 && <5
, lists-internal
, plutus-benchmark-common
- , plutus-core:plutus-core-testlib ^>=1.29
- , plutus-tx:plutus-tx-testlib ^>=1.29
+ , plutus-core:plutus-core-testlib ^>=1.30
+ , plutus-tx:plutus-tx-testlib ^>=1.30
, tasty
, tasty-quickcheck
@@ -264,8 +264,8 @@ benchmark validation
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
- , plutus-core ^>=1.29
- , plutus-ledger-api ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-ledger-api ^>=1.30
---------------- validation-decode ----------------
@@ -285,8 +285,8 @@ benchmark validation-decode
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
- , plutus-core ^>=1.29
- , plutus-ledger-api ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-ledger-api ^>=1.30
---------------- validation-full ----------------
@@ -306,8 +306,8 @@ benchmark validation-full
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
- , plutus-core ^>=1.29
- , plutus-ledger-api ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-ledger-api ^>=1.30
---------------- Cek cost model calibration ----------------
@@ -323,10 +323,10 @@ benchmark cek-calibration
, lens
, mtl
, plutus-benchmark-common
- , plutus-core ^>=1.29
- , plutus-ledger-api ^>=1.29
- , plutus-tx ^>=1.29
- , plutus-tx-plugin ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-ledger-api ^>=1.30
+ , plutus-tx ^>=1.30
+ , plutus-tx-plugin ^>=1.30
---------------- Signature verification throughput ----------------
@@ -342,9 +342,9 @@ executable ed25519-costs
, cardano-crypto-class
, hedgehog
, plutus-benchmark-common
- , plutus-core ^>=1.29
- , plutus-tx ^>=1.29
- , plutus-tx-plugin ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-tx ^>=1.30
+ , plutus-tx-plugin ^>=1.30
-- 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.29
- , plutus-tx ^>=1.29
- , plutus-tx-plugin ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
+ , plutus-tx ^>=1.30
+ , plutus-tx-plugin ^>=1.30
---------------- BLS12-381 experiments ----------------
@@ -381,10 +381,10 @@ library bls12-381lib-internal
, bytestring
, hedgehog
, plutus-benchmark-common
- , plutus-core ^>=1.29
- , plutus-ledger-api ^>=1.29
- , plutus-tx ^>=1.29
- , plutus-tx-plugin ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-ledger-api ^>=1.30
+ , plutus-tx ^>=1.30
+ , plutus-tx-plugin ^>=1.30
-- 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.29
+ , plutus-core:plutus-core-testlib ^>=1.30
-- 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.29
- , plutus-tx ^>=1.29
+ , plutus-ledger-api ^>=1.30
+ , plutus-tx ^>=1.30
---------------- script contexts ----------------
@@ -433,9 +433,9 @@ library script-contexts-internal
exposed-modules: PlutusBenchmark.ScriptContexts
build-depends:
, base >=4.9 && <5
- , plutus-ledger-api ^>=1.29
- , plutus-tx ^>=1.29
- , plutus-tx-plugin ^>=1.29
+ , plutus-ledger-api ^>=1.30
+ , plutus-tx ^>=1.30
+ , plutus-tx-plugin ^>=1.30
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.29
- , plutus-tx:plutus-tx-testlib ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
+ , plutus-tx:plutus-tx-testlib ^>=1.30
, 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.29
- , plutus-ledger-api ^>=1.29
- , plutus-tx ^>=1.29
- , plutus-tx-plugin ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.30
+ , plutus-ledger-api ^>=1.30
+ , plutus-tx ^>=1.30
+ , plutus-tx-plugin ^>=1.30
, serialise
executable marlowe-validators
@@ -500,8 +500,8 @@ executable marlowe-validators
, cardano-binary
, marlowe-internal
, plutus-benchmark-common
- , plutus-ledger-api ^>=1.29
- , plutus-tx ^>=1.29
+ , plutus-ledger-api ^>=1.30
+ , plutus-tx ^>=1.30
, serialise
benchmark marlowe
@@ -515,8 +515,8 @@ benchmark marlowe
, criterion
, marlowe-internal
, plutus-benchmark-common
- , plutus-ledger-api ^>=1.29
- , plutus-tx ^>=1.29
+ , plutus-ledger-api ^>=1.30
+ , plutus-tx ^>=1.30
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.29
- , plutus-ledger-api ^>=1.29
- , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
+ , plutus-ledger-api ^>=1.30
+ , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.30
, tasty
---------------- agda evaluators ----------------
@@ -544,7 +544,7 @@ library agda-internal
build-depends:
, base >=4.9 && <5
, criterion
- , plutus-core ^>=1.29
+ , plutus-core ^>=1.30
, 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.29
+ , plutus-core ^>=1.30
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.29
- , plutus-tx ^>=1.29
+ , plutus-ledger-api ^>=1.30
+ , plutus-tx ^>=1.30
diff --git a/plutus-conformance/plutus-conformance.cabal b/plutus-conformance/plutus-conformance.cabal
index 3f1100db8da..ac898b01919 100644
--- a/plutus-conformance/plutus-conformance.cabal
+++ b/plutus-conformance/plutus-conformance.cabal
@@ -48,7 +48,7 @@ library
, base
, directory
, filepath
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
, tasty
, tasty-expected-failure
, tasty-golden
@@ -71,7 +71,7 @@ test-suite haskell-conformance
build-depends:
, base >=4.9 && <5
, plutus-conformance
- , plutus-core ^>=1.29
+ , plutus-core ^>=1.30
test-suite haskell-steppable-conformance
import: lang
@@ -84,7 +84,7 @@ test-suite haskell-steppable-conformance
, base >=4.9 && <5
, lens
, plutus-conformance
- , plutus-core ^>=1.29
+ , plutus-core ^>=1.30
test-suite agda-conformance
import: lang
@@ -97,6 +97,6 @@ test-suite agda-conformance
, aeson
, base >=4.9 && <5
, plutus-conformance
- , plutus-core ^>=1.29
+ , plutus-core ^>=1.30
, plutus-metatheory
, transformers
diff --git a/plutus-core/CHANGELOG.md b/plutus-core/CHANGELOG.md
index 94d57f2d885..1a19eeeaa86 100644
--- a/plutus-core/CHANGELOG.md
+++ b/plutus-core/CHANGELOG.md
@@ -1,4 +1,21 @@
+
+# 1.30.0.0 — 2024-06-17
+
+## Added
+
+- Logical operations as per [CIP-122](https://github.com/mlabs-haskell/CIPs/blob/koz/logic-ops/CIP-0122/CIP-0122.md).
+
+- Implementation and tests for primitive operations in [this
+ CIP](https://github.com/mlabs-haskell/CIPs/blob/koz/bitwise/CIP-XXXX/CIP-XXXX.md)
+
+## Changed
+
+- References to CIP-87 have been corrected to refer to CIP-121.
+- Rename `ReplicateByteString` to `ReplicateByte` (and similarly for denotation)
+- Renamed decodeViaFlat to decodeViaFlatWith
+- Renamed AsSerialize to FlatViaSerialise
+
# 1.29.0.0 — 2024-06-04
diff --git a/plutus-core/changelog.d/20240510_104627_koz.ross_logical.md b/plutus-core/changelog.d/20240510_104627_koz.ross_logical.md
deleted file mode 100644
index 56b247b8098..00000000000
--- a/plutus-core/changelog.d/20240510_104627_koz.ross_logical.md
+++ /dev/null
@@ -1,38 +0,0 @@
-
-
-
-### Added
-
-- Logical operations as per [CIP-122](https://github.com/mlabs-haskell/CIPs/blob/koz/logic-ops/CIP-0122/CIP-0122.md).
-
-### Changed
-
-- References to CIP-87 have been corrected to refer to CIP-121.
-
-
-
-
diff --git a/plutus-core/changelog.d/20240523_124004_koz.ross_bitwise_2.md b/plutus-core/changelog.d/20240523_124004_koz.ross_bitwise_2.md
deleted file mode 100644
index d4cded39098..00000000000
--- a/plutus-core/changelog.d/20240523_124004_koz.ross_bitwise_2.md
+++ /dev/null
@@ -1,39 +0,0 @@
-
-
-
-### Added
-
-- Implementation and tests for primitive operations in [this
- CIP](https://github.com/mlabs-haskell/CIPs/blob/koz/bitwise/CIP-XXXX/CIP-XXXX.md)
-
-### Changed
-
-- Rename `ReplicateByteString` to `ReplicateByte` (and similarly for denotation)
-
-
-
-
diff --git a/plutus-core/changelog.d/20240528_112406_bezirg.md b/plutus-core/changelog.d/20240528_112406_bezirg.md
deleted file mode 100644
index 65214cc9f83..00000000000
--- a/plutus-core/changelog.d/20240528_112406_bezirg.md
+++ /dev/null
@@ -1,4 +0,0 @@
-### Changed
-
-- Renamed decodeViaFlat to decodeViaFlatWith
-- Renamed AsSerialize to FlatViaSerialise
diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal
index 02313c2b80e..70944d10bbe 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.29.0.0
+version: 1.30.0.0
license: Apache-2.0
license-files:
LICENSE
@@ -322,7 +322,7 @@ library
, nothunks ^>=0.1.5
, parser-combinators >=0.4.0
, prettyprinter >=1.1.0.1
- , prettyprinter-configurable ^>=1.29
+ , prettyprinter-configurable ^>=1.30
, primitive
, profunctors
, recursion-schemes
@@ -385,7 +385,7 @@ test-suite plutus-core-test
, hex-text
, mmorph
, mtl
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
, prettyprinter
, serialise
, tasty
@@ -448,7 +448,7 @@ test-suite untyped-plutus-core-test
, hedgehog
, lens
, mtl
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
, pretty-show
, prettyprinter
, QuickCheck
@@ -471,8 +471,8 @@ executable plc
, bytestring
, flat ^>=0.6
, optparse-applicative
- , plutus-core ^>=1.29
- , plutus-core-execlib ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-core-execlib ^>=1.30
, text
executable uplc
@@ -488,8 +488,8 @@ executable uplc
, haskeline
, mtl
, optparse-applicative
- , plutus-core ^>=1.29
- , plutus-core-execlib ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-core-execlib ^>=1.30
, prettyprinter
, split
, text
@@ -585,7 +585,7 @@ library plutus-ir
, mtl
, multiset
, parser-combinators >=0.4.0
- , plutus-core ^>=1.29
+ , plutus-core ^>=1.30
, prettyprinter >=1.1.0.1
, profunctors
, semigroupoids
@@ -654,7 +654,7 @@ test-suite plutus-ir-test
, hedgehog
, lens
, mtl
- , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.30
, QuickCheck
, serialise
, tasty
@@ -677,8 +677,8 @@ executable pir
, lens
, megaparsec
, optparse-applicative
- , plutus-core-execlib ^>=1.29
- , plutus-core:{plutus-core, plutus-ir} ^>=1.29
+ , plutus-core-execlib ^>=1.30
+ , plutus-core:{plutus-core, plutus-ir} ^>=1.30
, text
, transformers
@@ -734,7 +734,7 @@ executable plutus
, microlens-th ^>=0.4
, mono-traversable
, mtl
- , plutus-core:{plutus-core, plutus-ir} ^>=1.29
+ , plutus-core:{plutus-core, plutus-ir} ^>=1.30
, prettyprinter
, primitive
, serialise
@@ -774,7 +774,7 @@ library plutus-core-execlib
, monoidal-containers
, mtl
, optparse-applicative
- , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.30
, prettyprinter
, text
@@ -837,9 +837,9 @@ library plutus-core-testlib
, mmorph
, mtl
, multiset
- , plutus-core:{plutus-core, plutus-ir} ^>=1.29
+ , plutus-core:{plutus-core, plutus-ir} ^>=1.30
, prettyprinter >=1.1.0.1
- , prettyprinter-configurable ^>=1.29
+ , prettyprinter-configurable ^>=1.30
, QuickCheck
, quickcheck-instances
, quickcheck-transformer
@@ -871,7 +871,7 @@ library plutus-ir-cert
exposed-modules: PlutusIR.Certifier
build-depends:
, base
- , plutus-core:{plutus-core, plutus-ir} ^>=1.29
+ , plutus-core:{plutus-core, plutus-ir} ^>=1.30
----------------------------------------------
-- profiling
@@ -949,7 +949,7 @@ executable cost-model-budgeting-bench
, hedgehog
, mtl
, optparse-applicative
- , plutus-core ^>=1.29
+ , plutus-core ^>=1.30
, QuickCheck
, quickcheck-instances
, random
@@ -983,7 +983,7 @@ executable generate-cost-model
, directory
, inline-r >=1.0.1
, optparse-applicative
- , plutus-core ^>=1.29
+ , plutus-core ^>=1.30
, text
-- , exceptions
@@ -1023,7 +1023,7 @@ benchmark cost-model-test
, hedgehog
, inline-r >=1.0.1
, mmorph
- , plutus-core ^>=1.29
+ , plutus-core ^>=1.30
, template-haskell
, text
@@ -1040,7 +1040,7 @@ executable print-cost-model
, aeson
, base >=4.9 && <5
, bytestring
- , plutus-core ^>=1.29
+ , plutus-core ^>=1.30
----------------------------------------------
-- satint
diff --git a/plutus-ledger-api/CHANGELOG.md b/plutus-ledger-api/CHANGELOG.md
index 16f5f444d3e..34ced6b87d5 100644
--- a/plutus-ledger-api/CHANGELOG.md
+++ b/plutus-ledger-api/CHANGELOG.md
@@ -1,4 +1,32 @@
+
+# 1.30.0.0 — 2024-06-17
+
+## Added
+
+- Added a new `Value` type backed by `Data`. This is currently experimental and not yet used in the ledger API.
+
+- Exported the following from `PlutusLedgerApi.Common` in #6178:
+ + `ExCPU (..)`
+ + `ExMemory (..)`
+ + `SatInt (unSatInt)`
+ + `fromSatInt`
+ + `toOpaque,
+ + `fromOpaque`
+ + `BuiltinData (..)`
+ + `ToData (..)`
+ + `FromData (..)`
+ + `UnsafeFromData (..)`
+ + `toData`
+ + `fromData`
+ + `unsafeFromData`
+ + `dataToBuiltinData`
+ + `builtinDataToData`
+
+## Fixed
+
+- Fixed the `Pretty` instance for `ScriptContext` to display the redemeer as well.
+
# 1.29.0.0 — 2024-06-04
diff --git a/plutus-ledger-api/changelog.d/20240604_134844_ana.pantilie95_add_data_value_types.md b/plutus-ledger-api/changelog.d/20240604_134844_ana.pantilie95_add_data_value_types.md
deleted file mode 100644
index 9033de43f37..00000000000
--- a/plutus-ledger-api/changelog.d/20240604_134844_ana.pantilie95_add_data_value_types.md
+++ /dev/null
@@ -1,3 +0,0 @@
-### Added
-
-- Added a new `Value` type backed by `Data`. This is currently experimental and not yet used in the ledger API.
diff --git a/plutus-ledger-api/changelog.d/20240606_160839_effectfully_polish_imports_and_exports.md b/plutus-ledger-api/changelog.d/20240606_160839_effectfully_polish_imports_and_exports.md
deleted file mode 100644
index c0d10d3ce96..00000000000
--- a/plutus-ledger-api/changelog.d/20240606_160839_effectfully_polish_imports_and_exports.md
+++ /dev/null
@@ -1,18 +0,0 @@
-### Added
-
-- Exported the following from `PlutusLedgerApi.Common` in #6178:
- + `ExCPU (..)`
- + `ExMemory (..)`
- + `SatInt (unSatInt)`
- + `fromSatInt`
- + `toOpaque,
- + `fromOpaque`
- + `BuiltinData (..)`
- + `ToData (..)`
- + `FromData (..)`
- + `UnsafeFromData (..)`
- + `toData`
- + `fromData`
- + `unsafeFromData`
- + `dataToBuiltinData`
- + `builtinDataToData`
diff --git a/plutus-ledger-api/changelog.d/20240607_213432_ana.pantilie95_fix_scriptcontext_pretty.md b/plutus-ledger-api/changelog.d/20240607_213432_ana.pantilie95_fix_scriptcontext_pretty.md
deleted file mode 100644
index 4e0b6186feb..00000000000
--- a/plutus-ledger-api/changelog.d/20240607_213432_ana.pantilie95_fix_scriptcontext_pretty.md
+++ /dev/null
@@ -1,3 +0,0 @@
-### Fixed
-
-- Fixed the `Pretty` instance for `ScriptContext` to display the redemeer as well.
diff --git a/plutus-ledger-api/plutus-ledger-api.cabal b/plutus-ledger-api/plutus-ledger-api.cabal
index 91ab3859e07..5d9520da44d 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.29.0.0
+version: 1.30.0.0
license: Apache-2.0
license-files:
LICENSE
@@ -101,8 +101,8 @@ library
, lens
, mtl
, nothunks
- , plutus-core ^>=1.29
- , plutus-tx ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-tx ^>=1.30
, prettyprinter
, serialise
, tagged
@@ -130,9 +130,9 @@ library plutus-ledger-api-testlib
, base64-bytestring
, bytestring
, containers
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
- , plutus-ledger-api ^>=1.29
- , plutus-tx ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
+ , plutus-ledger-api ^>=1.30
+ , plutus-tx ^>=1.30
, prettyprinter
, QuickCheck
, serialise
@@ -165,9 +165,9 @@ test-suite plutus-ledger-api-test
, lens
, mtl
, nothunks
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
- , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.29
- , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
+ , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.30
+ , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.30
, prettyprinter
, serialise
, tasty
@@ -198,10 +198,10 @@ test-suite plutus-ledger-api-plugin-test
, base >=4.9 && <5
, containers
, mtl
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
- , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.29
- , plutus-tx-plugin ^>=1.29
- , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
+ , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.30
+ , plutus-tx-plugin ^>=1.30
+ , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.30
, prettyprinter
, tasty
, tasty-hunit
@@ -220,8 +220,8 @@ executable test-onchain-evaluation
, extra
, filepath
, mtl
- , plutus-core ^>=1.29
- , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.30
, serialise
, tasty
, tasty-hunit
@@ -240,9 +240,9 @@ executable analyse-script-events
, filepath
, lens
, mtl
- , plutus-core ^>=1.29
- , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.29
- , plutus-tx ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib} ^>=1.30
+ , plutus-tx ^>=1.30
, primitive
, serialise
diff --git a/plutus-metatheory/plutus-metatheory.cabal b/plutus-metatheory/plutus-metatheory.cabal
index 23cf6cf68d1..ec4acca3902 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.29
+ , plutus-core:{plutus-core, plutus-core-execlib} ^>=1.30
, process
, text
, transformers
@@ -548,8 +548,8 @@ executable plc-agda
test-suite test1
import: lang
build-tool-depends:
- , plutus-core:plc ^>=1.29
- , plutus-core:uplc ^>=1.29
+ , plutus-core:plc ^>=1.30
+ , plutus-core:uplc ^>=1.30
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.29
- , plutus-core:uplc ^>=1.29
+ , plutus-core:plc ^>=1.30
+ , plutus-core:uplc ^>=1.30
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.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
, plutus-metatheory
, size-based
, Stream
diff --git a/plutus-tx-plugin/plutus-tx-plugin.cabal b/plutus-tx-plugin/plutus-tx-plugin.cabal
index 6b5280f7744..e0fb01883c8 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.29.0.0
+version: 1.30.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.29
- , plutus-tx ^>=1.29
+ , plutus-core:{plutus-core, plutus-ir} ^>=1.30
+ , plutus-tx ^>=1.30
, 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.29
+ , plutus-tx-plugin ^>=1.30
, prettyprinter
, PyF >=0.11.1.0
, text
@@ -184,10 +184,10 @@ test-suite plutus-tx-plugin-tests
, hedgehog
, lens
, mtl
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
- , plutus-tx-plugin ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
+ , plutus-tx-plugin ^>=1.30
, plutus-tx-test-util
- , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.29
+ , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.30
, serialise
, tasty
, tasty-golden
@@ -216,9 +216,9 @@ test-suite size
hs-source-dirs: test/size
build-depends:
, base >=4.9 && <5.0
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
- , plutus-tx-plugin ^>=1.29
- , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
+ , plutus-tx-plugin ^>=1.30
+ , plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.30
, tagged
, tasty
diff --git a/plutus-tx-test-util/plutus-tx-test-util.cabal b/plutus-tx-test-util/plutus-tx-test-util.cabal
index af69bdf27fe..41a9c221581 100644
--- a/plutus-tx-test-util/plutus-tx-test-util.cabal
+++ b/plutus-tx-test-util/plutus-tx-test-util.cabal
@@ -71,8 +71,8 @@ library
-- other-extensions:
build-depends:
, base >=4.9 && <5
- , plutus-core ^>=1.29
- , plutus-tx ^>=1.29
+ , plutus-core ^>=1.30
+ , plutus-tx ^>=1.30
, text
hs-source-dirs: testlib
diff --git a/plutus-tx/CHANGELOG.md b/plutus-tx/CHANGELOG.md
index 8ff9155c0e8..fd1672a8763 100644
--- a/plutus-tx/CHANGELOG.md
+++ b/plutus-tx/CHANGELOG.md
@@ -1,4 +1,26 @@
+
+# 1.30.0.0 — 2024-06-17
+
+## Removed
+
+- Removed incorrect Ord and Eq instances from AssocMap and Data.AssocMap.
+
+## Added
+
+- Builtins corresponding to the logical operations from [CIP-122](https://github.com/mlabs-haskell/CIPs/blob/koz/logic-ops/CIP-0122/CIP-0122.md).
+
+- Builtin wrappers for operations from [this
+ CIP](https://github.com/mlabs-haskell/CIPs/blob/koz/bitwise/CIP-XXXX/CIP-XXXX.md).
+
+- Haskell `Eq` and `Ord` instances for `AssocMap` based on `Data.Map.Strict`.
+
+## Changed
+
+- References to CIP-0087 now correctly refer to CIP-121.
+
+- Rename `replicateByteString` to `replicateByte`
+
# 1.29.0.0 — 2024-06-04
diff --git a/plutus-tx/changelog.d/20240510_110418_koz.ross_logical.md b/plutus-tx/changelog.d/20240510_110418_koz.ross_logical.md
deleted file mode 100644
index eb9750f68f3..00000000000
--- a/plutus-tx/changelog.d/20240510_110418_koz.ross_logical.md
+++ /dev/null
@@ -1,38 +0,0 @@
-
-
-
-### Added
-
-- Builtins corresponding to the logical operations from [CIP-122](https://github.com/mlabs-haskell/CIPs/blob/koz/logic-ops/CIP-0122/CIP-0122.md).
-
-### Changed
-
-- References to CIP-0087 now correctly refer to CIP-121.
-
-
-
-
diff --git a/plutus-tx/changelog.d/20240523_124052_koz.ross_bitwise_2.md b/plutus-tx/changelog.d/20240523_124052_koz.ross_bitwise_2.md
deleted file mode 100644
index 72fea979f9c..00000000000
--- a/plutus-tx/changelog.d/20240523_124052_koz.ross_bitwise_2.md
+++ /dev/null
@@ -1,39 +0,0 @@
-
-
-
-### Added
-
-- Builtin wrappers for operations from [this
- CIP](https://github.com/mlabs-haskell/CIPs/blob/koz/bitwise/CIP-XXXX/CIP-XXXX.md(.
-
-### Changed
-
-- Rename `replicateByteString` to `replicateByte`
-
-
-
-
diff --git a/plutus-tx/changelog.d/20240607_155832_ana.pantilie95_fix_assocmap_instances.md b/plutus-tx/changelog.d/20240607_155832_ana.pantilie95_fix_assocmap_instances.md
deleted file mode 100644
index 50b2c381d5f..00000000000
--- a/plutus-tx/changelog.d/20240607_155832_ana.pantilie95_fix_assocmap_instances.md
+++ /dev/null
@@ -1,3 +0,0 @@
-### Removed
-
-- Removed incorrect Ord and Eq instances from AssocMap and Data.AssocMap.
diff --git a/plutus-tx/changelog.d/20240614_154728_ana.pantilie95_add_haskell_sc_eq.md b/plutus-tx/changelog.d/20240614_154728_ana.pantilie95_add_haskell_sc_eq.md
deleted file mode 100644
index ed8f020277c..00000000000
--- a/plutus-tx/changelog.d/20240614_154728_ana.pantilie95_add_haskell_sc_eq.md
+++ /dev/null
@@ -1,3 +0,0 @@
-### Added
-
-- Haskell `Eq` and `Ord` instances for `AssocMap` based on `Data.Map.Strict`.
\ No newline at end of file
diff --git a/plutus-tx/plutus-tx.cabal b/plutus-tx/plutus-tx.cabal
index b881c414063..0c89b1fe7bd 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.29.0.0
+version: 1.30.0.0
license: Apache-2.0
license-files:
LICENSE
@@ -131,7 +131,7 @@ library
, lens
, memory
, mtl
- , plutus-core:{plutus-core, plutus-ir} ^>=1.29
+ , plutus-core:{plutus-core, plutus-ir} ^>=1.30
, prettyprinter
, serialise
, template-haskell >=2.13.0.0
@@ -164,8 +164,8 @@ library plutus-tx-testlib
, hedgehog
, lens
, mtl
- , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.29
- , plutus-tx ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib, plutus-ir} ^>=1.30
+ , plutus-tx ^>=1.30
, prettyprinter
, tagged
, tasty
@@ -213,8 +213,8 @@ test-suite plutus-tx-test
, hedgehog-fn
, lens
, mtl
- , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
- , plutus-tx ^>=1.29
+ , plutus-core:{plutus-core, plutus-core-testlib} ^>=1.30
+ , plutus-tx ^>=1.30
, pretty-show
, serialise
, tasty
diff --git a/prettyprinter-configurable/prettyprinter-configurable.cabal b/prettyprinter-configurable/prettyprinter-configurable.cabal
index 87c0b4c8b1c..aae23d39963 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.29.0.0
+version: 1.30.0.0
synopsis: Configurable pretty-printing
homepage:
https://github.com/input-output-hk/plutus/tree/master/prettyprinter-configurable/
@@ -76,7 +76,7 @@ test-suite prettyprinter-configurable-test
, base >=4.9 && <5
, megaparsec
, parser-combinators
- , prettyprinter-configurable ^>=1.29
+ , prettyprinter-configurable ^>=1.30
, QuickCheck
, quickcheck-text
, tasty