projects / ieee754fpu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
run tests in parallel
[ieee754fpu.git] / src / ieee754 / fpcmp / formal /
2020-02-02 Michael NolanHandle -0 and +0 equals and < tree | commitdiff
2020-02-02 Michael NolanAdd formal proof for FLT and FLE for FPCMP tree | commitdiff
2020-02-02 Michael NolanHandle NaNs for FPCMP tree | commitdiff
2020-02-02 Michael NolanBegin adding formal proof for fpcmp tree | commitdiff