Rafael Sá Menezes

> @rafaelsamenezes any luck? Sorry, had been busy for the last months. The split did help in some cases (e.g., SOTN), but I did not had the same luck with...

> @rafaelsamenezes oh wow super involved. I really really appreciate all your hard work with this. Is there any trend to knowing whether a game would work ahead of time?...

Hi @hanxiatu-github. Sadly you reached some parts of ESBMC that are limited and need a bit more dev time. I will try to answer the questions. Just for context, ESBMC...

> I'm actually trying to get a cross-compilation to MingGW working and the only thing missing is a Clang-build. Is there one or do I have to compile my own?...

That's great! Do you have a list of dependencies and a description about how the environment was set? I few like we should add this into the CI somehow.

> We could recompile Clang-14 (or maybe rather v13, see https://github.com/esbmc/esbmc/issues/1003#issuecomment-2094695141) with the toolchain file on Ubuntu-22.04... Hm, not sure what to do. IMO we should try to move forward...

> Use a geometric series to unfold the loops. Something like: 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, etc. I added a run for it:...