Software Artifact for "The Anchor Verifier for Blocking and Non-Blocking Concurrent Software"

This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Blocking Concurrent Software" published at OOPSLA 2020.  It is a virtual machine image.  Once the VM is booted, use the username `artifact` and password `artifact` to log in.  The README file in the home directory contains further instructions.