Artifact for Incremental Dead State Detection in Logarithmic Time

Note: Please use gid.tar.gz for newer ARM-based Macs and gid-linux.tar.gz for all other platforms.

You will need a working installation of Docker. Run

docker run hello-world

to see if it is working properly. You should have a file gid.tar.gz which contains the docker image. Please load the image with:

docker load < gid.tar.gz

(this should take less than 5 minutes). You can see all of your images with

docker image ls

you should see one listed as "gid gid" or "gid latest". Load the image into an interactive container with

docker run -it gid

This should bring you into an Ubuntu shell to continue the remainder of the instructions. You can quit the shell (and exit the container) with ctrl-D (or cmd-D on mac). Outside of this shell, you can see all (past and currently running) containers with `docker ps -a`.

Once you have loaded the Docker container, please open README.md to view further information about the artifact and instructions.