Displaying 3 results from an estimated 3 matches for "alive1".
Did you mean:
alive
2020 Jun 18
2
RFC: alive.llvm.org?
+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 Compi...
2020 Jun 17
2
RFC: alive.llvm.org?
No concerns from me. I use Alive2 all the time, and it would be fantastic
to have it available online reliably.
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
On Wed, Jun 17, 2020 at 4:05 PM Chris Lattner via llvm-dev <
llvm-dev at lists.llvm.org> wrote:
>...
2020 Jun 17
4
RFC: alive.llvm.org?
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