Index: Jenkins/TestRegen
===================================================================
--- Jenkins/TestRegen	(revision 71e555cf2075bacc717777a7a699453baad8f32e)
+++ Jenkins/TestRegen	(revision da60c63108d642781694a3bf904aa4f318d30d27)
@@ -33,5 +33,5 @@
 			email()
 		}
-	} 
+	}
 	catch (Exception caughtError) {
 		email_error()
@@ -65,5 +65,5 @@
 
 	def install_dir = pwd tmp: true
-		
+
 	//Configure the conpilation (Output is not relevant)
 	//Use the current directory as the installation target so nothing
@@ -101,5 +101,5 @@
 		def email_subject = "[cforall dashboard][TEST REGEN# ${env.BUILD_NUMBER}] - Result"
 		def email_body = """This is an automated email from the Jenkins build machine. It was
-generated http://plg2:8082/dashboard.
+generated https://cforall.uwaterloo.ca:8082/dashboard.html.
 
 Please apply the required changes using the following method :
@@ -118,5 +118,5 @@
 	def email_subject = "[cforall dashboard][TEST REGEN# ${env.BUILD_NUMBER}] - FAILURE"
 	def email_body = """This is an automated email from the Jenkins build machine. It was
-generated http://plg2:8082/dashboard.
+generated https://cforall.uwaterloo.ca:8082/dashboard.html.
 
 Test generation encoutered an error please see attached logs
Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 71e555cf2075bacc717777a7a699453baad8f32e)
+++ Jenkinsfile	(revision da60c63108d642781694a3bf904aa4f318d30d27)
@@ -174,5 +174,5 @@
 
 def notify_server(int wait) {
-	sh """curl --data "wait=${wait}" -X POST http://plg2:8082/jenkins/notify > /dev/null || true"""
+	sh """curl --data "wait=${wait}" -X POST https://cforall.uwaterloo.ca:8082/jenkins/notify > /dev/null || true"""
 	return
 }
@@ -329,5 +329,5 @@
 
 		//Then publish the results
-		sh 'curl -H \'Content-Type: application/json\' --data @bench.json http://plg2:8082/jenkins/publish > /dev/null || true'
+		sh 'curl -H \'Content-Type: application/json\' --data @bench.json https://cforall.uwaterloo.ca:8082/jenkins/publish > /dev/null || true'
 	}
 }
Index: README
===================================================================
--- README	(revision 71e555cf2075bacc717777a7a699453baad8f32e)
+++ README	(revision da60c63108d642781694a3bf904aa4f318d30d27)
@@ -107,5 +107,5 @@
 - the implicit coercion of structure types to the type of their first member is
   not implemented
-	
+
 Who is responsible for cfa-cc?
 ------------------------------
@@ -115,3 +115,3 @@
 The Cforall project maintains a web page:
 
-	http://plg.uwaterloo.ca/~cforall
+	https://cforall.uwaterloo.ca
