Adding Dockerfile with example and updated README file#86

Open

gaurangkudale wants to merge 101 commits intoSymbolicPathFinder:gradle-buildfrom gaurangkudale:SPF

+20,160-18,848

Commits on Jun 10, 2022

first commit
gaurangkudale
committed
Merge branch 'master' of https://github.com/SymbolicPathFinder/jpf-symbc into main-gk
gaurangkudale
committed
added jpf-core as submodule project
gaurangkudale
committed
removing files
gaurangkudale
committed
removing file
gaurangkudale
committed
removing unrequired files
gaurangkudale
committed

Commits on Jun 11, 2022

added some code
gaurangkudale
committed

Commits on Jun 12, 2022

modification
gaurangkudale
committed

Commits on Jun 13, 2022

settings.gradle removed subproject
gaurangkudale
committed
changes
gaurangkudale
committed
changes
gaurangkudale
committed

Commits on Jun 14, 2022

changes
gaurangkudale
committed
changes
gaurangkudale
committed
added build-properties.xml
gaurangkudale
committed
Removing Unwanted comments
gaurangkudale
committed

Commits on Jun 16, 2022

changes
gaurangkudale
committed

Commits on Jun 20, 2022

changes
gaurangkudale
committed

Commits on Jun 23, 2022

Upgraded the gradle versionn from 5.4.1 to 6.9
gaurangkudale
committed
adding jpf-core as submodule
gaurangkudale
committed
removing unwanted files
gaurangkudale
committed
added submodule
gaurangkudale
committed
changes in dependencies
gaurangkudale
committed

Commits on Jul 11, 2022

remove submodule
gaurangkudale
committed
remove file
gaurangkudale
committed
changes
gaurangkudale
committed

Commits on Jul 14, 2022

Merge branch 'SymbolicPathFinder:master' into main-gk
gaurangkudale
authored

Commits on Jul 22, 2022

adding jpf-core as git-submodule and declaring jpf-socre dependencies
gaurangkudale
committed
changes
gaurangkudale
committed
removing unwanted files
gaurangkudale
committed
removing files
gaurangkudale
committed
Updating .gitignore
gaurangkudale
committed
Added / Pulling dependencies from mavencentral repo and removing some .jar files related those dependencies
gaurangkudale
committed

Commits on Jul 23, 2022

changes
gaurangkudale
committed

Commits on Aug 1, 2022

Restructuring of jpf-symbc
gaurangkudale
committed

Commits on Aug 4, 2022

changes in jpf-symbc dependencies
gaurangkudale
committed
removing jars
gaurangkudale
committed
Updating .gitingnore
gaurangkudale
committed
commented copyJpfCoreJars tesk
gaurangkudale
committed
Removing coyCoreJars task
gaurangkudale
committed

Commits on Aug 8, 2022

removing unwanted blocks
gaurangkudale
committed
Adding github workflow / github Actions
gaurangkudale
committed
small changes
gaurangkudale
committed
changes in task
gaurangkudale
authored
testing
gaurangkudale
authored
commenting dependencies
gaurangkudale
committed
Merge branch 'main-gk' of https://github.com/gaurangkudale/jpf-symbc into main-gk
gaurangkudale
committed
small changes
gaurangkudale
committed
changes
gaurangkudale
committed
changing to build
gaurangkudale
committed
changes
gaurangkudale
committed
commenting
gaurangkudale
committed
minor changes
gaurangkudale
committed
changs in jobs
gaurangkudale
committed
changing build statement
gaurangkudale
authored

Commits on Aug 9, 2022

testing
gaurangkudale
authored
changes in testing
gaurangkudale
authored
changes
gaurangkudale
authored
cganges
gaurangkudale
authored
revisiting
gaurangkudale
authored
changes in run:
gaurangkudale
authored
small changes in run:
gaurangkudale
authored
Update gradle-publish.yml
gaurangkudale
authored
added recursive tag
gaurangkudale
committed
small update
gaurangkudale
committed
testing jpf-core dir
gaurangkudale
committed
printing current working dir
gaurangkudale
committed
adding git version check
gaurangkudale
committed
commenting for testing
gaurangkudale
committed
uncommenting changes
gaurangkudale
committed
adding new runner
gaurangkudale
committed

Commits on Aug 10, 2022

git submodule update
gaurangkudale
committed
removing unwanted runner "test"
gaurangkudale
committed

Commits on Aug 18, 2022

Some Requested changes are done
gaurangkudale
committed
changes in main.yml
gaurangkudale
committed

Commits on Aug 19, 2022

Testing CI for git-submodule
gaurangkudale
committed
CI update
gaurangkudale
committed
CI update
gaurangkudale
committed
update submodule
gaurangkudale
committed
update in main.yml
gaurangkudale
committed

Commits on Aug 22, 2022

Update README.md
gaurangkudale
authored
Update README.md
gaurangkudale
authored
Adding versioning to jpf-symbc
gaurangkudale
committed

Commits on Aug 23, 2022

Update README.md
gaurangkudale
authored

Commits on Aug 24, 2022

removing green from dependencies
gaurangkudale
committed
Merge branch 'main-gk' of https://github.com/gaurangkudale/SPF into main-gk
gaurangkudale
committed

Commits on Aug 31, 2022

Update Submodule
gaurangkudale
committed

Commits on Sep 3, 2022

Added Comment in dependencies
gaurangkudale
committed
Updating (jpf-core) submodule
gaurangkudale
committed

Commits on Sep 6, 2022

Fixed typos and grammar issues, simplified some minor parts.
yannicnoller
authored

Commits on Sep 8, 2022

Adding run example from cmd
gaurangkudale
authored

Commits on Jan 20, 2023

Merge branch 'gradle-build' into SPF
yannicnoller
authored

Commits on Jun 19, 2023

adding dockerfile and shellscript
gaurangkudale
authored

Commits on Jul 10, 2023