Reproducibility Package: Elimination of Detached Regions in Dependency Graph Verification

Reproducibility package for the paper *Elimination of Detached Regions in Dependency Graph Verification*, accepted for SPIN'2023.
Contains scripts, 64-bit Linux binaries, and the dataset used to run the experiments detailed in the paper, a source code snapshot used to compile those binaries, as well as the raw results from experiments and scripts for processing the results into the tables and figures seen in the paper. The file README.md contains details on running the various parts of the artifacts, assuming a Linux environment running Bash.