JavaPathFinder / News: Recent posts

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

- jpf-lib.zip
- jpf-build-tools.zip

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.

-jp

NASA has posted the press release for the Java PathFinder open source release! After many years of leaning on the rock, it actually moved!

http://www.nasa.gov/centers/ames/news/releases/2005/05_28AR.html

Login, grab the code and join the mailing lists.