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

[Chris Lattner via llvm-dev]

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