projects / smartthings-infrastructure.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixing path in the script.
2019-08-06 rtrimanaFixing path in the script.
 commit | commitdiff | tree
2019-08-06 rtrimanaAdding conflict variable in SpeechSynthesis device.
 commit | commitdiff | tree
2019-08-06 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2019-08-06 rtrimanaPutting back an accidentally deleted file.
 commit | commitdiff | tree
2019-08-06 rtrimanaAdding speechesAppList
 commit | commitdiff | tree
2019-08-06 rtrimanaMerging conflicts.
 commit | commitdiff | tree
2019-08-06 rtrimanaChanging Verify API call scheme for device handlers.
 commit | commitdiff | tree
2019-08-06 rtrimanaJust doing 2 states for Thermostat:temporary patch.
 commit | commitdiff | tree
2019-08-06 rtrimanaUpdating scripts.
 commit | commitdiff | tree
2019-08-06 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2019-08-06 rtrimanaRemoving a really buggy app.
 commit | commitdiff | tree
2019-08-06 rtrimanaRemoving more third-party apps; fixing more bugs.
 commit | commitdiff | tree
2019-08-05 rtrimanaRemoving 3 apps from hue lights list.
 commit | commitdiff | tree
2019-08-05 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2019-08-05 rtrimanaReducing and pruning event types.
 commit | commitdiff | tree
2019-08-05 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2019-08-05 rtrimanaFixing a bug in ColorControl.
 commit | commitdiff | tree
2019-08-05 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2019-08-05 rtrimanaFixing a bug in color control.
 commit | commitdiff | tree
2019-08-05 rtrimanaAdding sunset and sunrise events.
 commit | commitdiff | tree
2019-08-05 rtrimanaAdding missing methods; setting default value to on.
 commit | commitdiff | tree
2019-08-05 rtrimanaAdding integer input.
 commit | commitdiff | tree
2019-08-05 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2019-08-05 rtrimanaAdding more events for button.
 commit | commitdiff | tree
2019-08-05 rtrimanaAdding new events.
 commit | commitdiff | tree
2019-08-05 rtrimanaUsing less Verify calls for Thermostats.groovy.
 commit | commitdiff | tree
2019-08-05 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2019-08-05 rtrimanaCommenting out Verify APIs for app installation.
 commit | commitdiff | tree
2019-08-04 rtrimanaNew commands for hue and non hue groups.
 commit | commitdiff | tree
2019-08-04 rtrimanaAdding 'level' for colorControl.
 commit | commitdiff | tree
2019-08-04 rtrimanaAdding Verify API in color related classes.
 commit | commitdiff | tree
2019-08-04 rtrimanaFixing a bug: leftover code.
 commit | commitdiff | tree
2019-08-03 rtrimanaInterleaving events.
 commit | commitdiff | tree
2019-08-03 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2019-08-03 rtrimanaFixing a bug: missing capability.button in Extractor...
commit | commitdiff | tree
2019-08-03 rtrimanaMerging changes.
 commit | commitdiff | tree
2019-08-03 rtrimanaNew list for Alarms group.
 commit | commitdiff | tree
2019-08-02 rtrimanaAdding thermostats run.
 commit | commitdiff | tree
2019-08-02 rtrimanaFixing app list for Alarms group.
 commit | commitdiff | tree
2019-08-02 rtrimanaAdding color level event.
 commit | commitdiff | tree
2019-08-02 rtrimanaCleaning up Extractor.groovy.
 commit | commitdiff | tree
2019-08-02 rtrimanaFixing a bug: error in string formatting to match field...
commit | commitdiff | tree
2019-08-02 rtrimanaFlatten the structure of event while-loop.
 commit | commitdiff | tree
2019-08-02 rtrimanaFlatten the structure of event while-loop.
 commit | commitdiff | tree
2019-08-01 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2019-08-01 rtrimanaFixing a bug: missing a closing parenthesis.
 commit | commitdiff | tree
2019-08-01 rtrimanaResolving conclicts manually.
 commit | commitdiff | tree
2019-08-01 rtrimanaAdding new events into the scripts.
 commit | commitdiff | tree
2019-08-01 rtrimanaFixing a bug in ContactSensor.
 commit | commitdiff | tree
2019-08-01 rtrimanaFixing presence.present for name and value.
 commit | commitdiff | tree
2019-08-01 rtrimanaFixing a bug in MusicPlayer.
 commit | commitdiff | tree
2019-08-01 rtrimanaFixing conflicting files.
 commit | commitdiff | tree
2019-08-01 rtrimanaFixing a bug in the event presence.present: name has...
commit | commitdiff | tree
2019-08-01 rtrimanaAdding presence.present event.
 commit | commitdiff | tree
2019-08-01 rtrimanaMinor change in run.sh.
 commit | commitdiff | tree
2019-08-01 rtrimanaAdding Locks group in run.sh
 commit | commitdiff | tree
2019-08-01 rtrimanaAdding cases for app and location.
 commit | commitdiff | tree
2019-08-01 rtrimanaFixing a bug where we can have two events with different...
commit | commitdiff | tree
2019-07-31 rtrimanaAdding 2 types of 'unlocked' events both for subscribers...
commit | commitdiff | tree
2019-07-31 rtrimanaDebugging command.
 commit | commitdiff | tree
2019-07-31 rtrimanaFixing a bug in locks: latestValue should have similar...
commit | commitdiff | tree
2019-07-31 rtrimanaFixing a bug in Locks group: we have to change the...
commit | commitdiff | tree
2019-07-30 rtrimanaFixing a bug with capabilityMap extraction.
 commit | commitdiff | tree
2019-07-30 rtrimanaCommenting out the Verify API calls in the object instantiat...
commit | commitdiff | tree
2019-07-30 rtrimanaUpdating classes with Verify API.
 commit | commitdiff | tree
2019-07-30 rtrimanaRemoving supposedly untracked files.
 commit | commitdiff | tree
2019-07-30 rtrimanaAdding new events in the script.
 commit | commitdiff | tree
2019-07-30 rtrimanaAdding new events.
 commit | commitdiff | tree
2019-07-29 rtrimanaAdding direct-direct pair detection; adding missing...
commit | commitdiff | tree
2019-07-29 rtrimanaCompleting model-check automation script with result...
commit | commitdiff | tree
2019-07-29 rtrimanaCleaning up scripts.
 commit | commitdiff | tree
2019-07-29 rtrimanaFixing a bug in event to variable mapping.
 commit | commitdiff | tree
2019-07-28 rtrimanaCompleting physical interaction runs.
 commit | commitdiff | tree
2019-07-27 rtrimanaAdding a feature to detect potential motion sensor...
commit | commitdiff | tree
2019-07-27 rtrimanaAdding more features for physical interaction detection...
commit | commitdiff | tree
2019-07-27 rtrimanaAdding lists of apps for different categories.
 commit | commitdiff | tree
2019-07-26 rtrimanaCompleting model-checking automation script to process...
commit | commitdiff | tree
2019-07-26 rtrimanaAdding path explorations for initializations.
 commit | commitdiff | tree
2019-07-26 rtrimanaAdding differentiation of two some event subscribing...
commit | commitdiff | tree
2019-07-26 rtrimanaAdding new events.
 commit | commitdiff | tree
2019-07-26 rtrimanaAdding more exploration for execution paths.
 commit | commitdiff | tree
2019-07-25 rtrimanaAdding exception generation when there is a Direct...
commit | commitdiff | tree
2019-07-25 rtrimanaAdding missing changes to the extractor scripts.
 commit | commitdiff | tree
2019-07-25 rtrimanaRemoving/commenting out evt variable that was causing...
commit | commitdiff | tree
2019-07-25 rtrimanaLimiting iteration for now (DFSearch strategy would...
commit | commitdiff | tree
2019-07-24 rtrimanaAdding a script to run automation for model-checking.
 commit | commitdiff | tree
2019-07-24 rtrimanaHardcoding options for enum.
 commit | commitdiff | tree
2019-07-24 rtrimanaAdding a newline at the end of the code.
 commit | commitdiff | tree
2019-07-23 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2019-07-23 rtrimanaMore events to generate based on the subscriber's list.
 commit | commitdiff | tree
2019-07-23 rtrimanaFixing a bug in ExtractorScript.py: consuming too many...
commit | commitdiff | tree
2019-07-22 rtrimanaAdded physical interaction detection into the build...
commit | commitdiff | tree
2019-07-22 rtrimanaDeleting files and completing event generation.
 commit | commitdiff | tree
2019-07-20 rtrimanaAdded subscribers handling to generate the right events.
 commit | commitdiff | tree
2019-07-17 rtrimanaAdding jpf.jar to enable the compilation of apps with...
commit | commitdiff | tree
2019-07-10 rtrimanaRemoving binary files.
 commit | commitdiff | tree
2019-06-28 rtrimanaModifying variable names in the Makefile to avoid confusion.
 commit | commitdiff | tree
2019-06-19 rtrimanaCreating a new repository for SmartThings Groovy infrastruct...
commit | commitdiff | tree
Unnamed repository; edit this file 'description' to name the repository.