Simon Friis Vindum, Lars Birkedal: Artifact for the paper "Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory" in OOPSLA23. Zenodo 2023