[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 #1 from Jacob Lifshay <programmerjake at gmail.com> ---
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
lkcl    https://bugs.libre-soc.org/show_bug.cgi?id=868  09:42
lkcl    we absolutely don't have time to do that much work      09:44
lkcl    so i'm cutting it back, the budget doesn't change       09:45
lkcl    we *need* to set goals that are *achievable within the timeframe*      
09:45
lkcl    then apply for follow-up grants afterwards      09:46
lkcl    and make certain that the available budget right now is 100% allocated
and spent on *achievable* tasks within the remaining 12 weeks    09:46
lkcl    which makes 869 80% done already        09:48
lkcl    i've allocated EUR 2500 to 868, which leaves EUR 2650 remaining to
allocate, e.g. to fmul16, and i'd say we're good

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