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.