VMCAI 2025 artifact

sim642 released this 26 Nov 09:40

· 2792 commits to master since this release

852297b

Goblint version in the artifact for the VMCAI 2025 paper "Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts".

Assets 2