llvm dev - Jun 2020 - RFC: alive.llvm.org?

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>

> 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
I don't expect it would be real hard to shoehorn alive1 into Compiler 
Explorer, but Nuno and I will have to talk about whether we (or he, more 
accurately) wants to keep supporting it. We might prefer to try to just 
support use cases such as your example in alive2.

John

+1 to alive2.llvm.org

On Thu, Jun 18, 2020 at 8:11 AM John Regehr via llvm-dev
<llvm-dev at lists.llvm.org> wrote:
>
> > 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
>
> I don't expect it would be real hard to shoehorn alive1 into Compiler
> Explorer, but Nuno and I will have to talk about whether we (or he, more
> accurately) wants to keep supporting it. We might prefer to try to just
> support use cases such as your example in alive2.
alive1 is python2 though, so someone would need to port it to python3 first.

Perhaps a better alternative would be to finish adding
missing support for Preconditions/constants into alive2
> John
Roman
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev