Simmo Saan

There was the matter of naming/describing the option but we discussed it and something seems to have been implemented. Not sure about the test failures though. I think it makes...

The description of the escape analysis should definitely at least be amended. I guess it would be possible to have two separate analyses and queries for the two different notions...

Isn't this also an issue for base's mutex-meet?

I guess base's existing logic for turning bottoms into tops is somehow covering this already.

There's also a third difference which affects `NULL` constants in particular because they evaluate to `Int` variants in base. `MayPointTo` returns the top pointer for them: https://github.com/goblint/analyzer/blob/851c6b3568de6d6ce51aeb06f771a7f8bd53cf64/src/analyses/base.ml#L1273 But `ReachableFrom` returns...

Maybe this has to do with the `long long` casts that we blindly add to all Apron invariants?

This minimal program locks a mutex in single-threaded mode which should be fine, but maybe we handle something incorrectly in such case? Or is the locking there just as a...

> I made a PR for both [jekyll-minifier](https://github.com/digitalsparky/jekyll-minifier/pull/62) and [jekyll-terser](https://github.com/RobertoJBeltran/jekyll-terser). If the second one is accepted, we can drop the plugin I created and use `jekyll-terser` instead. If the first...

jekyll-minifier has recently been updated to also use terser itself, so this should be reverted to some extent at least. Because al-folio still depends on jekyll-minifier as well, so now...

The initial parsing error seems to be something we fixed in CIL since our latest release: https://github.com/goblint/cil/pull/172. That's why it no longer appears on master. The library function exception is...