[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 #50 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---

>   Blocked on: https://github.com/YosysHQ/sby/pull/170

please reference this pull request in the dev-env-setup
scripts and progress on this immediately.

we *cannot wait* on other people to take action.

veera can you track down what that is, update hdl-tools-yosys
and the git.libre-soc.org SymbiYosys repository with the
appropriate branch/tag

i've added you with write permissions to these:

https://git.libre-soc.org/?p=SymbiYosys.git;a=summary
https://git.libre-soc.org/?p=yosys.git;a=summary

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