* Adding Import Statements

* testing

File `file` was added previously by accident, it can be safely removed.

Replace palantir git-version plugin with dmdirc.git-version.

* Save properties in VM

* Fix an obscure bug

When a class is copied over into a new classloader, its resolved interfaces must resolve to the new classloader also.

Upgrading to Gradle Version 6.9

added LocalDateTimeTest.java and ClockTest.java files

Unit tests for Package java.util.function. Fixes #306

* The static method java.lang.ThreadLocal.withInitial is added  On line 99

* Added ThreadLocalTest to "src/tests"

* Imports are removed and added a newline character (line break)

remove the empty bodies of some methods in Verify.java, and add `native` qualifiers for them

Remove assert in verify class by replacing the method bodies of these "native" methods with an empty body.

* Add maven-publish plugin

* Make jpf-core-classes as a publication available

* Allow manual triggering the workflow

* add BitFlip annotation for parameters, fields and local variables

* faulty implementation of getBitFlip API

* Address the getBitFlip API issue by (1) moving the logic of choosing flipping positions to Java level and (2) call getInt__II__I only once in MJI level and decode.
I keep the code of both approaches in Verify.java and JPF_gov_nasa_jpf_vm_Verify.java respectively. The one that takes effect for now is (2) in JPF_gov_nasa_jpf_vm_Verify.java, because with getBitFlip__JII__J method in JPF_gov_nasa_jpf_vm_Verify.java, JPF will execute getBitFlip__JII__J instead of getBitFlip in Verify.java.

* explicitly limit up to 7 bits to flip, add more comment to explain the code

* add local Example repository to JPF classpath in jpf.properties

* add Verify.getBitFlip API for double, float and boolean typed variables

* faulty implementation of bit flips for annotated arguments

* move the examples into this repo

* give the ChoiceGenerator of getBitFlip a unique String id

* change the AnnotationSimpleExample to flip 2 bits; remove faulty implementation of parameter bit flips in JVMStackFrame.java

* add listener-based parameter bit flip implementation

* clear the lastFlippedBits entry after exploring all choices

* delete deprecated example classes in src/tests

* add JPF test class BitFlipTest.java to test getBitFlip API and @BitFlip annotation

* address issue #4

* refactor the code, move certain part of code out of BitFlipListener to StackFrame and Types, which can hopefully reduce code duplication later

* partly resolve #5: add implementation for local variable and field annotations, but JPF cannot parse local variables internally; add tests for field annotations in BitFlipTest

* uncomment the testLocalVariableBitFlip test, and annotate it with @Ignore

* resolve #6 by annotating local variables with type annotations

* resolve #7 : add support for command line specified bit flips for fields, parameters and local variables; add tests for them in BitFlipTest.java

* add more comment; add license for new files; clean unnessary changes; move the examples out

* resolve issue #9: add 5 more complex tests for bit flips

* small changes to some comments and variable/method names

* change the new files to use the JPF Apache License

* add gradle tasks to test PolDet with gradle classpath settings;
* add PolDet serializer (to generate information about state changes) and listener (to analyze the results);
* add main method and examples (test cases).

Rename build workflow into baseline build

Exchange the travis build badge for the GitHub build badge

Switch CI from travis to GitHub Actions

* Indentation and grammatical corrrections

Co-authored-by: Eeshan8503 <Eeshan8503@users.noreply.github.com>

Improved Docs

	deleted:    src/classes/java/util/function/Supplier.java: Not needed, and lacked a run-time annotation that may be needed in some cases.

* fixed random search where only one path is explored even with limit > 1

Fixed missing ClassNotFoundException due to oversimplifying the checks in the ClassLoader.loadClass() method call (#205) (#209)

* Fixed missing ClassNotFoundException due to oversimplifying the checks in the ClassLoader.loadClass() method call (#205)

Fixed missing ClassNotFoundException for invalid array types due to incomplete checks in the method Types.getClassNameFromTypeName() (#204) (#208)

* Fixed missing ClassNotFoundException for invalid array types due to incomplete checks in the method Types.getClassNameFromTypeName() (#204)

Added a recursive look-up mechanism for the java.lang.ClassLoader.defineClass() native method and the necessary unit test testDefineClass for this change (#199) (#203)

* Added a recursive look-up mechanism for the java.lang.ClassLoader.defineClass() native method and the necessary unit test testDefineClass for this change (#199)

* Update build.gradle

* Update jpf.properties

* Update JPF_java_lang_ClassLoader.java

Added additional checks in the "SystemClassLoaderInfo" for missing classes and return the class when found.

* Update ClassLoaderTest.java

Added an error test testDefineClassError to test the java.lang.LinkageError when a class is defined twice in the ClassLoader.

PR #202 from rtrimana:master