Simmo Saan

> in musl headers `pthread_t` is defined as an abstract struct, so its size is unknown. This is actually wrong because otherwise you couldn't even have static `pthread_t` arrays. So...

At some point I found [ppx_yojson](https://github.com/NathanReb/ppx_yojson), which attempts to simplify manual creation of Yojson values, e.g. by converting OCaml record-like syntax to a JSON object. It's not for deriving anything...

I happened upon [ppx_type_directed_value](https://github.com/janestreet/ppx_type_directed_value/), which Jane Street just has, but I've never heard of anyone using. Its idea being to make custom deriving plugins easier to define by not having...

@vesalvojdani has mentioned that there exists some prior work in the area of parallel solvers, so there's things to look at before attempting anything on our own. For example, I...

Actually, I tried printing any exceptions from `tf` and there were none, so my first suspicion wasn't entirely right. I think it happens because of this change: https://github.com/goblint/analyzer/pull/391/commits/8bc2c89c94c2f22a7be95f8b959894b1ca3ca764. It changes...

The difference is that the commented out old `getl (u,c)` would happen inside the `Fun.protect` where the current node has been already changed, whereas doing it outside of that (e.g....

Base analysis domain uses the following function to evaluate some local expressions inside the lattice operations: ```ocaml val eval_exp: t -> Cil.exp -> IntOps.BigIntOps.t option ``` where `t` is the...

> I think as you pointed out the bigger problem is `precision_from_node_or_config` making assumptions about when it is called that do not actually hold. That's what I meant by the...

I think that wouldn't be necessary, because it isn't `ID.join`, etc that need to know the precision (they already know the precision from their arguments!), but rather `eval_*` in the...

Don't queries (`Queries.ID`) use the global precision currently anyway? Probably could just keep doing that. I think apron analysis only uses intdomains for responding to queries.