Skip to content

Commit

Permalink
Release 1.30.0.0 (#6216)
Browse files Browse the repository at this point in the history
  • Loading branch information
@Unisay
Unisay committed Jun 17, 2024
1 parent cc05625 commit bc8c3a7
Show file tree
Hide file tree
Showing 23 changed files with 202 additions and 323 deletions.
14 changes: 7 additions & 7 deletions doc/read-the-docs-site/plutus-doc.cabal
View file
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.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
Expand All @@ -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
118 changes: 59 additions & 59 deletions plutus-benchmark/plutus-benchmark.cabal
View file
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.29
, plutus-ledger-api ^>=1.29
, plutus-core ^>=1.30
, plutus-ledger-api ^>=1.30
, 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.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
Expand All @@ -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

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

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

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

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

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

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

Expand All @@ -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
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.29
, plutus-core:plutus-core-testlib ^>=1.30

-- 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.29
, plutus-tx ^>=1.29
, plutus-ledger-api ^>=1.30
, plutus-tx ^>=1.30

---------------- 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.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
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.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
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.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
Expand All @@ -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
Expand All @@ -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
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.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 ----------------
Expand All @@ -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
Expand All @@ -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
Expand All @@ -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
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 @@ -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
Expand All @@ -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
Expand All @@ -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
Expand All @@ -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
17 changes: 17 additions & 0 deletions plutus-core/CHANGELOG.md
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,21 @@

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

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

Expand Down

0 comments on commit bc8c3a7

Please sign in to comment.