projects
/
smartthings-infrastructure.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
smartthings-infrastructure.git
2019-08-02
rtrimana
Adding color level event.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-02
rtrimana
Cleaning up Extractor.groovy.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-02
rtrimana
Fixing a bug: error in string formatting to match field...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-02
amiraj
Get rid of creation of objects for not required classes
commit
|
commitdiff
|
tree
|
snapshot
2019-08-02
rtrimana
Flatten the structure of event while-loop.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-02
rtrimana
Flatten the structure of event while-loop.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-02
bdemsky
Fix bug in extractor script
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Fixing a bug: missing a closing parenthesis.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
amiraj
a minor bug in schedule method!
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
amiraj
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
amiraj
Fixing a minor bug in schedule method!
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Resolving conclicts manually.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Adding new events into the scripts.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
amiraj
some changes in methods
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
amiraj
Fixing bugs in classes
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Fixing a bug in ContactSensor.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
amiraj
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
amiraj
Solving the conflicts
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
bdemsky
typo
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
bdemsky
Fix smokedetect file
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Fixing presence.present for name and value.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Fixing a bug in MusicPlayer.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Fixing conflicting files.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
amiraj
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
amiraj
Changes in classes: new concept for latest value +...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Fixing a bug in the event presence.present: name has...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Adding presence.present event.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Minor change in run.sh.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Adding Locks group in run.sh
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Adding cases for app and location.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-01
rtrimana
Fixing a bug where we can have two events with differen...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-31
rtrimana
Adding 2 types of 'unlocked' events both for subscriber...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-31
rtrimana
Debugging command.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-31
rtrimana
Fixing a bug in locks: latestValue should have similar...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-31
rtrimana
Fixing a bug in Locks group: we have to change the...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-30
rtrimana
Fixing a bug with capabilityMap extraction.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-30
rtrimana
Commenting out the Verify API calls in the object insta...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-30
rtrimana
Updating classes with Verify API.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-30
rtrimana
Removing supposedly untracked files.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-30
rtrimana
Adding new events in the script.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-30
rtrimana
Adding new events.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-29
amiraj
sme minor changes
commit
|
commitdiff
|
tree
|
snapshot
2019-07-29
amiraj
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-29
amiraj
Some minor changes in events' format
commit
|
commitdiff
|
tree
|
snapshot
2019-07-29
rtrimana
Adding direct-direct pair detection; adding missing...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-29
amiraj
Infrastructure that works for all the locks' group!
commit
|
commitdiff
|
tree
|
snapshot
2019-07-29
amiraj
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-29
amiraj
Infrastructure that works for all the locks' group!
commit
|
commitdiff
|
tree
|
snapshot
2019-07-29
rtrimana
Completing model-check automation script with result...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-29
rtrimana
Cleaning up scripts.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-29
rtrimana
Fixing a bug in event to variable mapping.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-28
rtrimana
Completing physical interaction runs.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-27
rtrimana
Adding a feature to detect potential motion sensor...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-27
rtrimana
Adding more features for physical interaction detection...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-27
rtrimana
Adding lists of apps for different categories.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-26
rtrimana
Completing model-checking automation script to process...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-26
rtrimana
Adding path explorations for initializations.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-26
rtrimana
Adding differentiation of two some event subscribing...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-26
rtrimana
Adding new events.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-26
rtrimana
Adding more exploration for execution paths.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-25
rtrimana
Adding exception generation when there is a Direct...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-25
rtrimana
Adding missing changes to the extractor scripts.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-25
rtrimana
Removing/commenting out evt variable that was causing...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-25
amiraj
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-25
amiraj
Commit #10: more classes
commit
|
commitdiff
|
tree
|
snapshot
2019-07-25
rtrimana
Limiting iteration for now (DFSearch strategy would...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
rtrimana
Adding a script to run automation for model-checking.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
rtrimana
Hardcoding options for enum.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
rtrimana
Adding a newline at the end of the code.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-23
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-23
rtrimana
More events to generate based on the subscriber's list.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-23
amiraj
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-23
amiraj
Commit #9: More classes + Extractor with Rahmadi's...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-23
rtrimana
Fixing a bug in ExtractorScript.py: consuming too many...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-22
rtrimana
Added physical interaction detection into the build...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-22
rtrimana
Deleting files and completing event generation.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-20
rtrimana
Added subscribers handling to generate the right events.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-20
amiraj
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-20
amiraj
Commit #9: extension to the infrastructure with more...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-17
rtrimana
Adding jpf.jar to enable the compilation of apps with...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-17
amiraj
Commit #9: update to previous commit
commit
|
commitdiff
|
tree
|
snapshot
2019-07-17
amiraj
Commit #8: New version of extractor with running the...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-12
amiraj
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-12
amiraj
Commit #7: Events thread-based + new easier Extractor...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-10
rtrimana
Removing binary files.
commit
|
commitdiff
|
tree
|
snapshot
2019-07-09
amiraj
Commit #7: eventHandler and event queue are unique...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-08
amiraj
Commit #6
commit
|
commitdiff
|
tree
|
snapshot
2019-07-02
amiraj
Commit #5
commit
|
commitdiff
|
tree
|
snapshot
2019-07-02
amiraj
Commit #5
commit
|
commitdiff
|
tree
|
snapshot
2019-07-02
amiraj
Commit #4
commit
|
commitdiff
|
tree
|
snapshot
2019-06-29
amiraj
Commit #3
commit
|
commitdiff
|
tree
|
snapshot
2019-06-28
amiraj
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
|
snapshot
2019-06-28
amiraj
Commit #2
commit
|
commitdiff
|
tree
|
snapshot
2019-06-28
rtrimana
Modifying variable names in the Makefile to avoid confu...
commit
|
commitdiff
|
tree
|
snapshot
2019-06-28
amiraj
"First commit!"
commit
|
commitdiff
|
tree
|
snapshot
2019-06-19
rtrimana
Creating a new repository for SmartThings Groovy infras...
commit
|
commitdiff
|
tree
|
snapshot