Downloading sources

JPF Source Repository Access

JPF sources are kept as Git repositories on GitHub within the Java Pathfinder organization. You need to clone the repository (e.g. https://github.com/javapathfinder/jpf-core) that you are interested in.

Feel free to fork the desired repository. Contributions are welcome, and we invite you to subscribe in our mailing list: [email protected]

Git is a Distributed Version Control System (DVCS), like Mercurial. If you are not familiar with this, it means "all repositories are created equal", and you have to read up a bit. The foremost authority is "PRO Git Book".

We also encourage you to check the following GitHub guides to familiarize yourself with the GitHub development workflow:

Command Line Access

Getting the source files

To check out the jpf-core, it is recommended to fork the repository.

If you only want to download the project, you can just download the repository content as a zip file. On the repository page, click on the Clone or Download button, and proceed with Download as ZIP.

When you fork a GitHub repository, you create a copy of the project in your GitHub account. Then, use the git command clone to check out your forked repository in your local machine.

In the following example, we use SSH but you can also use HTTPS. Note that you will have to use your username and password when using HTTPS. See the Connecting to GitHub with SSH guide for more info.

> cd ~/projects

> git clone [email protected]:<your_username>/jpf-core.git
Cloning into 'jpf-core'...
remote: Counting objects: 2036, done.
remote: Compressing objects: 100% (63/63), done.
remote: Total 2036 (delta 33), reused 54 (delta 19), pack-reused 1941
Receiving objects: 100% (2036/2036), 1.75 MiB | 1.57 MiB/s, done.
Resolving deltas: 100% (903/903), done.

The same process can be repeating by substituting jpf-core with other projects within the Java Pathfinder organization you are interested in. You can install the projects wherever you want, but you have to remember where you installed them for the subsequent site.properties configuration.

Synchronizing your forked repository with our main repository

When you have a forked repository, it will not update automatically when the original repository updates. To keep your forked repository synchronized, proceed with the following steps:

Add a reference to our main repository

> cd ~/projects/jpf-core
> git remote add upstream http://github.com/javapathfinder/jpf-core

Use the git command pull to fetch and merge the changes from upstream into your local repository

> git pull upstream master
From https://github.com/javapathfinder/jpf-core
 * branch            master     -> FETCH_HEAD
Updating 9a10635..18a0c42
Fast-forward
 .gitignore                                           | 63 ++++++++++++++++++++++++++++++++++++++++++++++++++++++---------
 .travis.yml                                          | 17 +++++++++++++++++
 README.md                                            |  3 ++-
 src/main/gov/nasa/jpf/vm/ClassInfo.java              |  2 +-
 src/tests/gov/nasa/jpf/test/vm/basic/MethodTest.java | 20 ++++++++++++++++++++
 5 files changed, 94 insertions(+), 11 deletions(-)
 create mode 100644 .travis.yml

Now, your local repostory is synchronized, but you need to update your remote (forked repository on GitHub) repository.

Use the git command push to submit the local changes:

> git push origin master

If you want to contribute to the project, you must make changes in your local repository and push them to your forked remote repository. In this situation, your remote repository is ahead of ours, and you must create a pull request. For more info, please, check the Creating a Pull Request guide.