Show counterexample in Modular documentation
Home /
Input Output /
plutus
Apr 16, 9-10 PM (0)
Apr 16, 10-11 PM (0)
Apr 16, 11-12 AM (0)
Apr 17, 12-1 AM (0)
Apr 17, 1-2 AM (0)
Apr 17, 2-3 AM (0)
Apr 17, 3-4 AM (0)
Apr 17, 4-5 AM (0)
Apr 17, 5-6 AM (0)
Apr 17, 6-7 AM (0)
Apr 17, 7-8 AM (1)
Apr 17, 8-9 AM (0)
Apr 17, 9-10 AM (4)
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)
115 commits this week
Apr 16, 2026
-
Apr 23, 2026
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
Merge branch 'master' of github.com:IntersectMBO/plutus into zliu41/unconditional-growth
Replace inelegant elemIndex+!! with lookup in compileDataConRef (#7732)