value-switch-milestone-1
Jason Hiser's avatar
Jason Hiser
@jdh8d
28fba6d8 · value-switch: document value-only unpinning experiment (bound_is_exact insufficient) · 
Value switch analysis milestone: SAFE-correct 82/83, ffmpeg fixed (fixpoint), bat/loc misses proven IDA over-guesses, both-mode unpinning at legacy parity. 7 commits since 6cc52201.