GitHub repository: AliveToolkit/alive2
Primary language: C++
Created: 2018-06-09T18:03:14Z
Description: Automatic verification of LLVM optimizations