| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| pir-x86_64-linux-ghc96 | 2026-04-24 | 9.1 MB | |
| plc-x86_64-linux-ghc96 | 2026-04-24 | 9.1 MB | |
| plutus-metatheory.tar.gz | 2026-04-24 | 197.8 kB | |
| plutus-x86_64-linux-ghc96 | 2026-04-24 | 8.6 MB | |
| uplc-x86_64-linux-ghc96 | 2026-04-24 | 9.2 MB | |
| 1.62.0.0 source code.tar.gz | 2026-04-24 | 13.0 MB | |
| 1.62.0.0 source code.zip | 2026-04-24 | 17.6 MB | |
| README.md | 2026-04-24 | 1.3 kB | |
| Totals: 8 Items | 66.7 MB | 0 | |
plutus-core
Added
-
A new UPLC optimization pass that floats bindings outwards. This can unlock further optimizations, such as case-constr and force-delay cancellation.
-
Added a new command line option
--certified-opts-onlywhich disables those optimization passes which are not certified. -
A new plugin flag
inline-unconditional-growth, and a new UPLC executable flagopt-inline-unconditional-growth. They control the aggressiveness of unconditional inlining.
Changed
- Improved the CSE pass to make it see through bindings.
plutus-ledger-api
No changes.
plutus-tx
No changes.
plutus-tx-plugin
Added
- Added a new plugin option
certified-opts-onlywhich disables those optimisation passes which are not certified to preserve the functional behavior of the original program.
Changed
- The plugin now automatically inserts INLINEABLE pragmas.
Requires compiling with
plinthcorplcinstead ofcompile.
plutus-executables
No changes.
plutus-metatheory
Removed
- Temporarily disabled the CaseReduce certifier pass due to the discovery of bugs in the specification.
Fixed
- The certifier reports now include the number of optimization sites for the force-case-delay pass as well.
Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.61.0.0...1.62.0.0