Updated Search.java documentation (#184)

* Updated Search.java documentation

Fixed spelling and grammar errors, added verbosity to existing javadoc
and added javadoc where none previously existed.

Surrounded some previously uncaught methods and variables with {@code }

Add Peer for java.util.concurrent.atomic.AtomicReference (#182)

Calendar peer bug demonstration (#181)

* added unit test demonstrating Calendar peer bug

* added comment and main() method which can be called by RunJPF utility

Refined and expanded the javadoc for SearchListener.java and SearchListenerAdapter.java (#178)

Fixed up some of the spelling mistakes in the documentation for SearchListener.java. Added verbosity to the documentation for the class and method descriptions as well as extra details regarding each method and its usage.

Implements a jpf example ConcurrentCount (#177)

* Implements the jpf example ConcurrentCount

* check for concurrency issue

Updated Buffer and Matcher Classes (#171)

Rectifies the java.lang.NoSuchMethodError when usinf printf (#172)

* Rectifies the java.lang.NoSuchMethodError: java.util.regex.Matcher.find(I)Z error by overloading the find() method in native peer classes

* adds unit test

Fix: else-if block was missing code, so the "user" option for console publisher was defunct. Fixed incl. unit tests (thanks to Franck for both).

Added test on redirecting stdout to a file.
modified:   src/tests/gov/nasa/jpf/test/java/io/FileIOTest.java

[fix-bug]: checking attrs is not null in method StackFrame:replaceLocalAttr( ) (#166)

* fix-bug in StackFrame.replaceLocalAttr: attrs is null

* add test-case

FIX: java.lang.Object should be java/lang/Object.
modified:   src/main/gov/nasa/jpf/vm/Types.java: Fixed incorrect type descr.
modified:   src/tests/gov/nasa/jpf/test/java/lang/ClassTest.java: Unit test.

FIX: "java.lang.Char" should be "java.lang.Character". However, new unit test fails due to other problem.
new file:   src/tests/gov/nasa/jpf/test/java/io/PrintStreamTest.java: New test, failing part commented out.

Fixed out-of-bounds cases for substring.

Added StringIndexOutOfBoundsException for charAt, with unit tests.

Fixed behavior of division by 0 on doubles (should be Infinity), added tests.

Fix for System.in.available().
modified:   src/classes/java/lang/System.java: Custom instance with fix.
modified:   src/tests/gov/nasa/jpf/test/java/lang/SystemTest.java: Unit test.

Support Runtime.halt.
            modified:   src/peers/gov/nasa/jpf/vm/JPF_java_lang_Runtime.java: Native peers.
            modified:   src/tests/gov/nasa/jpf/test/java/lang/RuntimeTest.java: Tests.

modified:   build.gradle: Put JPF version into JAR metadata by retrieving latest tag (to use it as the version string).

modified:   bin/jpf-sv-comp: adapt script to path convention.

modified:   bin/jpf-core-sv-comp: Adapt jpf location to new path convention.

new file:   jpf-core-sv-comp: jpf-core-only configuration.

Merge branch 'sv-comp-run-script' of git://github.com/peterschrammel/jpf-core into peterschrammel-sv-comp-run-script

Improves annotation support (#161)

* Improves annotation support

Closes #150. Improves toString to cover all primitive types and annotation
attributes. Also adds support for:

* Default value reflection
* hashCode/equals on annotations
* nested annotations
* Ignoring missing annotations (which is what the JVM does)

* Reverts unrelated format change

Merge pull request #157 from uwplse/set_throwable_cause

Fixes setCause on default exception

Fixes default method resolution (#159)

* Fixes default method resolution

Merge pull request #156 from uwplse/null_lambda_capture

Fixes null captured parameters

Merge pull request #155 from uwplse/array_setget

Fix get/setShort for field and array reflection

Fixes setCause on default exception

Fixes null captured parameters

Fix get/setShort for field and array reflection

Run script for Benchexec

Benchexec is the benchmarking framework used
by SV-COMP.
https://github.com/sosy-lab/benchexec

It can be run using the benchmark definition in
https://github.com/sosy-lab/sv-comp
and the benchmarks in
https://github.com/sosy-lab/sv-benchmarks

Removed Codecov badge

Merge pull request #98 from jeandersonbc/master

Support to Gradle Build and Repository Cleanup

Updated travis settings

Ignoring reports/ dir

Organized build script

Bump Gradle version

Removed jacoco and builscan from regular build

Fixes #95 - Using 'git desribe --tags' rather than hash

Issue #95 - Updated ReporterResourcesTest

Added Eclipse support for gradle

Revert "Removed docs dir (should be in a different place/branch)"

This reverts commit b59acc6ac631d3e4624b81867296812fcc9ff575.

Removed docs dir (should be in a different place/branch)

Extra - Fixed Codecov URL badge

Update README.md

Extra - Added Codecov support

Extra - Added Jacoco for test coverage analysis

Merge branch 'master' into gradle

Added missing version id

Added acceptance of scans.gradle.com terms of service

Enabled build scan

Reorganized task descriptions and removed IDE-related files

Updated build.gradle script file

Fixed task dependencies

Fixed missing properties files on build cycle

Removed IDE-related files

Removed META-INF directory

Ignoring build.properties file

Removed build.properties and updated build.gradle

Removed Ant script (#87)

Added missing packaging tasks on Gradle build (#84)

* Added srcDist task (#82)

* Added dist task (#82)

Merge pull request #79 from jeandersonbc/issue78

Created buildinfo task (#78)

Created buildinfo task (#78)

Added tests to verify if resources exist in classpath (#76)

Build tasks and tests to verify if resources exist in classpath

* Added minimal Java main to debug Reporter (#75)

* Added failing test due to missing .version file (#75)

* Added generateVersion task on Gradle Build (#75)

* Added test to check if hashes match with git output (#75)

Merge pull request #74 from jeandersonbc/issue56

Added ignored tests (Fixes #56)

Added ignored tests (Fixes #56)

Adds support to Jar tasks on Gradle build (#70)

* Organized Gradle tasks

* Implemented task to generate 'jpf-classes.jar' file (#57)

* Updated test runtime configuration (#57)

* Updated task dependencies and fixed jar file name (#57)

* Moved test configurations

* Added RunJPF.jar and RunTest.jar

* Added username to manifest (#57)

* Fixed .class files from jpf-classes.jar and updated Manifest from RunJPF.jar (#57)

Merge pull request #65 from jeandersonbc/issue64

Copying build.properties to output dir

Copying build.properties to output dir (fixes #64)

Implemented log summary and updated log configurations (#54) (#55)

Added Java Plugin to the Gradle build (#52)

* Added settings.gradle file

* Added support to Java gradle plugin (#46)

* Added fork configuration (#46)

* Updated classpath settings and generated directories (#46)

* Temporarily ignoring failing tests (#46)

* Created compile task and marked it as the default task (#46)

* Updated travis configuration for Gradle

Fix incorrect IncompatibleClassChangeError in ClassInfo.getDefaultMethod (#7)

The logic to detect if there are two conflicting default methods was incorrect.
If a class and its superclass both implement the same interface JPF should not
throw an IncompatibleClassChangeError.

Added minimal Gradle support to jpf-core (#45)

* Added gradle wrapper (#43)

* Ignoring .gradle dir (#43)

* Added minimal build.gradle script (#43)

* Added dummy 'check' task (#43)

Merge pull request #4 from gayanW/3

Improve .gitignore file

Merge pull request #16 from javapathfinder/dev

Build status from dev branch

Merge pull request #15 from gayanW/patch-1

Embed Travis status image to README.md

Embed Travis status image to README.md

The badge to show the build status of the master branch of the jpf-core repository.

Merge pull request #14 from javapathfinder/dev

Use current jdk version in travis

Merge branch 'dev' of https://github.com/javapathfinder/jpf-core into dev

Returning SharedSecrets to its original state since java8_u171 fixes the issue

Merge pull request #13 from gayanW/dev

Make Travis build against latest available oracle-jdk

Merge branch 'dev' into dev

Merge branch 'dev' of https://github.com/javapathfinder/jpf-core into dev

Merge branch 'master' of https://github.com/javapathfinder/jpf-core into dev

Make Travis build against latest available oracle-jdk

Modify .travis.yml so that it builds against the latest available oracle-jdk that is provided from the PPA oracle-java8-installer.

Create .travis.yml

Add Travis CI config file to automatically build against OracleJDK8, OpenJDK8.

Delete travis support from dev

It was already added to master, no need for this duplication

Merge pull request #6 from gayanW/travis

Create .travis.yml

First try for Travis

Removing referebces to JavaObjectInputStreamAccess that is no longer in Java8_u161

Merge pull request #5 from jeandersonbc/readme-update

Updated README.md file

Updated README.md file

Create .travis.yml

Add Travis CI config file to automatically build against OracleJDK8, OpenJDK8.

Included a missing import to GenPeer.

Uploaded wiki images.

Moved the documents to jpf-core/wiki

Improve .gitignore file

Add new entries to ignore IDE/OS and auto generated files.

Merge branch 'master' of https://github.com/javapathfinder/jpf-core

Updating README to point to the wiki

fix bug: check division by zero