Home /
Input Output /
plutus
Apr 09, 4-5 AM (1)
Apr 09, 5-6 AM (1)
Apr 09, 6-7 AM (0)
Apr 09, 7-8 AM (0)
Apr 09, 8-9 AM (0)
Apr 09, 9-10 AM (0)
Apr 09, 10-11 AM (0)
Apr 09, 11-12 PM (0)
Apr 09, 12-1 PM (3)
Apr 09, 1-2 PM (2)
Apr 09, 2-3 PM (0)
Apr 09, 3-4 PM (0)
Apr 09, 4-5 PM (0)
Apr 09, 5-6 PM (1)
Apr 09, 6-7 PM (1)
Apr 09, 7-8 PM (2)
Apr 09, 8-9 PM (3)
Apr 09, 9-10 PM (1)
Apr 09, 10-11 PM (5)
Apr 09, 11-12 AM (2)
Apr 10, 12-1 AM (0)
Apr 10, 1-2 AM (1)
Apr 10, 2-3 AM (0)
Apr 10, 3-4 AM (0)
Apr 10, 4-5 AM (0)
Apr 10, 5-6 AM (0)
Apr 10, 6-7 AM (0)
Apr 10, 7-8 AM (0)
Apr 10, 8-9 AM (0)
Apr 10, 9-10 AM (0)
Apr 10, 10-11 AM (1)
Apr 10, 11-12 PM (1)
Apr 10, 12-1 PM (1)
Apr 10, 1-2 PM (2)
Apr 10, 2-3 PM (0)
Apr 10, 3-4 PM (4)
Apr 10, 4-5 PM (0)
Apr 10, 5-6 PM (0)
Apr 10, 6-7 PM (0)
Apr 10, 7-8 PM (0)
Apr 10, 8-9 PM (0)
Apr 10, 9-10 PM (0)
Apr 10, 10-11 PM (0)
Apr 10, 11-12 AM (0)
Apr 11, 12-1 AM (0)
Apr 11, 1-2 AM (0)
Apr 11, 2-3 AM (0)
Apr 11, 3-4 AM (0)
Apr 11, 4-5 AM (0)
Apr 11, 5-6 AM (0)
Apr 11, 6-7 AM (0)
Apr 11, 7-8 AM (0)
Apr 11, 8-9 AM (0)
Apr 11, 9-10 AM (0)
Apr 11, 10-11 AM (1)
Apr 11, 11-12 PM (0)
Apr 11, 12-1 PM (0)
Apr 11, 1-2 PM (0)
Apr 11, 2-3 PM (0)
Apr 11, 3-4 PM (0)
Apr 11, 4-5 PM (0)
Apr 11, 5-6 PM (0)
Apr 11, 6-7 PM (0)
Apr 11, 7-8 PM (0)
Apr 11, 8-9 PM (1)
Apr 11, 9-10 PM (0)
Apr 11, 10-11 PM (0)
Apr 11, 11-12 AM (0)
Apr 12, 12-1 AM (0)
Apr 12, 1-2 AM (0)
Apr 12, 2-3 AM (0)
Apr 12, 3-4 AM (0)
Apr 12, 4-5 AM (0)
Apr 12, 5-6 AM (0)
Apr 12, 6-7 AM (0)
Apr 12, 7-8 AM (0)
Apr 12, 8-9 AM (0)
Apr 12, 9-10 AM (0)
Apr 12, 10-11 AM (1)
Apr 12, 11-12 PM (0)
Apr 12, 12-1 PM (0)
Apr 12, 1-2 PM (0)
Apr 12, 2-3 PM (0)
Apr 12, 3-4 PM (0)
Apr 12, 4-5 PM (0)
Apr 12, 5-6 PM (0)
Apr 12, 6-7 PM (0)
Apr 12, 7-8 PM (0)
Apr 12, 8-9 PM (0)
Apr 12, 9-10 PM (0)
Apr 12, 10-11 PM (0)
Apr 12, 11-12 AM (0)
Apr 13, 12-1 AM (0)
Apr 13, 1-2 AM (0)
Apr 13, 2-3 AM (0)
Apr 13, 3-4 AM (0)
Apr 13, 4-5 AM (0)
Apr 13, 5-6 AM (0)
Apr 13, 6-7 AM (0)
Apr 13, 7-8 AM (0)
Apr 13, 8-9 AM (0)
Apr 13, 9-10 AM (0)
Apr 13, 10-11 AM (0)
Apr 13, 11-12 PM (0)
Apr 13, 12-1 PM (1)
Apr 13, 1-2 PM (6)
Apr 13, 2-3 PM (1)
Apr 13, 3-4 PM (0)
Apr 13, 4-5 PM (0)
Apr 13, 5-6 PM (0)
Apr 13, 6-7 PM (0)
Apr 13, 7-8 PM (0)
Apr 13, 8-9 PM (0)
Apr 13, 9-10 PM (0)
Apr 13, 10-11 PM (0)
Apr 13, 11-12 AM (0)
Apr 14, 12-1 AM (0)
Apr 14, 1-2 AM (0)
Apr 14, 2-3 AM (0)
Apr 14, 3-4 AM (0)
Apr 14, 4-5 AM (0)
Apr 14, 5-6 AM (0)
Apr 14, 6-7 AM (0)
Apr 14, 7-8 AM (0)
Apr 14, 8-9 AM (1)
Apr 14, 9-10 AM (3)
Apr 14, 10-11 AM (1)
Apr 14, 11-12 PM (2)
Apr 14, 12-1 PM (0)
Apr 14, 1-2 PM (3)
Apr 14, 2-3 PM (3)
Apr 14, 3-4 PM (5)
Apr 14, 4-5 PM (0)
Apr 14, 5-6 PM (1)
Apr 14, 6-7 PM (1)
Apr 14, 7-8 PM (1)
Apr 14, 8-9 PM (0)
Apr 14, 9-10 PM (0)
Apr 14, 10-11 PM (0)
Apr 14, 11-12 AM (0)
Apr 15, 12-1 AM (0)
Apr 15, 1-2 AM (0)
Apr 15, 2-3 AM (0)
Apr 15, 3-4 AM (0)
Apr 15, 4-5 AM (0)
Apr 15, 5-6 AM (0)
Apr 15, 6-7 AM (0)
Apr 15, 7-8 AM (0)
Apr 15, 8-9 AM (0)
Apr 15, 9-10 AM (1)
Apr 15, 10-11 AM (3)
Apr 15, 11-12 PM (0)
Apr 15, 12-1 PM (1)
Apr 15, 1-2 PM (3)
Apr 15, 2-3 PM (0)
Apr 15, 3-4 PM (0)
Apr 15, 4-5 PM (2)
Apr 15, 5-6 PM (2)
Apr 15, 6-7 PM (1)
Apr 15, 7-8 PM (0)
Apr 15, 8-9 PM (0)
Apr 15, 9-10 PM (0)
Apr 15, 10-11 PM (0)
Apr 15, 11-12 AM (0)
Apr 16, 12-1 AM (0)
Apr 16, 1-2 AM (0)
Apr 16, 2-3 AM (0)
Apr 16, 3-4 AM (0)
Apr 16, 4-5 AM (0)
76 commits this week
Apr 09, 2026
-
Apr 16, 2026
Merge remote-tracking branch 'origin/master' into ana/safe-opt-mode
Use the safeOpts option, refactor simplifier
Remove unknown simplifier stage
Regenerate certifier report after fix
Use a simple sum type to indicate whether a pass is implemented or not
Rename tests to useTwice* scheme, add BuiltinString regression test
useTwiceData (was caseListTwice), useTwiceByteString, useTwiceString. ByteString and String tests pass opaque types directly as arguments instead of wrapping in BuiltinList.
Add BuiltinString regression test, use BuiltinList for non-Data types
BuiltinByteString and BuiltinString don't have UnsafeFromData instances, so tests use BuiltinList and Builtins.Internal.caseList' directly instead of Data.List.caseList'.
Add BuiltinByteString regression test for opaque type join points
Same pattern as caseListTwice but with BuiltinByteString. Currently does not crash (ByteString is handled differently by the simplifier), but kept as a regression test for future GHC changes.
Add stage violation hint for local variables without unfoldings
When a local variable (e.g. from a where-clause) has no unfolding, show the stage violation help message instead of a generic FreeVariableError.
float out multiple bindings at once
Deploying to gh-pages from @ IntersectMBO/plutus@a8a5a3519db6a95d25fff6b5be54e0067206cc4a 🚀
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for a8a5a3519db6a95d25fff6b5be54e0067206cc4a
Deploying to gh-pages from @ IntersectMBO/plutus@d8f8a066bd8d134a4524e65ca9c2384ac5bb987a 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@a8a5a3519db6a95d25fff6b5be54e0067206cc4a 🚀
Rename test, regenerate goldens
Rename failsToCompile -> caseListTwice (it compiles now). Update golden files affected by the BuiltinData second constructor.
Revert "Absolute mess"
This reverts commit 67b142a0218c1467c6b61ff123e5f4c3709a34f7.
Fix BuiltinCasing crash on GHC.Prim.Addr# (#7716)
GHC's simplifier unconditionally unwraps single-constructor types. For `data BuiltinData = BuiltinData ~Data`, this exposes `Data` in join point type signatures. The plugin with BuiltinCasing then tries to compile Data as a regular ADT, walks B ByteString -> BS Addr#, and crashes. Fix: add a second (unreachable) constructor to BuiltinData so GHC cannot apply case-of-single-constructor. A COMPLETE pragma ensures existing pattern matches remain exhaustive without warnings.
Enable UPLC `LetFloatOut` on `Apply` nodes
Deploying to gh-pages from @ IntersectMBO/plutus@d8f8a066bd8d134a4524e65ca9c2384ac5bb987a 🚀
Simplify inline hints by reordering `check` arguments (#7715)
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&s=80)
chore(deps): bump benchmark-action/github-action-benchmark (#7697)
Bumps [benchmark-action/github-action-benchmark](https://github.com/benchmark-action/github-action-benchmark) from 1.21.0 to 1.22.0. - [Release notes](https://github.com/benchmark-action/github-action-benchmark/releases) - [Changelog](https://github.com/benchmark-action/github-action-benchmark/blob/master/CHANGELOG.md) - [Commits](https://github.com/benchmark-action/github-action-benchmark/compare/v1.21.0...v1.22.0) --- updated-dependencies: - dependency-name: benchmark-action/github-action-benchmark dependency-version: 1.22.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>