[libre-riscv-dev] [Bug 165] New: Formally verify the FPCMP (FEQ, FLE, FLT) module

[Luke Kenneth Casson Leighton]

On 2/3/20, Michael Nolan <mtnolan2640 at gmail.com> wrote:

> Yep, from what I understand it's ~(lt | eq).

you can't do the same trick with le.

 Of course as I learned with
> the scalar comparisons, LT and EQ are not as straightforward as they
> seem. Stupid -0.

:)