From 161a55df3ea816faa3cd905266cdf91ce1e07c5d Mon Sep 17 00:00:00 2001
From: John Wickerson <j.wickerson@imperial.ac.uk>
Date: Mon, 12 Apr 2021 18:19:18 +0000
Subject: Update on Overleaf.

---
 evaluation.tex | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'evaluation.tex')

diff --git a/evaluation.tex b/evaluation.tex
index 2e02943..10d3ecb 100644
--- a/evaluation.tex
+++ b/evaluation.tex
@@ -43,6 +43,12 @@ We configured Polybench's parameters so that only integer types are used, since
       ylabel={\vericert{} / \legup{} execution time ratio},
       ]
 
+      %\addplot+ table [x expr=\coordindex,y=vericert,col sep=comma] {results/exec-time.csv};
+      %\addlegendentry{Vericert};
+      %\addplot+ table [x expr=\coordindex,y=legup no nc,col sep=comma] {results/exec-time.csv};
+      %\addlegendentry{LegUp w/o opt};
+      %\addplot+ table [x expr=\coordindex,y=legup op,col sep=comma] {results/exec-time.csv};
+      %\addlegendentry{LegUp};
       \addplot+ table [x expr=\coordindex,y=v no nc,col sep=comma] {results/exec-time.csv};
       \addlegendentry{LegUp w/o opt};
       \addplot+ table [x expr=\coordindex,y=v op,col sep=comma] {results/exec-time.csv};
-- 
cgit 

