Adding SMACK to the list of LLVM projects

Project Infrastructure LLVM Dev List Archives
#1

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:

#2

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

#3

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

#4

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.

#5

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. :slight_smile:

-bw

#6

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