Home /
Input Output /
plutus
Jun 29, 5-6 AM (0)
Jun 29, 6-7 AM (0)
Jun 29, 7-8 AM (0)
Jun 29, 8-9 AM (0)
Jun 29, 9-10 AM (0)
Jun 29, 10-11 AM (0)
Jun 29, 11-12 PM (0)
Jun 29, 12-1 PM (0)
Jun 29, 1-2 PM (0)
Jun 29, 2-3 PM (0)
Jun 29, 3-4 PM (0)
Jun 29, 4-5 PM (0)
Jun 29, 5-6 PM (0)
Jun 29, 6-7 PM (0)
Jun 29, 7-8 PM (0)
Jun 29, 8-9 PM (0)
Jun 29, 9-10 PM (0)
Jun 29, 10-11 PM (0)
Jun 29, 11-12 AM (0)
Jun 30, 12-1 AM (0)
Jun 30, 1-2 AM (0)
Jun 30, 2-3 AM (0)
Jun 30, 3-4 AM (0)
Jun 30, 4-5 AM (0)
Jun 30, 5-6 AM (0)
Jun 30, 6-7 AM (0)
Jun 30, 7-8 AM (0)
Jun 30, 8-9 AM (2)
Jun 30, 9-10 AM (0)
Jun 30, 10-11 AM (1)
Jun 30, 11-12 PM (1)
Jun 30, 12-1 PM (3)
Jun 30, 1-2 PM (0)
Jun 30, 2-3 PM (0)
Jun 30, 3-4 PM (1)
Jun 30, 4-5 PM (0)
Jun 30, 5-6 PM (1)
Jun 30, 6-7 PM (0)
Jun 30, 7-8 PM (0)
Jun 30, 8-9 PM (0)
Jun 30, 9-10 PM (1)
Jun 30, 10-11 PM (0)
Jun 30, 11-12 AM (0)
Jul 01, 12-1 AM (0)
Jul 01, 1-2 AM (0)
Jul 01, 2-3 AM (0)
Jul 01, 3-4 AM (0)
Jul 01, 4-5 AM (0)
Jul 01, 5-6 AM (0)
Jul 01, 6-7 AM (0)
Jul 01, 7-8 AM (0)
Jul 01, 8-9 AM (0)
Jul 01, 9-10 AM (0)
Jul 01, 10-11 AM (0)
Jul 01, 11-12 PM (0)
Jul 01, 12-1 PM (1)
Jul 01, 1-2 PM (2)
Jul 01, 2-3 PM (0)
Jul 01, 3-4 PM (0)
Jul 01, 4-5 PM (0)
Jul 01, 5-6 PM (0)
Jul 01, 6-7 PM (1)
Jul 01, 7-8 PM (2)
Jul 01, 8-9 PM (0)
Jul 01, 9-10 PM (0)
Jul 01, 10-11 PM (0)
Jul 01, 11-12 AM (0)
Jul 02, 12-1 AM (0)
Jul 02, 1-2 AM (0)
Jul 02, 2-3 AM (1)
Jul 02, 3-4 AM (0)
Jul 02, 4-5 AM (0)
Jul 02, 5-6 AM (0)
Jul 02, 6-7 AM (0)
Jul 02, 7-8 AM (0)
Jul 02, 8-9 AM (0)
Jul 02, 9-10 AM (1)
Jul 02, 10-11 AM (0)
Jul 02, 11-12 PM (2)
Jul 02, 12-1 PM (1)
Jul 02, 1-2 PM (0)
Jul 02, 2-3 PM (2)
Jul 02, 3-4 PM (1)
Jul 02, 4-5 PM (0)
Jul 02, 5-6 PM (0)
Jul 02, 6-7 PM (0)
Jul 02, 7-8 PM (0)
Jul 02, 8-9 PM (0)
Jul 02, 9-10 PM (2)
Jul 02, 10-11 PM (0)
Jul 02, 11-12 AM (0)
Jul 03, 12-1 AM (0)
Jul 03, 1-2 AM (2)
Jul 03, 2-3 AM (0)
Jul 03, 3-4 AM (4)
Jul 03, 4-5 AM (0)
Jul 03, 5-6 AM (0)
Jul 03, 6-7 AM (0)
Jul 03, 7-8 AM (2)
Jul 03, 8-9 AM (5)
Jul 03, 9-10 AM (2)
Jul 03, 10-11 AM (3)
Jul 03, 11-12 PM (4)
Jul 03, 12-1 PM (2)
Jul 03, 1-2 PM (1)
Jul 03, 2-3 PM (1)
Jul 03, 3-4 PM (1)
Jul 03, 4-5 PM (2)
Jul 03, 5-6 PM (1)
Jul 03, 6-7 PM (0)
Jul 03, 7-8 PM (3)
Jul 03, 8-9 PM (0)
Jul 03, 9-10 PM (0)
Jul 03, 10-11 PM (0)
Jul 03, 11-12 AM (0)
Jul 04, 12-1 AM (0)
Jul 04, 1-2 AM (0)
Jul 04, 2-3 AM (0)
Jul 04, 3-4 AM (0)
Jul 04, 4-5 AM (0)
Jul 04, 5-6 AM (0)
Jul 04, 6-7 AM (0)
Jul 04, 7-8 AM (0)
Jul 04, 8-9 AM (1)
Jul 04, 9-10 AM (2)
Jul 04, 10-11 AM (1)
Jul 04, 11-12 PM (2)
Jul 04, 12-1 PM (1)
Jul 04, 1-2 PM (0)
Jul 04, 2-3 PM (4)
Jul 04, 3-4 PM (2)
Jul 04, 4-5 PM (0)
Jul 04, 5-6 PM (0)
Jul 04, 6-7 PM (0)
Jul 04, 7-8 PM (0)
Jul 04, 8-9 PM (0)
Jul 04, 9-10 PM (0)
Jul 04, 10-11 PM (0)
Jul 04, 11-12 AM (0)
Jul 05, 12-1 AM (0)
Jul 05, 1-2 AM (0)
Jul 05, 2-3 AM (0)
Jul 05, 3-4 AM (0)
Jul 05, 4-5 AM (0)
Jul 05, 5-6 AM (0)
Jul 05, 6-7 AM (0)
Jul 05, 7-8 AM (0)
Jul 05, 8-9 AM (0)
Jul 05, 9-10 AM (0)
Jul 05, 10-11 AM (0)
Jul 05, 11-12 PM (0)
Jul 05, 12-1 PM (0)
Jul 05, 1-2 PM (0)
Jul 05, 2-3 PM (0)
Jul 05, 3-4 PM (0)
Jul 05, 4-5 PM (0)
Jul 05, 5-6 PM (0)
Jul 05, 6-7 PM (0)
Jul 05, 7-8 PM (0)
Jul 05, 8-9 PM (0)
Jul 05, 9-10 PM (0)
Jul 05, 10-11 PM (0)
Jul 05, 11-12 AM (0)
Jul 06, 12-1 AM (0)
Jul 06, 1-2 AM (0)
Jul 06, 2-3 AM (0)
Jul 06, 3-4 AM (0)
Jul 06, 4-5 AM (0)
Jul 06, 5-6 AM (0)
72 commits this week
Jun 29, 2025
-
Jul 06, 2025
Update srcspan formatting, formatting
Re-run deserialisation benchmarks
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 837a15684e59b99f2107464c12f5a703c37dc741
Deploying to gh-pages from @ IntersectMBO/plutus@837a15684e59b99f2107464c12f5a703c37dc741 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@837a15684e59b99f2107464c12f5a703c37dc741 🚀
[Test] Remove case-of-case from scoping tests (#7175)
Fixes #7170 by simply removing the test.
Update builtinsIntroducedIn
Add explicit import lists, rename `compiledCodeToHask` to `applyCodeN`
Add coop scripts to validation benchmark
Update builtinsIntroducedIn
Change enter/exit marker with arrows