Skip to content

Disable MIR inlining so calls are always checked against callee specs - #349

Open
coord-e wants to merge 1 commit into
mainfrom
claude/gifted-bohr-6wptpz
Open

Disable MIR inlining so calls are always checked against callee specs#349
coord-e wants to merge 1 commit into
mainfrom
claude/gifted-bohr-6wptpz

Disable MIR inlining so calls are always checked against callee specs

3e44a25
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar