bazuzi added a comment. It looks like D153485 <https://reviews.llvm.org/D153485> changes the context for the last few comments significantly. What's the appetite for adding yet another child commit to the chain D153485 <https://reviews.llvm.org/D153485> is in that exposes the solver directly? Instead of committing this and having D153485 <https://reviews.llvm.org/D153485> make a breaking change to expose the solver directly if that's better in the new context.
Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D153805/new/ https://reviews.llvm.org/D153805 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
