-
Notifications
You must be signed in to change notification settings - Fork 344
Google Summer of Code
Yannic Noller edited this page Mar 6, 2021
·
9 revisions
The JPF project has participated in the Google Summer of Code for a number of years. More details can be found here.
A list of ideas (not exhaustive); other ideas are welcome.
An overview of GSoC and JPF's aims for this summer.
Please contact us by creating an issue. We are trying to fix the process below, which no longer works.
-
How to obtain and install JPF
- System requirements
- Downloading
- Creating a site properties file
- Building, testing, and running
- JPF plugins
-
Developer guide
- Top-level design
- Key mechanisms
- Extension mechanisms
- Common utilities
- Running JPF from within your application
- Writing JPF tests
- Coding conventions
- Hosting an Eclipse plugin update site