smartthings-infrastructure.git
4 years agoCommit #7: eventHandler and event queue are unique between two apps now. (Similar...
amiraj [Tue, 9 Jul 2019 20:31:06 +0000 (13:31 -0700)]
Commit #7: eventHandler and event queue are unique between two apps now. (Similar to the samsung architecture for smartthings.)

4 years agoCommit #6
amiraj [Mon, 8 Jul 2019 23:31:56 +0000 (16:31 -0700)]
Commit #6

4 years agoCommit #5
amiraj [Tue, 2 Jul 2019 22:05:00 +0000 (15:05 -0700)]
Commit #5

4 years agoCommit #5
amiraj [Tue, 2 Jul 2019 22:02:20 +0000 (15:02 -0700)]
Commit #5

4 years agoCommit #4
amiraj [Tue, 2 Jul 2019 21:39:33 +0000 (14:39 -0700)]
Commit #4

4 years agoCommit #3
amiraj [Sat, 29 Jun 2019 00:23:58 +0000 (17:23 -0700)]
Commit #3

4 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/smartthings-infrastructure
amiraj [Fri, 28 Jun 2019 23:55:24 +0000 (16:55 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/smartthings-infrastructure

4 years agoCommit #2
amiraj [Fri, 28 Jun 2019 23:51:55 +0000 (16:51 -0700)]
Commit #2

4 years agoModifying variable names in the Makefile to avoid confusion.
rtrimana [Fri, 28 Jun 2019 23:50:58 +0000 (16:50 -0700)]
Modifying variable names in the Makefile to avoid confusion.

4 years ago"First commit!"
amiraj [Fri, 28 Jun 2019 23:06:02 +0000 (16:06 -0700)]
"First commit!"

4 years agoCreating a new repository for SmartThings Groovy infrastructure for model-checking.
rtrimana [Wed, 19 Jun 2019 18:40:27 +0000 (11:40 -0700)]
Creating a new repository for SmartThings Groovy infrastructure for model-checking.