[Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools

[bugzilla-daemon at libre-soc.org]

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

--- Comment #5 from Veera <vklr at vkten.in> ---
cvc5 builds fine in PowerPC machine buts does not runs fine.

Ran "make check" for cvc5 and got: 1% tests passed, 2936 tests failed out of
2966
Looked at running log: In most of the tests cvc5 segfaults

Currently Supported Operating Systems:
cvc5 can be built natively on Linux and macOS, cross-compilation is possible
for Windows using Mingw-w64. cvc5 also supports cross-compilation for ARM64
systems. They generally recommend a 64-bit operating system.

Support for x86_64 has been checked as working.

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