Add some minor changes to the listener to make the error message more clean!

Make more changes to the direct-direct detection feature to detect manual overwrites interactions as well

Adding feature to differentiate direct-direct interactions and conflicts

Make changes to ConflictTracker.java + Adding having different variables feature

Changing small things in the listener!

Add timeout settings to the listener!

Make more changes to the ConflictTracker listener.

Make more changes to the ConflictTracker listener.

Make the program cleaner, easy to understand

Initial commit of analysis before testing through programs!

Adding more state reduction analysis.

Adding the option to activate beam search: a HeuristicSearch with a state queue that is reset at each level.

Fixing a typo in option name.

Updating main.jpf; Cleaning up the StateReducer.

First version of the StateReducer class.

Adding cameras.

Checking for null value before storing the first write.

Changing main.jpf

Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

Adding a new variable.

Adding a new conflict variable.

Adding a null value filter in the tracker; Adding a new conflict variable for lights.

Adding conflict variable for Speeches.

More state reduction

Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

Small improvment in state reduction

Adding conflict variables for lights.

Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

edits

Adding a condition to not check for timeout when it is 0.

Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

Adding new stuff to main.jpf.

SmartThings specific support to reduce state space

Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

SmartThings support

Making sure that the timeout feature exits gracefully.

Adding a timeout feature.

Add constanttime class

Adding extract script for libraries.

Fixing a bug in the tracker.

Adding more groups.

Adding a new library into the runtime path.

Adding a missing library.

Updating conflict variables list in main.jpf.

Adding tracked variables in main.jpf.

Adding Groovy libraries for JPF runs.

Adding options to run.sh for automation.

Adding location.mode variable conflict tracker.

Miscellaneous cleanups.

Fixing a bug in ClassLoader.defineClass(); basically this method has to still return a java.lang.LinkageError exception when it attempts to define the same class twice.

Adding a variable conflict tracker/listener; this is useful for both device and global variable conflict types.

Adding an example groovy SmartThings test of 2 apps.

Adding more memory to the run.

Fixing JPF for methodMissing() method in Groovy: 1) Bug in detecting the array type, 2) Different expected responses for ClassNotFoundException vs. ClassDefNotFoundException.

Moving recursive lookup for defineClass0 just in the native method itself; messing up with the ClassLoaderInfo could potentially harm the URLClassLoader class and other class-loading mechanisms in JPF.

Fixing another bug: The java.lang.StringBuilder.append(char c) needs to consider creating some array when it's set to capacity 0 and append(char c) is then called---such a call has to succeed.

Fixing a bug: Map's parameterized type signature with wildcard was not handled properly.

Fixing a subtle bug: the method isParameterWithType() did not consider arbitrary class names that are prefixed with 'L', e.g., LEmpty, LRandComplex.

Cleaning up a bit Reflection.java.

Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

Fixing a new bug: Considering parameters with Type and Type array, e.g., T and T[].

Adding run scripts.

Adding new examples and tests: Groovy and Java programs.

Finalizing the beta version of the implementation for Groovy extension in JPF: JPF now runs Groovy-compiled bytecode.

Adding recursive call to the getResolvedClassInfo() method: look into the parent (SystemClassLoaderInfo); adding the ProtectionDomain and AllPermission classes.

Fixing the ClassLoader.defineClass() method issue that could not find the necessary class because JPF did not do recursive look-up for ClassLoaderInfo.loadClass().

Adding MagicAccessorImpl class for GroovyMagic.

Upgrading/adapting fixes to Groovy 2.5.7 from Groovy 2.4.8.

Fixing a bug in JPF_java_lang_String.java: There was a bug in the loop of the native method lastIndexOf().

Fixing a bug: the specification is not accurate for WildcardTypeImpl. The com.sun.beans.TypeResolver seems to require the upperBounds field to never be null, but when we run it on the actual JVM, this field can be null when it is not needed (when lowerBounds exist).

Fixing a bug: getWildcardTypeImplObject could not recognize variations of class Type parameters, e.g., +TT vs. +TU.

Adding tests for Type parameter, wild card, and class types for generic classes.

Fixing getGenericReturnType to recognize the GenericArrayTypeImpl and ParameterizedTypeImpl recursively.

Fixing the method getGenericParameterTypes to recognize the GenericArrayTypeImpl type.

Adding the class GenericArrayTypeImpl.java.

Adding upperBounds and lowerBounds extraction for 'super' and 'extends'.

Fixing another bug for getGenericReturnType so that it recognizes Class<?> as WildcardTypeImpl.

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.