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 prototype
as 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 listed
in 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