[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

Jacob Lifshay <programmerjake at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
       The table of|veera=800                   |veera=800
  payments (in EUR)|                            |#jacob=TBD
     for this task;|                            |
        TOML format|                            |
             Status|CONFIRMED                   |IN_PROGRESS

--- Comment #6 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Veera from comment #5)
> cvc5 builds fine in PowerPC64 machine but 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

adding -fpermissive just hid the actual problem, I figured out that antlr was
being built with options making it think pointers are 32-bit because cvc5
botched their 64-bit detection logic in their cmake scripts.

I created a PR with the fix (it passed make check, but I didn't try nmigen yet)

https://github.com/cvc5/cvc5/pull/8955

fixed branch:
https://github.com/programmerjake/cvc5/tree/fix-ppc64le

lkcl, if you can create a cvc5 repo, I can push the fixed branch there too.

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