← All repos

nunoplopes/alive

View on GitHub ↗ ★ 227 Python

Alive: Automatic LLVM's Instcombine Verifier

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2014-11-12 · latest 2017-06-22