git.libre-soc.org Git - ieee754fpu.git/history - src/ieee754/fpadd/test/test_add

2022-07-02	Jacob Lifshay	disable fadd f32 formal proofs by default -- they're...	blob \| commitdiff \| raw
2022-07-01	Jacob Lifshay	add fsub support to fadd pipeline	blob \| commitdiff \| raw \| diff to current
2022-07-01	Jacob Lifshay	finish adding all rounding modes to fadd -- formal...	blob \| commitdiff \| raw \| diff to current
2022-06-28	Jacob Lifshay	f32 fadd formal proof is fast enough -- don't skip...	blob \| commitdiff \| raw \| diff to current
2022-06-28	Jacob Lifshay	add correct NaN propagation to the fadd pipeline and...	blob \| commitdiff \| raw \| diff to current
2022-06-28	Jacob Lifshay	add formal proofs for other fadd widths, but with unitt...	blob \| commitdiff \| raw \| diff to current
2022-06-25	Jacob Lifshay	add initial f16 fadd formal proof	blob \| commitdiff \| raw \| diff to current