PerSeVerE: Persistency Semantics for Verification under Ext4

This is the artifact accompanying the paper "PerSeVerE: Persistency Semantics for Verification under Ext4" which is conditionally accepted in POPL'21.   We consider our paper's artifact to be the set of benchmarks we used in the paper, as well as the results we got by running a particular version of Persevere (and its naive counterparts) on the benchmarks set. We do not consider the artifact of the paper to be Persevere itself, as it will evolve over time, and the results obtained by running the same benchmarks may differ in the future. We have made Persevere publicly available on \href{https://github.com/MPI-SWS/genmc}{GitHub}, as part of the GenMC tool. For any bugs, comments, or feedback regarding Persevere, please do not hesitate to contact us.