tested nmigen, spec_hdl_smtlib2_real_div now passes on ppc64le with the fixed cvc5.
I pushed the fixed branch to:
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 branch until cvc5 upstream accepts my PR.
(In reply to Jacob Lifshay from comment #0)
> PR: https://github.com/cvc5/cvc5/pull/8955
The PR was merged upstream. I pushed that to our cvc5 mirror.
all that's left is updating dev-env-setup.git
cvc5 1.0.1 was released a few days ago, it includes the ppc64le build fixes. I updated dev-env-setup.git to use that version after some testing on the talos and my desktop.
unrelated: i noticed other repos (yices, z3) installed by hdl-tools-yosys use whatever is the latest commit on the upstream repos, rather than picking a particular commit/tag for reproducibility -- imho that should probably be fixed.