[Libre-soc-bugs] [Bug 891] fix cvc5 on ppc64le

[bugzilla-daemon at libre-soc.org]

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

--- Comment #1 from Jacob Lifshay <programmerjake at gmail.com> ---
tested nmigen, spec_hdl_smtlib2_real_div now passes on ppc64le with the fixed
cvc5.

I pushed the fixed branch to:
https://git.libre-soc.org/?p=cvc5.git;a=summary

lkcl, you need to set that to public. once that's done, the dev-env-setup
scripts can be changed to use the fix-ppc64le until cvc5 upstream accepts my
PR.

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