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

[John Regehr via llvm-dev]

> 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