Run CSE tests in both modes, add some debugging to investigate expensive test case
Home /
Input Output /
plutus
Jan 01, 1-2 PM (0)
Jan 01, 2-3 PM (0)
Jan 01, 3-4 PM (0)
Jan 01, 4-5 PM (0)
Jan 01, 5-6 PM (0)
Jan 01, 6-7 PM (0)
Jan 01, 7-8 PM (0)
Jan 01, 8-9 PM (0)
Jan 01, 9-10 PM (0)
Jan 01, 10-11 PM (0)
Jan 01, 11-12 AM (0)
Jan 02, 12-1 AM (0)
Jan 02, 1-2 AM (0)
Jan 02, 2-3 AM (0)
Jan 02, 3-4 AM (0)
Jan 02, 4-5 AM (0)
Jan 02, 5-6 AM (0)
Jan 02, 6-7 AM (0)
Jan 02, 7-8 AM (0)
Jan 02, 8-9 AM (0)
Jan 02, 9-10 AM (0)
Jan 02, 10-11 AM (0)
Jan 02, 11-12 PM (0)
Jan 02, 12-1 PM (0)
Jan 02, 1-2 PM (0)
Jan 02, 2-3 PM (0)
Jan 02, 3-4 PM (0)
Jan 02, 4-5 PM (0)
Jan 02, 5-6 PM (0)
Jan 02, 6-7 PM (0)
Jan 02, 7-8 PM (0)
Jan 02, 8-9 PM (0)
Jan 02, 9-10 PM (0)
Jan 02, 10-11 PM (0)
Jan 02, 11-12 AM (0)
Jan 03, 12-1 AM (0)
Jan 03, 1-2 AM (0)
Jan 03, 2-3 AM (0)
Jan 03, 3-4 AM (0)
Jan 03, 4-5 AM (0)
Jan 03, 5-6 AM (0)
Jan 03, 6-7 AM (0)
Jan 03, 7-8 AM (0)
Jan 03, 8-9 AM (0)
Jan 03, 9-10 AM (0)
Jan 03, 10-11 AM (0)
Jan 03, 11-12 PM (0)
Jan 03, 12-1 PM (0)
Jan 03, 1-2 PM (0)
Jan 03, 2-3 PM (0)
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)
36 commits this week
Jan 01, 2026
-
Jan 08, 2026
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
Merge branch 'kwxm/costing/valueData-experiments-2' of github.com:IntersectMBO/plutus into kwxm/costing/valueData-experiments-2
Use $!! in definition of ValueData
Eta-expand definition of valueData
Use nf for benchmarking
Use nf for benchmarking
Just use $!! in definition of valueData
Use $!! in definition of valueData
Experimenting with strictness
Remove slow test case
Support ghc-9.14
Currently using ghc-9.14.1 (first 9.14 release).