Sven Umbricht

@PhilippWendler Can we merge this? From my side the PR is ready, do you have anything else to add?

Even after the changes made in this PR `check_function_stack` still had some implicit assumptions about the witness that are not enforced by the specification and while trying to fix these...

Something that still needs to be discussed is how the `producer` section is currently only refering to "tools", even though an entry could be created by a human as well...

True, those example witnesses should be replaced with more recent ones that conform to the format. Neither witness contains a creationtime, which is required according to the [spec](https://github.com/sosy-lab/sv-witnesses/blob/main/README-GraphML.md) and would...

All examples also use the SHA-1 hash of the program, which is no longer supported (cf. #42), and fail the corresponding linter check since 5b18209c537d19a1b9cd4338dd228ff6598ec87f. @MartinSpiessl @danieldietsch Could you replace...

> After merged, GitHub Pages needs to be configured in this repository's settings to deploy from the gh-pages branch root. This has to be done by @dbeyer. At least in...