Deploying to gh-pages from @ IntersectMBO/plutus@8797a7ed96d6403def8530a5a04f566b7e7a61fc 🚀
Home /
Input Output /
plutus
May 02, 12-1 AM (0)
May 02, 1-2 AM (1)
May 02, 2-3 AM (2)
May 02, 3-4 AM (0)
May 02, 4-5 AM (3)
May 02, 5-6 AM (1)
May 02, 6-7 AM (0)
May 02, 7-8 AM (0)
May 02, 8-9 AM (0)
May 02, 9-10 AM (0)
May 02, 10-11 AM (0)
May 02, 11-12 PM (0)
May 02, 12-1 PM (0)
May 02, 1-2 PM (0)
May 02, 2-3 PM (0)
May 02, 3-4 PM (0)
May 02, 4-5 PM (0)
May 02, 5-6 PM (0)
May 02, 6-7 PM (0)
May 02, 7-8 PM (0)
May 02, 8-9 PM (0)
May 02, 9-10 PM (0)
May 02, 10-11 PM (0)
May 02, 11-12 AM (0)
May 03, 12-1 AM (0)
May 03, 1-2 AM (0)
May 03, 2-3 AM (0)
May 03, 3-4 AM (0)
May 03, 4-5 AM (0)
May 03, 5-6 AM (0)
May 03, 6-7 AM (0)
May 03, 7-8 AM (0)
May 03, 8-9 AM (0)
May 03, 9-10 AM (0)
May 03, 10-11 AM (0)
May 03, 11-12 PM (0)
May 03, 12-1 PM (0)
May 03, 1-2 PM (0)
May 03, 2-3 PM (0)
May 03, 3-4 PM (0)
May 03, 4-5 PM (0)
May 03, 5-6 PM (0)
May 03, 6-7 PM (0)
May 03, 7-8 PM (0)
May 03, 8-9 PM (0)
May 03, 9-10 PM (0)
May 03, 10-11 PM (0)
May 03, 11-12 AM (1)
May 04, 12-1 AM (0)
May 04, 1-2 AM (0)
May 04, 2-3 AM (0)
May 04, 3-4 AM (0)
May 04, 4-5 AM (0)
May 04, 5-6 AM (0)
May 04, 6-7 AM (1)
May 04, 7-8 AM (0)
May 04, 8-9 AM (2)
May 04, 9-10 AM (0)
May 04, 10-11 AM (0)
May 04, 11-12 PM (1)
May 04, 12-1 PM (3)
May 04, 1-2 PM (1)
May 04, 2-3 PM (3)
May 04, 3-4 PM (0)
May 04, 4-5 PM (2)
May 04, 5-6 PM (4)
May 04, 6-7 PM (5)
May 04, 7-8 PM (5)
May 04, 8-9 PM (2)
May 04, 9-10 PM (0)
May 04, 10-11 PM (0)
May 04, 11-12 AM (0)
May 05, 12-1 AM (0)
May 05, 1-2 AM (0)
May 05, 2-3 AM (0)
May 05, 3-4 AM (0)
May 05, 4-5 AM (0)
May 05, 5-6 AM (0)
May 05, 6-7 AM (0)
May 05, 7-8 AM (0)
May 05, 8-9 AM (0)
May 05, 9-10 AM (1)
May 05, 10-11 AM (0)
May 05, 11-12 PM (1)
May 05, 12-1 PM (5)
May 05, 1-2 PM (2)
May 05, 2-3 PM (3)
May 05, 3-4 PM (0)
May 05, 4-5 PM (5)
May 05, 5-6 PM (1)
May 05, 6-7 PM (4)
May 05, 7-8 PM (0)
May 05, 8-9 PM (1)
May 05, 9-10 PM (0)
May 05, 10-11 PM (1)
May 05, 11-12 AM (1)
May 06, 12-1 AM (2)
May 06, 1-2 AM (2)
May 06, 2-3 AM (1)
May 06, 3-4 AM (0)
May 06, 4-5 AM (0)
May 06, 5-6 AM (0)
May 06, 6-7 AM (0)
May 06, 7-8 AM (0)
May 06, 8-9 AM (0)
May 06, 9-10 AM (0)
May 06, 10-11 AM (0)
May 06, 11-12 PM (3)
May 06, 12-1 PM (1)
May 06, 1-2 PM (1)
May 06, 2-3 PM (2)
May 06, 3-4 PM (1)
May 06, 4-5 PM (1)
May 06, 5-6 PM (2)
May 06, 6-7 PM (3)
May 06, 7-8 PM (1)
May 06, 8-9 PM (1)
May 06, 9-10 PM (0)
May 06, 10-11 PM (0)
May 06, 11-12 AM (1)
May 07, 12-1 AM (0)
May 07, 1-2 AM (0)
May 07, 2-3 AM (0)
May 07, 3-4 AM (0)
May 07, 4-5 AM (0)
May 07, 5-6 AM (0)
May 07, 6-7 AM (0)
May 07, 7-8 AM (0)
May 07, 8-9 AM (0)
May 07, 9-10 AM (3)
May 07, 10-11 AM (5)
May 07, 11-12 PM (0)
May 07, 12-1 PM (4)
May 07, 1-2 PM (2)
May 07, 2-3 PM (1)
May 07, 3-4 PM (3)
May 07, 4-5 PM (1)
May 07, 5-6 PM (3)
May 07, 6-7 PM (0)
May 07, 7-8 PM (0)
May 07, 8-9 PM (1)
May 07, 9-10 PM (3)
May 07, 10-11 PM (0)
May 07, 11-12 AM (1)
May 08, 12-1 AM (1)
May 08, 1-2 AM (0)
May 08, 2-3 AM (0)
May 08, 3-4 AM (0)
May 08, 4-5 AM (0)
May 08, 5-6 AM (0)
May 08, 6-7 AM (0)
May 08, 7-8 AM (0)
May 08, 8-9 AM (0)
May 08, 9-10 AM (0)
May 08, 10-11 AM (2)
May 08, 11-12 PM (2)
May 08, 12-1 PM (1)
May 08, 1-2 PM (0)
May 08, 2-3 PM (2)
May 08, 3-4 PM (1)
May 08, 4-5 PM (1)
May 08, 5-6 PM (1)
May 08, 6-7 PM (0)
May 08, 7-8 PM (0)
May 08, 8-9 PM (0)
May 08, 9-10 PM (1)
May 08, 10-11 PM (1)
May 08, 11-12 AM (1)
May 09, 12-1 AM (0)
125 commits this week
May 02, 2026
-
May 09, 2026
Deploying to gh-pages from @ IntersectMBO/plutus@8797a7ed96d6403def8530a5a04f566b7e7a61fc 🚀
chore(deps): bump benchmark-action/github-action-benchmark (#7770)
Bumps [benchmark-action/github-action-benchmark](https://github.com/benchmark-action/github-action-benchmark) from 1.22.0 to 1.22.1. - [Release notes](https://github.com/benchmark-action/github-action-benchmark/releases) - [Changelog](https://github.com/benchmark-action/github-action-benchmark/blob/master/CHANGELOG.md) - [Commits](https://github.com/benchmark-action/github-action-benchmark/compare/v1.22.0...v1.22.1) --- updated-dependencies: - dependency-name: benchmark-action/github-action-benchmark dependency-version: 1.22.1 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 5c6b1e02abe05232990770fb46eaaa6d3760b020
Deploying to gh-pages from @ IntersectMBO/plutus@5c6b1e02abe05232990770fb46eaaa6d3760b020 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@5c6b1e02abe05232990770fb46eaaa6d3760b020 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@5c6b1e02abe05232990770fb46eaaa6d3760b020 🚀
Add Agda certifier integration with source location tracking (#7660)
chore: extract UPLC term constructors into Transform.Lib
Move helpers (`var`, `lam`, `app`, `delay`, `case_`, `builtin`, `addInteger`) from `Transform.Inline.Spec` into a new shared `Transform.Lib` module, extend with `force`, `con`, `err`, `headList`, `ite`, `true`, `false`, `constr`, and a `T` alias for `Term Name DefaultUni DefaultFun ()`. Migrate `Transform.Simplify.Spec` to use these helpers throughout, replacing inline `LamAbs ()` / `Apply ()` / `Force ()` / `Delay ()` / `Var ()` / `Builtin ()` / `Error ()` / `mkConstant @Integer ()` / `Constr ()` / `Case () _ (V.fromList _)` constructors and per-test `plus`/`con` duplicates. Inline trivial `let one = con 1` / `two = con 2` / `three = con 3` bindings. Local bindings that shadowed top-level helpers are renamed to semantic identifiers describing their role (`dupLam`, `forceAddLam`, `applyLam`, `delayLam`, `trueBranch`, `falseBranch`). No behaviour change; all goldens unchanged.
Merge branch 'master' into naughty-tesla-3c6207
Revert "Address review comment: use static file for readme"
This reverts commit 78a9bd09c33e45198458535346031f97c0444ba2.
Revert "Use file-embed"
This reverts commit 96add2395b0a7504455dbe2d073b2d118d604b7e.
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 778504b86fb938baed1b5f3086439cff2bf0ec5f
Deploying to gh-pages from @ IntersectMBO/plutus@778504b86fb938baed1b5f3086439cff2bf0ec5f 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@778504b86fb938baed1b5f3086439cff2bf0ec5f 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@778504b86fb938baed1b5f3086439cff2bf0ec5f 🚀
Use builtin expModInteger in Ed25519 benchmark (#7773)
Restore unboxed `addIntC#` / `subIntC#` / `timesInt2#` fast path for `SatInt` on 64-bit
Deploying to gh-pages from @ IntersectMBO/plutus@be11487648305b888c1f094019b6efd758bbe829 🚀
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for be11487648305b888c1f094019b6efd758bbe829
Restore unboxed `addIntC#` / `subIntC#` / `timesInt2#` fast path for `SatInt` on 64-bit
Deploying to gh-pages from @ IntersectMBO/plutus@be11487648305b888c1f094019b6efd758bbe829 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@be11487648305b888c1f094019b6efd758bbe829 🚀