[LLVMdev] Adding SMACK to the list of LLVM projects

Bill Wendling wendling at apple.com
Wed Feb 6 12:25:42 PST 2013


On Feb 6, 2013, at 7:22 AM, "Criswell, John T" <criswell at illinois.edu> wrote:

> 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?
> 
Just to the release notes. At least, that's when we do blurbs. :)

-bw

> 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




More information about the llvm-dev mailing list