New commands for hue and non hue groups.

Adding 'level' for colorControl.

Adding Verify API in color related classes.

Fixing a bug: leftover code.

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

Fixing the previous commit bugs! Adding required classes + required methods

Solving a conflict in Extractor.groovy file

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

Infrastructure now works for: locks, alarms, thermostats, and non-hue lights.

Interleaving events.

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

Fixing a bug: missing capability.button in Extractor.groovy.

Don't check in generated files

Merging changes.

New list for Alarms group.

Adding thermostats run.

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

creating eventsSince for ContactSensor and AeonKeyFobs + commenting runAfter method call + commenting not required queues for timers and functions based on that(We have no delay)

Fixing app list for Alarms group.

Adding color level event.

Cleaning up Extractor.groovy.

Fixing a bug: error in string formatting to match field names.

Get rid of creation of objects for not required classes

Flatten the structure of event while-loop.

Flatten the structure of event while-loop.

Fix bug in extractor script

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

Fixing a bug: missing a closing parenthesis.

a minor bug in schedule method!

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

Fixing a minor bug in schedule method!

Resolving conclicts manually.

Adding new events into the scripts.

some changes in methods

Fixing bugs in classes

Fixing a bug in ContactSensor.

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

Solving the conflicts

typo

Fix smokedetect file

Fixing presence.present for name and value.

Fixing a bug in MusicPlayer.

Fixing conflicting files.

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

Changes in classes: new concept for latest value + all types of events generated by apps + sending events after changing the value of devices' features

Fixing a bug in the event presence.present: name has to be the same as value.

Adding presence.present event.

Minor change in run.sh.

Adding Locks group in run.sh

Adding cases for app and location.

Fixing a bug where we can have two events with different objects/classes, e.g., beacon and presenceSensor.

Adding 2 types of 'unlocked' events both for subscribers to 'lock' and 'unlock' events.

Debugging command.

Fixing a bug in locks: latestValue should have similar value with currentValue.

Fixing a bug in Locks group: we have to change the state of the device before sending the event.

Fixing a bug with capabilityMap extraction.

Commenting out the Verify API calls in the object instantiation to avoid state explosions.

Updating classes with Verify API.

Removing supposedly untracked files.

Adding new events in the script.

Adding new events.

sme minor changes

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

Some minor changes in events' format

Adding direct-direct pair detection; adding missing app lists.

Infrastructure that works for all the locks' group!

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

Infrastructure that works for all the locks' group!

Completing model-check automation script with result extraction.

Cleaning up scripts.

Fixing a bug in event to variable mapping.

Completing physical interaction runs.

Adding a feature to detect potential motion sensor conflict through acceleration sensor.

Adding more features for physical interaction detection and warning.

Adding lists of apps for different categories.

Completing model-checking automation script to process 2 different lists.

Adding path explorations for initializations.

Adding differentiation of two some event subscribing but different capabilities, e.g., carbonMonoxide, battery, etc.

Adding new events.

Adding more exploration for execution paths.

Adding exception generation when there is a Direct-Direct interaction case.

Adding missing changes to the extractor scripts.

Removing/commenting out evt variable that was causing a state explosion.

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

Commit #10: more classes

Limiting iteration for now (DFSearch strategy would just go deep unceasingly); Completing the model-checking automation script; Removing thread from the Timer for now (this creates a lot of permutations for JPF); Hardcoding a few values for the extractor scripts (need to double-check later); Adding a run script for automation.

Adding a script to run automation for model-checking.

Hardcoding options for enum.

Adding a newline at the end of the code.

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

More events to generate based on the subscriber's list.

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

Commit #9: More classes + Extractor with Rahmadi's editions + Fixing some bugs

Fixing a bug in ExtractorScript.py: consuming too many tokens.

Added physical interaction detection into the build flow.

Deleting files and completing event generation.

Added subscribers handling to generate the right events.

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

Commit #9: extension to the infrastructure with more devices + minor changes in extractor part

Adding jpf.jar to enable the compilation of apps with the gov.nasa.jpf.vm.Verify library.