1.29.0.0

What's Changed

• [PlutusTx] [Builtins] Split 'FromBuiltin' and 'ToBuiltin' by @effectfully in #5971
• Update README.md by @kwxm in #5997
• chore(deps): bump cachix/install-nix-action from 26 to 27 by @dependabot in #5999
• Script to prepare binary executables for uploading to the github release page. by @Unisay in #6015
• Add integerToByteString and byteStringToInteger to PlutusV2 at PV10 by @zliu41 in #6056
• [Refactoring] Remove 'UnknownBuiltin' by @effectfully in #6064
• Conditionally add 'triage' label to new issues by @zeme-wana in #6061
• Fix bug in add-triage-label.yml by @zeme-wana in #6067
• chore(deps): bump benchmark-action/github-action-benchmark from 1.19.3 to 1.20.3 by @dependabot in #6058
• Add integerToByteString and byteStringToInteger to V2.ParamName by @zliu41 in #6065
• Add PlutusTx Map backed by Data by @ana-pantilie in #5927
• Let nightly.yml accept hedgehog-tests input by @zeme-wana in #6062
• Remove obsolete defer-plugin-errors flag by @zeme-wana in #6080
• Add a Plutus Tx test utility package by @ana-pantilie in #6086
• [Errors] polish evaluation errors by @effectfully in #6043
• [Test] Add do-notation support for 'TestNested' by @effectfully in #5948
• Run nightly tests on plutus-benchmark by @zeme-wana in #6091
• [Exe] Generalize 'withL' to 'withLangGeneral' by @effectfully in #5918
• Provisional conway cost model by @kwxm in #6087
• Update issue templates by @zliu41 in #6037
• Remove reference to benching.csv in plutus-core.cabal by @kwxm in #6149
• PlutusV3: Datum/Redeemer in ScriptContext, Datum Optional, Unified Script Type by @zliu41 in #5934
• Kwxm/costing/reduce CEK CPU step costs B by @kwxm in #6153
• [Test] Dump UPLC for 'strictLetRec' by @effectfully in #5963
• Use the most recent evaluation context for most of the benchmarks by @kwxm in #6152
• [Builtins] Polish handling of integral types by @effectfully in #6036
• Tests for the preserve-logging flag. by @Unisay in #6162
• Require PlutusV3 scripts to evaluate to BuiltinUnit by @zliu41 in #6159
• Quadratic costing for integer division functions by @kwxm in #6161
• Fix V2's costModelParamsForTesting by @zliu41 in #6166
• Release 1.29.0.0 by @kwxm in #6170

Full Changelog: 1.28.0.0...1.29.0.0

1.27.0.0

What's Changed

• A quick isabelle experiment. by @ramsay-t in #5913
• PLT-8171: Combine PIR, PLC, and UPLC into a single executable by @bezirg in #5699
• chore(deps): bump slackapi/slack-github-action from 1.25.0 to 1.26.0 by @dependabot in #5915
• Kwxm/plc spec/bitwise conversions by @kwxm in #5911
• Use Int64 in CostModelParams by @zliu41 in #5920
• Change CMTooFewParamsError to a warning by @zliu41 in #5912
• [Costing] Provide support for multiple 'CostModel's by @effectfully in #5851
• CaseOfCase kind mismatch error fix by @Unisay in #5923
• Fix some Notes so they pass the check by @kwxm in #5930
• Kwxm/costing/restore old cost model param names by @kwxm in #5932
• Tidy up SimpleJSON.hs by @kwxm in #5936
• Chore: formatting by @Unisay in #5937
• 1.27.0.0 by @zliu41 in #5938

Full Changelog: 1.26.0.0...1.27.0.0

1.28.0.0

What's Changed

• Do not build the plutus executable if GHC <9.6 by @zliu41 in #5940
• Update CONTRIBUTING.adoc by @zliu41 in #5950
• Add 'Note [Table of all possible ledger's states w.r.t. cost model parameters update]' by @effectfully in #5935
• Remove annoying error message by @kwxm in #5956
• Add plutus-tx-template Release Instructions and GH Workflow by @zeme-wana in #5952
• [StdLib] Strictify 'fix' by @effectfully in #5939
• [PIR] Don't generate 'fixBy' if you don't need to by @effectfully in #5954
• Chore: formatting, imports, pragmas. by @Unisay in #5965
• CaseOfCase UPLC transformation tests. by @Unisay in #5960
• Avoid evaluating nilCase strictly in matchList, and rename the original matchList to matchList' by @zliu41 in #5901
• Improvements to plutus-metatheory site by @zeme-wana in #5959
• [Build] Remove the doctests runner of 'prettyprinter-configurable' by @effectfully in #5974
• Kwxm/mainnet script budgets by @kwxm in #5973

Full Changelog: 1.27.0.0...1.28.0.0

1.26.0.0

What's Changed

• Remove obsolete edge case for GHC98/HSL from shell.nix by @zeme-wana in #5872
• [Bench] Fix arbitrary evaluation nonsense by @effectfully in #5867
• nix flake update iogx by @Unisay in #5878
• Kwxm/flat/canonincal data encoding (PLT-9705) by @kwxm in #5879
• Improved error message for the mustBeReplaced by @Unisay in #5883
• Add some text about how to deal with bad CHaP timestamps in RELEASE.adoc by @kwxm in #5882
• Fix compilation of unicode-containing BuiltinStrings by @Unisay in #5887
• Refer to && and || by their qualified TH names. by @Unisay in #5876
• Remove plutus-metatheory from plutus-benchmark-common by @kwxm in #5875
• Add some tests that non-canonically encoded bytestrings decode correctly by @kwxm in #5881
• PT20: reciprocalOfZeroError by @Unisay in #5880
• Refactor NoTrace spec by @Unisay in #5890
• How to handle builtins before they're costed (PLT-9686) by @kwxm in #5874
• Read model type from R (attempt number 2) [PLT-1174] by @kwxm in #5857
• Don't call mustBeReplaced in PlutusTx.Builtins.Internal by @zliu41 in #5897
• Vectors in UPLC by @michaelpj in #5816
• fix: flag simplifier-remove-dead-bindings by @Unisay in #5899
• Add PlutusTx.List.indexBuiltinList by @zliu41 in #5898
• Add plugin options: preserve-logging and inline-constants by @zliu41 in #5855
• Add some more complex test cases for the remove-trace plugin option by @Unisay in #5900
• Update some more benchmarks to use correct evaluation context (PLT-9713) [fourth attempt] by @kwxm in #5905
• Trace removal re-implemented as a IR rewrite rule by @Unisay in #5907
• CIP-0057 Howto: exporting a Plutus contract blueprint by @Unisay in #5817
• [Release] 1.26.0.0 by @ana-pantilie in #5914

Full Changelog: 1.25.0.0...1.26.0.0

Release 1.25.0.0

What's Changed

• Get the benchmark comparison script to print out total times by @kwxm in #5860
• chore(deps): bump tj-actions/changed-files from 43 to 44 by @dependabot in #5862
• Update quick-start.rst, point to plutus-tx-template by @zeme-wana in #5864
• Add a matrix badge linking to our room by @michaelpj in #5869
• CIP-0057: Extend the Blueprint test case with the AsData example. by @Unisay in #5837
• More reliable short-cicruiting behavior for || and && operators. by @Unisay in #5863
• Improve formatting of output of check-Notes by @kwxm in #5871
• Agda html by @ramsay-t in #5854
• Release 1.25.0.0 by @kwxm in #5873

Full Changelog: 1.24.0.0...1.25.0.0

1.24.0.0

What's Changed

• [Release] 1.23.0.0 by @ana-pantilie in #5822
• chore(deps): bump cachix/install-nix-action from 25 to 26 by @dependabot in #5825
• CIP-0057 Annotations for the PlutusTx.Blueprint.Schema by @Unisay in #5820
• Add pointer to issue on the ledger's cost model interface by @kwxm in #5828
• Agda html by @ramsay-t in #5827
• chore(deps): bump tj-actions/changed-files from 42 to 43 by @dependabot in #5835
• Kwxm/correct conformance comments by @kwxm in #5829
• chore(deps): bump nixbuild/nix-quick-install-action from 26 to 27 by @dependabot in #5843
• CIP-0057: ContractBlueprint with derived schema definitions and safe schema refs by @Unisay in #5824
• Document unsafe operations of AssocMap by @ana-pantilie in #5838
• Added info about PlutusV3 to the Read-the-docs page about Plutus language changes by @joseph-fajen in #5844
• Generalised force-delay optimisation by @ana-pantilie in #5799
• Chore: formatting, explicit imports. by @Unisay in #5847
• Add documentation for AsData by @michaelpj in #5729
• Add simple force-delay tests + clean-up by @ana-pantilie in #5849
• PLT-8659 UPLC term order evaluator takes into account builtin argument saturation by @Unisay in #5850
• [Release] 1.24.0.0 by @bezirg in #5856

New Contributors

• @ramsay-t made their first contribution in #5827

Full Changelog: 1.23.0.0...1.24.0.0

1.23.00

What's Changed

• Update Plutus quick start guide, mention iogx template by @zeme-wana in #5810
• Sort out the comments on the ExMemoryUsage instance for ByteString by @kwxm in #5792
• Bump all our flake inputs by @michaelpj in #5809
• Add UniqueSet, remove direct name comparisons by @ana-pantilie in #5815
• CIP-0057 Plutus Blueprints support: generate blueprint for a contract. by @Unisay in #5772

Full Changelog: 1.22.1.0...1.23.0.0

1.22.1.0

What's Changed

• [Generators] Fix 'LamAbs' handling in 'fixupTerm_' by @effectfully in #5797
• Some docs on AssocMap by @bezirg in #5794
• Fixing typo in new caution message - simple-example.rst by @joseph-fajen in #5801
• V3.TxInfo uses V3.TxId consistently. by @Unisay in #5802
• PlutusLedgerApi.V3.TxInInfo by @Unisay in #5804

Full Changelog: 1.22.0.0...1.22.1.0

1.22.0.0

What's Changed

• Small correction in metatheory/Setup.hs's comment by @zeme-wana in #5743
• Bitwise costing (PLT-8790) by @kwxm in #5733
• [Test] [Builtins] Fix exponentiality of generators by @effectfully in #5738
• Conformance tests for bitwise conversions by @kwxm in #5744
• Refactoring of Agda Main, and addition of Counting Mode. by @mjaskelioff in #5730
• Fix missing Agda import by @kwxm in #5747
• Kwxm/release/update instructions by @kwxm in #5748
• chore(deps): bump benchmark-action/github-action-benchmark from 1.18.0 to 1.19.2 by @dependabot in #5749
• chore(deps): bump slackapi/slack-github-action from 1.24.0 to 1.25.0 by @dependabot in #5750
• Metatheory for bitwise conversion builtins (PLT-8188) by @kwxm in #5746
• [PLT-9056] Pretty instance for ScriptDecodeError by @Unisay in #5753
• [Test] Improve term shrinking by @effectfully in #5745
• [PLT-9395] Bugfix "PlutusTx.Ratio.reduce allows negative denominator" by @Unisay in #5754
• PLT-514: Costing conformance tests by @michaelpj in #5751
• PLT-9238 Export Simple JSON model from plutus-core by @mjaskelioff in #5756
• chore(deps): bump benchmark-action/github-action-benchmark from 1.19.2 to 1.19.3 by @dependabot in #5759
• [PLT-9420] Remove the unnecessary constructor around TxId by @Unisay in #5757
• Adding a Costing Evaluator to agda-conformance by @mjaskelioff in #5758
• Kwxm/uplc-criterion by @kwxm in #5755
• Minor documentation fixes by @ana-pantilie in #5760
• [Bug] [TypeCheck] Fix an off-by-maxBound error by @effectfully in #5763
• Inline constants by default (turned off in conservative mode) by @ana-pantilie in #5766
• Demonstrate && evaluation inconsistencies by @ana-pantilie in #5774
• Add Note [Short-circuit evaluation for && and ||] by @zliu41 in #5767
• Kwxm/agda conformance/better cost model (PLT-9449) by @kwxm in #5773
• Add Note [Optimising Value] by @ana-pantilie in #5780
• Rename budget golden files by @zliu41 in #5782
• Changes needed for constitution by @bezirg in #5785
• Add Value.currencySymbolValueOf by @zliu41 in #5781
• Remove unnecessary for a library ghc options by @Unisay in #5789
• Add note on constant inlining by @ana-pantilie in #5786
• Add constant inlining to UPLC by @ana-pantilie in #5790
• Document some variants for Plutus V3 ScriptContext by @zliu41 in #5791
• JF/PLT-9460 Simple example caution message by @joseph-fajen in #5795
• Fix the Notes (PLT-9513) by @kwxm in #5784

New Contributors

• @ana-pantilie made their first contribution in #5760

Full Changelog: 1.21.0.0...1.22.0.0

1.21.0.0

What's Changed

• Make 'paste' use spaces as delimiters: tabs confuse awk formatting by @kwxm in #5717
• PLT-8880 Dynamic Cek Machine Cost Parameters by @mjaskelioff in #5721
• Benchmarks for the Agda CEK machine (PLT-9187) by @kwxm in #5725
• Update repo links that moved to IntersectMBO by @bezirg in #5724
• Bump IOGX 2024-01-17 by @zeme-wana in #5727
• [Builtins] Expose 'BuiltinResult' by @effectfully in #5728
• chore(deps): bump tj-actions/changed-files from 41 to 42 by @dependabot in #5731
• cost-model-bench: Allow passing extra arguments by @shlevy in #5732
• [Refactoring] Use 'iso' instead of 'prism' by @effectfully in #5734
• add missing word by @lemmon-714 in #5737
• Release 1.21.0.0 by @kwxm in #5739
• Build all tasty tests with the threaded runtime and some capabilities by @michaelpj in #5740

New Contributors

• @lemmon-714 made their first contribution in #5737

Full Changelog: 1.20.0.0...1.21.0.0