Posts for the month of March 2011

Added page for hosting Eclipse plugin

I have added a page describing Sandro's method for hosting an Eclipse plugin. You have to do it from the wiki, I am convinced now you cannot do it (or at least should not do it) from the repository. See hosting an Eclipse plugin update site.

JPF accepted for GSoC 2011

Java Pathfinder has been accepted as one of the mentoring organizations for Google Summer of Code 2011. Students interested in JPF-related projects are encouraged to peruse the ideas for projects page on the wiki at:

Students interested in projects are encouraged to explore ideas listed on the page as well as their own ideas. Email us at jpf.gsoc [at] gmail [dot] com if you have project specific questions. Ask questions on the JPF mailing list if the question seems relevant for the larger JPF community. The JPF mailing list is open to everyone at:

We hope to have a very busy summer with lots of work on interesting JPF projects.