TraceLinking Implementations with their Verified Designs (Evaluation)

This artifact combines the dataset from evaluating TraceLink, as well as scripts for processing that data. The packaged data is reported and discussed in our publication "TraceLinking Implementations with their Verified Designs", presented at OOPSLA 2025. The scripts in this artifact reproduce part of Table 1, all of Table 3, and all of Table 4 in the paper. Table 2 is a qualitative summary. All other data presented was manually collected, and the two `.ods` files contain all recorded working for summary values we present. Note that this artifact includes a compiled `.jar` of for commit `c376f7c4ea3e1537bdb4e2c6584dfbf614a54e52` of the PGo compiler (with TraceLink features). The full source code, including of that specific commit, is available at https://github.com/distCompiler/pgo. See the included README.md for details.