Search space optimization
[smartthings-infrastructure.git] /
2019-08-07 bdemskySearch space optimization
2019-08-06 rtrimanaMerge branch 'master' of ssh://
2019-08-06 amirajSolving conflicts
2019-08-06 rtrimanaMerging conflicts.
2019-08-06 rtrimanaChanging Verify API call scheme for device handlers.
2019-08-06 rtrimanaMerge branch 'master' of ssh://
2019-08-06 amirajMerge branch 'master' of ssh://
2019-08-06 amirajInfrastructure compatible for all groups instead of...
2019-08-05 amirajMerge branch 'master' of ssh://
2019-08-05 rtrimanaMerge branch 'master' of ssh://
2019-08-05 rtrimanaCommenting out Verify APIs for app installation.
2019-08-03 amirajMerge branch 'master' of ssh://
2019-08-03 amirajFixing the previous commit bugs! Adding required classe...
2019-08-01 amirajMerge branch 'master' of ssh://
2019-08-01 amirajChanges in classes: new concept for latest value +...
2019-07-29 amiraj Infrastructure that works for all the locks' group!
2019-07-29 amirajMerge branch 'master' of ssh://
2019-07-29 amiraj Infrastructure that works for all the locks' group!
2019-07-26 rtrimanaAdding more exploration for execution paths.
2019-07-25 amirajMerge branch 'master' of ssh://
2019-07-25 amirajCommit #10: more classes
2019-07-24 rtrimanaAdding a script to run automation for model-checking.
2019-07-23 rtrimanaMerge branch 'master' of ssh://
2019-07-23 amirajMerge branch 'master' of ssh://
2019-07-23 amirajCommit #9: More classes + Extractor with Rahmadi's...
2019-07-20 amirajMerge branch 'master' of ssh://
2019-07-20 amirajCommit #9: extension to the infrastructure with more...
2019-07-17 amirajCommit #8: New version of extractor with running the...
2019-07-12 amirajMerge branch 'master' of ssh://
2019-07-12 amirajCommit #7: Events thread-based + new easier Extractor...
2019-07-09 amirajCommit #7: eventHandler and event queue are unique...
2019-07-08 amirajCommit #6
2019-07-02 amirajCommit #4
2019-06-28 amiraj"First commit!"