Hacker GitHub

← 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

Mentions per year 3 mentions · busiest year 2014 (1)
20082026
AllStoriesComments NewestTopOldest
  1. …and then compiled into an LLVM pass. If the rewrite can't be verified, then Alive won't allow it. https://github.com/nunoplopes/alive And then there's STOKE, which uses stochastic search to investigate possible program transformations of…
    comment by chrisaycock · 2017-06-22 · in What Challenges and Trade-Offs Do Optimising Compilers Face?
  2. Check out Alive http://web.ist.utl.pt/nuno.lopes/pubs.php?id=alive-pldi15 https://github.com/nunoplopes/alive http://blog.regehr.org/archives/1170
    comment by bronxbomber92 · 2015-03-26 · in The Z3 Theorem Prover released under MIT license
  3. I'm the author of this piece. Everyone should go try out Alive instead of reading the blogpost: https://github.com/nunoplopes/alive Alive automates all of the stuff described in the post. Here's some info:…
    comment by regehr · 2014-11-12 · in Automated Reasoning About LLVM Optimizations and Undefined Behavior