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
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>
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.