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

[John Regehr via llvm-dev]

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