[llvm] r197713 - Stay classy (and legal) LLVM. Remove links to 3rd party SMT solver whose links may not be permanent.

Philip Reames 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 mailing list