Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Release 1.29.0.0 #6170

Merged
merged 2 commits into from
Jun 4, 2024
Merged

Release 1.29.0.0 #6170

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
d94500e
Release 1.29.0.0
kwxm Jun 4, 2024
b945c8a
Remove versioning for plutus-tx-test-util
kwxm Jun 4, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 7 additions & 7 deletions doc/read-the-docs-site/plutus-doc.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -69,9 +69,9 @@ executable doc-doctests
, containers
, flat ^>=0.6
, lens
, plutus-core ^>=1.28
, plutus-ledger-api ^>=1.28
, plutus-tx ^>=1.28
, plutus-core ^>=1.29
, plutus-ledger-api ^>=1.29
, plutus-tx ^>=1.29
, prettyprinter
, random
, serialise
Expand All @@ -96,10 +96,10 @@ executable quick-start
, base >=4.9 && <5
, base16-bytestring
, bytestring
, plutus-core ^>=1.28
, plutus-ledger-api ^>=1.28
, plutus-tx ^>=1.28
, plutus-tx-plugin ^>=1.28
, plutus-core ^>=1.29
, plutus-ledger-api ^>=1.29
, plutus-tx ^>=1.29
, plutus-tx-plugin ^>=1.29

if !(impl(ghcjs) || os(ghcjs))
build-depends: plutus-tx-plugin
118 changes: 59 additions & 59 deletions plutus-benchmark/plutus-benchmark.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -90,8 +90,8 @@ library plutus-benchmark-common
, directory
, filepath
, flat ^>=0.6
, plutus-core ^>=1.28
, plutus-ledger-api ^>=1.28
, plutus-core ^>=1.29
, plutus-ledger-api ^>=1.29
, plutus-tx-test-util
, tasty
, tasty-golden
Expand All @@ -118,9 +118,9 @@ library nofib-internal
, base >=4.9 && <5
, deepseq
, plutus-benchmark-common
, plutus-core ^>=1.28
, plutus-tx ^>=1.28
, plutus-tx-plugin ^>=1.28
, plutus-core ^>=1.29
, plutus-tx ^>=1.29
, plutus-tx-plugin ^>=1.29

executable nofib-exe
import: lang, ghc-version-support
Expand All @@ -134,8 +134,8 @@ executable nofib-exe
, nofib-internal
, optparse-applicative
, plutus-benchmark-common
, plutus-core ^>=1.28
, plutus-tx ^>=1.28
, plutus-core ^>=1.29
, plutus-tx ^>=1.29
, prettyprinter
, transformers

Expand Down Expand Up @@ -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.28
, plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.28
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
, plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.29
, tasty
, tasty-hunit
, tasty-quickcheck
Expand All @@ -200,9 +200,9 @@ library lists-internal
, base >=4.9 && <5
, mtl
, plutus-benchmark-common
, plutus-core ^>=1.28
, plutus-tx ^>=1.28
, plutus-tx-plugin ^>=1.28
, plutus-core ^>=1.29
, plutus-tx ^>=1.29
, plutus-tx-plugin ^>=1.29

executable list-sort-exe
import: lang, ghc-version-support
Expand All @@ -213,7 +213,7 @@ executable list-sort-exe
, lists-internal
, monoidal-containers
, plutus-benchmark-common
, plutus-core ^>=1.28
, plutus-core ^>=1.29

benchmark lists
import: lang, ghc-version-support
Expand All @@ -225,7 +225,7 @@ benchmark lists
, criterion >=1.5.9.0
, lists-internal
, plutus-benchmark-common
, plutus-ledger-api ^>=1.28
, plutus-ledger-api ^>=1.29

test-suite plutus-benchmark-lists-tests
import: lang, ghc-version-support
Expand All @@ -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.28
, plutus-tx:plutus-tx-testlib ^>=1.28
, plutus-core:plutus-core-testlib ^>=1.29
, plutus-tx:plutus-tx-testlib ^>=1.29
, tasty
, tasty-quickcheck

Expand All @@ -264,8 +264,8 @@ benchmark validation
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
, plutus-core ^>=1.28
, plutus-ledger-api ^>=1.28
, plutus-core ^>=1.29
, plutus-ledger-api ^>=1.29

---------------- validation-decode ----------------

Expand All @@ -285,8 +285,8 @@ benchmark validation-decode
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
, plutus-core ^>=1.28
, plutus-ledger-api ^>=1.28
, plutus-core ^>=1.29
, plutus-ledger-api ^>=1.29

---------------- validation-full ----------------

Expand All @@ -306,8 +306,8 @@ benchmark validation-full
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
, plutus-core ^>=1.28
, plutus-ledger-api ^>=1.28
, plutus-core ^>=1.29
, plutus-ledger-api ^>=1.29

---------------- Cek cost model calibration ----------------

Expand All @@ -323,10 +323,10 @@ benchmark cek-calibration
, lens
, mtl
, plutus-benchmark-common
, plutus-core ^>=1.28
, plutus-ledger-api ^>=1.28
, plutus-tx ^>=1.28
, plutus-tx-plugin ^>=1.28
, plutus-core ^>=1.29
, plutus-ledger-api ^>=1.29
, plutus-tx ^>=1.29
, plutus-tx-plugin ^>=1.29

---------------- Signature verification throughput ----------------

Expand All @@ -342,9 +342,9 @@ executable ed25519-costs
, cardano-crypto-class
, hedgehog
, plutus-benchmark-common
, plutus-core ^>=1.28
, plutus-tx ^>=1.28
, plutus-tx-plugin ^>=1.28
, plutus-core ^>=1.29
, plutus-tx ^>=1.29
, plutus-tx-plugin ^>=1.29

-- Calculate the predicted costs of sequences of ed25519 signature verification
-- operations and compare them with a golden file.
Expand All @@ -361,9 +361,9 @@ test-suite ed25519-costs-test
, cardano-crypto-class
, hedgehog
, plutus-benchmark-common
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.28
, plutus-tx ^>=1.28
, plutus-tx-plugin ^>=1.28
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
, plutus-tx ^>=1.29
, plutus-tx-plugin ^>=1.29

---------------- BLS12-381 experiments ----------------

Expand All @@ -381,10 +381,10 @@ library bls12-381lib-internal
, bytestring
, hedgehog
, plutus-benchmark-common
, plutus-core ^>=1.28
, plutus-ledger-api ^>=1.28
, plutus-tx ^>=1.28
, plutus-tx-plugin ^>=1.28
, plutus-core ^>=1.29
, plutus-ledger-api ^>=1.29
, plutus-tx ^>=1.29
, plutus-tx-plugin ^>=1.29

-- Print out predicted costs of various scripts involving BLS12-381 operations
executable bls12-381-costs
Expand All @@ -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.28
, plutus-core:plutus-core-testlib ^>=1.29

-- Run benchmarks for various scripts involving BLS12-381 operations
benchmark bls12-381-benchmarks
Expand All @@ -422,8 +422,8 @@ benchmark bls12-381-benchmarks
, bytestring
, criterion >=1.5.9.0
, plutus-benchmark-common
, plutus-ledger-api ^>=1.28
, plutus-tx ^>=1.28
, plutus-ledger-api ^>=1.29
, plutus-tx ^>=1.29

---------------- script contexts ----------------

Expand All @@ -433,9 +433,9 @@ library script-contexts-internal
exposed-modules: PlutusBenchmark.ScriptContexts
build-depends:
, base >=4.9 && <5
, plutus-ledger-api ^>=1.28
, plutus-tx ^>=1.28
, plutus-tx-plugin ^>=1.28
, plutus-ledger-api ^>=1.29
, plutus-tx ^>=1.29
, plutus-tx-plugin ^>=1.29

test-suite plutus-benchmark-script-contexts-tests
import: lang, ghc-version-support
Expand All @@ -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.28
, plutus-tx:plutus-tx-testlib ^>=1.28
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
, plutus-tx:plutus-tx-testlib ^>=1.29
, script-contexts-internal
, tasty
, tasty-hunit
Expand Down Expand Up @@ -477,10 +477,10 @@ library marlowe-internal
, mtl
, newtype-generics
, plutus-benchmark-common
, plutus-core:{plutus-core, plutus-core-execlib} ^>=1.28
, plutus-ledger-api ^>=1.28
, plutus-tx ^>=1.28
, plutus-tx-plugin ^>=1.28
, plutus-core:{plutus-core, plutus-core-execlib} ^>=1.29
, plutus-ledger-api ^>=1.29
, plutus-tx ^>=1.29
, plutus-tx-plugin ^>=1.29
, serialise

executable marlowe-validators
Expand All @@ -500,8 +500,8 @@ executable marlowe-validators
, cardano-binary
, marlowe-internal
, plutus-benchmark-common
, plutus-ledger-api ^>=1.28
, plutus-tx ^>=1.28
, plutus-ledger-api ^>=1.29
, plutus-tx ^>=1.29
, serialise

benchmark marlowe
Expand All @@ -515,8 +515,8 @@ benchmark marlowe
, criterion
, marlowe-internal
, plutus-benchmark-common
, plutus-ledger-api ^>=1.28
, plutus-tx ^>=1.28
, plutus-ledger-api ^>=1.29
, plutus-tx ^>=1.29

test-suite plutus-benchmark-marlowe-tests
import: lang, ghc-version-support
Expand All @@ -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.28
, plutus-ledger-api ^>=1.28
, plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.28
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
, plutus-ledger-api ^>=1.29
, plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.29
, tasty

---------------- agda evaluators ----------------
Expand All @@ -544,7 +544,7 @@ library agda-internal
build-depends:
, base >=4.9 && <5
, criterion
, plutus-core ^>=1.28
, plutus-core ^>=1.29
, plutus-metatheory

benchmark validation-agda-cek
Expand All @@ -564,7 +564,7 @@ benchmark validation-agda-cek
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
, plutus-core ^>=1.28
, plutus-core ^>=1.29

benchmark nofib-agda-cek
import: lang, ghc-version-support
Expand All @@ -591,5 +591,5 @@ benchmark marlowe-agda-cek
, criterion
, marlowe-internal
, plutus-benchmark-common
, plutus-ledger-api ^>=1.28
, plutus-tx ^>=1.28
, plutus-ledger-api ^>=1.29
, plutus-tx ^>=1.29
8 changes: 4 additions & 4 deletions plutus-conformance/plutus-conformance.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ library
, base
, directory
, filepath
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.28
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.29
, tasty
, tasty-expected-failure
, tasty-golden
Expand All @@ -71,7 +71,7 @@ test-suite haskell-conformance
build-depends:
, base >=4.9 && <5
, plutus-conformance
, plutus-core ^>=1.28
, plutus-core ^>=1.29

test-suite haskell-steppable-conformance
import: lang
Expand All @@ -84,7 +84,7 @@ test-suite haskell-steppable-conformance
, base >=4.9 && <5
, lens
, plutus-conformance
, plutus-core ^>=1.28
, plutus-core ^>=1.29

test-suite agda-conformance
import: lang
Expand All @@ -97,6 +97,6 @@ test-suite agda-conformance
, aeson
, base >=4.9 && <5
, plutus-conformance
, plutus-core ^>=1.28
, plutus-core ^>=1.29
, plutus-metatheory
, transformers
28 changes: 28 additions & 0 deletions plutus-core/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,32 @@

<a id='changelog-1.29.0.0'></a>
# 1.29.0.0 — 2024-06-04

## Removed

- `unsafeRunCekNoEmit` and all `unsafeEvaluate*` functions in #6043. To replace e.g. `unsafeEvaluateCek` you can use `evaluateCek` in combination with `unsafeToEvaluationResult`.

- `UnknownBuiltin` and `UnknownBuiltinType` in #6064.

## Added

- Primitives `integerToByteString` and `byteStringToInteger` are added to PlutusV2,
enabled at protocol version 10.

- A new cost model for PlutusV3.

- Missing `KnownTypeAst`, `ReadKnownIn` and `MakeKnownIn` for integral types (`Int8`, `Word16` etc) in #6036

## Changed

- Renamed `unsafeExtractEvaluationResult` to `unsafeToEvaluationResult`.

- We now have configurable cost models which allow different costs for different Plutus language versions and protocol versions.

- Made unlifting errors a bit more flexible by allowing operational unlifting errors in #6036

- CPU charges reduced for PlutusV1 and PlutusV2 scripts in the Conway era.

<a id='changelog-1.28.0.0'></a>
# 1.28.0.0 — 2024-05-15

Expand Down
5 changes: 0 additions & 5 deletions plutus-core/changelog.d/20240517_094957_unsafeFixIO_v2_new_prims.md
View file
Open in desktop

This file was deleted.

Loading
Loading