[llvm-dev] RFC: alive.llvm.org?

Sanjay Patel via llvm-dev
Wed, 17 Jun 2020 20:28:35 -0000

No concerns from me. I use Alive2 all the time, and it would be fantastic
to have it available online reliably.

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:
https://rise4fun.com/Alive/NDu


On Wed, Jun 17, 2020 at 4:05 PM Chris Lattner via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> 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?
>
> -Chris
>
> > On Jun 16, 2020, at 10:20 PM, John Regehr via llvm-dev <
> llvm-dev at lists.llvm.org> wrote:
> >
> > Hi folks,
> >
> > 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.
> >
> > Nuno and I would like to ask the LLVM community if it's OK to
point
> alive.llvm.org at a cloud machine that I've setup with Alive2 +
Compiler
> Explorer, that should have considerably better availability.
> >
> > Other than the DNS entry, there will be no usage of LLVM community
> resources.
> >
> > For those who don't know what Alive2 is, we wrote an intro here:
> >
> >  https://blog.regehr.org/archives/1722
> >
> > Comments and feedback appreciated. Thanks,
> >
> > John and Nuno
> > _______________________________________________
> > LLVM Developers mailing list
> > llvm-dev at lists.llvm.org
> > https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20200617/e59ef92e/attachment.html>