MartinNowack

And I forgot the main important point: it provides some nice features 😄

@danielschemmel Can you rebase this one? Recent changes to a newer version of everything might solve the problem ;)

@ccadar Unfortunately not that easy. Currently, our main branch fails as well, so not fault of lucky number 7 😄

@danielschemmel I'm already on it - and as mentioned earlier, not fault of this PR.

And we finished all of them 😄 Let's close this!

@lzaoral Sorry for the long delay, can you rebase this one? The LLVM 14 image is already built. This should hopefully work now.

@lzaoral And thanks again 😃

@operasfantom Thanks a lot for this PR. In it's current shape, this PR requires substantial effort to rebase it to the most recent version of KLEE with the time passed....

@tkuchta Thanks for the changes. We still need to finish the other PR before this one gets merged. But it's the next one in line. In general, changes look great....

That one is ready to be merged.