From: rtrimana <rtrimana@uci.edu>
Date: Wed, 19 Jun 2019 18:40:27 +0000 (-0700)
Subject: Creating a new repository for SmartThings Groovy infrastructure for model-checking.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0c76512b8210fa546adc1b75e9e27de8293c5be7;p=smartthings-infrastructure.git

Creating a new repository for SmartThings Groovy infrastructure for model-checking.
---

0c76512b8210fa546adc1b75e9e27de8293c5be7
diff --git a/README b/README
new file mode 100644
index 0000000..d0c01ac
--- /dev/null
+++ b/README
@@ -0,0 +1,2 @@
+This is a new repository for the SmartThings execution infrastructure for Groovy.
+This project attempts to model-check SmartThings Groovy smart apps.