A Separation Logic for Heap Space under Garbage Collection - Artifact

This is the artifact corresponding to the article entitled A Separation Logic for Heap Space under Garbage Collection, and its associated documentation.