Deploying to gh-pages from @ IntersectMBO/plutus@70053b1cf6d18c22309ee8b3548d6621c1c3914c 🚀
Home /
Input Output /
plutus
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)
Mar 05, 6-7 AM (0)
Mar 05, 7-8 AM (0)
Mar 05, 8-9 AM (10)
Mar 05, 9-10 AM (7)
Mar 05, 10-11 AM (1)
Mar 05, 11-12 PM (0)
Mar 05, 12-1 PM (3)
Mar 05, 1-2 PM (2)
Mar 05, 2-3 PM (1)
Mar 05, 3-4 PM (1)
Mar 05, 4-5 PM (0)
Mar 05, 5-6 PM (0)
Mar 05, 6-7 PM (0)
Mar 05, 7-8 PM (0)
Mar 05, 8-9 PM (0)
Mar 05, 9-10 PM (0)
Mar 05, 10-11 PM (2)
Mar 05, 11-12 AM (1)
Mar 06, 12-1 AM (2)
Mar 06, 1-2 AM (0)
Mar 06, 2-3 AM (1)
Mar 06, 3-4 AM (0)
Mar 06, 4-5 AM (0)
Mar 06, 5-6 AM (0)
153 commits this week
Feb 27, 2026
-
Mar 06, 2026
Add guardrail scripts to validation benchmark (#7650)
Add guardrail scripts to validation benchmark
Deploying to gh-pages from @ IntersectMBO/plutus@aa3766caefb5e78cb9f1bcf3032929784ceb8a84 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@2a6bcb6196b2a1c9156d61c73f19ac58eb178b83 🚀
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 21bfe26eeac30f2d61c9f59eb27a58e010b47f43
Add unknown pass to certifier
Refactor Trace, simplify VerifiedCompilation.lagda.md
Deploying to gh-pages from @ IntersectMBO/plutus@2afd459647d48a620323197a0908b68643fcfbbf 🚀
plutus-ledger-api: update Params/costModelParamNames golden with 53 new entries
Same builtins already added to the Data variant: expModInteger, dropList, array ops, BLS multi-scalar-mul, insertCoin, lookupCoin, unionValue, valueContains, valueData, unValueData, scaleValue.
plutus-ledger-api: fix costModelParamNames golden files
- Restore .golden.txt extension (nestedGoldenVsTextPredM expects name + ".golden" + ext, so the file must end in .golden.txt) - Update CostModel/Params/CostModelParams/costModelParamNames.golden.txt with the same 53 new builtins already added to the Data variant
golden tests: fail on missing files with --no-create (#2062)
tasty-golden has a built-in --no-create flag that causes tests to fail (rather than silently auto-create) when a golden file is missing. This makes it impossible for a test to pass in CI when its golden file was accidentally omitted from the repository. Changes: * nix/project.nix: add testFlags = ["--no-create"] for every test component that uses tasty-golden (23 suites identified by running each suite with --help and checking for the flag in the output). * .github/workflows/nightly-testsuite.yml: pass --no-create to the two nightly nix run invocations (plutus-core-test, plutus-ir-test). * plutus-ledger-api: update costModelParamNames golden file, which was found to be stale (missing 23 new builtins) when running the test suite under --no-create during development of this fix.
plutus-ledger-api: update stale costModelParamNames golden file
Missing 53 new builtins: expModInteger, dropList, array ops (lengthOfArray, listToArray, indexArray), BLS multi-scalar-mul, insertCoin, lookupCoin, unionValue, valueContains, valueData, unValueData, scaleValue.
Certifier: generalized views (#7626)
* Add generalized views with convenient syntax and Inhabitant class * Generate malonzo * Rename match constructor to match! * Add some more motivation for the generalized views * Generate MAlonzo
Add CaseReduce counter-example
Deploying to gh-pages from @ IntersectMBO/plutus@59cc5a5b7eb5f5494f0626e1345d687ffb6e5f7d 🚀
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]>