Home /
Input Output /
plutus
Apr 17, 10-11 AM (0)
Apr 17, 11-12 PM (0)
Apr 17, 12-1 PM (2)
Apr 17, 1-2 PM (1)
Apr 17, 2-3 PM (3)
Apr 17, 3-4 PM (2)
Apr 17, 4-5 PM (1)
Apr 17, 5-6 PM (0)
Apr 17, 6-7 PM (0)
Apr 17, 7-8 PM (0)
Apr 17, 8-9 PM (0)
Apr 17, 9-10 PM (1)
Apr 17, 10-11 PM (0)
Apr 17, 11-12 AM (0)
Apr 18, 12-1 AM (0)
Apr 18, 1-2 AM (0)
Apr 18, 2-3 AM (0)
Apr 18, 3-4 AM (0)
Apr 18, 4-5 AM (0)
Apr 18, 5-6 AM (0)
Apr 18, 6-7 AM (0)
Apr 18, 7-8 AM (0)
Apr 18, 8-9 AM (0)
Apr 18, 9-10 AM (0)
Apr 18, 10-11 AM (0)
Apr 18, 11-12 PM (0)
Apr 18, 12-1 PM (0)
Apr 18, 1-2 PM (0)
Apr 18, 2-3 PM (0)
Apr 18, 3-4 PM (0)
Apr 18, 4-5 PM (0)
Apr 18, 5-6 PM (0)
Apr 18, 6-7 PM (0)
Apr 18, 7-8 PM (0)
Apr 18, 8-9 PM (0)
Apr 18, 9-10 PM (0)
Apr 18, 10-11 PM (0)
Apr 18, 11-12 AM (0)
Apr 19, 12-1 AM (0)
Apr 19, 1-2 AM (0)
Apr 19, 2-3 AM (0)
Apr 19, 3-4 AM (0)
Apr 19, 4-5 AM (0)
Apr 19, 5-6 AM (0)
Apr 19, 6-7 AM (0)
Apr 19, 7-8 AM (0)
Apr 19, 8-9 AM (0)
Apr 19, 9-10 AM (0)
Apr 19, 10-11 AM (0)
Apr 19, 11-12 PM (0)
Apr 19, 12-1 PM (2)
Apr 19, 1-2 PM (0)
Apr 19, 2-3 PM (0)
Apr 19, 3-4 PM (2)
Apr 19, 4-5 PM (0)
Apr 19, 5-6 PM (0)
Apr 19, 6-7 PM (0)
Apr 19, 7-8 PM (0)
Apr 19, 8-9 PM (0)
Apr 19, 9-10 PM (0)
Apr 19, 10-11 PM (0)
Apr 19, 11-12 AM (0)
Apr 20, 12-1 AM (0)
Apr 20, 1-2 AM (0)
Apr 20, 2-3 AM (0)
Apr 20, 3-4 AM (0)
Apr 20, 4-5 AM (0)
Apr 20, 5-6 AM (0)
Apr 20, 6-7 AM (0)
Apr 20, 7-8 AM (0)
Apr 20, 8-9 AM (0)
Apr 20, 9-10 AM (0)
Apr 20, 10-11 AM (0)
Apr 20, 11-12 PM (2)
Apr 20, 12-1 PM (9)
Apr 20, 1-2 PM (4)
Apr 20, 2-3 PM (2)
Apr 20, 3-4 PM (2)
Apr 20, 4-5 PM (9)
Apr 20, 5-6 PM (1)
Apr 20, 6-7 PM (4)
Apr 20, 7-8 PM (3)
Apr 20, 8-9 PM (1)
Apr 20, 9-10 PM (0)
Apr 20, 10-11 PM (0)
Apr 20, 11-12 AM (0)
Apr 21, 12-1 AM (0)
Apr 21, 1-2 AM (0)
Apr 21, 2-3 AM (0)
Apr 21, 3-4 AM (0)
Apr 21, 4-5 AM (0)
Apr 21, 5-6 AM (0)
Apr 21, 6-7 AM (0)
Apr 21, 7-8 AM (5)
Apr 21, 8-9 AM (2)
Apr 21, 9-10 AM (0)
Apr 21, 10-11 AM (1)
Apr 21, 11-12 PM (3)
Apr 21, 12-1 PM (1)
Apr 21, 1-2 PM (1)
Apr 21, 2-3 PM (2)
Apr 21, 3-4 PM (0)
Apr 21, 4-5 PM (0)
Apr 21, 5-6 PM (0)
Apr 21, 6-7 PM (0)
Apr 21, 7-8 PM (0)
Apr 21, 8-9 PM (0)
Apr 21, 9-10 PM (0)
Apr 21, 10-11 PM (0)
Apr 21, 11-12 AM (0)
Apr 22, 12-1 AM (0)
Apr 22, 1-2 AM (0)
Apr 22, 2-3 AM (0)
Apr 22, 3-4 AM (0)
Apr 22, 4-5 AM (0)
Apr 22, 5-6 AM (0)
Apr 22, 6-7 AM (0)
Apr 22, 7-8 AM (0)
Apr 22, 8-9 AM (0)
Apr 22, 9-10 AM (0)
Apr 22, 10-11 AM (3)
Apr 22, 11-12 PM (2)
Apr 22, 12-1 PM (0)
Apr 22, 1-2 PM (6)
Apr 22, 2-3 PM (3)
Apr 22, 3-4 PM (0)
Apr 22, 4-5 PM (1)
Apr 22, 5-6 PM (0)
Apr 22, 6-7 PM (0)
Apr 22, 7-8 PM (0)
Apr 22, 8-9 PM (0)
Apr 22, 9-10 PM (0)
Apr 22, 10-11 PM (0)
Apr 22, 11-12 AM (0)
Apr 23, 12-1 AM (0)
Apr 23, 1-2 AM (0)
Apr 23, 2-3 AM (0)
Apr 23, 3-4 AM (0)
Apr 23, 4-5 AM (0)
Apr 23, 5-6 AM (0)
Apr 23, 6-7 AM (2)
Apr 23, 7-8 AM (1)
Apr 23, 8-9 AM (6)
Apr 23, 9-10 AM (3)
Apr 23, 10-11 AM (3)
Apr 23, 11-12 PM (3)
Apr 23, 12-1 PM (5)
Apr 23, 1-2 PM (3)
Apr 23, 2-3 PM (0)
Apr 23, 3-4 PM (3)
Apr 23, 4-5 PM (0)
Apr 23, 5-6 PM (0)
Apr 23, 6-7 PM (0)
Apr 23, 7-8 PM (0)
Apr 23, 8-9 PM (0)
Apr 23, 9-10 PM (0)
Apr 23, 10-11 PM (0)
Apr 23, 11-12 AM (1)
Apr 24, 12-1 AM (0)
Apr 24, 1-2 AM (0)
Apr 24, 2-3 AM (0)
Apr 24, 3-4 AM (0)
Apr 24, 4-5 AM (0)
Apr 24, 5-6 AM (0)
Apr 24, 6-7 AM (0)
Apr 24, 7-8 AM (0)
Apr 24, 8-9 AM (0)
Apr 24, 9-10 AM (2)
Apr 24, 10-11 AM (0)
113 commits this week
Apr 17, 2026
-
Apr 24, 2026
Add hand-rolled lookup and union to Value budget matrix
Adds hand-rolled counterparts that operate directly on raw BuiltinData, bypassing valueOf's newtype/Maybe wrappers and unionWith's These algebra. Hand-rolled union additionally skips the zero-filter, exploiting the ledger invariant that tx-output Values have strictly positive quantities. 18 new bundles across the existing shape matrix (S1, S3, S8, S100): 14 lookup + 4 union-then-lookup, paired with the existing builtin and non-builtin bundles. For IntersectMBO/plutus-private#2177.
chore(deps): bump slackapi/slack-github-action from 3.0.1 to 3.0.2
Bumps [slackapi/slack-github-action](https://github.com/slackapi/slack-github-action) from 3.0.1 to 3.0.2. - [Release notes](https://github.com/slackapi/slack-github-action/releases) - [Changelog](https://github.com/slackapi/slack-github-action/blob/main/CHANGELOG.md) - [Commits](https://github.com/slackapi/slack-github-action/compare/v3.0.1...v3.0.2) --- updated-dependencies: - dependency-name: slackapi/slack-github-action dependency-version: 3.0.2 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>
Show counterexample in Modular documentation
Add comment about the example relation
Improve documentation of Untyped.Relation.Binary.Core
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 7918873ead2ce8cfe8b4bb4d91c1426d32549f90
Deploying to gh-pages from @ IntersectMBO/plutus@7918873ead2ce8cfe8b4bb4d91c1426d32549f90 🚀
Add Spec.Data.Value.Budget benchmark module
Compares the Value builtins (unsafeDataAsValue, lookupCoin, unionValue) against PlutusLedgerApi.V1.Data.Value's valueOf/unionWith across four shapes (S1, S3, S8, S100) at four hit positions for lookup, plus union-then-lookup. 108 goldens under test-ledger-api/. For IntersectMBO/plutus-private#2177.
Fix certificate generation
Update test report golden
Count optimisation sites
Deploying to gh-pages from @ IntersectMBO/plutus@7918873ead2ce8cfe8b4bb4d91c1426d32549f90 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@7918873ead2ce8cfe8b4bb4d91c1426d32549f90 🚀
Add `inline-unconditional-growth` flag, controlling aggressiveness of unconditional inlining (#7729)
Certifier for case-reduce
Certifier for case-reduce
Use UArray DefaultFun Bool for availability check in scriptCBORDecoder
The builtin availability check in `scriptCBORDecoder` was using `Set DefaultFun` for O(log n) membership, with a TODO suggesting `IntSet`. A `UArray DefaultFun Bool` is a better fit: since `DefaultFun` derives `Ix`, lookup is a true O(1) unboxed array index with no conversion at the lookup site. The array is built once per call via `runSTUArray`, folding over the `Set` through its `Foldable` instance (no intermediate list). The array covers all ~100 `DefaultFun` constructors.
Use independent seeds in makeSizedByteStrings
`makeSizedByteStrings` used the same `H.Seed` for every element, so each generated ByteString was a prefix of the same deterministic byte sequence. Use `unfoldr (Just . Seed.split)` to produce a stream of independent SplitMix seeds instead, giving uncorrelated content across sizes.
Deploying to gh-pages from @ IntersectMBO/plutus@0468c1c57dffaa7dac4adf875fc560ee1902838f 🚀
Merge branch 'master' of github.com:IntersectMBO/plutus into zliu41/remove-plc