plutus icon indicating copy to clipboard operation
plutus copied to clipboard
verified publisher icon IntersectMBO

Fix Certifier Inline Decision Procedure

Open ramsay-t opened this issue 8 months ago • 0 comments

There is a disagreement between the simplifier and the certifier about the inline phase. This is probably a bug in the certifier's UInline decision procedure. First we need to identify what the problem is, and then decide which needs to change to fix it.

Fixes https://github.com/IntersectMBO/plutus-private/issues/1475

ramsay-t avatar Apr 17 '25 13:04 ramsay-t