Infrastructure compatible for all groups instead of switches.

Removing not required events in device handlers.

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

Fixing a bug in ColorControl.

Variables and events for each device has updated!

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

Fixing a bug in color control.

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

Decreasing the number of required events for each device by mapping them to one single event.

Adding sunset and sunrise events.

Adding missing methods; setting default value to on.

Adding integer input.

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

Adding more events for button.

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

Infrastructure works for lights' group now!

Adding new events.

Using less Verify calls for Thermostats.groovy.

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

Commenting out Verify APIs for app installation.

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

edits and remove generated flag from repo

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.