f32 fadd formal proof is fast enough -- don't skip it anymore
[ieee754fpu.git] / berkeley-softfloat.patch
2020-01-27 Michael NolanMove patches in README to separate files