1.8.0.0 (#5398)

doc/read-the-docs-site/plutus-doc.cabal

@@ -77,9 +77,9 @@ executable doc-doctests
     , containers
     , flat               ^>=0.6
     , lens
-    , plutus-core        ^>=1.7
-    , plutus-ledger-api  ^>=1.7
-    , plutus-tx          ^>=1.7
+    , plutus-core        ^>=1.8
+    , plutus-ledger-api  ^>=1.8
+    , plutus-tx          ^>=1.8
     , prettyprinter
     , random
     , serialise

marlowe-cardano-minimal/marlowe-cardano-minimal.cabal

@@ -64,10 +64,10 @@ library
     , bytestring
     , cardano-crypto-class  >=2.0.0.1 && <2.2
     , newtype-generics
-    , plutus-core           ^>=1.7
-    , plutus-ledger-api
-    , plutus-tx             ^>=1.7
-    , plutus-tx-plugin      ^>=1.7
+    , plutus-core           ^>=1.8
+    , plutus-ledger-api     ^>=1.8
+    , plutus-tx             ^>=1.8
+    , plutus-tx-plugin      ^>=1.8
 
   exposed-modules:
     Language.Marlowe.Core.V1.Semantics
@@ -101,7 +101,7 @@ executable marlowe-validators
     , filepath
     , marlowe-cardano-minimal
     , mtl
-    , plutus-core:{plutus-core, plutus-core-execlib}  ^>=1.7
-    , plutus-ledger-api
-    , plutus-tx                                       ^>=1.7
+    , plutus-core:{plutus-core, plutus-core-execlib}  ^>=1.8
+    , plutus-ledger-api                               ^>=1.8
+    , plutus-tx                                       ^>=1.8
     , serialise

plutus-benchmark/plutus-benchmark.cabal

@@ -72,8 +72,8 @@ library plutus-benchmark-common
     , directory
     , filepath
     , flat
-    , plutus-core   ^>=1.7
-    , plutus-tx     ^>=1.7
+    , plutus-core   ^>=1.8
+    , plutus-tx     ^>=1.8
     , tasty
     , tasty-golden
     , temporary
@@ -103,9 +103,9 @@ library nofib-internal
     , base                     >=4.9 && <5
     , deepseq
     , plutus-benchmark-common
-    , plutus-core              ^>=1.7
-    , plutus-tx                ^>=1.7
-    , plutus-tx-plugin         ^>=1.7
+    , plutus-core              ^>=1.8
+    , plutus-tx                ^>=1.8
+    , plutus-tx-plugin         ^>=1.8
 
 executable nofib-exe
   import:         lang, ghc-version-support
@@ -120,8 +120,8 @@ executable nofib-exe
     , nofib-internal
     , optparse-applicative
     , plutus-benchmark-common
-    , plutus-core              ^>=1.7
-    , plutus-tx                ^>=1.7
+    , plutus-core              ^>=1.8
+    , plutus-tx                ^>=1.8
     , transformers
 
 benchmark nofib
@@ -162,8 +162,8 @@ test-suite plutus-benchmark-nofib-tests
     , base                                            >=4.9 && <5
     , nofib-internal
     , plutus-benchmark-common
-    , plutus-core:{plutus-core, plutus-core-testlib}  ^>=1.7
-    , plutus-tx:{plutus-tx, plutus-tx-testlib}        ^>=1.7
+    , plutus-core:{plutus-core, plutus-core-testlib}  ^>=1.8
+    , plutus-tx:{plutus-tx, plutus-tx-testlib}        ^>=1.8
     , tasty
     , tasty-hunit
     , tasty-quickcheck
@@ -192,9 +192,9 @@ library lists-internal
     , base                     >=4.9 && <5
     , mtl
     , plutus-benchmark-common
-    , plutus-core              ^>=1.7
-    , plutus-tx                ^>=1.7
-    , plutus-tx-plugin         ^>=1.7
+    , plutus-core              ^>=1.8
+    , plutus-tx                ^>=1.8
+    , plutus-tx-plugin         ^>=1.8
 
 executable list-sort-exe
   import:         lang, ghc-version-support
@@ -205,7 +205,7 @@ executable list-sort-exe
     , lists-internal
     , monoidal-containers
     , plutus-benchmark-common
-    , plutus-core              ^>=1.7
+    , plutus-core              ^>=1.8
 
 benchmark lists
   import:         lang, ghc-version-support
@@ -231,8 +231,8 @@ test-suite plutus-benchmark-lists-tests
     , base                             >=4.9 && <5
     , lists-internal
     , plutus-benchmark-common
-    , plutus-core:plutus-core-testlib  ^>=1.7
-    , plutus-tx:plutus-tx-testlib      ^>=1.7
+    , plutus-core:plutus-core-testlib  ^>=1.8
+    , plutus-tx:plutus-tx-testlib      ^>=1.8
     , tasty
     , tasty-quickcheck
 
@@ -254,8 +254,8 @@ benchmark validation
     , flat                     ^>=0.6
     , optparse-applicative
     , plutus-benchmark-common
-    , plutus-core              ^>=1.7
-    , plutus-ledger-api        ^>=1.7
+    , plutus-core              ^>=1.8
+    , plutus-ledger-api        ^>=1.8
 
 ---------------- validation-decode ----------------
 
@@ -275,8 +275,8 @@ benchmark validation-decode
     , flat                     ^>=0.6
     , optparse-applicative
     , plutus-benchmark-common
-    , plutus-core              ^>=1.7
-    , plutus-ledger-api        ^>=1.7
+    , plutus-core              ^>=1.8
+    , plutus-ledger-api        ^>=1.8
 
 ---------------- validation-full ----------------
 
@@ -296,8 +296,8 @@ benchmark validation-full
     , flat                                                              ^>=0.6
     , optparse-applicative
     , plutus-benchmark-common
-    , plutus-core                                                       ^>=1.7
-    , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib}  ^>=1.7
+    , plutus-core                                                       ^>=1.8
+    , plutus-ledger-api:{plutus-ledger-api, plutus-ledger-api-testlib}  ^>=1.8
 
 ---------------- Cek cost model calibration ----------------
 
@@ -316,9 +316,9 @@ benchmark cek-calibration
     , criterion         >=1.5.9.0
     , lens
     , mtl
-    , plutus-core       ^>=1.7
-    , plutus-tx         ^>=1.7
-    , plutus-tx-plugin  ^>=1.7
+    , plutus-core       ^>=1.8
+    , plutus-tx         ^>=1.8
+    , plutus-tx-plugin  ^>=1.8
 
 ---------------- Signature verification throughput ----------------
 
@@ -337,9 +337,9 @@ executable ed25519-costs
     , cardano-crypto-class
     , hedgehog
     , plutus-benchmark-common
-    , plutus-core              ^>=1.7
-    , plutus-tx                ^>=1.7
-    , plutus-tx-plugin         ^>=1.7
+    , plutus-core              ^>=1.8
+    , plutus-tx                ^>=1.8
+    , plutus-tx-plugin         ^>=1.8
 
 -- Calculate the predicted costs of sequences of ed25519 signature verification
 -- operations and compare them with a golden file.
@@ -360,9 +360,9 @@ test-suite ed25519-costs-test
     , cardano-crypto-class
     , hedgehog
     , plutus-benchmark-common
-    , plutus-core              ^>=1.7
-    , plutus-tx                ^>=1.7
-    , plutus-tx-plugin         ^>=1.7
+    , plutus-core              ^>=1.8
+    , plutus-tx                ^>=1.8
+    , plutus-tx-plugin         ^>=1.8
 
 ---------------- BLS12-381 experiments ----------------
 
@@ -390,9 +390,9 @@ library bls12-381lib-internal
     , flat
     , hedgehog
     , plutus-benchmark-common
-    , plutus-core              ^>=1.7
-    , plutus-tx                ^>=1.7
-    , plutus-tx-plugin         ^>=1.7
+    , plutus-core              ^>=1.8
+    , plutus-tx                ^>=1.8
+    , plutus-tx-plugin         ^>=1.8
 
 -- Print out predicted costs of various scripts involving BLS12-381 operations
 executable bls12-381-costs
@@ -440,8 +440,8 @@ benchmark bls12-381-benchmarks
     , bytestring
     , criterion                >=1.5.9.0
     , plutus-benchmark-common
-    , plutus-core              ^>=1.7
-    , plutus-tx                ^>=1.7
+    , plutus-core              ^>=1.8
+    , plutus-tx                ^>=1.8
 
 ---------------- script contexts ----------------
 
@@ -455,9 +455,9 @@ library script-contexts-internal
   exposed-modules: PlutusBenchmark.ScriptContexts
   build-depends:
     , base               >=4.9 && <5
-    , plutus-ledger-api  ^>=1.7
-    , plutus-tx          ^>=1.7
-    , plutus-tx-plugin   ^>=1.7
+    , plutus-ledger-api  ^>=1.8
+    , plutus-tx          ^>=1.8
+    , plutus-tx-plugin   ^>=1.8
 
 test-suite plutus-benchmark-script-contexts-tests
   import:         lang, ghc-version-support
@@ -473,8 +473,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.7
-    , plutus-tx:plutus-tx-testlib                     ^>=1.7
+    , plutus-core:{plutus-core, plutus-core-testlib}  ^>=1.8
+    , plutus-tx:plutus-tx-testlib                     ^>=1.8
     , script-contexts-internal
     , tasty
     , tasty-hunit

plutus-conformance/plutus-conformance.cabal

@@ -50,7 +50,7 @@ library
     , directory
     , filepath
     , lens
-    , plutus-core             ^>=1.7
+    , plutus-core             ^>=1.8
     , tasty
     , tasty-expected-failure
     , tasty-golden
@@ -66,7 +66,7 @@ executable test-utils
     , base                  >=4.9 && <5
     , optparse-applicative
     , plutus-conformance
-    , plutus-core           ^>=1.7
+    , plutus-core           ^>=1.8
     , plutus-metatheory
     , tasty-golden
     , text
@@ -105,7 +105,7 @@ test-suite haskell-steppable-conformance
     , base                >=4.9 && <5
     , lens
     , plutus-conformance
-    , plutus-core         ^>=1.7
+    , plutus-core         ^>=1.8
 
 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.7
+    , plutus-core         ^>=1.8
     , plutus-metatheory
     , transformers

plutus-core/CHANGELOG.md

@@ -1,4 +1,69 @@
 
+<a id='changelog-1.8.0.0'></a>
+# 1.8.0.0 — 2023-06-22
+
+## Added
+
+- Three new types for BLS12-381 objects (see CIP-0381).
+- Seventeen new built-in functions for BLS12-381 operations (see CIP-0381).
+- Costing benchmarks for the BLS12-381 builtins.
+- R code to infer cost models for the BLS12-381 builtins.
+- Property tests for the BLS12-381 builtins.
+- Code for Haskell bindings to the`blst` library has been added in `cbits` and
+  `plutus-core/src/Crypto/External/`.  These have been copied from PR #266
+  in `cardano-base` and will be removed when that is merged.
+
+- A special case of case-of-case optimization for UPLC, where the inner case is
+  an `ifThenElse` application.
+
+- Added `PlutusCore.MkPlc.mkIterAppNoAnn`, `PlutusCore.MkPlc.mkIterInstNoAnn` and
+  `PlutusCore.MkPlc.mkIterTyAppNoAnn`.
+
+- Callsite inlining for UPLC.
+
+- An `apply-to-data` command was added to the `plc` and `uplc` executables which
+  allows a script to be applied to a list of flat-encoded data objects (the
+  existing `apply` command requires all inputs to be programs).
+
+- Added `commuteFnWithConst` to the PIR simplifier pass.
+
+## Changed
+
+- The PLC, UPLC, and PIR parsers accept names quoted in backticks. Quoted names may have symbolic characters.
+
+- Costing functions for the BLS12-381 builtins were added to `builtinCostModel.json`.
+- Costing benchmark results for the BLS12-381 builtins were added to `benching.csv`.
+- Some of the R code in `models.R` was improved.
+- The files in `plutus-core/src/crypto` were reorganised to put code relating to
+  different sets of crypto functions into separate files.
+
+- Improved the inlining of fully saturated functions such that it measures the size
+  differences more accurately, and also performs beta reduction after inlining.
+
+- Changed `PlutusCore.MkPlc.mkIterApp`, `PlutusCore.MkPlc.mkIterInst` and
+  `PlutusCore.MkPlc.mkIterTyApp` to require an annotation to be provided
+  for each argument.
+
+- Updated the parser and the pretty-printers to the new syntax of `Data` in [#5391](https://github.com/input-output-hk/plutus/pull/5391) according to [this](https://github.com/input-output-hk/plutus/issues/4751#issuecomment-1538377273), for example:
+
+```
+Constr 1
+  [ Map [(B #616263646566, Constr 2 [B #, I 0])]
+  , List
+      [ List
+          [ List [List [I 123456]]
+          , B #666666666666666666666666666666666666666666666666666666666666666666666666666666666666 ] ]
+  , I 42 ]
+```
+
+## Fixed
+
+- The plc and uplc commands were failing to account for the new Constr and Case
+  constructors for sums of products.
+
+- Fixed `PlutusIR.Purity.firstEffectfulTerm` and `UntypedPlutusCore.Transform.Inline.firstEffectfulTerm`,
+  which were sometimes too conservative and sometimes incorrect.
+
 <a id='changelog-1.7.0.0'></a>
 # 1.7.0.0 — 2023-05-22