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

Gradle version is outdated

cyrille-artho opened this issue · comments

JPF currently builds with Gradel 5.4.1 (on branch java-10-gradle), which is a very old version of Gradle.
Converting to a new version will require some adaptations in the build script, but will enable us to support newer versions of the Java compiler and run-time environment in the future.

Hi @cyrille-artho
The latest version of gradle is v8.2 so jpf-core should support the same or different?

Hello @gaurangkudale, I have started working on this task as part of GSoC-23. If you have not started work on it, would you mind if I take it up?

Thanks in advance!

Hello @cyrille-artho,
Updated to Gradle 6.0
Now, incrementally moving up by resolving deprecations, as you suggested.

Thanks!

Great, please make a PR for major Gradle version upgrades (isolating this change from other changes you are working on, such as fixing the compilation error for your large PR).