projects / ieee754fpu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
run tests in parallel
[ieee754fpu.git] / src / ieee754 / fpcmp /
2020-02-02 Michael NolanHandle -0 and +0 equals and < tree | commitdiff
2020-02-02 Michael NolanReplace If and Switch statements with muxes in fpcmp.py tree | commitdiff
2020-02-02 Michael NolanAdd formal proof for FLT and FLE for FPCMP tree | commitdiff
2020-02-02 Michael NolanAdd FLT and FLE functionality to FPCMP tree | commitdiff
2020-02-02 Michael NolanHandle NaNs for FPCMP tree | commitdiff
2020-02-02 Michael NolanAdd feq functionality to fpcmp tree | commitdiff
2020-02-02 Michael NolanBegin adding formal proof for fpcmp tree | commitdiff
2020-02-02 Michael NolanBegin adding FPCMP module (FEQ, FLT, FLE) tree | commitdiff