Giters

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.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Java Path Finder Latest Version not available

saravmani opened this issue · comments

commented

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

commented

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.