Artifact for the paper "CXLMC: Model Checking CXL Shared Memory Programs"

cxlmc-evaluation.zip contains the Dockerfile, source code for CXLMC, its compiler pass, its benchmarks and the scripts for running the evaluation. cxlmc-artifact-image.tar.gz contains a pre-built docker image, so the time to build the docker image can be avoided. This version fixes the incorrect CXLMCPass commit used in version 3.