[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 #23 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #22)

> afaict ghdl-yosys-plugin currently works on yosys master, last i checked
> (few days ago) i saw it in https://github.com/YosysHQ/oss-cad-suite-build
> nightly builds. (i'm assuming since it builds in CI it probably works, i
> haven't tested it tho)

got time to check it and also update all our documentation and the devscripts?
after running for four years now we're now into maintenance stability and
any tool upgrades have to be scheduled and planned well in advance.

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