Simmo Saan

I tried 5.1 at some point and it wasn't much better, still a regression from 4.14. OCaml 5.2 is around the corner, so that's another thing to try.

This duplicates #944, which already introduced such mechanism. Unless that has been broken since.

The freezing point would just have to be moved earlier then. Maybe immediately before `AfterConfig` runs because those callbacks are supposed to run after configuration has been loaded and should...

I believe I just encountered the same issue. Internal storage and nothing was ever migrated. I'm guessing in my case it was somehow caused by terrible (throttled?) hotel WiFi collections....

> We're well aware of this issue and have a plan to fix it in 2.0.0! Sorry about the inconvenience! Looks like 2.0.0 quietly got released recently but this issue...

This should work, but it seems to reveal some pre-existing issue in the relational atomic privatization stuff. Namely with the special `[__VERIFIER_atomic]` mutex variable used for that. Quick tracing reveals...

This worries me now in general because when I implemented correctness witness generation in Goblint I also chose to ignore this rule and add `control`s to correctness witnesses because both...

> Another argument regarding fairness was made: it would be unfair to tools who stick to the format spec if this has disadvantages regarding validation (maybe a validator might have...

Actually, this might not just affect a verifier's score on correct tasks (by having all correctness witnesses rejected by the linter) but the verifier's qualification at all. The [rules for...

Indicator scroll events are emitted under Gnome but Xfce seems to have a bug: https://gitlab.xfce.org/panel-plugins/xfce4-statusnotifier-plugin/-/issues/8.