Adding Gradle Support to jpf-symbc GSoC'22 Project

[gaurangkudale]

Hey there,

Here I have done several changes as follows -

1. Added Gradle support to jpf-symbc.
2. Added jpf-core as a Git-Submodule of SPF and jpf-symbc as a normal project.
3. I have restructured the project as SPF | (Root-project) -----| jpf-core (Git-Submodule & Gradle subproject) -----| jpf-symbc (Gradle subproject)
4. Upgraded the Gradle version to 6.9
5. Added / Pulled dependencies from the maven central repository to reduce the Jars in lib dir.

[gaurangkudale]

• [x] README is empty

• [x] at least add the instructions for the build

• [x] build files

  • [x] we still have the copy task? https://github.com/gaurangkudale/SPF/blob/ba7369bce2b6324a847112b58b864a2ceceb55c6/build.gradle#L5

• [x] can we have one gradle command for everything, e.g., have a task in the SPF/build.gradle that triggers the builds for the core and symbc… or have a simply make file, so that someone only has to execute make?

• [x] the publishing at the end of SPF/jpf-smbc/build.gradle is that needed? https://github.com/gaurangkudale/SPF/blob/ba7369bce2b6324a847112b58b864a2ceceb55c6/jpf-symbc/build.gradle#L172-L190

  • [x] add a comment that is local maven repo
    • [x] will be triggered by specific commands

• [x] change to “SPF jar files@” → https://github.com/gaurangkudale/SPF/blob/ba7369bce2b6324a847112b58b864a2ceceb55c6/jpf-symbc/build.gradle#L123

  • [x] jpf-symbc or SPF

• [x] Can we run build and tests and separate steps (core and spf)? https://github.com/nus-se/its-baseline/blob/master/.github/workflows/main.yml

• [x] can we separate spf build and test, improve format of the file, name of .yml file: main