Improve error reporting for a few unsupported types
Home /
Input Output /
plutus
Apr 28, 11-12 AM (0)
Apr 29, 12-1 AM (1)
Apr 29, 1-2 AM (0)
Apr 29, 2-3 AM (0)
Apr 29, 3-4 AM (0)
Apr 29, 4-5 AM (0)
Apr 29, 5-6 AM (0)
Apr 29, 6-7 AM (2)
Apr 29, 7-8 AM (1)
Apr 29, 8-9 AM (0)
Apr 29, 9-10 AM (1)
Apr 29, 10-11 AM (1)
Apr 29, 11-12 PM (6)
Apr 29, 12-1 PM (2)
Apr 29, 1-2 PM (0)
Apr 29, 2-3 PM (1)
Apr 29, 3-4 PM (0)
Apr 29, 4-5 PM (0)
Apr 29, 5-6 PM (0)
Apr 29, 6-7 PM (3)
Apr 29, 7-8 PM (1)
Apr 29, 8-9 PM (1)
Apr 29, 9-10 PM (0)
Apr 29, 10-11 PM (0)
Apr 29, 11-12 AM (0)
Apr 30, 12-1 AM (0)
Apr 30, 1-2 AM (1)
Apr 30, 2-3 AM (0)
Apr 30, 3-4 AM (0)
Apr 30, 4-5 AM (0)
Apr 30, 5-6 AM (0)
Apr 30, 6-7 AM (0)
Apr 30, 7-8 AM (0)
Apr 30, 8-9 AM (0)
Apr 30, 9-10 AM (1)
Apr 30, 10-11 AM (0)
Apr 30, 11-12 PM (4)
Apr 30, 12-1 PM (7)
Apr 30, 1-2 PM (2)
Apr 30, 2-3 PM (0)
Apr 30, 3-4 PM (3)
Apr 30, 4-5 PM (3)
Apr 30, 5-6 PM (3)
Apr 30, 6-7 PM (0)
Apr 30, 7-8 PM (4)
Apr 30, 8-9 PM (1)
Apr 30, 9-10 PM (2)
Apr 30, 10-11 PM (1)
Apr 30, 11-12 AM (0)
May 01, 12-1 AM (0)
May 01, 1-2 AM (1)
May 01, 2-3 AM (3)
May 01, 3-4 AM (0)
May 01, 4-5 AM (0)
May 01, 5-6 AM (0)
May 01, 6-7 AM (0)
May 01, 7-8 AM (0)
May 01, 8-9 AM (0)
May 01, 9-10 AM (0)
May 01, 10-11 AM (0)
May 01, 11-12 PM (0)
May 01, 12-1 PM (0)
May 01, 1-2 PM (0)
May 01, 2-3 PM (2)
May 01, 3-4 PM (0)
May 01, 4-5 PM (1)
May 01, 5-6 PM (4)
May 01, 6-7 PM (2)
May 01, 7-8 PM (1)
May 01, 8-9 PM (0)
May 01, 9-10 PM (1)
May 01, 10-11 PM (2)
May 01, 11-12 AM (3)
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 (2)
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 (0)
May 05, 11-12 AM (0)
131 commits this week
Apr 29, 2026
-
May 06, 2026
Make `SatInt` use `Int64` underneath
Address constant generation issue
Fix issue with `KnownTypeAst` and wasm
Address remaining review comments
Make `SatInt` use `Int64` underneath
Fix issue with `KnownTypeAst` and wasm
Address constant generation issue
Deploying to gh-pages from @ IntersectMBO/plutus@c8f962ae75d0b4871401ecc2e8c4ed259cafadac 🚀
Disable for wasm everything that is disabled for windows
Deploying to gh-pages from @ IntersectMBO/plutus@9df8821a28578ddc34a5a54f9a57dd72fbc743e2 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@c8f962ae75d0b4871401ecc2e8c4ed259cafadac 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@c8f962ae75d0b4871401ecc2e8c4ed259cafadac 🚀
Add detailed error message for unsupported casing on Integer (#7766)
Address review comments, regenerate goldens
Deploying to gh-pages from @ IntersectMBO/plutus@9df8821a28578ddc34a5a54f9a57dd72fbc743e2 🚀
Remove redundant `recursive` alias in `genTerm` (#7752)
Remove redundant `recursive` alias in `genTerm`