Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
-rw-r--r-- 953 .gitignore
-rw-r--r-- 345 .travis.yml
-rw-r--r-- 11358 LICENSE-2.0.txt
-rw-r--r-- 1241 README.md
drwxr-xr-x - bin
-rw-r--r-- 6865 build.gradle
drwxr-xr-x - docs
drwxr-xr-x - examples
drwxr-xr-x - gradle
-rwxr-xr-x 5916 gradlew
-rw-r--r-- 2941 gradlew.bat
-rw-r--r-- 15333 jpf.properties
drwxr-xr-x - lib
-rw-r--r-- 1788 main.jpf
-rwxr-xr-x 822 run.sh
-rw-r--r-- 30 settings.gradle
drwxr-xr-x - src