8000 fix: make unsafeBaseIO noinline by zwarich · Pull Request #8669 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

fix: make unsafeBaseIO noinline#8669

Merged
zwarich merged 1 commit intoleanprover:masterfrom
zwarich:unsafeBaseIO-noinline
Jun 9, 2025
Merged

fix: make unsafeBaseIO noinline#8669
zwarich merged 1 commit intoleanprover:masterfrom
zwarich:unsafeBaseIO-noinline

Commits

Commits on Jun 6, 2025
0