Simmo Saan

Previously using a regex like `/^@/\/me /` did not work for triggers, due to invalid regex format. When splitting the regex by delimiter, the delimiter was found directly with `strstr`,...

This isn't perfect though because all the prefixes are shown using the first one's color. Considerable changes would have to be done in the way prefixes and their colors get...

`opam install --deps-only --locked` has nothing to do or installs wrong version

2

I had the following in the opam package files in the current directory: ```console simmo@goblint-new:/mnt/goblint-svcomp/sv-comp/goblint-clean/goblint$ grep ppxlib goblint.opam "ppxlib" {>= "0.30.0"} simmo@goblint-new:/mnt/goblint-svcomp/sv-comp/goblint-clean/goblint$ grep ppxlib goblint.opam.locked "ppxlib" {= "0.32.1"} ``` Trying...

`describe pp` crashes with "Lib.DB.get_compile_info got library that doesn't exist"

1

## Expected Behavior `dune describe pp src/cdomain/value/cdomains/intDomain.ml` does not crash. ## Actual Behavior It crashes with ``` Internal error, please report upstream including the contents of _build/log. Description: ("Lib.DB.get_compile_info got...

`free-standing-units=false` still defines macros

3

When upgrading from TeXLive 2021 to 2024, I spent hours debugging an `LaTeX Error: Command \C already defined.`. Turns out this is reproducible with: ```latex \documentclass{standalone} \usepackage[free-standing-units=false]{siunitx} \begin{document} \newcommand{\C}{\mathcal{C}} foo...

The added test is an obscure program that uses `pthread_self` to join the main thread from a secondary thread and avoid a data race. By completing a TODO it partially...

https://github.com/goblint/analyzer/pull/1519#issuecomment-2417032186 highlights an issue in our codebase: we do a lot of pattern matching on `Cil.typ` to handle particular cases, but the type isn't unrolled beforehand with `Cil.unrollType`. This can...

Similarly to #1575 because `intDomain.ml` is the largest file we have. They are moved to a new `int` subdirectory. There's also a `IntDomain0` with all the various interfaces and their...

Optimize `none` base privatization, add eager Vojdani privatization

1

# `none` privatizations The `none` privatization in base analysis is a sliced copy of the old unsound Vojdani privatization (which was removed in #736). Thus, it is still based on...

We've kept various solvers around and compiling, but they're untested. For example, it turns out that `topdown_term` is completely broken and only computes bottoms. ### Changes 1. Adds cram test...