[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 #44 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #43)
> (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.

yeah, i should have thought to update everything else when I saw that sby
master  had changed since those scripts were written -- i'm not the one who
changed sby to need write_jny. this comes from relying on the master branch
rather than a reliably-unchanging version such as a git tag or commit id.
> 
> 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.

yeah, i was mostly planning on waiting until the smtlib2 support is merged into
nmigen, then we'd update everything at once to the known-to-work-from-ci
versions on the 0.13-i-forgot-the-name branch.

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