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

[Luke Kenneth Casson Leighton]

On 2/3/20, Luke Kenneth Casson Leighton <lkcl at lkcl.net> wrote:

> see wiki page gt is not that different from eq.

https://libre-riscv.org/3d_gpu/architecture/dynamic_simd/gt/

oh, forgot to say: the next thing we need is to add support for
trinary SIMD partitioned values. if you could study how that is done
it woule be very helpful.