[libre-riscv-dev] [Bug 122] FP software emulation needed,

[Luke Kenneth Casson Leighton]

On Tue, Jul 30, 2019 at 4:17 PM <bugzilla-daemon at libre-riscv.org> wrote:

> My brain is fried for the day, had to derive quadratic_less_than:
> https://salsa.debian.org/Kazan-team/algebraics/blob/190761b189d62870ffdb83639a9ff6ccae72f262/src/quadratic_numbers.rs#L602

what's the story on this function, how does it work?