Bob Rubbens

It doesn't work for me either. `xrandr --verbose` gives the following for eDP-1-1: ``` CRTC: 0 CRTCs: 0 5 6 ``` `man xrandr` says that it's usually okay with guessing...

Here is our build.sbt: https://github.com/utwente-fmt/vercors/blob/dev/build.sbt I think we have only one main class but of course maybe our settings are wrong. I have vacation this week but I'll try to...

I made a minimal version of our big project that exhibits the problem: [vercors_stripped_test.zip](https://github.com/sbt/sbt-native-packager/files/7380929/vercors_stripped_test.zip) Reproduction steps: - Unzip - Run `sbt shell` in the root project folder with the `build.sbt`...

I fiddled a bit, and turns out that the pattern I wanted to use works. The problem is that if I change the `is_vim` pattern in `.tmux.conf`, it is not...

Well, turns out the `is_vim` var was updated after one or more reboots, since it suddenly started working. So the adjustment I initially tried does indeed work. The issue is...

We (the VerCors developers) run into this frequently. Especially since our files are often several hundred megabytes. Even cutting log files down to 2mb, axiom profiler still seems to have...

Thank you for the explanation. Adding `--numberOfParallelVerifiers 1` makes my minimised example stable (at least, it does not fail after 100 runs - usually this file would fail to verify...

Thank you for investigating. The full file is here: [elect_full.zip](https://github.com/viperproject/silicon/files/5186696/elect_full.zip). Yeah, we understand this file will probably remain problematic for a long time to come. The main piece of knowledge...

I don't follow. Doesn't the first requires clause constrain the value of `l`, hence it is safe to use it in the second requires clause? I mean, I can do:...

Ah, interesting, will do. Do you then close this issue?