Commit corresponding to the submission to ATVA as a tool paper.
This tag has no release notes.