-
Notifications
You must be signed in to change notification settings - Fork 344
Google Summer of Code
cyrille-artho edited this page Feb 26, 2019
·
9 revisions
The JPF project has participated in the Google Summer of Code for a number of years. More details can be found here.
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