Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
PrototypeCommon

nunoplopes/alive

Alive: Automatic LLVM's Instcombine Verifier

Owner
nunoplopes (personal account)
Stars
Stars: 227
Forks
Forks: 20
Language
Python
License
Apache-2.0
Created
2014
Topics
llvmverification
Tier
Prototype (100 to 249 ★) What this tier means
View on GitHub

Nearby in Python

All Python repos