GitHub repository: smlambert/aqafer
Description: A repo to make it easy to run AQAvit verification against different OpenJDK binaries