coq-tools icon indicating copy to clipboard operation
coq-tools copied to clipboard
verified publisher icon JasonGross

--no-minimize-before-inlining now checks for success and tries to inline one-by-one on failure

Open JasonGross opened this issue 9 months ago • 0 comments

JasonGross avatar Mar 21 '25 02:03 JasonGross