[llvm-dev] [RFC] Add SeaHorn and Crab-llvm to Users.html

[Sanjoy Das via llvm-dev]

This SGTM.  Please wait one more day, and go ahead and make the change
if no one objects.

On Tue, Oct 10, 2017 at 12:32 PM, Jakub (Kuba) Kuderski via llvm-dev
<llvm-dev at lists.llvm.org> wrote:
> Hi folks,
>
> We would like to add SeaHorn and Crab-llvm to the list of LLVM's users on
> http://llvm.org/Users.html under Open Source Projects. The descriptions
> would be:
>
> 1. SeaHorn | An Algorithmic Logic-Based Reasoning Framework.
> 2. Crab-llvm | A static analyzer based on abstract interpretation for LLVM.
>
> I attach a patch that would add it to Users.html. Please let me know what
> you think.
>
> Best,
> Kuba
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>