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

Chris Lattner via llvm-dev
Thu, 18 Jun 2020 20:47:09 -0000

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