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

[John Regehr via llvm-dev]

> 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