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

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

Commits

  1. Commits on Oct 20, 2026