[Libre-soc-bugs] [Bug 868] Formal verification of fadd/fsub

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=868

--- Comment #2 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Jacob Lifshay from comment #1)
> from irc:
> https://libre-soc.org/irclog/%23libre-soc.2022-06-25.log.html#t2022-06-25T09:
> 42:15
> lkcl	programmerjake, it's perfectly fine to cut this back drastically	09:42

imho we need to get all of that done wether or not we can finish on-time since
it's required by the power isa spec.

if you don't think it can be completed by the end of the formal proofs grant,
just cut this bug out of the funding tree...
#869 is intended to be the bug that can be completed quickly.

-- 
You are receiving this mail because:
You are on the CC list for the bug.