projects / ieee754fpu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
switch to exact version of cython
[ieee754fpu.git] / src / ieee754 / fpmax /
2022-05-11 Jacob Lifshayfix some borked imports tree | commitdiff
2020-02-02 Michael NolanAdd test case for NaN and -0 handling to fpmax tree | commitdiff
2020-02-02 Michael NolanAdd feq functionality to fpcmp tree | commitdiff
2020-01-28 Michael NolanUse nmigen's built in formal runner instead of mine tree | commitdiff
2020-01-28 Michael NolanFix handling of the .sby file directory when running... tree | commitdiff
2020-01-28 Michael NolanUse anyconst for the inputs of the dut in FMax formal... tree | commitdiff
2020-01-28 Luke Kenneth Casso... line-up, whitespace tree | commitdiff
2020-01-28 Luke Kenneth Casso... read proof file from any location tree | commitdiff
2020-01-28 Michael Nolanremove usage of m.If() in fpmax and replace with Mux tree | commitdiff
2020-01-28 Michael NolanFlesh out the formal proof for fmax tree | commitdiff
2020-01-28 Michael NolanUpdate gitignore in formal directories to ignore proof... tree | commitdiff
2020-01-28 Michael NolanAdd rudimentary proof to fpmax tree | commitdiff
2020-01-28 Michael NolanAdd fpmin handling to fpmax module tree | commitdiff
2020-01-28 Michael NolanAdd FPMAX module tree | commitdiff