Don't calculate number of negative quantities
Home /
Input Output /
plutus
Nov 16, 5-6 AM (0)
Nov 16, 6-7 AM (0)
Nov 16, 7-8 AM (0)
Nov 16, 8-9 AM (0)
Nov 16, 9-10 AM (0)
Nov 16, 10-11 AM (0)
Nov 16, 11-12 PM (0)
Nov 16, 12-1 PM (0)
Nov 16, 1-2 PM (0)
Nov 16, 2-3 PM (0)
Nov 16, 3-4 PM (0)
Nov 16, 4-5 PM (0)
Nov 16, 5-6 PM (0)
Nov 16, 6-7 PM (0)
Nov 16, 7-8 PM (0)
Nov 16, 8-9 PM (2)
Nov 16, 9-10 PM (0)
Nov 16, 10-11 PM (0)
Nov 16, 11-12 AM (0)
Nov 17, 12-1 AM (0)
Nov 17, 1-2 AM (0)
Nov 17, 2-3 AM (0)
Nov 17, 3-4 AM (0)
Nov 17, 4-5 AM (0)
Nov 17, 5-6 AM (0)
Nov 17, 6-7 AM (0)
Nov 17, 7-8 AM (3)
Nov 17, 8-9 AM (3)
Nov 17, 9-10 AM (0)
Nov 17, 10-11 AM (0)
Nov 17, 11-12 PM (1)
Nov 17, 12-1 PM (1)
Nov 17, 1-2 PM (0)
Nov 17, 2-3 PM (2)
Nov 17, 3-4 PM (2)
Nov 17, 4-5 PM (0)
Nov 17, 5-6 PM (0)
Nov 17, 6-7 PM (2)
Nov 17, 7-8 PM (0)
Nov 17, 8-9 PM (2)
Nov 17, 9-10 PM (1)
Nov 17, 10-11 PM (0)
Nov 17, 11-12 AM (3)
Nov 18, 12-1 AM (0)
Nov 18, 1-2 AM (2)
Nov 18, 2-3 AM (0)
Nov 18, 3-4 AM (0)
Nov 18, 4-5 AM (0)
Nov 18, 5-6 AM (2)
Nov 18, 6-7 AM (0)
Nov 18, 7-8 AM (0)
Nov 18, 8-9 AM (0)
Nov 18, 9-10 AM (0)
Nov 18, 10-11 AM (1)
Nov 18, 11-12 PM (2)
Nov 18, 12-1 PM (0)
Nov 18, 1-2 PM (1)
Nov 18, 2-3 PM (3)
Nov 18, 3-4 PM (3)
Nov 18, 4-5 PM (0)
Nov 18, 5-6 PM (0)
Nov 18, 6-7 PM (1)
Nov 18, 7-8 PM (0)
Nov 18, 8-9 PM (0)
Nov 18, 9-10 PM (0)
Nov 18, 10-11 PM (4)
Nov 18, 11-12 AM (1)
Nov 19, 12-1 AM (0)
Nov 19, 1-2 AM (1)
Nov 19, 2-3 AM (0)
Nov 19, 3-4 AM (0)
Nov 19, 4-5 AM (0)
Nov 19, 5-6 AM (0)
Nov 19, 6-7 AM (0)
Nov 19, 7-8 AM (0)
Nov 19, 8-9 AM (1)
Nov 19, 9-10 AM (1)
Nov 19, 10-11 AM (1)
Nov 19, 11-12 PM (1)
Nov 19, 12-1 PM (0)
Nov 19, 1-2 PM (1)
Nov 19, 2-3 PM (0)
Nov 19, 3-4 PM (0)
Nov 19, 4-5 PM (0)
Nov 19, 5-6 PM (0)
Nov 19, 6-7 PM (0)
Nov 19, 7-8 PM (1)
Nov 19, 8-9 PM (3)
Nov 19, 9-10 PM (0)
Nov 19, 10-11 PM (0)
Nov 19, 11-12 AM (0)
Nov 20, 12-1 AM (0)
Nov 20, 1-2 AM (0)
Nov 20, 2-3 AM (0)
Nov 20, 3-4 AM (0)
Nov 20, 4-5 AM (0)
Nov 20, 5-6 AM (0)
Nov 20, 6-7 AM (0)
Nov 20, 7-8 AM (0)
Nov 20, 8-9 AM (0)
Nov 20, 9-10 AM (0)
Nov 20, 10-11 AM (0)
Nov 20, 11-12 PM (5)
Nov 20, 12-1 PM (0)
Nov 20, 1-2 PM (1)
Nov 20, 2-3 PM (0)
Nov 20, 3-4 PM (0)
Nov 20, 4-5 PM (0)
Nov 20, 5-6 PM (1)
Nov 20, 6-7 PM (1)
Nov 20, 7-8 PM (1)
Nov 20, 8-9 PM (0)
Nov 20, 9-10 PM (1)
Nov 20, 10-11 PM (0)
Nov 20, 11-12 AM (6)
Nov 21, 12-1 AM (1)
Nov 21, 1-2 AM (0)
Nov 21, 2-3 AM (0)
Nov 21, 3-4 AM (0)
Nov 21, 4-5 AM (0)
Nov 21, 5-6 AM (0)
Nov 21, 6-7 AM (1)
Nov 21, 7-8 AM (12)
Nov 21, 8-9 AM (1)
Nov 21, 9-10 AM (1)
Nov 21, 10-11 AM (2)
Nov 21, 11-12 PM (0)
Nov 21, 12-1 PM (0)
Nov 21, 1-2 PM (0)
Nov 21, 2-3 PM (3)
Nov 21, 3-4 PM (0)
Nov 21, 4-5 PM (0)
Nov 21, 5-6 PM (0)
Nov 21, 6-7 PM (1)
Nov 21, 7-8 PM (1)
Nov 21, 8-9 PM (2)
Nov 21, 9-10 PM (0)
Nov 21, 10-11 PM (2)
Nov 21, 11-12 AM (1)
Nov 22, 12-1 AM (0)
Nov 22, 1-2 AM (0)
Nov 22, 2-3 AM (6)
Nov 22, 3-4 AM (2)
Nov 22, 4-5 AM (0)
Nov 22, 5-6 AM (0)
Nov 22, 6-7 AM (0)
Nov 22, 7-8 AM (2)
Nov 22, 8-9 AM (1)
Nov 22, 9-10 AM (0)
Nov 22, 10-11 AM (1)
Nov 22, 11-12 PM (0)
Nov 22, 12-1 PM (0)
Nov 22, 1-2 PM (0)
Nov 22, 2-3 PM (0)
Nov 22, 3-4 PM (0)
Nov 22, 4-5 PM (0)
Nov 22, 5-6 PM (0)
Nov 22, 6-7 PM (0)
Nov 22, 7-8 PM (0)
Nov 22, 8-9 PM (0)
Nov 22, 9-10 PM (0)
Nov 22, 10-11 PM (0)
Nov 22, 11-12 AM (0)
Nov 23, 12-1 AM (1)
Nov 23, 1-2 AM (2)
Nov 23, 2-3 AM (0)
Nov 23, 3-4 AM (0)
Nov 23, 4-5 AM (0)
Nov 23, 5-6 AM (0)
111 commits this week
Nov 16, 2025
-
Nov 23, 2025
Improve error handling, safety, readability; replace unsafe patterns; modernize sorting
✅ Pull Request: Improve Error Handling, Safety & Readability Summary This pull request improves the stability, safety, and readability of the PIR tool without changing its core functionality. Changes Made Replaced unsafe pattern matches on Program with safe bindings. Replaced raw error calls with friendly error messages + exitFailure. Improved readability in retention analysis and name table generation. Updated sorting using Down for cleaner intent. Added simple CLI messages for better user feedback. Added comments explaining intentional orphan instances. Removed minor redundancies and improved formatting. Why This Matters These changes: Prevent sudden crashes caused by pattern-match failures Make CLI errors easier to understand Improve maintainability Do not change logic or output format No Functional Behavior Changed This PR is safe, review-friendly, and strictly improves code quality.
Deploying to gh-pages from @ IntersectMBO/plutus@b4bb0ddbcb2c9a797e4c5187df916f8a777173c6 🚀
Deploying to gh-pages from @ IntersectMBO/plutus@b4bb0ddbcb2c9a797e4c5187df916f8a777173c6 🚀
Add option to exclude/include work-free subexpression in CSE pass
Deploying to gh-pages from @ IntersectMBO/plutus@b4bb0ddbcb2c9a797e4c5187df916f8a777173c6 🚀
Use correct "golden.eval" postfix for workflow and script (#7422)
Fix model parsing and printing, wip scaleValue
Fix comments of some CEK operations