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

Renato Golin via llvm-dev
Wed, 17 Jun 2020 21:13:28 -0000

Nope. Sounds like a solid improvement!

On Wed, 17 Jun 2020 at 21:05, 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