Cristian Cadar

@operasfantom I see, thanks. From what I see you are not using the recent categories introduced by #1343. I would start from those and then introduce more categories as necessary....

@251 Would you be able to help with this? Thanks!

Good plan!

Good idea, @lzaoral, it was on my todo list too. #1540 is now merged, but we still need to create the Docker images. @MartinNowack should we do it for 18.04...

@Laplace1814 Thanks again for the patch! You should also run the regression suite before submitting. As you can see in the CI, `Intrinsics/Saturating.ll` fails.

@Laplace1814 what is the status of this PR? It would be great if you could address @MartinNowack 's comments (and then squash the commits and rebase) so that we can...

@Laplace1814 would you still like to finish this PR? It would be great to have your fixes, but if you don't have time anymore, we'll need to close this PR...

Hi Eric, it would be indeed useful to understand why the CachingSolver doesn't catch these cases. Is it possible to add a test that shows such a situation? Thanks!

Thanks for the additional info, Eric. I would need to carefully look at the caching code again, but here are some high-level thoughts before I do so: (1) We should...

I also tried this quickly with KLEE and it finds the bug, even w/o `-O1`. @251 can you reproduce it w/o `-O1`?