Tobias Meggendorfer

WIP: Improveme Documentation

8

fixes #999 Changes: - Relative links in the Markdown - Semantic one-line=one-sentence formatting - Prominent distinction between BenchExec, `benchexec`, and `runexec` - Brief usage instructions for both tools - Separate...

Docker base image

4

Given that we now (or: soon #1044 ) have a somewhat reliable way of running benchexec in docker, there might be some merit in lowering the entry barrier even more...

I guess title says it all :) Personal Plus and upward support multiple planes in one request, the library does not (yet). This is relevant for using the inverter limit...

Modern Judgehost

11

This is only somewhat a feature request and mostly a discussion to explore some options. In particular, I would like to explore what your thoughts are / what you would...