Add RELAY-SV to race detection categories
Adding the RELAY files.
I marked this as draft originally, as I was not sure if it makes sense to run this. The tool is meant to analyze "millions of lines of code". Sill, the paper states that the method is meant to be sound, so it should be viewed as a verifier.
Edited by Vesal Vojdani