projects / smartthings-infrastructure.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Adding path explorations for initializations.
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.