Deploying to gh-pages from @ IntersectMBO/plutus@73af8aa4b660757e9c75a483664f0281e6506f57 🚀
Home /
Input Output /
plutus
Feb 26, 5-6 AM (0)
Feb 26, 6-7 AM (0)
Feb 26, 7-8 AM (0)
Feb 26, 8-9 AM (4)
Feb 26, 9-10 AM (1)
Feb 26, 10-11 AM (2)
Feb 26, 11-12 PM (0)
Feb 26, 12-1 PM (10)
Feb 26, 1-2 PM (2)
Feb 26, 2-3 PM (1)
Feb 26, 3-4 PM (3)
Feb 26, 4-5 PM (2)
Feb 26, 5-6 PM (4)
Feb 26, 6-7 PM (3)
Feb 26, 7-8 PM (1)
Feb 26, 8-9 PM (1)
Feb 26, 9-10 PM (2)
Feb 26, 10-11 PM (0)
Feb 26, 11-12 AM (1)
Feb 27, 12-1 AM (2)
Feb 27, 1-2 AM (2)
Feb 27, 2-3 AM (0)
Feb 27, 3-4 AM (0)
Feb 27, 4-5 AM (0)
Feb 27, 5-6 AM (0)
Feb 27, 6-7 AM (0)
Feb 27, 7-8 AM (0)
Feb 27, 8-9 AM (1)
Feb 27, 9-10 AM (2)
Feb 27, 10-11 AM (0)
Feb 27, 11-12 PM (2)
Feb 27, 12-1 PM (2)
Feb 27, 1-2 PM (1)
Feb 27, 2-3 PM (0)
Feb 27, 3-4 PM (0)
Feb 27, 4-5 PM (5)
Feb 27, 5-6 PM (3)
Feb 27, 6-7 PM (0)
Feb 27, 7-8 PM (1)
Feb 27, 8-9 PM (3)
Feb 27, 9-10 PM (0)
Feb 27, 10-11 PM (2)
Feb 27, 11-12 AM (1)
Feb 28, 12-1 AM (1)
Feb 28, 1-2 AM (0)
Feb 28, 2-3 AM (2)
Feb 28, 3-4 AM (0)
Feb 28, 4-5 AM (1)
Feb 28, 5-6 AM (1)
Feb 28, 6-7 AM (0)
Feb 28, 7-8 AM (0)
Feb 28, 8-9 AM (0)
Feb 28, 9-10 AM (0)
Feb 28, 10-11 AM (0)
Feb 28, 11-12 PM (0)
Feb 28, 12-1 PM (1)
Feb 28, 1-2 PM (0)
Feb 28, 2-3 PM (0)
Feb 28, 3-4 PM (0)
Feb 28, 4-5 PM (1)
Feb 28, 5-6 PM (0)
Feb 28, 6-7 PM (1)
Feb 28, 7-8 PM (1)
Feb 28, 8-9 PM (1)
Feb 28, 9-10 PM (0)
Feb 28, 10-11 PM (0)
Feb 28, 11-12 AM (0)
Mar 01, 12-1 AM (0)
Mar 01, 1-2 AM (0)
Mar 01, 2-3 AM (0)
Mar 01, 3-4 AM (0)
Mar 01, 4-5 AM (0)
Mar 01, 5-6 AM (0)
Mar 01, 6-7 AM (0)
Mar 01, 7-8 AM (0)
Mar 01, 8-9 AM (0)
Mar 01, 9-10 AM (0)
Mar 01, 10-11 AM (0)
Mar 01, 11-12 PM (0)
Mar 01, 12-1 PM (0)
Mar 01, 1-2 PM (0)
Mar 01, 2-3 PM (0)
Mar 01, 3-4 PM (0)
Mar 01, 4-5 PM (0)
Mar 01, 5-6 PM (0)
Mar 01, 6-7 PM (3)
Mar 01, 7-8 PM (0)
Mar 01, 8-9 PM (1)
Mar 01, 9-10 PM (0)
Mar 01, 10-11 PM (3)
Mar 01, 11-12 AM (1)
Mar 02, 12-1 AM (0)
Mar 02, 1-2 AM (0)
Mar 02, 2-3 AM (0)
Mar 02, 3-4 AM (0)
Mar 02, 4-5 AM (0)
Mar 02, 5-6 AM (0)
Mar 02, 6-7 AM (0)
Mar 02, 7-8 AM (0)
Mar 02, 8-9 AM (0)
Mar 02, 9-10 AM (0)
Mar 02, 10-11 AM (0)
Mar 02, 11-12 PM (0)
Mar 02, 12-1 PM (1)
Mar 02, 1-2 PM (0)
Mar 02, 2-3 PM (0)
Mar 02, 3-4 PM (0)
Mar 02, 4-5 PM (0)
Mar 02, 5-6 PM (0)
Mar 02, 6-7 PM (0)
Mar 02, 7-8 PM (6)
Mar 02, 8-9 PM (1)
Mar 02, 9-10 PM (1)
Mar 02, 10-11 PM (1)
Mar 02, 11-12 AM (5)
Mar 03, 12-1 AM (2)
Mar 03, 1-2 AM (0)
Mar 03, 2-3 AM (0)
Mar 03, 3-4 AM (0)
Mar 03, 4-5 AM (0)
Mar 03, 5-6 AM (0)
Mar 03, 6-7 AM (0)
Mar 03, 7-8 AM (0)
Mar 03, 8-9 AM (5)
Mar 03, 9-10 AM (0)
Mar 03, 10-11 AM (0)
Mar 03, 11-12 PM (2)
Mar 03, 12-1 PM (1)
Mar 03, 1-2 PM (2)
Mar 03, 2-3 PM (0)
Mar 03, 3-4 PM (0)
Mar 03, 4-5 PM (0)
Mar 03, 5-6 PM (1)
Mar 03, 6-7 PM (1)
Mar 03, 7-8 PM (1)
Mar 03, 8-9 PM (0)
Mar 03, 9-10 PM (5)
Mar 03, 10-11 PM (1)
Mar 03, 11-12 AM (0)
Mar 04, 12-1 AM (0)
Mar 04, 1-2 AM (1)
Mar 04, 2-3 AM (0)
Mar 04, 3-4 AM (0)
Mar 04, 4-5 AM (0)
Mar 04, 5-6 AM (0)
Mar 04, 6-7 AM (0)
Mar 04, 7-8 AM (1)
Mar 04, 8-9 AM (0)
Mar 04, 9-10 AM (0)
Mar 04, 10-11 AM (5)
Mar 04, 11-12 PM (2)
Mar 04, 12-1 PM (13)
Mar 04, 1-2 PM (0)
Mar 04, 2-3 PM (2)
Mar 04, 3-4 PM (5)
Mar 04, 4-5 PM (3)
Mar 04, 5-6 PM (2)
Mar 04, 6-7 PM (0)
Mar 04, 7-8 PM (3)
Mar 04, 8-9 PM (1)
Mar 04, 9-10 PM (2)
Mar 04, 10-11 PM (4)
Mar 04, 11-12 AM (1)
Mar 05, 12-1 AM (0)
Mar 05, 1-2 AM (0)
Mar 05, 2-3 AM (0)
Mar 05, 3-4 AM (0)
Mar 05, 4-5 AM (0)
Mar 05, 5-6 AM (0)
163 commits this week
Feb 26, 2026
-
Mar 05, 2026
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Delete oldest metatheory build 1.50.0.0
Deploying to gh-pages from @ IntersectMBO/plutus@56d24b74e608d85494c11578cd6e163b4407ebdf 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@56d24b74e608d85494c11578cd6e163b4407ebdf 🚀
Improve compile errors, and add `Plinth.Plugin` that preserves more source locations (#7640)
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 16ee6f3500c64eb07157f86131e65c773e792e88
Merge branch 'master' of github.com:IntersectMBO/plutus into zliu41/anchor
Add some more motivation for the generalized views
Rename match constructor to match!
Add generalized views with convenient syntax and Inhabitant class
Replace redundant helpers with existing API functions
- Replace local isPubKeyAddress/isScriptAddress with toPubKeyHash/toScriptHash from PlutusLedgerApi.V1.Address - Replace negateValue with PlutusTx.negate (Value has AdditiveGroup) - Export and relocate currencySymbolFromHex and singleCurrencySymbol to a dedicated Helpers section at the bottom of Builder.hs Co-authored-by: Philip DiSarro <[email protected]>
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for e215c23b8dfbf4fa35827c7336b5b84f0193d285
Potential fix for code scanning alert no. 3: Workflow does not contain permissions
Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com>
Potential fix for code scanning alert no. 4: Workflow does not contain permissions
Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com>