[llvm-dev] Alive now available online

Nuno Lopes via llvm-dev llvm-dev at lists.llvm.org
Thu Jan 5 14:42:51 PST 2017


Just a short email to announce that Alive is now available online: 

The site includes a few examples (both correct and buggy). You can also 
create a "permalink" to send the proof to someone else.

The execution time is limited to 30 seconds for now.  You may want to 
constrain the operand's types if the tool times out, for example.

The service is still in tests.  Please let me know if you run into problems 
and/or if you have comments or feature requests.


P.S.: The semantics implemented in this release is the one I've presented at 
the last LLVM dev meeting.  I've kept undef for now, though, but there's a 
poison value.  There's (very) limited support for branches as well. 

More information about the llvm-dev mailing list