From ac55860b62a8545c792d5e283171c6b4c8b494a6 Mon Sep 17 00:00:00 2001
From: Linus Gasser <linus.gasser@epfl.ch>
Date: Wed, 30 Aug 2023 14:35:08 +0200
Subject: [PATCH] Adding time information on frontend

---
 docker-compose.yml                            | 22 ++++---------------
 .../src/app/stainless/stainless.component.ts  |  4 ++--
 2 files changed, 6 insertions(+), 20 deletions(-)

diff --git a/docker-compose.yml b/docker-compose.yml
index aa41221..7e794da 100644
--- a/docker-compose.yml
+++ b/docker-compose.yml
@@ -11,9 +11,7 @@ services:
     environment:
       - CONODE_SERVICE_PATH=/configs/conode-1
       - DEBUG_COLOR=true
-    networks:
-      nodes:
-        ipv4_address: 10.7.7.2
+    network_mode: host
 
   conode-2:
     image: ghcr.io/c4dt/service-stainless-backend:latest
@@ -25,9 +23,7 @@ services:
     environment:
       - CONODE_SERVICE_PATH=/configs/conode-2
       - DEBUG_COLOR=true
-    networks:
-      nodes:
-        ipv4_address: 10.7.7.3
+    network_mode: host
 
   conode-3:
     image: ghcr.io/c4dt/service-stainless-backend:latest
@@ -39,9 +35,7 @@ services:
     environment:
       - CONODE_SERVICE_PATH=/configs/conode-3
       - DEBUG_COLOR=true
-    networks:
-      nodes:
-        ipv4_address: 10.7.7.4
+    network_mode: host
 
   conode-4:
     image: ghcr.io/c4dt/service-stainless-backend:latest
@@ -53,9 +47,7 @@ services:
     environment:
       - CONODE_SERVICE_PATH=/configs/conode-4
       - DEBUG_COLOR=true
-    networks:
-      nodes:
-        ipv4_address: 10.7.7.5
+    network_mode: host
 
   demo:
     image: ghcr.io/c4dt/service-stainless-webapp:latest
@@ -63,9 +55,3 @@ services:
       - "8080:8080"
     volumes:
       - ./webapp/src/assets:/webapp/assets
-
-networks:
-  nodes:
-    ipam:
-      config:
-        - subnet: 10.7.7.0/24
diff --git a/webapp/src/app/stainless/stainless.component.ts b/webapp/src/app/stainless/stainless.component.ts
index 0005996..3201379 100644
--- a/webapp/src/app/stainless/stainless.component.ts
+++ b/webapp/src/app/stainless/stainless.component.ts
@@ -369,7 +369,7 @@ export class StainlessComponent implements OnInit {
       // Call Stainless service to perform verification
       const response = await this.performLongAction<proto.VerificationResponse>(
         () => this.config.stainlessRPC.verify(sourceFiles),
-        "Performing verification"
+        "Performing verification\n2-3 minutes"
       );
       if (response === null) {
         return;
@@ -408,7 +408,7 @@ export class StainlessComponent implements OnInit {
     // Call Stainless service to generate bytecode and ABI
     const response = await this.performLongAction<proto.BytecodeGenResponse>(
       () => this.config.stainlessRPC.genBytecode(sourceFiles),
-      "Compiling..."
+      "Compiling...\n1 minute"
     );
     if (response === null) {
       return;