GitHub repository: AnnotationsForAll/WhyR
Primary language: C++
Created: 2016-10-20T15:18:48Z
Description: An annotation and verification tool for LLVM IR.