GitHub repository: nunoplopes/alive
Primary language: Python
Description: Alive: Automatic LLVM's Instcombine Verifier