[Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Tue May 31 10:10:43 BST 2022


https://bugs.libre-soc.org/show_bug.cgi?id=835

--- Comment #24 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #23)
> (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?

idk if i'm the best one to work on that even if i do have time -- i haven't yet
gotten around to getting coriolis2 working on my computer.

> 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.

yosys 0.13 isn't anywhere near that old, a few months at most:
https://github.com/YosysHQ/yosys/commit/8b1eafc3adc6ce6828cc827e518a4fa9425feb56.patch
Date: Tue, 11 Jan 2022 08:35:50 +0100
Subject: [PATCH] Release version 0.13

My point isn't as much that we should switch libre-soc to a later version of
yosys (imho we should after ls2, but i'm fine if we put that off), but that
nmigen shouldn't be designed to only work on yosys 0.13, it should be tested to
work on yosys master too and we should use yosys master as the primary target
that we aim for when maintaining nmigen and deciding if PRs are appropriate or
not. having nmigen work on yosys 0.13 is secondary, but still important.

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


More information about the libre-soc-bugs mailing list