VMCAI 2026 artifact
e371abb
This commit was signed with the committer’s verified signature.
michael-schwarz
Michael Schwarz
Goblint version in the artifact for the VMCAI 2026 paper "Data Race Detection by Digest-Driven Abstract Interpretation".