Verification-Preserving Inlining in Automatic Separation Logic Verifiers -- Artifact

This is the artifact submitted to the OOPSLA 2023 artifact evaluation committee for the paper "Verification-Preserving Inlining in Automatic Separation Logic Verifiers". We have installed all required dependencies on an Ubuntu 20.04 VirtualBox virtual machine. To test the artifact, we used 8 GB of RAM (using less RAM can lead to problems when checking proofs with Isabelle) and 2 processors for the virtual machine and VirtualBox version 6.1. The username is “inlining” and the password is “test”. The README is provided as a pdf