thakis added a comment. In D55978#1338651 <https://reviews.llvm.org/D55978#1338651>, @george.karpenkov wrote:
> Looks reasonable, what about linking with Z3? Or is your goal just to get a > minimally working functionality? Sorry, forgot to reply to this. I don't use this, so I feel someone who does want to use Z3 + GN should probably add support for this. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D55978/new/ https://reviews.llvm.org/D55978 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
