compile error in src/IRGen/FPIRGenerator.cpp about gosat HOT 3 CLOSED

LLVM is a fast moving project, it's difficult to keep code compatible with it. Currently, we support LLVM v4.0.1 which is not compatible with the version you are using.

Build instructions and exact list of dependencies can be found in the README.

from gosat.

Indeed, that allowed me to build gosat, thanks!

I should note that I've tried running it and it generally works on the "griggio" benchmarks, but it does throw a lot of exceptions on pretty much anything else (even if its clearly in the QF_FP logic). Is that expected?

from gosat.

It depends. Support for QF_FP is still incomplete which means that some exceptions are expected. I remember encountering those on the wintersteiger benchmark set. These benchmarks can be found in the same package together with the griggio benchmarks.

Time didn't permit to look further into those. If you are interested in specific QF_FP constructs you may post some examples here. I'll come back to them later.

from gosat.