issues
search
SymbolicPathFinder
/
jpf-symbc
Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc
130
stars
91
forks
source link
Adding Gradle Support to jpf-symbc GSoC'22 Project
#79
Closed
gaurangkudale
closed
1 year ago
gaurangkudale
commented
1 year ago
Hey there,
Here I have done several changes as follows -
Added Gradle support to jpf-symbc.
Added jpf-core as a Git-Submodule of SPF and jpf-symbc as a normal project.
I have restructured the project as SPF | (Root-project) -----| jpf-core (Git-Submodule & Gradle subproject) -----| jpf-symbc (Gradle subproject)
Upgraded the Gradle version to 6.9
Added / Pulled dependencies from the maven central repository to reduce the Jars in lib dir.
Hey there,
Here I have done several changes as follows -