Adding direct-direct pair detection; adding missing app lists.
[smartthings-infrastructure.git] / ModelCheck.py
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-28 rtrimanaCompleting physical interaction runs.
2019-07-27 rtrimanaAdding more features for physical interaction detection...
2019-07-26 rtrimanaCompleting model-checking automation script to process...
2019-07-25 amirajMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-07-25 rtrimanaLimiting iteration for now (DFSearch strategy would...
2019-07-24 rtrimanaAdding a script to run automation for model-checking.