smartthings-infrastructure.git
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.
2019-07-20 rtrimanaAdded subscribers handling to generate the right events.
2019-07-20 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-07-20 amirajCommit #9: extension to the infrastructure with more...
2019-07-17 rtrimanaAdding jpf.jar to enable the compilation of apps with...
2019-07-17 amirajCommit #9: update to previous commit
2019-07-17 amirajCommit #8: New version of extractor with running the...
2019-07-12 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-07-12 amirajCommit #7: Events thread-based + new easier Extractor...
2019-07-10 rtrimanaRemoving binary files.
2019-07-09 amirajCommit #7: eventHandler and event queue are unique...
2019-07-08 amirajCommit #6
2019-07-02 amirajCommit #5
2019-07-02 amirajCommit #5
2019-07-02 amirajCommit #4
2019-06-29 amirajCommit #3
2019-06-28 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-06-28 amirajCommit #2
2019-06-28 rtrimanaModifying variable names in the Makefile to avoid confu...
2019-06-28 amiraj"First commit!"
2019-06-19 rtrimanaCreating a new repository for SmartThings Groovy infras...