smartthings-infrastructure.git
2019-08-05 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-05 rtrimanaCommenting out Verify APIs for app installation.
2019-08-04 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-04 bdemskyedits and remove generated flag from repo
2019-08-04 rtrimanaNew commands for hue and non hue groups.
2019-08-04 rtrimanaAdding 'level' for colorControl.
2019-08-04 rtrimanaAdding Verify API in color related classes.
2019-08-04 rtrimanaFixing a bug: leftover code.
2019-08-03 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-03 amirajFixing the previous commit bugs! Adding required classe...
2019-08-03 amirajSolving a conflict in Extractor.groovy file
2019-08-03 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-03 amirajInfrastructure now works for: locks, alarms, thermostat...
2019-08-03 rtrimanaInterleaving events.
2019-08-03 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-03 rtrimanaFixing a bug: missing capability.button in Extractor...
2019-08-03 bdemskyDon't check in generated files
2019-08-03 rtrimanaMerging changes.
2019-08-03 rtrimanaNew list for Alarms group.
2019-08-02 rtrimanaAdding thermostats run.
2019-08-02 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-02 amirajcreating eventsSince for ContactSensor and AeonKeyFobs...
2019-08-02 rtrimanaFixing app list for Alarms group.
2019-08-02 rtrimanaAdding color level event.
2019-08-02 rtrimanaCleaning up Extractor.groovy.
2019-08-02 rtrimanaFixing a bug: error in string formatting to match field...
2019-08-02 amirajGet rid of creation of objects for not required classes
2019-08-02 rtrimanaFlatten the structure of event while-loop.
2019-08-02 rtrimanaFlatten the structure of event while-loop.
2019-08-02 bdemskyFix bug in extractor script
2019-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-01 rtrimanaFixing a bug: missing a closing parenthesis.
2019-08-01 amiraja minor bug in schedule method!
2019-08-01 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-01 amirajFixing a minor bug in schedule method!
2019-08-01 rtrimanaResolving conclicts manually.
2019-08-01 rtrimanaAdding new events into the scripts.
2019-08-01 amirajsome changes in methods
2019-08-01 amirajFixing bugs in classes
2019-08-01 rtrimanaFixing a bug in ContactSensor.
2019-08-01 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-01 amirajSolving the conflicts
2019-08-01 bdemskytypo
2019-08-01 bdemskyFix smokedetect file
2019-08-01 rtrimanaFixing presence.present for name and value.
2019-08-01 rtrimanaFixing a bug in MusicPlayer.
2019-08-01 rtrimanaFixing conflicting files.
2019-08-01 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-08-01 amirajChanges in classes: new concept for latest value +...
2019-08-01 rtrimanaFixing a bug in the event presence.present: name has...
2019-08-01 rtrimanaAdding presence.present event.
2019-08-01 rtrimanaMinor change in run.sh.
2019-08-01 rtrimanaAdding Locks group in run.sh
2019-08-01 rtrimanaAdding cases for app and location.
2019-08-01 rtrimanaFixing a bug where we can have two events with differen...
2019-07-31 rtrimanaAdding 2 types of 'unlocked' events both for subscriber...
2019-07-31 rtrimanaDebugging command.
2019-07-31 rtrimanaFixing a bug in locks: latestValue should have similar...
2019-07-31 rtrimanaFixing a bug in Locks group: we have to change the...
2019-07-30 rtrimanaFixing a bug with capabilityMap extraction.
2019-07-30 rtrimanaCommenting out the Verify API calls in the object insta...
2019-07-30 rtrimanaUpdating classes with Verify API.
2019-07-30 rtrimanaRemoving supposedly untracked files.
2019-07-30 rtrimanaAdding new events in the script.
2019-07-30 rtrimanaAdding new events.
2019-07-29 amirajsme minor changes
2019-07-29 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-07-29 amirajSome minor changes in events' format
2019-07-29 rtrimanaAdding direct-direct pair detection; adding missing...
2019-07-29 amiraj Infrastructure that works for all the locks' group!
2019-07-29 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-07-29 amiraj Infrastructure that works for all the locks' group!
2019-07-29 rtrimanaCompleting model-check automation script with result...
2019-07-29 rtrimanaCleaning up scripts.
2019-07-29 rtrimanaFixing a bug in event to variable mapping.
2019-07-28 rtrimanaCompleting physical interaction runs.
2019-07-27 rtrimanaAdding a feature to detect potential motion sensor...
2019-07-27 rtrimanaAdding more features for physical interaction detection...
2019-07-27 rtrimanaAdding lists of apps for different categories.
2019-07-26 rtrimanaCompleting model-checking automation script to process...
2019-07-26 rtrimanaAdding path explorations for initializations.
2019-07-26 rtrimanaAdding differentiation of two some event subscribing...
2019-07-26 rtrimanaAdding new events.
2019-07-26 rtrimanaAdding more exploration for execution paths.
2019-07-25 rtrimanaAdding exception generation when there is a Direct...
2019-07-25 rtrimanaAdding missing changes to the extractor scripts.
2019-07-25 rtrimanaRemoving/commenting out evt variable that was causing...
2019-07-25 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-07-25 amirajCommit #10: more classes
2019-07-25 rtrimanaLimiting iteration for now (DFSearch strategy would...
2019-07-24 rtrimanaAdding a script to run automation for model-checking.
2019-07-24 rtrimanaHardcoding options for enum.
2019-07-24 rtrimanaAdding a newline at the end of the code.
2019-07-23 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-07-23 rtrimanaMore events to generate based on the subscriber's list.
2019-07-23 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-07-23 amirajCommit #9: More classes + Extractor with Rahmadi's...
2019-07-23 rtrimanaFixing a bug in ExtractorScript.py: consuming too many...
2019-07-22 rtrimanaAdded physical interaction detection into the build...
2019-07-22 rtrimanaDeleting files and completing event generation.
next