If you use JPF please let the rest of us know where you are, by adding yourself to http://www.frappr.com/jpfusers
We've have put up and updated release. This is in anticipation of a more official updated release...
The 1.0 release has a number of problems that have been fixed in CVS. Please use CVS if you can. If you have questioins about using CVS, go to the help forum.
Peter says (on the developer's list) "I think I got most of the Java 1.5 problems sorted out - can you please start to use JPF (from CVS) on Java 1.5, so that I get a bit more testing before we make a new release? "
I just uploaded two separate zip archives
containing 3rd party runtime and build libraries for
JavaPathFinder. See the "Prerequisites" doc for details.
Unzip both in the JavaPathFinder root dir. Contents should be
automatically picked up if you use
bin/jpf - to start JavaPathFinder
build-tools/bin/ant - to build the system
No need for any additional CLASSPATH settings.... read more
As of now we recommend using Java 1.4 for JPF. There are subtle changed in classfile format in 1.5 that doesn't sit well with BCEL.
You will need to grab a few other (open source) libraries to run JPF. See the Prerequesits on the Home Page.
If you are having trouble with JPF.pdf from the release .zip file - you can also get it from the Home Page.
There is a Java PathFinder source release posted under the Files category in the javapathfinder package.
Access via anonymous CVS should be available in a few hours, so we are told.
NASA has posted the press release for the Java PathFinder open source release! After many years of leaning on the rock, it actually moved!
Login, grab the code and join the mailing lists.