Staging for Race Digests

[michael-schwarz]

Staging for PRs related to data race digests:

• Analysis of pthread_barriers #1652
• Support for pthread_once #1663
• Ability to enable/disable may_race checks per race digest #1664

DO NOT MERGE

[sim642]

Is there anything here to still be extracted as separate PRs?

[michael-schwarz]

There's support for #1664 which I don't think is particularly useful in Goblint beyond the ability to re-run our precise experiments in the manuscript.

Depending on how the paper fares, I would cut a (pre-)release form this branch (after feeding back the improvements in the other places) to obtain the artifact. As such, I would suggest keeping it open for now, but closing it once we have the artifact.

[michael-schwarz]

The artifact was accepted without any modifications becoming necessary. I have now cut a release fromt his branch https://github.com/goblint/analyzer/releases/tag/vmcai26.

Therefore this PR is now longer needed.

[sim642]

It might make sense to separately add the artifact description to Goblint documentation like we've done in the past.

[michael-schwarz]

Sure, I'll add it to my TODO list. Can't promise I'll get around to it anytime soon though...