Fixing bug in recognizing Class<?> as a WilcardTypeImpl.

Added WildcardTypeImpl implementation (minimal support).

Adding WildcardTypeImpl class.

Returning genericDeclaration for TypeVariableImpl's getGenericDeclaration method.

Adding ParameterizedTypeImpl to the getGenericInterfaces method.

Adding ParameterizedTypeImpl to getGenericSuperclass method.

Adding getGenericSuperclass and getGenericInterface methods but without the ParameterizedTypeImpl option.

Fixing the method getGenericParameterTypes to include parameterized object such as Class<U>.

More tests on the Class<U> case.

Found a new case with Class<U> as a generic parameter.

Fixing a bug: There is a non-generic class with genericSignature present inside.

Adding a native method to handle getBounds() with a default answer: java.lang.Object

New problem with Groovy library.

First commit to JPF repo on PLRG server.

First commit to PLRG Git repo.

Testing for all 3 new method implementations.

A proper implementation of getGenericReturnType using the class ParameterizedTypeImpl.

A proper implementation for getGenericParameterTypes using the class ParameterizedTypeImpl.

Adding ParameterizedTypeImpl.java for parameterized types.

A clean implementation for getTypeParameters' native method version.

Instantiating TypeVariableImpl.java

Working example of class instantiation.

Adding the TypeVariableImpl.java class for generics; minimum implementation for now.

Dirty quick fix for getTypeParameters.

Preparing for tracking the object creation etc.

First attempt to add getGenericParameterTypes() and getGenericReturnType(); So far we have not been able to return the generic types with parameters information.

Cleaning up for the real fixes.

Starting a new version of Java Pathfinder.

Starting a new version of Java Pathfinder.

Starting our own version of JPF with support for generics.

Upgrade to gradle 5 (#190)

Fix issue #187: use ubuntu trusty version for travis build environment (#189)

Fix issue #186: package name (thanks to Marvinmw for the report).
modified:   src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java

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)