Hacker News new | ask | show | jobs
John Regehr: Alive2 LLVM optims verification (github.com)
1 points by Cybergenik 1213 days ago