VMCAI 2024 artifact

sim642 released this 26 Nov 09:38

· 6209 commits to master since this release

ddecc85

Goblint version in the artifact for the VMCAI 2024 paper "Correctness Witness Validation by Abstract Interpretation".

Assets 2