[LLVMdev] Adding SMACK to the list of LLVM projects

[Criswell, John T]

Dear All,

We can add a link to the SMACK project on the LLVM User's page at http://llvm.org/Users.html at any time.  Bill, does your comment refer to the release notes, or something else?

In any event, if the SMACK project has a web site, I can add the URL to the User's page.  Is the Github URL what you want to use, or is there a web page with more information that we should link to instead?

-- John T.
________________________________________
From: llvmdev-bounces at cs.uiuc.edu [llvmdev-bounces at cs.uiuc.edu] on behalf of Zvonimir Rakamaric [zvonimir at cs.utah.edu]
Sent: Wednesday, February 06, 2013 9:10 AM
To: Bill Wendling
Cc: LLVM Developers Mailing List
Subject: Re: [LLVMdev] Adding SMACK to the list of LLVM projects

Thanks Bill! So should I email you again in 5 months?

--
http://www.zvonimir.info


On Wed, Feb 6, 2013 at 1:10 AM, Bill Wendling <wendling at apple.com> wrote:
> Hi Zvonimir,
>
> We normally list projects that use LLVM when we do a release. The next release will be 3.3, which will probably start up in 5 months or so.
>
> -bw
>
> On Feb 3, 2013, at 9:16 PM, Zvonimir Rakamaric <zvonimir at cs.utah.edu> wrote:
>
>> Hi guys,
>>
>> So, I've been a long-term user of LLVM, and currently me and my
>> students are actively using LLVM in several projects of ours.
>>
>> At this point, I would greatly appreciate if you could add SMACK
>> static checker, which relies on LLVM, to the list of LLVM projects.
>> SMACK is an open-source static checker built on top of LLVM, and we
>> are hoping to get more collaborators and contributors this way.
>>
>> Here is more info about SMACK:
>> ****************************************************************************
>> SMACK Static Checker
>>
>> By <a href="https://github.com/smackers?tab=members">smackers</a>
>>
>> <a href="http://smackers.github.com/smack/">SMACK</a> is a tool for
>> statically checking properties of programs written in C/C++. For a
>> given input program, SMACK checks for violations of user-provided
>> assertions. The tool is open-source and integrates into the well-known
>> LLVM compiler infrastructure. Therefore, SMACK can (at least in
>> theory) check any program that can be compiled with LLVM. It should
>> also be relatively easy to implement and try out different extensions
>> on top of SMACK.
>> ****************************************************************************
>>
>> Please let me know if you need anything else. There already are two of
>> my publications related to SMACK in the LLVM publication list.
>>
>> Thanks a lot in advance for your help!
>>
>> Best,
>> -- Zvonimir
>>
>> --
>> http://www.zvonimir.info
>> _______________________________________________
>> LLVM Developers mailing list
>> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
_______________________________________________
LLVM Developers mailing list
LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev