Some of the case study tools are available here. One of these tools is MiniSAT, the solver by Niklas Een and Niklas Sorensson, which is subject to the MiniSAT License. We will put the full set online if the paper is accepted.
Part of the case study on Vim is
available here.
Currently the source/ and tests/
directories are empty because these artifacts came
from SIR and the work
of Qu et al.; we are still
working on an integrated download process. As such, the case study
script cannot run to completion, but we do include the XML results
in the archive.
Likewise, part of the case study on GCC is
available here. The
script deploy.sh obtains most of the contents from the
GCC repository and the issue tracker, so many directories in this
archive are simply placeholders. Furthermore,
the bugs/ directory is currently empty, though we will
populate it if the paper is accepted.