J. Berger
J. Berger
> The program contains only one path which is error-free and infinite, therefore, symbolic execution will just keep executing this infinite path forever. Ah, this would explain the situation. Our...
Is there a rough ETA on this? With the release of Debian 11, they default to cgroups v2 and our infrastructure no longer runs benchexec. There seems to be a...
I had not heard of Haiku OS before - its a surprise to me that it works at all with all dependencies, to be honest. But I guess most of...
Done in b27ef622b4069aec930b2b1d34b0e28068d86dbd.
Editing for groups is still to do.
No, this is not yet supported in the currently released version (mainly because the contact storage does not contain data on "trust"). This can be changed soon when I finally...
Eh. My first guess is that this is somehow related to the Qt Image Plugins. Could you tell me what platform and version of Qt you are using?
In arch, the package for the image plugins seems to be "qt5-imageformats". Could you check whether this is installed?
Yes, I looked at that already and it would make sense to adapt. My plan would be to transpile it to C++, as a manual adaption makes no sense in...
I have no experience with Gnome, nor do I use it - so debugging this will be a bit tricky. Could you use a debug build (-DOPENMITTSU_DEBUG=ON) and check whether...