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

> I didn't say they aren't high priority, I said I'm probably the wrong person
> to maintain them. I can try to maintain them anyway if there isn't a better
> person.

ultimately here it comes down to responsibility.
a new command has been added (write_jby?) in the chain involving
symbiyosys, and that caused the fundamental developer
scripts that everyone critically relies on to break.

https://git.libre-soc.org/?p=dev-env-setup.git;a=commitdiff;h=3066663eed414b7577d7dde2efcb62f9d0ca5733

i fixed it this time because it was urgent (and embarrassing
to have to inform a high-profile developer, who is going
to test ls180 through Cadence VLSI tools for us, that we had failed
to keep the scripts up-to-date)

cvc5 is also going to need to be added to the decscripts,
asking veera to do that is probably the best thing there.

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