[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