Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet, Amin Timany, Lars Birkedal: Reasoning about Weak Isolation Levels in Separation Logic - Artifact. Zenodo 2025