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.

Commit #9: update to previous commit

Commit #8: New version of extractor with running the preferences method make things much more flexible to control

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

Commit #7: Events thread-based + new easier Extractor.py + our own Timer class

Removing binary files.

Commit #7: eventHandler and event queue are unique between two apps now. (Similar to the samsung architecture for smartthings.)

Commit #6

Commit #5

Commit #5

Commit #4

Commit #3

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

Commit #2

Modifying variable names in the Makefile to avoid confusion.

"First commit!"

Creating a new repository for SmartThings Groovy infrastructure for model-checking.