Mercurial > hg > Members > kono > jpf-core

view README @ 31:0069194b1048

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Updated the model class sun.misc.SharedSecrets to make it compatible with the recent updates in jdk8u75. New methods added to sun.misc.SharedSecrets are used by clinit in java.io.ObjectInputStream which caused JPF to throw java.lang.NoSuchMethodException.
author nastaran <nastaran.shafiei@gmail.com>
date Wed, 25 May 2016 10:43:50 -0700
parents 61d41facf527
children
line wrap: on
line source

                          Java PathFinder README
                          ======================

========General Information about JPF ===================

All the latest developments, changes, documentation can
be found at: 

http://babelfish.arc.nasa.gov/trac/jpf/wiki


========Building and Installing =========================

If you are having problems installing and running JPF
please look at the documentation on the wiki at:

http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/start

A lot of the commonly problems during the install and build
process have been documented on the wiki. Please make sure
that the the issue you are running into is not addressed
there; if is not then feel free to contact us at
java-pathfinder@googlegroups.com


======Documentation======================================

There is a constant effort to update and add JPF
documentation on the wiki. If you would like to contribute
in that, please contact us at
java-pathfinder@googlegroups.com



Happy Verification
-- the Java PathFinder team