Plutus Versions Save

The Plutus language implementation and tools

cli-alpha

1 week ago

Static x86_64-linux executable of plutus CLI taken from Hydra build:

https://ci.iog.io/build/3765124/download/2/plutus-core-exe-plutus-x86_64-unknown-linux-musl-1.26.0.0/bin/plutus

$sha256sum ./plutus 
e9d22124899524c334c0bb884b9a77a922d288b1632c4f350d5dab22b1209971  ./plutus

1.26.0.0

1 week ago

What's Changed

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

Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.25.0.0...1.26.0.0

1.25.0.0

4 weeks ago

What's Changed

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

Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.24.0.0...1.25.0.0

1.24.0.0

1 month ago

What's Changed

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

New Contributors

@ramsay-t made their first contribution in https://github.com/IntersectMBO/plutus/pull/5827

Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.23.0.0...1.24.0.0

1.23.0.0

1 month ago

What's Changed

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

Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.22.1.0...1.23.0.0

1.22.1.0

2 months ago

What's Changed

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

Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.22.0.0...1.22.1.0

1.22.0.0

2 months ago

What's Changed

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

New Contributors

@ana-pantilie made their first contribution in https://github.com/IntersectMBO/plutus/pull/5760

Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.21.0.0...1.22.0.0

1.21.0.0

3 months ago

What's Changed

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

New Contributors

@lemmon-714 made their first contribution in https://github.com/IntersectMBO/plutus/pull/5737

Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.20.0.0...1.21.0.0

1.20.0.0

3 months ago

What's Changed

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

Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.19.0.0...1.20.0.0

1.19.0.0

3 months ago

What's Changed

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

Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.18.0.0...1.19.0.0