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

Jump to bottom

[Release] 1.26.0.0 #5914

Merged
merged 1 commit into from
Apr 19, 2024
Merged

[Release] 1.26.0.0 #5914

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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 @@ -78,9 +78,9 @@ executable doc-doctests
, containers
, flat ^>=0.6
, lens
, plutus-core ^>=1.25
, plutus-ledger-api ^>=1.25
, plutus-tx ^>=1.25
, plutus-core ^>=1.26
, plutus-ledger-api ^>=1.26
, plutus-tx ^>=1.26
, prettyprinter
, random
, serialise
Expand All @@ -105,10 +105,10 @@ executable quick-start
, base >=4.9 && <5
, base16-bytestring
, bytestring
, plutus-core ^>=1.25
, plutus-ledger-api ^>=1.25
, plutus-tx ^>=1.25
, plutus-tx-plugin ^>=1.25
, plutus-core ^>=1.26
, plutus-ledger-api ^>=1.26
, plutus-tx ^>=1.26
, plutus-tx-plugin ^>=1.26

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,9 +90,9 @@ library plutus-benchmark-common
, directory
, filepath
, flat ^>=0.6
, plutus-core ^>=1.25
, plutus-ledger-api ^>=1.25
, plutus-tx ^>=1.25
, plutus-core ^>=1.26
, plutus-ledger-api ^>=1.26
, plutus-tx ^>=1.26
, tasty
, tasty-golden
, temporary
Expand All @@ -119,9 +119,9 @@ library nofib-internal
, base >=4.9 && <5
, deepseq
, plutus-benchmark-common
, plutus-core ^>=1.25
, plutus-tx ^>=1.25
, plutus-tx-plugin ^>=1.25
, plutus-core ^>=1.26
, plutus-tx ^>=1.26
, plutus-tx-plugin ^>=1.26

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

Expand Down Expand Up @@ -175,8 +175,8 @@ test-suite plutus-benchmark-nofib-tests
, base >=4.9 && <5
, nofib-internal
, plutus-benchmark-common
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25
, plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.25
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26
, plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.26
, tasty
, tasty-hunit
, tasty-quickcheck
Expand All @@ -202,9 +202,9 @@ library lists-internal
, base >=4.9 && <5
, mtl
, plutus-benchmark-common
, plutus-core ^>=1.25
, plutus-tx ^>=1.25
, plutus-tx-plugin ^>=1.25
, plutus-core ^>=1.26
, plutus-tx ^>=1.26
, plutus-tx-plugin ^>=1.26

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

benchmark lists
import: lang, ghc-version-support
Expand All @@ -228,7 +228,7 @@ benchmark lists
, deepseq
, lists-internal
, plutus-benchmark-common
, plutus-ledger-api
, plutus-ledger-api ^>=1.26

test-suite plutus-benchmark-lists-tests
import: lang, ghc-version-support
Expand All @@ -245,8 +245,8 @@ test-suite plutus-benchmark-lists-tests
, base >=4.9 && <5
, lists-internal
, plutus-benchmark-common
, plutus-core:plutus-core-testlib ^>=1.25
, plutus-tx:plutus-tx-testlib ^>=1.25
, plutus-core:plutus-core-testlib ^>=1.26
, plutus-tx:plutus-tx-testlib ^>=1.26
, tasty
, tasty-quickcheck

Expand All @@ -268,7 +268,7 @@ benchmark validation
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
, plutus-core ^>=1.25
, plutus-core ^>=1.26

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

Expand All @@ -288,8 +288,8 @@ benchmark validation-decode
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
, plutus-core ^>=1.25
, plutus-ledger-api ^>=1.25
, plutus-core ^>=1.26
, plutus-ledger-api ^>=1.26

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

Expand All @@ -309,8 +309,8 @@ benchmark validation-full
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
, plutus-core ^>=1.25
, plutus-ledger-api ^>=1.25
, plutus-core ^>=1.26
, plutus-ledger-api ^>=1.26

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

Expand All @@ -327,10 +327,10 @@ benchmark cek-calibration
, lens
, mtl
, plutus-benchmark-common
, plutus-core ^>=1.25
, plutus-ledger-api ^>=1.25
, plutus-tx ^>=1.25
, plutus-tx-plugin ^>=1.25
, plutus-core ^>=1.26
, plutus-ledger-api ^>=1.26
, plutus-tx ^>=1.26
, plutus-tx-plugin ^>=1.26

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

Expand All @@ -346,9 +346,9 @@ executable ed25519-costs
, cardano-crypto-class
, hedgehog
, plutus-benchmark-common
, plutus-core ^>=1.25
, plutus-tx ^>=1.25
, plutus-tx-plugin ^>=1.25
, plutus-core ^>=1.26
, plutus-tx ^>=1.26
, plutus-tx-plugin ^>=1.26

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

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

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

-- Print out predicted costs of various scripts involving BLS12-381 operations
executable bls12-381-costs
Expand All @@ -412,7 +412,7 @@ test-suite bls12-381-costs-test
, base >=4.9 && <5
, bls12-381lib-internal
, plutus-benchmark-common
, plutus-core:plutus-core-testlib ^>=1.25
, plutus-core:plutus-core-testlib ^>=1.26

-- Run benchmarks for various scripts involving BLS12-381 operations
benchmark bls12-381-benchmarks
Expand All @@ -427,8 +427,8 @@ benchmark bls12-381-benchmarks
, criterion >=1.5.9.0
, deepseq
, plutus-benchmark-common
, plutus-ledger-api ^>=1.25
, plutus-tx ^>=1.25
, plutus-ledger-api ^>=1.26
, plutus-tx ^>=1.26

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

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

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

executable marlowe-validators
Expand All @@ -505,8 +505,8 @@ executable marlowe-validators
, cardano-binary
, marlowe-internal
, plutus-benchmark-common
, plutus-ledger-api ^>=1.25
, plutus-tx ^>=1.25
, plutus-ledger-api ^>=1.26
, plutus-tx ^>=1.26
, serialise

benchmark marlowe
Expand All @@ -521,8 +521,8 @@ benchmark marlowe
, deepseq
, marlowe-internal
, plutus-benchmark-common
, plutus-ledger-api ^>=1.25
, plutus-tx ^>=1.25
, plutus-ledger-api ^>=1.26
, plutus-tx ^>=1.26

test-suite plutus-benchmark-marlowe-tests
import: lang, ghc-version-support
Expand All @@ -534,9 +534,9 @@ test-suite plutus-benchmark-marlowe-tests
build-depends:
, base >=4.9 && <5
, marlowe-internal
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25
, plutus-ledger-api ^>=1.25
, plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.25
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26
, plutus-ledger-api ^>=1.26
, plutus-tx:{plutus-tx, plutus-tx-testlib} ^>=1.26
, tasty

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

benchmark validation-agda-cek
Expand All @@ -570,7 +570,7 @@ benchmark validation-agda-cek
, flat ^>=0.6
, optparse-applicative
, plutus-benchmark-common
, plutus-core ^>=1.25
, plutus-core ^>=1.26

benchmark nofib-agda-cek
import: lang, ghc-version-support
Expand All @@ -597,5 +597,5 @@ benchmark marlowe-agda-cek
, criterion
, marlowe-internal
, plutus-benchmark-common
, plutus-ledger-api ^>=1.25
, plutus-tx ^>=1.25
, plutus-ledger-api ^>=1.26
, plutus-tx ^>=1.26
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 @@ -49,7 +49,7 @@ library
, base
, directory
, filepath
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.25
, plutus-core:{plutus-core, plutus-core-testlib} ^>=1.26
, tasty
, tasty-expected-failure
, tasty-golden
Expand All @@ -72,7 +72,7 @@ test-suite haskell-conformance
build-depends:
, base >=4.9 && <5
, plutus-conformance
, plutus-core ^>=1.25
, plutus-core ^>=1.26

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

test-suite agda-conformance
import: lang
Expand All @@ -98,6 +98,6 @@ test-suite agda-conformance
, aeson
, base >=4.9 && <5
, plutus-conformance
, plutus-core ^>=1.25
, plutus-core ^>=1.26
, plutus-metatheory
, transformers
13 changes: 13 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,17 @@

<a id='changelog-1.26.0.0'></a>
# 1.26.0.0 — 2024-04-19

## Changed

- Improvements to costing infrastructure.

- Use `Vector` in the datastructure for `case` terms during evaluation. This speeds
up evaluation fairly significantly.

- The `flat` encoding of the `Data` type has been modified slightly to make sure that
the result is always in the canonical format described in the Plutus Core specification.

<a id='changelog-1.25.0.0'></a>
# 1.25.0.0 — 2024-04-03

Expand Down
5 changes: 0 additions & 5 deletions ...-core/changelog.d/20240326_184114_kenneth.mackenzie_read_model_type_from_R_2.md
View file
Open in desktop

This file was deleted.

5 changes: 0 additions & 5 deletions plutus-core/changelog.d/20240402_173125_michael.peyton-jones_vector_cases.md
View file
Open in desktop

This file was deleted.

4 changes: 0 additions & 4 deletions ...-core/changelog.d/20240405_015609_kenneth.mackenzie_canonincal_data_encoding.md
View file
Open in desktop

This file was deleted.

Loading