[llvm] r197713 - Stay classy (and legal) LLVM. Remove links to 3rd party SMT solver whose links may not be permanent.
listmail at philipreames.com
Thu Dec 19 11:03:37 PST 2013
On 12/19/13 11:00 AM, Philip Reames wrote:
> Out of curiosity, what was the motivation for this change? I don't
> see the advantage in removing them. To my knowledge, there's no legal
> reason to do so either.
I found the discussion under a separate thread and withdraw my question.
More information about the llvm-commits