Henrik Wachowitz

I'm experiencing the same issue when installing on ubuntu server 16.4 hostet through Hyper-V. The line in the script that fails seems to be this: ```shell if ! apt-cache madison...

Manually running ```shell curl -sL https://deb.nodesource.com/setup_8.x | sudo -E bash - ``` as root fixed this issue for me. After running the command there was a file `/etc/apt/sources.list.d/nodesource.list`. ```shell $...

Hey Tim, Here is what I've found out: On the newer versions you need to "activate" your device. This is indicated by the following response from `/v2/auth/verify/code` (note that this...

Some details I noticed and features I would use: - There is a horizontal scrollbar showing at the bottom even if there is nothing to scroll. - The hover color...

It's actually a bug from Docker I think: https://github.com/docker/for-win/issues/13955

@PhilippWendler A short explanation to this weird looking tim: In ltsmin all different "configs" are separate binaries. The corresponding yaml file in fm-tool selects the desired one by setting the...

No. This was for a demo of fm-weck. These tools do not participate in SV-COMP (I think they are from the Petrinets Community)