Artifact for "Typestate via Revocable Capabilities" This artifact is for the paper "Typestate via Revocable Capabilities". The file scala3.tar.gz contains the implementation of our Scala 3 compiler prototypeas described in Section 5. Getting Started Guide Requirements JDK version: Eclipse Adoptium Temurin 17.0.14 sbt version: 1.10.7 Following the Getting Started User Guide, any JDK version listedin JDK Compatability should work, as well as the latest sbt version. For the purpose of artifact evaluation, we provide the environment in a Docker image: docker image load -i image.tar.gz docker run -it --rm typestate-scala3:latest Kick the Tires To quickly check all examples, in the Docker image (default path /work): ./checkExamples.sh