Maxime Arthaud

It seems like the MPI wrapper adds many compiler flags. Could you try to run `mpicc -showme` to get all the flags, and then set `CPPFLAGS` and `LDFLAGS` accordingly? Then...

A few weeks ago, I asked the lawyers if we could chance the license. They said we could switch to an Apache-based license, but they asked for proofs that the...

Again, if you are working for a US company and have issues with the current license, please email us. This would help convince the lawyers to make a license change.

Hi @jiridanek, thanks for the report. I have opened an issue in our internal tracker at Meta.

Hi @ggoossen, thank for the suggestion. I have put this in our backlog.

Hi @Rob-McKay, thanks for the contribution. Could you please fill the [Contributor License Agreements](https://github.com/NASA-SW-VnV/ikos/tree/master/doc/contribute) and send it to [email protected]?

Please see my comment in issue [#88](https://github.com/NASA-SW-VnV/ikos/issues/88#issuecomment-454208891)

The problem is that IKOS cannot find debug information about the `__llvm_gcov_init` function. This is a special function added by clang for coverage purposes. Are you compiling with specific flags...

Any news about this?

Thanks for your feedback @yakobowski! I was not aware of all these issues. --- > Over the years, we ran into **tons** of problems caused by the partitioning strategy. It...