[llvm-dev] Equality saturation: Status & how-to-upstream discussion (original) (raw)
John Regehr via llvm-dev llvm-dev at lists.llvm.org
Sun Sep 17 19:40:40 PDT 2017
- Previous message: [llvm-dev] Equality saturation: Status & how-to-upstream discussion
- Next message: [llvm-dev] Equality saturation: Status & how-to-upstream discussion
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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
- Previous message: [llvm-dev] Equality saturation: Status & how-to-upstream discussion
- Next message: [llvm-dev] Equality saturation: Status & how-to-upstream discussion
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]