Skip to content

Downloading binary snapshots

Jump to bottom
Alexander Kohan edited this page Feb 2, 2023 · 5 revisions

Currently, we do not have binary snapshots. We hope to provide them again soon.

We recommend putting all JPF modules under a single parent directory that holds the site.properties file:

jpf/
     site.properties
     jpf-core/
     jpf-symbc/
     …

Many JPF modules are still fast moving, so we recommend using the source repositories to stay up-to-date. Our policy is to only push changes to this server which pass all regression tests

Want to contribute to this Wiki?

Please contact us by creating an issue. We are trying to fix the process below, which no longer works.

Fork it and send a pull request.

Clone this wiki locally