[llvm-dev] Alive now available online

[Nuno Lopes via llvm-dev]

Hi,

Just a short email to announce that Alive is now available online: 
http://rise4fun.com/Alive

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.

Nuno

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.