lisa icon indicating copy to clipboard operation
lisa copied to clipboard

Published 20 hours ago • verified publisher icon lisa-analyzer

[FEATURE REQUEST] Analysis phases

Open lucaneg opened this issue 1 year ago • 0 comments

Description The analysis now follows a fixed 3-step workflow: syntactic checks -> program fixpoint -> semantic checks. We should allow custom workflows to enable scenarios like program fixpoint -> simplify program -> program fixpoint -> semantic checks.

lucaneg avatar Dec 12 '22 10:12 lucaneg