Verification Algorithms for Automated Separation Logic Verifiers (Artifact)

This is the artifact for the CAV 2024 paper "Verification Algorithms for Automated Separation Logic Verifiers". For more information, see the description of the artifact in "artifact_overview.pdf". The data in the artifact (minus the implementations of the benchmarked algorithms) can also be found on GitHub: https://github.com/marcoeilers/CAV24-data.