[libre-riscv-dev] daily kan-ban update 14may2020

Luke Kenneth Casson Leighton lkcl at lkcl.net
Thu May 14 23:42:24 BST 2020


On Thu, May 14, 2020 at 10:48 PM Cole Poirier <colepoirier at gmail.com> wrote:
>
> Yesterday I worked on the script that automates the build and
> installation of yosys and the various SYMByosys tools until when trying
> to compile super_prove bitbucket had an internal error failed to load
> for over half an hour. At that point I decided to try again the next
> day. Today the bitbucket is working. I had to create two patches for the
> abc-zz sub-dependency of super_prove, now super_prove compiles
> successfully. Given that this prevents the successful compilation of an
> entire yosys tool, should I make a PR with these small but significant
> patches or should I just be satisfied that it now works for us and move
> on?

report them, put the patch into the git repo with the scripts, put the
link to the patch
on the wiki, and move on.

i only use i think z3solver, yices2 and one other - i didn't bother
with any of the
others.

l.



More information about the libre-riscv-dev mailing list