Philipp Wendler

Possible libraries: - [google/code-prettify](https://github.com/google/code-prettify): unmaintained - [highlightjs/highlight.js](https://github.com/highlightjs/highlight.js): seems to be a good choice - [ccampbell/rainbow](https://github.com/ccampbell/rainbow): unmaintained - [syntaxhighlighter/syntaxhighlighter](https://github.com/syntaxhighlighter/syntaxhighlighter): unmaintained So highlight.js seems to be the way to go.

When changing this we should also check whether this can be used to improve our filter handling, which currently relies on `setImmediate` (cf. 7ed146159a45d1a737d6b7865dd9122beb2662fe).

Thanks for bringing this up. First, I have to say that the text output of BenchExec is primarily intended as showing progress to the user, and potentially also to let...

I don't think we do anything special regarding permissions, so I would expect the current umask setting to be applied automatically. And in fact, the result files here on my...

So far there is no indication that BenchExec does not just honor the umask, so I think there is nothing to do here and will close this. Please comment/reopen if...

The Ubuntu PPA was done as part of #613. We don't plan on adding BenchExec packages to the official Debian and Ubuntu repositories. But we could build other package formats...

The first part is done in e18287d, but the sysctl flag and the `swapaccount` flag for the kernel command-line are still not set.

This sounds interesting, and doing this dynamically using JavaScript would certainly be a easy way to integrate it. I am not sure whether I have the time to work on...

For completeness, there is now another feature that provides a little part of this feature request: arbitrary columns can be used as the base for computing the "diff" tables with...

Once we use cgroup-v2, we can use the cgroup namespace to restrict the cgroups the processes can see: https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=d4021f6cd41f03017f831b3d40b0067bed54893d