2020-02-02 | Michael Nolan | Handle -0 and +0 equals and < | tree | commitdiff |
2020-02-02 | Michael Nolan | Replace If and Switch statements with muxes in fpcmp.py | tree | commitdiff |
2020-02-02 | Michael Nolan | Add formal proof for FLT and FLE for FPCMP | tree | commitdiff |
2020-02-02 | Michael Nolan | Add FLT and FLE functionality to FPCMP | tree | commitdiff |
2020-02-02 | Michael Nolan | Handle NaNs for FPCMP | tree | commitdiff |
2020-02-02 | Michael Nolan | Add feq functionality to fpcmp | tree | commitdiff |
2020-02-02 | Michael Nolan | Begin adding formal proof for fpcmp | tree | commitdiff |
2020-02-02 | Michael Nolan | Begin adding FPCMP module (FEQ, FLT, FLE) | tree | commitdiff |