<div dir="ltr"><div>No concerns from me. I use Alive2 all the time, and it would be fantastic to have it available online reliably. <br></div><div><br></div><div>If we can get Alive1 up there too, that would be even better. I still use that to try to prove things where it's not obvious how to express the relationships in pure LLVM IR:</div><div><a href="https://rise4fun.com/Alive/NDu">https://rise4fun.com/Alive/NDu</a></div><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jun 17, 2020 at 4:05 PM Chris Lattner via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">This seems pretty clear cut to me - alive2 is a great tool, and I’d love to see it get more visibility in the LLVM world.  Would it make sense to add a web page and make it feel more like an llvm project?  Does anyone else have any concerns?<br>
<br>
-Chris<br>
<br>
> On Jun 16, 2020, at 10:20 PM, John Regehr via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br>
> <br>
> Hi folks,<br>
> <br>
> I've been running a Compiler Explorer instance with Alive2 on a machine in my office, but availability has been poor due to random factors and of course recently it hasn't been easy or convenient to go in and fix things when the machine gets wedged.<br>
> <br>
> Nuno and I would like to ask the LLVM community if it's OK to point <a href="http://alive.llvm.org" rel="noreferrer" target="_blank">alive.llvm.org</a> at a cloud machine that I've setup with Alive2 + Compiler Explorer, that should have considerably better availability.<br>
> <br>
> Other than the DNS entry, there will be no usage of LLVM community resources.<br>
> <br>
> For those who don't know what Alive2 is, we wrote an intro here:<br>
> <br>
>  <a href="https://blog.regehr.org/archives/1722" rel="noreferrer" target="_blank">https://blog.regehr.org/archives/1722</a><br>
> <br>
> Comments and feedback appreciated. Thanks,<br>
> <br>
> John and Nuno<br>
> _______________________________________________<br>
> LLVM Developers mailing list<br>
> <a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
> <a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div>