Skip to content

Commit

Permalink
1.14.0.0 (#5567)
Browse files Browse the repository at this point in the history
  • Loading branch information
@zliu41
zliu41 authored Sep 29, 2023
1 parent 7322993 commit 50cbaa8
Show file tree
Hide file tree
Showing 15 changed files with 147 additions and 140 deletions.
6 changes: 3 additions & 3 deletions doc/read-the-docs-site/plutus-doc.cabal
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
102 changes: 51 additions & 51 deletions plutus-benchmark/plutus-benchmark.cabal
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -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
Expand All @@ -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
Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -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
Expand All @@ -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
Expand All @@ -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

Expand All @@ -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 ----------------

Expand All @@ -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 ----------------

Expand All @@ -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 ----------------

Expand All @@ -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 ----------------

Expand All @@ -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.
Expand All @@ -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 ----------------

Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -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 ----------------

Expand All @@ -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
Expand All @@ -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
Expand Down Expand Up @@ -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
Expand All @@ -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
Expand All @@ -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
Expand All @@ -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
8 changes: 4 additions & 4 deletions plutus-conformance/plutus-conformance.cabal
View file
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,7 @@ library
, directory
, filepath
, lens
, plutus-core ^>=1.13
, plutus-core ^>=1.14
, tasty
, tasty-expected-failure
, tasty-golden
Expand All @@ -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
Expand Down Expand Up @@ -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
Expand All @@ -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
11 changes: 11 additions & 0 deletions plutus-core/CHANGELOG.md
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,15 @@

<a id='changelog-1.14.0.0'></a>
# 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

<a id='changelog-1.13.0.0'></a>
# 1.13.0.0 — 2023-09-15

Expand Down
4 changes: 0 additions & 4 deletions plutus-core/changelog.d/20230920_113238_michael.peyton-jones_varinfo.md
View file

This file was deleted.

3 changes: 0 additions & 3 deletions plutus-core/changelog.d/20230925_151749_bezirg_fix_thunkrecursions.md
View file

This file was deleted.

Loading

0 comments on commit 50cbaa8

Please sign in to comment.