<div dir="ltr">I committed the patch in r315820.</div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Oct 13, 2017 at 12:57 PM, Sanjoy Das <span dir="ltr"><<a href="mailto:sanjoy@playingwithpointers.com" target="_blank">sanjoy@playingwithpointers.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">This SGTM.  Please wait one more day, and go ahead and make the change<br>
if no one objects.<br>
<span class="im HOEnZb"><br>
On Tue, Oct 10, 2017 at 12:32 PM, Jakub (Kuba) Kuderski via llvm-dev<br>
<<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br>
</span><div class="HOEnZb"><div class="h5">> Hi folks,<br>
><br>
> We would like to add SeaHorn and Crab-llvm to the list of LLVM's users on<br>
> <a href="http://llvm.org/Users.html" rel="noreferrer" target="_blank">http://llvm.org/Users.html</a> under Open Source Projects. The descriptions<br>
> would be:<br>
><br>
> 1. SeaHorn | An Algorithmic Logic-Based Reasoning Framework.<br>
> 2. Crab-llvm | A static analyzer based on abstract interpretation for LLVM.<br>
><br>
> I attach a patch that would add it to Users.html. Please let me know what<br>
> you think.<br>
><br>
> Best,<br>
> Kuba<br>
><br>
</div></div><div class="HOEnZb"><div class="h5">> ______________________________<wbr>_________________<br>
> LLVM Developers mailing list<br>
> <a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a><br>
> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-dev</a><br>
><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div>Jakub Kuderski</div></div>
</div>