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

John Regehr via llvm-dev llvm-dev at lists.llvm.org
Tue Jun 16 22:20:14 PDT 2020

Hi folks,

I've been running a Compiler Explorer instance with Alive2 on a machine 
in my office, but availability has been poor due to random factors and 
of course recently it hasn't been easy or convenient to go in and fix 
things when the machine gets wedged.

Nuno and I would like to ask the LLVM community if it's OK to point 
alive.llvm.org at a cloud machine that I've setup with Alive2 + Compiler 
Explorer, that should have considerably better availability.

Other than the DNS entry, there will be no usage of LLVM community 

For those who don't know what Alive2 is, we wrote an intro here:


Comments and feedback appreciated. Thanks,

John and Nuno

More information about the llvm-dev mailing list