PLDI2024 Artifact: A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata

This artifact contains:

1. README.md : the artifact guide.
2. marple-original-submission.pdf: the original submitted paper.
3. marple:pldi-2024.tar.gz: the docker image (optional, we recommend to pull from the docker hub, see README.md).
4. Dockerfile: the docker file that can reproduce the docker image (optional, we recommend to pull from the docker hub, see README.md).