GitHub repository: sthagen/AliveToolkit-alive2
Primary language: C++
Description: Automatic verification of LLVM optimizations