wiki:install:snapshot

Download Binary Snapshots

Available binary snapshots are attached as *.zip archives to their respective JPF module pages. Just click the on the download link and tell your browser where to store them on disk, which you need to remember for your subsequent site.properties configuration. 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

Last modified 4 years ago Last modified on 03/14/2014 01:48:55 PM