Deploying to gh-pages from @ IntersectMBO/plutus@379f6ec6637c8aa070519d8106247e9d1d925d67 🚀
Home /
Input Output /
plutus
Jan 03, 3-4 PM (0)
Jan 03, 4-5 PM (0)
Jan 03, 5-6 PM (0)
Jan 03, 6-7 PM (0)
Jan 03, 7-8 PM (0)
Jan 03, 8-9 PM (0)
Jan 03, 9-10 PM (0)
Jan 03, 10-11 PM (0)
Jan 03, 11-12 AM (0)
Jan 04, 12-1 AM (0)
Jan 04, 1-2 AM (0)
Jan 04, 2-3 AM (0)
Jan 04, 3-4 AM (0)
Jan 04, 4-5 AM (0)
Jan 04, 5-6 AM (0)
Jan 04, 6-7 AM (0)
Jan 04, 7-8 AM (0)
Jan 04, 8-9 AM (0)
Jan 04, 9-10 AM (0)
Jan 04, 10-11 AM (0)
Jan 04, 11-12 PM (0)
Jan 04, 12-1 PM (0)
Jan 04, 1-2 PM (0)
Jan 04, 2-3 PM (0)
Jan 04, 3-4 PM (0)
Jan 04, 4-5 PM (0)
Jan 04, 5-6 PM (0)
Jan 04, 6-7 PM (0)
Jan 04, 7-8 PM (0)
Jan 04, 8-9 PM (0)
Jan 04, 9-10 PM (0)
Jan 04, 10-11 PM (0)
Jan 04, 11-12 AM (0)
Jan 05, 12-1 AM (0)
Jan 05, 1-2 AM (0)
Jan 05, 2-3 AM (0)
Jan 05, 3-4 AM (0)
Jan 05, 4-5 AM (2)
Jan 05, 5-6 AM (3)
Jan 05, 6-7 AM (1)
Jan 05, 7-8 AM (0)
Jan 05, 8-9 AM (0)
Jan 05, 9-10 AM (0)
Jan 05, 10-11 AM (0)
Jan 05, 11-12 PM (0)
Jan 05, 12-1 PM (0)
Jan 05, 1-2 PM (0)
Jan 05, 2-3 PM (0)
Jan 05, 3-4 PM (1)
Jan 05, 4-5 PM (1)
Jan 05, 5-6 PM (1)
Jan 05, 6-7 PM (0)
Jan 05, 7-8 PM (1)
Jan 05, 8-9 PM (0)
Jan 05, 9-10 PM (0)
Jan 05, 10-11 PM (2)
Jan 05, 11-12 AM (0)
Jan 06, 12-1 AM (0)
Jan 06, 1-2 AM (0)
Jan 06, 2-3 AM (0)
Jan 06, 3-4 AM (0)
Jan 06, 4-5 AM (0)
Jan 06, 5-6 AM (0)
Jan 06, 6-7 AM (0)
Jan 06, 7-8 AM (0)
Jan 06, 8-9 AM (0)
Jan 06, 9-10 AM (0)
Jan 06, 10-11 AM (0)
Jan 06, 11-12 PM (0)
Jan 06, 12-1 PM (1)
Jan 06, 1-2 PM (0)
Jan 06, 2-3 PM (0)
Jan 06, 3-4 PM (0)
Jan 06, 4-5 PM (0)
Jan 06, 5-6 PM (0)
Jan 06, 6-7 PM (0)
Jan 06, 7-8 PM (1)
Jan 06, 8-9 PM (4)
Jan 06, 9-10 PM (1)
Jan 06, 10-11 PM (4)
Jan 06, 11-12 AM (4)
Jan 07, 12-1 AM (0)
Jan 07, 1-2 AM (0)
Jan 07, 2-3 AM (1)
Jan 07, 3-4 AM (0)
Jan 07, 4-5 AM (0)
Jan 07, 5-6 AM (0)
Jan 07, 6-7 AM (0)
Jan 07, 7-8 AM (0)
Jan 07, 8-9 AM (0)
Jan 07, 9-10 AM (0)
Jan 07, 10-11 AM (1)
Jan 07, 11-12 PM (1)
Jan 07, 12-1 PM (3)
Jan 07, 1-2 PM (0)
Jan 07, 2-3 PM (0)
Jan 07, 3-4 PM (2)
Jan 07, 4-5 PM (0)
Jan 07, 5-6 PM (0)
Jan 07, 6-7 PM (0)
Jan 07, 7-8 PM (0)
Jan 07, 8-9 PM (0)
Jan 07, 9-10 PM (0)
Jan 07, 10-11 PM (0)
Jan 07, 11-12 AM (0)
Jan 08, 12-1 AM (0)
Jan 08, 1-2 AM (0)
Jan 08, 2-3 AM (0)
Jan 08, 3-4 AM (0)
Jan 08, 4-5 AM (0)
Jan 08, 5-6 AM (0)
Jan 08, 6-7 AM (0)
Jan 08, 7-8 AM (0)
Jan 08, 8-9 AM (0)
Jan 08, 9-10 AM (0)
Jan 08, 10-11 AM (0)
Jan 08, 11-12 PM (0)
Jan 08, 12-1 PM (1)
Jan 08, 1-2 PM (0)
Jan 08, 2-3 PM (0)
Jan 08, 3-4 PM (0)
Jan 08, 4-5 PM (0)
Jan 08, 5-6 PM (0)
Jan 08, 6-7 PM (0)
Jan 08, 7-8 PM (0)
Jan 08, 8-9 PM (0)
Jan 08, 9-10 PM (0)
Jan 08, 10-11 PM (0)
Jan 08, 11-12 AM (0)
Jan 09, 12-1 AM (0)
Jan 09, 1-2 AM (0)
Jan 09, 2-3 AM (0)
Jan 09, 3-4 AM (0)
Jan 09, 4-5 AM (0)
Jan 09, 5-6 AM (0)
Jan 09, 6-7 AM (0)
Jan 09, 7-8 AM (0)
Jan 09, 8-9 AM (0)
Jan 09, 9-10 AM (0)
Jan 09, 10-11 AM (0)
Jan 09, 11-12 PM (2)
Jan 09, 12-1 PM (0)
Jan 09, 1-2 PM (0)
Jan 09, 2-3 PM (0)
Jan 09, 3-4 PM (0)
Jan 09, 4-5 PM (0)
Jan 09, 5-6 PM (0)
Jan 09, 6-7 PM (0)
Jan 09, 7-8 PM (0)
Jan 09, 8-9 PM (1)
Jan 09, 9-10 PM (0)
Jan 09, 10-11 PM (0)
Jan 09, 11-12 AM (1)
Jan 10, 12-1 AM (0)
Jan 10, 1-2 AM (2)
Jan 10, 2-3 AM (5)
Jan 10, 3-4 AM (1)
Jan 10, 4-5 AM (0)
Jan 10, 5-6 AM (3)
Jan 10, 6-7 AM (0)
Jan 10, 7-8 AM (1)
Jan 10, 8-9 AM (0)
Jan 10, 9-10 AM (0)
Jan 10, 10-11 AM (0)
Jan 10, 11-12 PM (0)
Jan 10, 12-1 PM (0)
Jan 10, 1-2 PM (0)
Jan 10, 2-3 PM (0)
Jan 10, 3-4 PM (0)
52 commits this week
Jan 03, 2026
-
Jan 10, 2026
Deploying to gh-pages from @ IntersectMBO/plutus@379f6ec6637c8aa070519d8106247e9d1d925d67 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@379f6ec6637c8aa070519d8106247e9d1d925d67 🚀
Forgot to use correct bennchmarking function
Deploying to gh-pages from @ IntersectMBO/plutus@379f6ec6637c8aa070519d8106247e9d1d925d67 🚀
Prepare valueData cost model for change from constant to linear
Deploying to gh-pages from @ IntersectMBO/plutus@7f9012dba5d044cdb8b32365a2705eee9928c84a 🚀
Use `nf` for valueData costing benchmarks
Use `nf` for valueData costing benchmarks
Use `nf` for valueData costing benchmarks
Add abs to memoryUsage for NumBytesCostedAsNumWords (#7513)
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 7f9012dba5d044cdb8b32365a2705eee9928c84a
Add abs to memoryUsage for NumBytesCostedAsNumWords
Address review comments
Run CSE tests in both modes, add some debugging to investigate expensive test case
Include info about why the new flag is better than not using built-in case
Add --cse-which-subterms flag to let CSE consider all (including work-free) subterms
Add --cse-which-subterms flag to let CSE consider all (including work-free) subterms
Rename WhichSubterms to CseWhichSubterms
Add test cases for cse with work-free expressions
Use nf instead of whnf