projects
/
smartthings-infrastructure.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Adding more features for physical interaction detection and warning.
2019-07-27
rtrimana
Adding more features for physical interaction detection...
commit
|
commitdiff
|
tree
2019-07-27
rtrimana
Adding lists of apps for different categories.
commit
|
commitdiff
|
tree
2019-07-26
rtrimana
Completing model-checking automation script to process...
commit
|
commitdiff
|
tree
2019-07-26
rtrimana
Adding path explorations for initializations.
commit
|
commitdiff
|
tree
2019-07-26
rtrimana
Adding differentiation of two some event subscribing...
commit
|
commitdiff
|
tree
2019-07-26
rtrimana
Adding new events.
commit
|
commitdiff
|
tree
2019-07-26
rtrimana
Adding more exploration for execution paths.
commit
|
commitdiff
|
tree
2019-07-25
rtrimana
Adding exception generation when there is a Direct...
commit
|
commitdiff
|
tree
2019-07-25
rtrimana
Adding missing changes to the extractor scripts.
commit
|
commitdiff
|
tree
2019-07-25
rtrimana
Removing/commenting out evt variable that was causing...
commit
|
commitdiff
|
tree
2019-07-25
rtrimana
Limiting iteration for now (DFSearch strategy would...
commit
|
commitdiff
|
tree
2019-07-24
rtrimana
Adding a script to run automation for model-checking.
commit
|
commitdiff
|
tree
2019-07-24
rtrimana
Hardcoding options for enum.
commit
|
commitdiff
|
tree
2019-07-24
rtrimana
Adding a newline at the end of the code.
commit
|
commitdiff
|
tree
2019-07-23
rtrimana
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2019-07-23
rtrimana
More events to generate based on the subscriber's list.
commit
|
commitdiff
|
tree
2019-07-23
rtrimana
Fixing a bug in ExtractorScript.py: consuming too many...
commit
|
commitdiff
|
tree
2019-07-22
rtrimana
Added physical interaction detection into the build...
commit
|
commitdiff
|
tree
2019-07-22
rtrimana
Deleting files and completing event generation.
commit
|
commitdiff
|
tree
2019-07-20
rtrimana
Added subscribers handling to generate the right events.
commit
|
commitdiff
|
tree
2019-07-17
rtrimana
Adding jpf.jar to enable the compilation of apps with...
commit
|
commitdiff
|
tree
2019-07-10
rtrimana
Removing binary files.
commit
|
commitdiff
|
tree
2019-06-28
rtrimana
Modifying variable names in the Makefile to avoid confusion.
commit
|
commitdiff
|
tree
2019-06-19
rtrimana
Creating a new repository for SmartThings Groovy infrastruct...
commit
|
commitdiff
|
tree