[llvm-dev] Equality saturation: Status & how-to-upstream discussion

(IIIT) Siddharth Bhat via llvm-dev llvm-dev at lists.llvm.org
Mon Sep 18 01:28:02 PDT 2017

My bad, I didn't actually fork it from the llvm mirror. I had a local copy
which I pushed. You can compare against "master", however. Be warned, the
code is fugly :)


On Mon, 18 Sep 2017 at 04:40 John Regehr via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> > I've been working on a prototype implementation of equality saturation
> > on a personal branch:
> >
> >
> https://github.com/bollu/llvm/tree/1ab19bdb5eba00d1d508535758d700c1d60a3815
> Usually when you fork a github repo, a "compare" button will appear that
> makes it easy for people to see the diffs with respect to the upstream
> version. But I'm not seeing that here -- did you do something
> non-standard when you forked LLVM?
> John
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
Sending this from my phone, please excuse any typos!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170918/4f3c11ca/attachment.html>

More information about the llvm-dev mailing list