Simmo Saan

> Once we get the remaining open issues addressed, I think it make sense to merge this, even if Goblint will trail behind for a bit, i.e., while the better...

Reopening because many `st` arguments still remain after #1308 due to possible mismatch between `ctx.local` and `st` in the middle of certain operations: https://github.com/goblint/analyzer/pull/1308#discussion_r1445953004.

OCaml 4.13 and 4.14 should be supported now (on `master`), but there's no release with that support yet. By the way, compiler-libs expose everything necessary nowadays, so there's no need...

Right now you also need to build the VSCode extension yourself. The one published on VSCode marketplace isn't compatible with newer OCaml versions.

By the way, I'm planning to revive the effort to simply make the official VSCode OCaml Platform extension take care of that side: https://github.com/ocamllabs/vscode-ocaml-platform/issues/534 and https://github.com/ocamllabs/vscode-ocaml-platform/pull/650. This should make the...

I haven't encountered the issue (nor have tried to reproduce it yet), but there's this commit on a fork: https://github.com/tizoc/ocamlearlybird/commit/8afcce83ff7a8e7800d45f75b06f335d790a29e1. Maybe that's trying to fix this issue?

I added a hint about `map_workspace_root` to the README: https://github.com/hackwaly/ocamlearlybird#breakpoints-not-hit-with-lang-dune-30-and-above. Thanks to @vthemelis for suggesting it to be added to https://github.com/ocamllabs/vscode-ocaml-platform/pull/1192 as well. This fix is for `(lang dune 3.0)`...

It's now recommended to use the https://github.com/ocamllabs/vscode-ocaml-platform/#debugging-ocaml-programs-experimental extension which also seems to be on https://open-vsx.org/extension/ocamllabs/ocaml-platform. Unfortunately 1.13, which brings the earlybird support, didn't automatically get published there but hopefully it...

Besides C11's thread-local specifier there is also GCC's [`__thread`](https://gcc.gnu.org/onlinedocs/gcc/Thread-Local.html) that we found with @vesalvojdani in silver searcher. It should be very easy to just ignore races on thread-local things.

#1071 handles the race checking of `__thread`, but there's still C11's `_Thread_local` for which the same could apply. It probably requires changes in CIL as well: https://github.com/goblint/cil/issues/13.