Home /
Input Output /
plutus
Dec 02, 12-1 PM (1)
Dec 02, 1-2 PM (8)
Dec 02, 2-3 PM (1)
Dec 02, 3-4 PM (0)
Dec 02, 4-5 PM (0)
Dec 02, 5-6 PM (0)
Dec 02, 6-7 PM (0)
Dec 02, 7-8 PM (0)
Dec 02, 8-9 PM (0)
Dec 02, 9-10 PM (0)
Dec 02, 10-11 PM (0)
Dec 02, 11-12 AM (3)
Dec 03, 12-1 AM (0)
Dec 03, 1-2 AM (0)
Dec 03, 2-3 AM (0)
Dec 03, 3-4 AM (0)
Dec 03, 4-5 AM (0)
Dec 03, 5-6 AM (0)
Dec 03, 6-7 AM (0)
Dec 03, 7-8 AM (0)
Dec 03, 8-9 AM (0)
Dec 03, 9-10 AM (14)
Dec 03, 10-11 AM (5)
Dec 03, 11-12 PM (2)
Dec 03, 12-1 PM (5)
Dec 03, 1-2 PM (1)
Dec 03, 2-3 PM (4)
Dec 03, 3-4 PM (0)
Dec 03, 4-5 PM (0)
Dec 03, 5-6 PM (0)
Dec 03, 6-7 PM (0)
Dec 03, 7-8 PM (0)
Dec 03, 8-9 PM (0)
Dec 03, 9-10 PM (0)
Dec 03, 10-11 PM (2)
Dec 03, 11-12 AM (0)
Dec 04, 12-1 AM (0)
Dec 04, 1-2 AM (0)
Dec 04, 2-3 AM (2)
Dec 04, 3-4 AM (2)
Dec 04, 4-5 AM (1)
Dec 04, 5-6 AM (1)
Dec 04, 6-7 AM (1)
Dec 04, 7-8 AM (1)
Dec 04, 8-9 AM (0)
Dec 04, 9-10 AM (0)
Dec 04, 10-11 AM (0)
Dec 04, 11-12 PM (0)
Dec 04, 12-1 PM (5)
Dec 04, 1-2 PM (6)
Dec 04, 2-3 PM (0)
Dec 04, 3-4 PM (2)
Dec 04, 4-5 PM (0)
Dec 04, 5-6 PM (3)
Dec 04, 6-7 PM (0)
Dec 04, 7-8 PM (0)
Dec 04, 8-9 PM (0)
Dec 04, 9-10 PM (0)
Dec 04, 10-11 PM (1)
Dec 04, 11-12 AM (1)
Dec 05, 12-1 AM (2)
Dec 05, 1-2 AM (0)
Dec 05, 2-3 AM (2)
Dec 05, 3-4 AM (4)
Dec 05, 4-5 AM (1)
Dec 05, 5-6 AM (1)
Dec 05, 6-7 AM (2)
Dec 05, 7-8 AM (1)
Dec 05, 8-9 AM (1)
Dec 05, 9-10 AM (1)
Dec 05, 10-11 AM (0)
Dec 05, 11-12 PM (0)
Dec 05, 12-1 PM (5)
Dec 05, 1-2 PM (6)
Dec 05, 2-3 PM (0)
Dec 05, 3-4 PM (0)
Dec 05, 4-5 PM (0)
Dec 05, 5-6 PM (0)
Dec 05, 6-7 PM (0)
Dec 05, 7-8 PM (0)
Dec 05, 8-9 PM (0)
Dec 05, 9-10 PM (0)
Dec 05, 10-11 PM (1)
Dec 05, 11-12 AM (0)
Dec 06, 12-1 AM (0)
Dec 06, 1-2 AM (0)
Dec 06, 2-3 AM (0)
Dec 06, 3-4 AM (0)
Dec 06, 4-5 AM (0)
Dec 06, 5-6 AM (0)
Dec 06, 6-7 AM (0)
Dec 06, 7-8 AM (0)
Dec 06, 8-9 AM (0)
Dec 06, 9-10 AM (0)
Dec 06, 10-11 AM (0)
Dec 06, 11-12 PM (0)
Dec 06, 12-1 PM (0)
Dec 06, 1-2 PM (0)
Dec 06, 2-3 PM (0)
Dec 06, 3-4 PM (0)
Dec 06, 4-5 PM (0)
Dec 06, 5-6 PM (0)
Dec 06, 6-7 PM (0)
Dec 06, 7-8 PM (0)
Dec 06, 8-9 PM (0)
Dec 06, 9-10 PM (0)
Dec 06, 10-11 PM (0)
Dec 06, 11-12 AM (0)
Dec 07, 12-1 AM (0)
Dec 07, 1-2 AM (0)
Dec 07, 2-3 AM (0)
Dec 07, 3-4 AM (0)
Dec 07, 4-5 AM (0)
Dec 07, 5-6 AM (0)
Dec 07, 6-7 AM (0)
Dec 07, 7-8 AM (0)
Dec 07, 8-9 AM (0)
Dec 07, 9-10 AM (0)
Dec 07, 10-11 AM (0)
Dec 07, 11-12 PM (0)
Dec 07, 12-1 PM (0)
Dec 07, 1-2 PM (0)
Dec 07, 2-3 PM (0)
Dec 07, 3-4 PM (0)
Dec 07, 4-5 PM (0)
Dec 07, 5-6 PM (0)
Dec 07, 6-7 PM (0)
Dec 07, 7-8 PM (0)
Dec 07, 8-9 PM (0)
Dec 07, 9-10 PM (0)
Dec 07, 10-11 PM (0)
Dec 07, 11-12 AM (2)
Dec 08, 12-1 AM (0)
Dec 08, 1-2 AM (0)
Dec 08, 2-3 AM (0)
Dec 08, 3-4 AM (0)
Dec 08, 4-5 AM (2)
Dec 08, 5-6 AM (2)
Dec 08, 6-7 AM (1)
Dec 08, 7-8 AM (0)
Dec 08, 8-9 AM (1)
Dec 08, 9-10 AM (0)
Dec 08, 10-11 AM (0)
Dec 08, 11-12 PM (0)
Dec 08, 12-1 PM (0)
Dec 08, 1-2 PM (1)
Dec 08, 2-3 PM (0)
Dec 08, 3-4 PM (0)
Dec 08, 4-5 PM (0)
Dec 08, 5-6 PM (0)
Dec 08, 6-7 PM (0)
Dec 08, 7-8 PM (0)
Dec 08, 8-9 PM (0)
Dec 08, 9-10 PM (0)
Dec 08, 10-11 PM (1)
Dec 08, 11-12 AM (0)
Dec 09, 12-1 AM (1)
Dec 09, 1-2 AM (0)
Dec 09, 2-3 AM (0)
Dec 09, 3-4 AM (0)
Dec 09, 4-5 AM (0)
Dec 09, 5-6 AM (0)
Dec 09, 6-7 AM (0)
Dec 09, 7-8 AM (0)
Dec 09, 8-9 AM (0)
Dec 09, 9-10 AM (2)
Dec 09, 10-11 AM (0)
Dec 09, 11-12 PM (2)
Dec 09, 12-1 PM (0)
114 commits this week
Dec 02, 2025
-
Dec 09, 2025
Add working example, add compiler option
Optimize VConstr bounds check in CEK machine
Simplify the type conversion in VConstr index validation by eliminating unnecessary intermediate conversion through Integer. Changed from: fromIntegral @_ @Integer i > fromIntegral @Int @Integer maxBound To: i > fromIntegral @Int @Word64 maxBound Since i is already Word64, we can directly compare it to maxBound converted to Word64, which is more efficient and clearer. Also updated Note [Integral types as Integer] to clarify that all non-64-bit systems (not just 32-bit) are banned for node deployment. Fixes #7478
Update golden budget files for array builtins
The expected CPU costs for array operations were outdated. Updated to match actual execution costs: - indexArray-01: 291022 → 328110 CPU - lengthOfArray-01: 263094 → 295983 CPU - lengthOfArray-02: 263094 → 295983 CPU Memory costs remain unchanged.
Preliminary ghc-9.14 support
Currently using ghc-9.14.0.20251128 (-rc3).
Experiment with extra field in Data
Preliminary ghc-9.14 support
Currently using ghc-9.14.0.20251128 (-rc3).
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for dd37ea88baee884618ac4ee7d080e420a5709c84
Deploying to gh-pages from @ IntersectMBO/plutus@dd37ea88baee884618ac4ee7d080e420a5709c84 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@dd37ea88baee884618ac4ee7d080e420a5709c84 🚀
Make `Enum PlutusTx.Rational` plc compilable (#7474)
chore(deps): bump JamesIves/github-pages-deploy-action
Bumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.7.3 to 4.7.4. - [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases) - [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.7.3...v4.7.4) --- updated-dependencies: - dependency-name: JamesIves/github-pages-deploy-action dependency-version: 4.7.4 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>
Temp: experimenting with different inputs for unionValue
Fix model parsing and printing, wip scaleValue
New models for insertCoin and unionValue; regenerate data
Add benchmarking code and costing model for insertCoin
Add benchmarking code and costing model for unionValue
Add insertCoin and unionValue costing skeleton
Fix model parsing and printing, wip scaleValue
New models for insertCoin and unionValue; regenerate data
Add benchmarking code and costing model for unionValue