[Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen

[bugzilla-daemon at libre-soc.org]

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

--- Comment #57 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
brilliant, there's one thing left that needs doing, the
patch to ValueCastable to override __dict__ can you please
extract that as its own atomic commit with its own identifiable
commit message.

anything else that is modifications to existing nmigen source
code please do the same with a clear explanation.

it is really important that critical changes to the nmigen API
not end up "hidden"

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