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

1.20.0.0

What's Changed

• chore(deps): bump tj-actions/changed-files from 40 to 41 by @dependabot in #5694
• [PLT-8182] CIP-0087 support by @kozross in #5654
• Specify concrete syntax for built-in lists, pairs, and data (PLT-378) by @kwxm in #5692
• Convert more Value to Lovelace by @michaelpj in #5698
• [Test] [Costing] Test that serialising an impossible 'Data' object finishes by @effectfully in #5703
• Fix a broken link by @zliu41 in #5705
• Update dependencies by @erikd in #5707
• Remove GovernanceActionId from the Voting script purpose by @zliu41 in #5708
• PLT-1568 Cost for all builtins by @mjaskelioff in #5700
• [Plugin] Warn about missing builtins by @effectfully in #5702
• Add some benchmarks for a list matching task by @michaelpj in #5683
• The Hashable instance for Name should only depend on the unique by @michaelpj in #5714
• Update the Certifying and Proposing script purposes by @zliu41 in #5712
• Fix blake2b_224 in plutus-tx by @kwxm in #5716
• Update the NewCommittee variant of GovernanceAction to UpdateCommittee by @zliu41 in #5718
• chore(deps): bump cachix/install-nix-action from 24 to 25 by @dependabot in #5719
• [Release] 1.20.0.0 by @bezirg in #5720

Full Changelog: 1.19.0.0...1.20.0.0

1.19.0.0

What's Changed

• Kwxm/bls flat uncompression by @kwxm in #5663
• CSE for UPLC by @zliu41 in #5634
• Add a multilet test case for the PIR inliner by @zliu41 in #5672
• More efficient Map.insert and Map.unionWith by @zliu41 in #5674
• PLT-8912: Fix unsafety in the "safe" Data decoding code by @michaelpj in #5671
• Pass abstraction by @michaelpj in #5665
• More efficient Value.geq and leq by @zliu41 in #5677
• Split multi-lets in the PIR inliner by @zliu41 in #5676
• Add budget tests for Value by @zliu41 in #5680
• PLT-1566 Add cost semantics for basic builtins by @mjaskelioff in #5679
• Use Lovelace instead of Value in some TxInfo fields by @zliu41 in #5678
• Add functions for converting between Lovelace and Value by @zliu41 in #5682
• chore(deps): bump actions/upload-artifact from 3 to 4 by @dependabot in #5684
• Add a missing INLINABLE pragma by @zliu41 in #5687
• Add some helper functions for Plutus V3 ScriptContext by @zliu41 in #5688
• Kwxm/spec/no flat for bls by @kwxm in #5690
• Add constitution script hash to ParameterChange and TreasuryWithdrawals by @zliu41 in #5691
• 1.19 by @zliu41 in #5693

Full Changelog: 1.18.0.0...1.19.0.0

1.18.0.0

What's Changed

• Attempt to rewrite unnecessary constructor applications in the plugin by @zliu41 in #5649
• Better errors for literal ranges in PlutusTx (PLT-8174) by @kwxm in #5619
• 9.6 main development version by @michaelpj in #5645
• Make it build with ghc-9.8 by @erikd in #5564
• chore(deps): bump cachix/install-nix-action from 23 to 24 by @dependabot in #5655
• Fix buildability conditionals by @michaelpj in #5656
• less strict chooseList and chooseData by @mjaskelioff in #5657
• Extra conformance tests for chooseList by @kwxm in #5658
• Remove some unneded 9.8 stuff by @michaelpj in #5659
• Fix haskell syntax highlighting in quickstart by @michaelpj in #5661
• Remove some leftover traces from debugging by @michaelpj in #5660
• Show budget and traces output when uplc evaluate fails by @bezirg in #5652
• Kwxm/conformance/more polymorphism tests by @kwxm in #5662
• PLT-1567 Extend agda executable to handle costing reporting features by @mjaskelioff in #5653
• Add TxCertPoolRegister and TxCertPoolRetire to TxCert by @zliu41 in #5666
• 1.18.0.0 by @zliu41 in #5667
• Don't evaluate away builtins where the result might be unserializable by @michaelpj in #5664
• Fix Haddock error by @zliu41 in #5668

Full Changelog: 1.17.0.0...1.18.0.0

1.17.0.0

What's Changed

• Kwxm/count mainnet builtin usage by @kwxm in #5635
• Oops: analysing redeemer instead of datum for V2 by @kwxm in #5637
• Remove an unused module by @zliu41 in #5638
• Add recordFieldsManual test by @zliu41 in #5636
• Make sure opaque types are actually opaque by @zliu41 in #5641
• PLT-1565 Add support for cost in the metatheory untyped CEK machine by @mjaskelioff in #5639
• Simplify/improve the code generation for AsData/IsData by @michaelpj in #5546
• Update usage of pre-commit in CONTRIBUTING.adoc by @zeme-wana in #5646
• Marlowe validator using Data by @michaelpj in #5509
• Add some comments on FromBuiltin/ToBuiltin/Lift by @michaelpj in #5585
• Release 1.17.0.0 by @bezirg in #5650

Full Changelog: 1.16.0.0...1.17.0.0

1.16.0.0

What's Changed

• Integrate IOGX by @zeme-wana in #5472
• Make test module names consistent. by @thealmarty in #5580
• Fix nix shell's ANSI colors and welcomeMessage by @zeme-wana in #5594
• Add empty string check for git command in ci-plutus-benchmark.sh by @zeme-wana in #5568
• [Test] [Bug] Make 'tryHard' lazy again by @effectfully in #5596
• Version-sensitive plutus-benchmark tests (PLT 7544) by @kwxm in #5587
• PLT-7098 Adapt Determinism proof to SOPs by @mjaskelioff in #5582
• PLT-7103 Adapt Scoped Renaming/Substitution and Extrication to SOPs in the metatheory by @mjaskelioff in #5597
• PLT-8103 Adapt Reduction proof to SOPs by @mjaskelioff in #5598
• Bump urllib version in read-the-docs-site/requirements.txt by @zeme-wana in #5601
• [PlutusTx] Optimize the 'Eq' instance of 'Value' by @effectfully in #5593
• PLT-7745: Basic rewrite rules for builtins by @bezirg in #5584
• chore(deps): bump nixbuild/nix-quick-install-action from 25 to 26 by @dependabot in #5600
• chore(deps): bump tj-actions/changed-files from 39 to 40 by @dependabot in #5602
• Remove nix version constraint in workflows/haddock.yml by @zeme-wana in #5606
• Update a link to Plutus scripts by @olgahryniuk in #5607
• Add scriv back to the shell by @zeme-wana in #5610
• [Build] Remove 'dependent-sum-template' by @effectfully in #5609
• Minor typos in cabal.project by @philderbeast in #5612
• unconstrConstrData rewrite rule by @bezirg in #5605
• Kwxm/update nix develop ghc instructions by @kwxm in #5614
• Remarks about replacement of Unicode surrogates by @kwxm in #5603
• Add budget tests for asData by @zliu41 in #5608
• Update to new nothunks by @michaelpj in #5616
• Expose 'unSatInt' and 'fromSatInt' and add instances for 'CostModelApplyError' by @effectfully in #5618
• Kwxm/mainnet script analysis (PLT-7985) by @kwxm in #5604
• Release 1.16.0.0 by @kwxm in #5622
• Update plutus-ledger-api.cabal by @bezirg in #5624
• Expose 'unSatInt' and 'fromSatInt' from V2 and V3 as well by @effectfully in #5621
• Kwxm/fix test filename by @kwxm in #5620
• Use Readable UPLC in the golden files of simplifier tests by @zliu41 in #5626
• Add Hashable instances for UPLC Term and related types by @zliu41 in #5629
• Add missing golden files by @zliu41 in #5630
• Update nix documentation in CONTRIBUTING and RELEASE by @zeme-wana in #5617
• Remove some redundant pragmas by @kwxm in #5625
• Typo: the -> that by @kwxm in #5632
• Add evaluation results for some budget tests by @zliu41 in #5628
• [Builtins] Annotate each builtin with its type signature by @effectfully in #5611
• chore(deps): bump actions/github-script from 6 to 7 by @dependabot in #5633

New Contributors

• @olgahryniuk made their first contribution in #5607
• @philderbeast made their first contribution in #5612

Full Changelog: 1.15.0.0...1.16.0.0

1.15.0.0

What's Changed

• Testlibs: various changes by @michaelpj in #5543
• Switch up cabal flag setup to avoid cabal bug by @michaelpj in #5569
• Bump dependencies by @erikd in #5561
• PIR: restructure tests by @michaelpj in #5570
• Restructure PlutusIR.Compiler tests. by @thealmarty in #5574
• PLT-7799 Simplify progress proofs by @mjaskelioff in #5571
• Fix onchain evaluation test by @kwxm in #5576
• PLT-6543: Implement emitter tracing for debugger by @bezirg in #5575
• Add a Quick Start guide to RTD (PLT-1383) by @zliu41 in #5557
• Add golden size tests for Marlowe validators by @zliu41 in #5578
• [PlutusTx] [Test] 'Eq' for 'Value' by @effectfully in #5566
• [PlutusTx] Optimize the 'Eq' instance of 'Value' by @effectfully in #5577
• Revert "[PlutusTx] Optimize the 'Eq' instance of 'Value' (#5577)" by @effectfully in #5581
• Reorganise nofib tests by @kwxm in #5583
• Just call adjustModel once by @kwxm in #5579
• Update RELEASE.adoc by @bezirg in #5586
• PLT-506: Case-of-case by @michaelpj in #5554
• PLT-1398 Set up typechecking property tests for all PIR compiler passes by @thealmarty in #5565
• Fix a misleading typo in a comment by @kwxm in #5588
• Release 1.15.0 by @kwxm in #5590
• We don't want 'find' to find .cabal by @kwxm in #5591
• Release 1.15.0.0 by @kwxm in #5592

Full Changelog: 1.14.0.0...1.15.0.0

1.14.0.0

What's Changed

• Replace ProtocolVersion with MajorProtocolVersion by @zliu41 in #5545
• Add ScriptForEvaluation to the ledger API (PLT-7327) by @zliu41 in #5538
• Speed up AsData by @michaelpj in #5550
• Fix misplaced size tests golden files. by @thealmarty in #5552
• Increase fetch-depth in workflows/benchmark.yml by @zeme-wana in #5553
• Optimization refactoring: VarsInfo and BuiltinsInfo, pure conapps by @michaelpj in #5551
• Update copyright year by @zliu41 in #5558
• Redo UPLC purity analysis to match PIR by @michaelpj in #5541
• Add plutus-cert and wire it up, alternative version by @michaelpj in #5556
• Add link to speedscope by @michaelpj in #5562
• Add testing section to CONTRIBUTING by @bezirg in #5563
• PLT-871: ThunkRecursions conservative mode by @bezirg in #5560
• 1.14.0.0 by @zliu41 in #5567

Full Changelog: 1.13.0.0...1.14.0.0

1.12.0.0

What's Changed

• Specification: rework to have section on Cardano, discuss builtins by @michaelpj in #5496
• Test plutus-tx-tests on all supported GHC versions by @zliu41 in #5497
• Update profiling-scripts.rst by @bezirg in #5470
• Handle integerNegate in the plugin by @zliu41 in #5494
• Fix typos by @omahs in #5501
• Handle ByteArray# in the plugin by @zliu41 in #5499
• Add a few more golden PIR tests by @zliu41 in #5504
• Fix testOrd by @zliu41 in #5503
• Revert an inadvertent change by @zliu41 in #5505
• Rename "builtin versions" to "builtin semantics variants" to reduce risk of confusion by @kwxm in #5502
• Update the download link and the date on the specification by @kwxm in #5507
• Use Strict in Plutus Tx by @zliu41 in #5371
• Fix longitudinal benchmark by @zliu41 in #5514
• Improve an error message of the compiler. by @thealmarty in #5513
• Support pattern synonyms by @michaelpj in #5510
• Fix semantic merge conflict in test output by @michaelpj in #5517
• 1.12.0.0 by @zliu41 in #5515

New Contributors

• @omahs made their first contribution in #5501

Full Changelog: 1.11.0.0...1.12.0.0