[LLVMdev] Adding SMACK to the list of LLVM projects

[Zvonimir Rakamaric]

Great, thanks a lot guys!

Please link to this webpage:
http://smackers.github.com/smack/

Soon it will contain more information. And you can find the more
detailed description of SMACK in my first email.

Thanks again!

Best,
-- Zvonimir

--
http://www.zvonimir.info


On Wed, Feb 6, 2013 at 1:25 PM, Bill Wendling <wendling at apple.com> wrote:
> 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
>