diff --git a/docs/artifact-descriptions/esop23.md b/docs/artifact-descriptions/esop23.md index e567432918..c7607f70a2 100644 --- a/docs/artifact-descriptions/esop23.md +++ b/docs/artifact-descriptions/esop23.md @@ -1,10 +1,12 @@ # ESOP '23 Artifact Description This is the artifact description for our ESOP '23 paper "Clustered Relational Thread-Modular Abstract Interpretation with Local Traces". - +The artifact is available from Zenodo at [here](TODO: Update URL). The artifact is a VirtualBox Image based on Ubuntu 22.04.1. The login is `goblint:goblint`. +For convenience this file is also included in the VM (at `~analyzer/docs/artifact-descriptions/esop23.md`) in order to be able to copy commands. +