search

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.
535 stars 339 forks source link

Migration to Java 11 #416

Closed cyrille-artho closed 11 months ago

cyrille-artho commented 1 year ago

The default master branch now supports Java 11. Java 8 support is on branch java-8. Please update your local repos if you have cloned jpf-core earlier. We will soon update the documentation.

git branch -m java-10-gradle master
git fetch origin
git branch -u origin/master master
git remote set-head origin -a
Tejasker commented 11 months ago

Hi @cyrille-artho, is there anything that needs changes in documentation as mentioned above? or else the changes are done as needed, if not I can make changes accordingly.

cyrille-artho commented 11 months ago

No, the documentation is up to date. We created this issue to help with transitioning from a cloned repository from before Aug 28 (2023), and as almost four months have passed now, we can close this issue.