projects / smartthings-infrastructure.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
smartthings-infrastructure.git
2019-07-29 amirajsme minor changes commit | commitdiff | tree | snapshot
2019-07-29 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2019-07-29 amirajSome minor changes in events' format commit | commitdiff | tree | snapshot
2019-07-29 rtrimanaAdding 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 amirajMerge 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 rtrimanaCompleting model-check automation script with result... commit | commitdiff | tree | snapshot
2019-07-29 rtrimanaCleaning up scripts. commit | commitdiff | tree | snapshot
2019-07-29 rtrimanaFixing a bug in event to variable mapping. commit | commitdiff | tree | snapshot
2019-07-28 rtrimanaCompleting physical interaction runs. commit | commitdiff | tree | snapshot
2019-07-27 rtrimanaAdding a feature to detect potential motion sensor... commit | commitdiff | tree | snapshot
2019-07-27 rtrimanaAdding more features for physical interaction detection... commit | commitdiff | tree | snapshot
2019-07-27 rtrimanaAdding lists of apps for different categories. commit | commitdiff | tree | snapshot
2019-07-26 rtrimanaCompleting model-checking automation script to process... commit | commitdiff | tree | snapshot
2019-07-26 rtrimanaAdding path explorations for initializations. commit | commitdiff | tree | snapshot
2019-07-26 rtrimanaAdding differentiation of two some event subscribing... commit | commitdiff | tree | snapshot
2019-07-26 rtrimanaAdding new events. commit | commitdiff | tree | snapshot
2019-07-26 rtrimanaAdding more exploration for execution paths. commit | commitdiff | tree | snapshot
2019-07-25 rtrimanaAdding exception generation when there is a Direct... commit | commitdiff | tree | snapshot
2019-07-25 rtrimanaAdding missing changes to the extractor scripts. commit | commitdiff | tree | snapshot
2019-07-25 rtrimanaRemoving/commenting out evt variable that was causing... commit | commitdiff | tree | snapshot
2019-07-25 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2019-07-25 amirajCommit #10: more classes commit | commitdiff | tree | snapshot
2019-07-25 rtrimanaLimiting iteration for now (DFSearch strategy would... commit | commitdiff | tree | snapshot
2019-07-24 rtrimanaAdding a script to run automation for model-checking. commit | commitdiff | tree | snapshot
2019-07-24 rtrimanaHardcoding options for enum. commit | commitdiff | tree | snapshot
2019-07-24 rtrimanaAdding a newline at the end of the code. commit | commitdiff | tree | snapshot
2019-07-23 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2019-07-23 rtrimanaMore events to generate based on the subscriber's list. commit | commitdiff | tree | snapshot
2019-07-23 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2019-07-23 amirajCommit #9: More classes + Extractor with Rahmadi's... commit | commitdiff | tree | snapshot
2019-07-23 rtrimanaFixing a bug in ExtractorScript.py: consuming too many... commit | commitdiff | tree | snapshot
2019-07-22 rtrimanaAdded physical interaction detection into the build... commit | commitdiff | tree | snapshot
2019-07-22 rtrimanaDeleting files and completing event generation. commit | commitdiff | tree | snapshot
2019-07-20 rtrimanaAdded subscribers handling to generate the right events. commit | commitdiff | tree | snapshot
2019-07-20 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2019-07-20 amirajCommit #9: extension to the infrastructure with more... commit | commitdiff | tree | snapshot
2019-07-17 rtrimanaAdding jpf.jar to enable the compilation of apps with... commit | commitdiff | tree | snapshot
2019-07-17 amirajCommit #9: update to previous commit commit | commitdiff | tree | snapshot
2019-07-17 amirajCommit #8: New version of extractor with running the... commit | commitdiff | tree | snapshot
2019-07-12 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2019-07-12 amirajCommit #7: Events thread-based + new easier Extractor... commit | commitdiff | tree | snapshot
2019-07-10 rtrimanaRemoving binary files. commit | commitdiff | tree | snapshot
2019-07-09 amirajCommit #7: eventHandler and event queue are unique... commit | commitdiff | tree | snapshot
2019-07-08 amirajCommit #6 commit | commitdiff | tree | snapshot
2019-07-02 amirajCommit #5 commit | commitdiff | tree | snapshot
2019-07-02 amirajCommit #5 commit | commitdiff | tree | snapshot
2019-07-02 amirajCommit #4 commit | commitdiff | tree | snapshot
2019-06-29 amirajCommit #3 commit | commitdiff | tree | snapshot
2019-06-28 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2019-06-28 amirajCommit #2 commit | commitdiff | tree | snapshot
2019-06-28 rtrimanaModifying 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 rtrimanaCreating a new repository for SmartThings Groovy infras... commit | commitdiff | tree | snapshot
Unnamed repository; edit this file 'description' to name the repository.