Plinth INLINEABLE no more
Home /
Input Output /
plutus
Apr 02, 10-11 PM (0)
Apr 02, 11-12 AM (1)
Apr 03, 12-1 AM (2)
Apr 03, 1-2 AM (1)
Apr 03, 2-3 AM (0)
Apr 03, 3-4 AM (0)
Apr 03, 4-5 AM (0)
Apr 03, 5-6 AM (0)
Apr 03, 6-7 AM (0)
Apr 03, 7-8 AM (0)
Apr 03, 8-9 AM (0)
Apr 03, 9-10 AM (0)
Apr 03, 10-11 AM (0)
Apr 03, 11-12 PM (0)
Apr 03, 12-1 PM (0)
Apr 03, 1-2 PM (0)
Apr 03, 2-3 PM (0)
Apr 03, 3-4 PM (1)
Apr 03, 4-5 PM (2)
Apr 03, 5-6 PM (0)
Apr 03, 6-7 PM (0)
Apr 03, 7-8 PM (0)
Apr 03, 8-9 PM (0)
Apr 03, 9-10 PM (0)
Apr 03, 10-11 PM (0)
Apr 03, 11-12 AM (0)
Apr 04, 12-1 AM (0)
Apr 04, 1-2 AM (0)
Apr 04, 2-3 AM (0)
Apr 04, 3-4 AM (0)
Apr 04, 4-5 AM (0)
Apr 04, 5-6 AM (0)
Apr 04, 6-7 AM (0)
Apr 04, 7-8 AM (0)
Apr 04, 8-9 AM (0)
Apr 04, 9-10 AM (0)
Apr 04, 10-11 AM (0)
Apr 04, 11-12 PM (0)
Apr 04, 12-1 PM (0)
Apr 04, 1-2 PM (0)
Apr 04, 2-3 PM (0)
Apr 04, 3-4 PM (0)
Apr 04, 4-5 PM (0)
Apr 04, 5-6 PM (0)
Apr 04, 6-7 PM (0)
Apr 04, 7-8 PM (0)
Apr 04, 8-9 PM (0)
Apr 04, 9-10 PM (0)
Apr 04, 10-11 PM (0)
Apr 04, 11-12 AM (0)
Apr 05, 12-1 AM (0)
Apr 05, 1-2 AM (0)
Apr 05, 2-3 AM (0)
Apr 05, 3-4 AM (0)
Apr 05, 4-5 AM (0)
Apr 05, 5-6 AM (0)
Apr 05, 6-7 AM (0)
Apr 05, 7-8 AM (0)
Apr 05, 8-9 AM (0)
Apr 05, 9-10 AM (0)
Apr 05, 10-11 AM (0)
Apr 05, 11-12 PM (0)
Apr 05, 12-1 PM (0)
Apr 05, 1-2 PM (0)
Apr 05, 2-3 PM (0)
Apr 05, 3-4 PM (0)
Apr 05, 4-5 PM (0)
Apr 05, 5-6 PM (0)
Apr 05, 6-7 PM (0)
Apr 05, 7-8 PM (0)
Apr 05, 8-9 PM (0)
Apr 05, 9-10 PM (0)
Apr 05, 10-11 PM (0)
Apr 05, 11-12 AM (0)
Apr 06, 12-1 AM (0)
Apr 06, 1-2 AM (0)
Apr 06, 2-3 AM (0)
Apr 06, 3-4 AM (0)
Apr 06, 4-5 AM (0)
Apr 06, 5-6 AM (0)
Apr 06, 6-7 AM (0)
Apr 06, 7-8 AM (0)
Apr 06, 8-9 AM (0)
Apr 06, 9-10 AM (0)
Apr 06, 10-11 AM (1)
Apr 06, 11-12 PM (0)
Apr 06, 12-1 PM (3)
Apr 06, 1-2 PM (0)
Apr 06, 2-3 PM (0)
Apr 06, 3-4 PM (0)
Apr 06, 4-5 PM (0)
Apr 06, 5-6 PM (0)
Apr 06, 6-7 PM (0)
Apr 06, 7-8 PM (0)
Apr 06, 8-9 PM (0)
Apr 06, 9-10 PM (0)
Apr 06, 10-11 PM (0)
Apr 06, 11-12 AM (0)
Apr 07, 12-1 AM (0)
Apr 07, 1-2 AM (0)
Apr 07, 2-3 AM (0)
Apr 07, 3-4 AM (0)
Apr 07, 4-5 AM (0)
Apr 07, 5-6 AM (0)
Apr 07, 6-7 AM (0)
Apr 07, 7-8 AM (3)
Apr 07, 8-9 AM (0)
Apr 07, 9-10 AM (3)
Apr 07, 10-11 AM (1)
Apr 07, 11-12 PM (2)
Apr 07, 12-1 PM (2)
Apr 07, 1-2 PM (1)
Apr 07, 2-3 PM (1)
Apr 07, 3-4 PM (1)
Apr 07, 4-5 PM (1)
Apr 07, 5-6 PM (0)
Apr 07, 6-7 PM (1)
Apr 07, 7-8 PM (0)
Apr 07, 8-9 PM (2)
Apr 07, 9-10 PM (1)
Apr 07, 10-11 PM (0)
Apr 07, 11-12 AM (4)
Apr 08, 12-1 AM (0)
Apr 08, 1-2 AM (0)
Apr 08, 2-3 AM (0)
Apr 08, 3-4 AM (1)
Apr 08, 4-5 AM (2)
Apr 08, 5-6 AM (2)
Apr 08, 6-7 AM (3)
Apr 08, 7-8 AM (0)
Apr 08, 8-9 AM (1)
Apr 08, 9-10 AM (1)
Apr 08, 10-11 AM (1)
Apr 08, 11-12 PM (1)
Apr 08, 12-1 PM (1)
Apr 08, 1-2 PM (0)
Apr 08, 2-3 PM (0)
Apr 08, 3-4 PM (0)
Apr 08, 4-5 PM (0)
Apr 08, 5-6 PM (0)
Apr 08, 6-7 PM (0)
Apr 08, 7-8 PM (1)
Apr 08, 8-9 PM (0)
Apr 08, 9-10 PM (0)
Apr 08, 10-11 PM (0)
Apr 08, 11-12 AM (0)
Apr 09, 12-1 AM (0)
Apr 09, 1-2 AM (1)
Apr 09, 2-3 AM (0)
Apr 09, 3-4 AM (1)
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 (0)
Apr 09, 10-11 PM (0)
64 commits this week
Apr 02, 2026
-
Apr 09, 2026
Deploying to gh-pages from @ IntersectMBO/plutus@9c3a1c38415dd0b82defdb596a6124aea682429f 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@9c3a1c38415dd0b82defdb596a6124aea682429f 🚀
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Delete oldest haddock build 1.52.0.0
Deploying to gh-pages from @ IntersectMBO/plutus@9c3a1c38415dd0b82defdb596a6124aea682429f 🚀
UPLC pass: float bindings outwards (#7709)
Make it clear that some builtins cannot fail
Merge branch 'master' of github.com:IntersectMBO/plutus into zliu41/letfloatout
Merge branch 'master' into agda-certifier
Deploying to gh-pages from @ IntersectMBO/plutus@c73873c3614c1c021065f32e0c1ab4b215626c0a 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@c73873c3614c1c021065f32e0c1ab4b215626c0a 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@c73873c3614c1c021065f32e0c1ab4b215626c0a 🚀
Plinth.Plugin: remove anchors from guards, and add inlineable tests (#7703)
Release 1.56.0.1 (#7707)
* test(IsData/Budget): add SoP and BuiltinCasing budget tests Add golden budget tests for unsafeFromBuiltinData compilation in both SumsOfProducts and BuiltinCasing modes. Covers single-constructor, pair, mixed-arity, and three-constructor types with PIR, UPLC, and evaluation golden files for GHC 9.6 and 9.12. * fix(Compiler/Expr): backport caseInteger SoP fallback fix from #7693 Replace runtime list-indexing via PlutusTx.List.!! with a compile-time equalsInteger/ifThenElse chain for the SumsOfProducts caseInteger fallback. This fixes a 3-5x cost regression in unsafeFromBuiltinData for multi-constructor types (reported by Hydra team). Also fixes a latent bug in compileHaskellList that silently dropped list elements when GHC used (:)-chain representation instead of build/foldr form. * chore: regenerate Marlowe benchmark baselines Updated Marlowe golden TSV files to reflect improved budgets from the caseInteger SoP fix. CPU: -9..12%, Memory: -16..20%. * Release 1.56.0.1
WIP on case-reduce and case-case
WIP on case-reduce and case-case
Deploying to gh-pages from @ IntersectMBO/plutus@8325bf6a702b7976714ddcd728efa465874e4bc0 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@8325bf6a702b7976714ddcd728efa465874e4bc0 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@8325bf6a702b7976714ddcd728efa465874e4bc0 🚀
Implement builtin decidable equality using encoding to Naturals (#7704)