Skip to content

fix(#932): --proven-safe must never elide against a floor it invented (SECURITY) - #934

Merged
avrabe merged 2 commits into
mainfrom
fix/proven-safe-imported-memory-932
Aug 8, 2026
Merged

fix(#932): --proven-safe must never elide against a floor it invented (SECURITY)#934
avrabe merged 2 commits into
mainfrom
fix/proven-safe-imported-memory-932

test(#932): measure synth's own code size, not disassembly text

2679b53
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Aug 8, 2026 in 1s

100.00% of diff hit (target 87.23%)

View this Pull Request on Codecov

100.00% of diff hit (target 87.23%)

View more details on Codecov