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

> the yosys 0.13 stuff is only because libre-soc doesn't want to upgrade for
> ls2, 

that's not correct: i have mentioned this already - it's down to instability
in yosys due to API changes. *nobody* can get yosys-ghdl-plugin working
and yosys-ghdl-plugin is needed for compiling microwatt.  this has absolutely
nothing to do with ls2, and everything to do with yosys changing APIs in a
way that makes them completely incompatible with critical plugins on which
the wider community critically relies.  in our case that's critical day-to-day
testing and development for the *entire* libre-soc codebase i.e. *all* SoCs
*all* versions past present and future because microwatt HDL-module-level
compatibility is absolute and fundamental to saving astounding amounts of
time and resources.

ghdl then *also* changed its internal data structures which made the situation
even more complex.

several days of searching and compiling across *three* separate repositories
eventually found the cross-over point between ghdl, yosys, and
yosys-ghdl-plugin
that would actually work.

more later. summary: integration justification in nmigen makes sense.

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