Java Path Finder Latest Version not available

javapathfinder / jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

527 stars 334 forks source link

Java Path Finder Latest Version not available #435

Open saravmani opened 7 months ago

saravmani commented 7 months ago

Please Tag the newer version for JPF. Currently, I'm seeing 8.0 which is very old.

cyrille-artho commented 7 months ago

We probably want to have a bit more than just the tag: test and document that the new release corresponds to version 9. I think it makes the most sense to do this after issue #421 has been resolved. I am also not so familiar with all of GitHub's work flows; can we create an archive/package of the compiled code automatically for all platforms? Normally, JPF requires multiple JAR files and a few shell scripts, so I'm not sure if GitHub supports an archive that fits with that.