[LLVMdev] Adding SMACK to the list of LLVM projects

[Zvonimir Rakamaric]

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
>