From 4ca4778013a6cb63437e60d6026716e8f895a126 Mon Sep 17 00:00:00 2001
From: Ghaith Tarawneh <gtarawneh@gmail.com>
Date: Tue, 14 Nov 2017 17:36:23 +0000
Subject: [PATCH] Add project files

---
 .gitignore              |  1 +
 colorpen.json           |  7 ++++++-
 fabfile.py              | 18 ++++++++++++++++++
 project.sublime-project |  2 +-
 4 files changed, 26 insertions(+), 2 deletions(-)
 create mode 100644 fabfile.py

diff --git a/.gitignore b/.gitignore
index 2a4409b..3bbf753 100644
--- a/.gitignore
+++ b/.gitignore
@@ -143,3 +143,4 @@ $RECYCLE.BIN/
 # End of https://www.gitignore.io/api/linux,python,windows
 
 *.sublime-workspace
+generated
diff --git a/colorpen.json b/colorpen.json
index ae6b90b..fce6701 100644
--- a/colorpen.json
+++ b/colorpen.json
@@ -5,5 +5,10 @@
 	".* : (\\[.+\\])": "green bold",
 	"Result: (PASS)": "green bold",
 	"Result: (FAIL)": "red bold",
-	"Reason: (.*)": "red"
+	"Reason: (.*)": "red",
+	"FormalVerifier>": "bold blue",
+	"Verification mode:": "bold",
+	"Assertion Summary:": "bold",
+	" Fail": "red bold",
+	" Pass": "green bold"
 }
\ No newline at end of file
diff --git a/fabfile.py b/fabfile.py
new file mode 100644
index 0000000..7066987
--- /dev/null
+++ b/fabfile.py
@@ -0,0 +1,18 @@
+from fabric.api import run
+from fabric.api import sudo
+from fabric.api import cd
+from fabric.api import env
+from fabric.operations import put
+
+env.host_string    = "eeehandel"
+env.use_ssh_config = True
+env.output_prefix  = False
+
+def gen():
+    with cd("sync_verif"):
+        put("gates/gates.v", "gates/gates.v")
+        put("generated/*", "generated")
+
+def verif():
+    with cd("sync_verif"):
+        run("source ./setup && ./go.sh")
diff --git a/project.sublime-project b/project.sublime-project
index 904d749..c9db351 100644
--- a/project.sublime-project
+++ b/project.sublime-project
@@ -3,7 +3,7 @@
 	[
 		{
 			"path": ".",
-			"folder_exclude_patterns": [],
+			"folder_exclude_patterns": ["env"],
 			"file_exclude_patterns": ["*.work"],
 		}
 	]