Add project files

.gitignore

@@ -143,3 +143,4 @@ $RECYCLE.BIN/
 # End of https://www.gitignore.io/api/linux,python,windows
 
 *.sublime-workspace
+generated

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"
 }

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")

project.sublime-project

@@ -3,7 +3,7 @@
 	[
 		{
 			"path": ".",
-			"folder_exclude_patterns": [],
+			"folder_exclude_patterns": ["env"],
 			"file_exclude_patterns": ["*.work"],
 		}
 	]