This release is a snapshot of the codebase as it was submitted to the PLDI 2024 Artifact Evaluation.
The attached output-data.zip contains a cached result of running our evaluation on the test set described in the paper. The unzipped contents of this file can be placed in evaluation/data/output for further analysis and plotting. Please see the artifact evaluation README.md for more information about how to interpret these files.