The artifacts of DEAGLE-DL

It is the artifact of our paper 'Deadlock Verification via Ordering-Constrained Mutex Modeling'. It contains the source code, executable binaries, scripts, benchmark data, and result-processing scripts required to reproduce the experimental results presented in our paper. We have updated our artifact to provide additional usability information in v2 version. It is worth noting that the updated version does not modify any of the experiment-related content inside Docker. Specifically, we have added a folder named `DEAGLE-DL-src` at the root of the artifact (outside the Docker image). This folder contains the complete source code of our tool, and the README in that directory provides detailed instructions on how to build the executable from source, as well as commands for using our tool to verify programs other than those in the datasets presented in the paper.