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

[Jakub (Kuba) Kuderski via llvm-dev]

Hi folks,

We would like to add SeaHorn <http://seahorn.github.io/> and Crab-llvm
<https://github.com/seahorn/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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20171010/c46d21fe/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: users.patch
Type: text/x-patch
Size: 844 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20171010/c46d21fe/attachment.bin>