[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