1.45.0.0

plutus-core

Changed

• Builtin functions are pure when partially applied. Fully applied builtins are impure, as well as incorrectly applied ones (e.g. term argument applied instead of a type argument).

plutus-ledger-api

No changes.

plutus-tx

Added

• Module PlutusTx.BuiltinList, containing functions for operating on BuiltinList.

Changed

• PlutusTx.List.indexBuiltinList is replaced by PlutusTx.BuiltinList.!!.

plutus-tx-plugin

No changes.

plutus-executables

No changes.

Full Changelog: 1.44.0.0...1.45.0.0

1.44.0.0

plutus-core

Fixed

• Fixed a bug in PIR's callsite inliner that caused it to skip valid inlining in certain cases.

plutus-ledger-api

No changes.

plutus-tx

Removed

• Removed Data.AssocMap.toDataList because it suffers from the bug described in #6085.

Added

• PlutusTx.Data.List.destructList, which takes a list along with a list of
  desired indices, and generates variables bound to the elements at those indices.

• PlutusTx.Data.List.caseList and caseList', for matching on Lists.

Changed

• PlutusTx.Lift.liftCode and related functions now apply the default PIR and UPLC
  optimizations during code lifting. To disable these optimizations, use liftCodeUnopt
  and related functions.

• PlutusTx.Prelude no longer re-exports PlutusTx.List. There are now two separate
  list modules: PlutusTx.List and PlutusTx.Data.List. Pick the one that fits your
  use case and import it explicitly.

• PlutusTx.Prelude no longer re-exports PlutusTx.Foldable or PlutusTx.Traversable.
  These typeclasses are generally discouraged due to their performance overhead.
  For example, instead of using PlutusTx.Foldable.foldMap, consider rewriting
  your code using PlutusTx.List.foldr.

• PlutusTx.Prelude now re-exports BuiltinBool, BuiltinList, BuiltinPair,
  ToData, FromData and UnsafeFromData.

plutus-tx-plugin

Added

• Plinth compiler flag inline-callsite-growth, for setting the inlining threshold
  for callsites. 0 disables inlining a binding at a callsite if it increases the AST size;
  n allows inlining if the AST size grows by no more than n. Keep in mind that
  doing so does not mean the final program will be bigger, since inlining can often
  unlock further optimizations.

plutus-executables

No changes.

Full Changelog: 1.43.0.0...1.44.0.0

1.43.0.0

plutus-core

No changes.

plutus-ledger-api

Added

• Added a Data-backed version of MintValue for Plutus V3.

Changed

• The Data-backed V3 ScriptContext is updated to now use the Data-backed MintValue, similar to how the SOP ScriptContext uses the SOP MintValue.

plutus-tx

Added

• Added more standard library functions to Data.List.

• Added new conversion functions from Data-backed Map and Data-backed List.

• New Data.AssocMap library functions: filter, mapWithKey, mapMaybe and mapMaybeWithKey.

Changed

• The conversion functions between Data.AssocMap.Map and different kinds of lists are now named according to which type of list they support.

• Slightly improved the performance of some of the existing Data.AssocMap functions.

plutus-tx-plugin

No changes.

plutus-executables

No changes.

Full Changelog: 1.42.0.0...1.43.0.0

1.42.0.0

plutus-core

Added

• Switch from cryptonite library to crypton (a drop in replacement).

• DropList builtin functionality

• Costing model for the DropList builtin

• A new type BuiltinArray.

• Three functions for working with BuiltinArray values:

  • listToArray (converts a list to a BuiltinArray)
  • indexArray (returns an element of a BuiltinArray by index)
  • lengthOfArray (returns the length of a BuiltinArray)

Fixed

• Fixed a bug in Plutus IR's dead code elimination pass that could incorrectly remove
  live data constructors or destructors.

plutus-ledger-api

Changed

• Remove un-needed dervied Typeable instances.

plutus-tx

Added

• PlutusTx.Function.fix, Plinth's equivalent of Data.Function.fix.

• Module PlutusTx.Optimize.SpaceTime, containing utilities for space-time tradeoff,
  such as recursion unrolling.

• Added PlutusTx.Data.List.null.

• Added PlutusTx.Optimize.Inline.inline. This works like GHC.Magic.inline, and can be used
  in the form of inline f or inline (f args).

• Added more functions to PlutusTx.Data.List.

Changed

• Remove un-needed dervied Typeable instances.

• Allow PlutusTx.Optimize.Inline.inline to inline local bindings.

• Removes the constructor id check from the code AsData generates for product types, resulting in better performance.

plutus-tx-plugin

Changed

• Changed the default value of compiler flag PlutusTx.Plugin:preserve-logging to true.

• The Plinth compiler now inlines fixed point operators by default. This can be turned
  off by using no-inline-fix or conservative-optimisation.

• The Plinth inliner now inlines local bindings (in addition to top-level bindings)
  with INLINE pragmas.

• AsData now avoids creating strict dead bindings (which were previously created for
  unused fields).

plutus-executables

No changes.

Full Changelog: 1.40.0.0...1.42.0.0

1.40.0.0

What's Changed

• Fix typos in Plutus Core Spec of Batch 5 builtins by @nielstron in #6760
• Fix issues from #6761 by @kwxm in #6762
• Kwxm/conformance/improve filename check by @kwxm in #6730
• Fix an error related to mesh wallet by @zliu41 in #6771
• Use ignoreTest instead of expectFail in conformance tests by @kwxm in #6767
• Add docs on data-backed ScriptContext by @ana-pantilie in #6759
• Fix a couple of small typos by @kwxm in #6774
• [Evaluation] Statically unroll 'itraverseCounter_' by @effectfully in #5265
• Kwxm/specification/fix div rem txt by @kwxm in #6775
• Disable .js file minification in docusaurus build by @zeme-wana in #6781
• [Evaluation] [Performance] Use 'unsafeShiftL' instead of '*' by @effectfully in #6737
• docusaurus: plutus exe by @bezirg in #6743
• plutus exe: Also run a final check after the programs are applied tog… by @bezirg in #6753
• Regenerate constitution golden tests by @ana-pantilie in #6785
• Data backed constitution script by @ana-pantilie in #6784
• Fix the Steppable CEK machine to correctly "pause/step" in case of SOPs. by @bezirg in #6790
• Switch from cryptonite to crypton by @erikd in #6575
• Add new user guide page "Simplifying Code Before Compilation" by @zliu41 in #6796
• [UPLC] [Test] Add scoping tests by @effectfully in #6773
• Finalize switch from cryptonite to crypton by @erikd in #6799
• conformance: Add budgeting for haskell steppable by @bezirg in #6791
• Fix build error in plutus-metatheory related to Cabal-syntax by @zeme-wana in #6803
• Add some golden tests on data-backed ScriptContext by @zliu41 in #6802
• [Evaluation] Autocompute 'NumberOfStepCounters' by @effectfully in #6798
• Replace clique with circuit in dead code elimination by @zliu41 in #6806
• Update CIP-57 example to use AssocMap by @Unisay in #6805
• Update the auction example in the user guide to Plutus V3 by @Unisay in #6801
• Release 1.40.0.0 by @ramsay-t in #6794

Full Changelog: 1.39.0.0...1.40.0.0

1.39.0.0

What's Changed

• Add pkgs.sudo to the shell for use in ci-plutus-benchmarks.sh by @zeme-wana in #6740
• Remove taskset usage from ci-plutus-benchmarks.sh by @zeme-wana in #6741
• Update hard fork name by @zliu41 in #6739
• filip(fix): add config for trailing slashes by @fstoqnov-iohk in #6744
• Relax upper bound on cardano-crypto-class by @lehins in #6738
• nix flake update by @Unisay in #6735
• add MINIMAL pragma to ord by @aleeusgr in #6657
• Fully Data-backed V3.ScriptContext by @ana-pantilie in #6700
• Add fully data-backed V1 and V2 script contexts by @ana-pantilie in #6752
• Modify certifier to produce new form of certificates by @ana-pantilie in #6734
• Update path-ro-regexp and nanoid in doc/docusaurus by @zeme-wana in #6755

New Contributors

• @fstoqnov-iohk made their first contribution in #6744
• @lehins made their first contribution in #6738
• @aleeusgr made their first contribution in #6657

Full Changelog: 1.38.0.0...1.39.0.0

1.38.0.0

What's Changed

• Use UPLC version 1.0.0 for all conformance tests by @kwxm in #6718
• BuiltinByteStringUtf8, BuiltinByteStringHex by @Unisay in #6709
• nix flake update by @Unisay in #6719
• Kwxm/conformance/fix data syntax by @kwxm in #6720
• Revert flake update by @zeme-wana in #6729
• Disambiguate uc/lc filenames in conformance tests. by @kwxm in #6728
• Set CPU frequency governor and frequency before running the benchmarks by @zeme-wana in #6715
• chore(deps): bump JamesIves/github-pages-deploy-action from 4.6.9 to 4.7.2 by @dependabot in #6732
• [Builtins] Make unlifting lazy again by @effectfully in #6434
• [Evaluation] [Names] Define all lookups in terms of 'contIndexZero' by @effectfully in #6702
• Add sudo to cpufreq-set command in ci-plutus-benchmark.sh by @zeme-wana in #6733
• Release 1.38.0.0 by @ana-pantilie in #6736

Full Changelog: 1.37.0.0...1.38.0.0

1.37.0.0

What's Changed

• Redraw contract lifecycle images, remove the rest of the page by @zliu41 in #6550
• Fix haddock dropdown element in haddock index by @zeme-wana in #6556
• Kwxm/specification/bitwise by @kwxm in #6426
• chore(deps): bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 by @dependabot in #6525
• Expand "Overview of Languages Compiling to UPLC" by @zliu41 in #6558
• [Meta] Add CIPs to 'TRIAGE.md' by @effectfully in #6557
• Explain Scott/Church/SOP/Data encoding in the user guide by @zliu41 in #6560
• Fix bug in haddock-site.yml by @zeme-wana in #6559
• Polish the profiling guide by @zliu41 in #6566
• Add a few references in the further resources page by @zliu41 in #6567
• Update the Ledgers page in the user guide by @zliu41 in #6565
• Add new ignore url to check-broken-links.sh by @zeme-wana in #6570
• Fix positioning of select element in combined-haddock.sh by @zeme-wana in #6568
• Bring back workflow_run to slack-message-broker.yml by @zeme-wana in #6572
• Fix sender object getter in slack-message-broker.yml by @zeme-wana in #6573
• Filter checkRun events on 'name' in slack-message-broker.yml by @zeme-wana in #6574
• Update and simplify the home page of the user guide by @zliu41 in #6564
• Add new user to slack-message-broker.yml by @zeme-wana in #6576
• Fix typo by @kwxm in #6580
• Cost model overview document by @kwxm in #6498
• Remove mentions to @channel in slack-message-broker.yml by @zeme-wana in #6583
• [Builtins] Add pattern matching builtins by @effectfully in #6530
• Add simplifier tags in UPLC simplifier by @ana-pantilie in #6540
• Add cost model page in the user guide by @zliu41 in #6582
• Don't run slack-message-broker on draft PRs by @zeme-wana in #6586
• Change references to plutus-shared in plutus-ci in the workflows by @zeme-wana in #6589
• Ramsay t/u casereduce by @ramsay-t in #6591
• chore(deps): bump benchmark-action/github-action-benchmark from 1.20.3 to 1.20.4 by @dependabot in #6594
• Update all Flake Inputs & Add texliveFull to the devShell by @zeme-wana in #6588
• [Test] Get the seed in 'noStructuralErrors' by @effectfully in #6595
• Kwxm/conformance/write bits 2 by @kwxm in #6596
• derive PlutusTx.Show for some ledger api types by @zliu41 in #6599
• Fix latex errors in old specification by @kwxm in #6601
• Add expModInteger to specification by @bezirg in #6512
• Add extra test vectors for verifySchnorrSecp256k1Signature by @kwxm in #6617
• MintValue by @Unisay in #6609
• Improve specification of the Secp256k1 signature verification functions by @kwxm in #6623
• Extra conformance tests for verifyEcdsaSecp256k1Signature by @kwxm in #6622
• Amends to slack-message-broker by @zeme-wana in #6628
• Fix all dependabot alerts in doc/docusaurus/yarn.lock by @zeme-wana in #6629
• New amends to slack-message-broker by @zeme-wana in #6632
• Fix array index access in slack-message-broker.yml by @zeme-wana in #6634
• Kwxm/conformance/two digit test names by @kwxm in #6627
• Fix incorrect fromDistinctAscList in PlutusTx.ErrorCodes by @zliu41 in #6635
• [Test] Mark more 'Integer's as interesting by @effectfully in #6619
• Use Agda Haskell lib instead of MAlonzo by @ana-pantilie in #6562
• Enable Haddock for Agda by @zeme-wana in #6639
• Remove extra-doc-files:README.md from plutus-executables.cabal by @zeme-wana in #6640
• [Plinth] [Builtins] Remove 'CaseList' and 'CaseData' by @effectfully in #6638
• Add github/workflows/cabal-build-all.yml by @zeme-wana in #6641
• PlutusLedgerApi.V1.withCurrencySymbol by @Unisay in #6636
• MintValue properties by @Unisay in #6631
• Embracing the Product Mindset by @zliu41 in #6621
• Upgrade iogx and fourmolu by @zeme-wana in #6645
• Use taskset in ci-plutu-benchmark.sh by @zeme-wana in #6646
• Swap cases for availability of taskset by @kwxm in #6649
• Remove doctest across whole repo by @zeme-wana in #6647
• chore(deps): bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 by @dependabot in #6651
• Run cabal-build-all.yml on plutus-ci by @zeme-wana in #6642
• Add a data-backed list to ScriptContext by @ana-pantilie in #6597
• refactor: PlutusLedgerApi.V1 by @Unisay in #6644
• Add option to pass the CAPABILITY_NUM to manual-benchmarl.yml workflow by @zeme-wana in #6658
• Rename some conformance tests correctly by @kwxm in #6659
• Fix bug in regex in manual-benchmark.yml by @zeme-wana in #6664
• Avoid division by zero in benchmark comparisons by @kwxm in #6665
• add explicit type application on bls operations for G1/G2 by @perturbing in #6666
• Upgrade to newer Agda and agda-stdlib by @ana-pantilie in #6673
• Change working directory when running cardano-constitution-tests by @zeme-wana in #6678
• BuiltinByteString literals aren't UTF8 encoded. by @Unisay in #6655
• Add papi support to the nix shell by @zeme-wana in #6681
• fourmolu.yaml by @Unisay in #6643
• UPLC Inline certifier translation relation and decision procedure. by @ramsay-t in #6669
• Refactor: reduce code duplication and make more uniform how plugin looks up GHC things (Names, Ids, etc.) by @Unisay in #6672
• [Builtins] Make all builtins strict by @effectfully in #6523
• Expose index-envs library to public by @SeungheonOh in #6676
• Move some pragmas to below functions by @kwxm in #6694
• [Test] Disable 'prop_shrinkTermSound' by @effectfully in #6695
• [Evaluation] [Performance] Tweak 'safeIndexOne' by @effectfully in #6663
• Upgrade Docusaurus to 3.6.0 by @zeme-wana in #6633
• Fix build ambiguous use of show with text-2.1.2 by @neilmayhew in #6704
• [Build] Drop 'prettyprinter-configurable' by @effectfully in #6699
• [Evaluation] [Performance] Strictify 'spend' by @effectfully in #6705
• 1.37.0.0 release by @zliu41 in #6708
• Update cross-spawn@^7.0.3 in docsaurus site by @zeme-wana in #6710
• Comment out uplc wrapper by @zeme-wana in #6711

New Contributors

• @perturbing made their first contribution in #6666
• @SeungheonOh made their first contribution in #6676
• @neilmayhew made their first contribution in #6704

Full Changelog: 1.36.0.0...1.37.0.0

Plutus 1.36.0.0

What's Changed

• [Meta] Add Slack and Discord to 'TRIAGE.md' by @effectfully in #6542
• Improve the Slack Message Broker by @zeme-wana in #6534
• Make Slack Message Broker Workflow Trigger on Status Events by @zeme-wana in #6544
• Remove extra cons character in slack-message-broker.yml by @zeme-wana in #6545
• Merge the "Plutus language changes" into other pages by @zliu41 in #6537
• Expand the optimization techniques page in the user guide by @zliu41 in #6532
• Rename and rewrite "Upgrading to Vasil and Plutus script addresses" by @zliu41 in #6533
• Remove the common weaknesses page by @zliu41 in #6549
• Add a note in the user guide about avoiding the INLINE pragma by @zliu41 in #6548
• Update the Haddock Documentation page in the user guide by @zliu41 in #6546
• Add new URL exception to check-broken-links.sh by @zeme-wana in #6551
• Add new ignored urls and fix logic in check-broken-links.sh by @zeme-wana in #6552
• Kwxm/write bits/new semantics by @kwxm in #6547
• Revert "[Builtins] Disable 'writeBits' for changPlus1 (#6536)" by @kwxm in #6554
• Plutus release 1.36.0.0 by @kwxm in #6555

Full Changelog: 1.35.0.0...1.36.0.0

1.35.0.0

What's Changed

• Remove delve-deeper/examples.md by @zliu41 in #6487
• Remove "Exporting scripts, datums and redeemers" from user guide by @zliu41 in #6486
• Update plutus-tx-template.yml by @zliu41 in #6489
• Update DESCRIPTION.md file by @zeme-wana in #6491
• Rename and improve the Plutus foundation page by @zliu41 in #6488
• Fix a broken link on the doc site by @zliu41 in #6500
• Promote and improve the glossary page by @zliu41 in #6493
• Fix a broken doc link by @zliu41 in #6503
• Separate Docusaurus Build & Deploy Workflow Steps by @zeme-wana in #6496
• Remove use of --pure in scripts/prepare-bins.sh by @zeme-wana in #6495
• Merge top-level and docusaurus flakes by @zeme-wana in #6497
• Use NOINLINE on stringToBuiltinByteString and stringToBuiltinString by @zliu41 in #6501
• [Errors] Test that evaluation of a well-typed term doesn't fail with a structural error by @effectfully in #6443
• [Refactoring] Tweak 'PlutusTx.Data.AssocMap' by @effectfully in #6509
• [Refactoring] Replace 'NOINLINE' with 'OPAQUE' by @effectfully in #6507
• Add version select to haddock index page by @zeme-wana in #6499
• Remove plutus-ghc-stub by @zliu41 in #6514
• Remove the Plutus Platform page by @zliu41 in #6506
• Make the auction example end-to-end by @zliu41 in #6477
• Mark && and || OPAQUE by @zliu41 in #6510
• Translation relation and decision procedure for the Float-Delay by @ramsay-t in #6482
• This seems 'too easy' but to certify things I don't think it needs to be more complex? by @ramsay-t in #6513
• Rework the "Using Plutus Tx" section of the user guide by @zliu41 in #6516
• Fix some issues and inconsistencies related to pretty-printing by @zliu41 in #6515
• Add workflow_dispatch event to slack-message-broker.yml by @zeme-wana in #6535
• [Builtins] Disable 'writeBits' for chang+1 by @effectfully in #6536
• Release 1.35.0.0 by @ramsay-t in #6538

Full Changelog: 1.34.1.0...1.35.0.0