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

Jakub (Kuba) Kuderski via llvm-dev llvm-dev at lists.llvm.org
Sat Oct 14 11:37:40 PDT 2017


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>


More information about the llvm-dev mailing list