Zvonimir Rakamaric
2013-Feb-06 15:10 UTC
[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 >
Criswell, John T
2013-Feb-06 15:22 UTC
[LLVMdev] Adding SMACK to the list of LLVM projects
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
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