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

John Regehr via llvm-dev
Thu, 18 Jun 2020 22:10:26 -0000

Thanks for being supportive, folks! This site is working now:

   https://alive2.llvm.org/

I am hoping that availability will be much better than before. It is not
an incredibly strong machine, so if your alive query requires a lot of
memory or CPU time, you will need to run it on your own hardware (but
also we are working on technical fixes for some of the timeouts that are
currently seen).

Nuno and I will work on some sort of document about Alive2 that we can
make part of the LLVM documentation.

John


On 6/18/20 2:47 PM, Chris Lattner wrote:
> Cool, I’m not hearing any objections to this - John please work with
llvm-admin to get it set up, thanks!
>
> -Chris
>
>> On Jun 17, 2020, at 11:11 PM, Roman Lebedev <lebedev.ri at
gmail.com> wrote:
>>
>> +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