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

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>

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
>

I committed the patch in r315820.

On Fri, Oct 13, 2017 at 12:57 PM, Sanjoy Das <sanjoy at
playingwithpointers.com
> wrote:
> 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
> >
>


-- 
Jakub Kuderski
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20171014/e63983ce/attachment.html>