From 6b2fce9cf4710f7caa489a7fafde97f0d94ed4b9 Mon Sep 17 00:00:00 2001
From: "n.ramanathan14" <n.ramanathan14@imperial.ac.uk>
Date: Mon, 16 Nov 2020 22:31:20 +0000
Subject: Update on Overleaf.

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

(limited to 'evaluation.tex')

diff --git a/evaluation.tex b/evaluation.tex
index cb185ac..aada207 100644
--- a/evaluation.tex
+++ b/evaluation.tex
@@ -1,4 +1,14 @@
 \section{Evaluation}
+\NR{
+To-do list: 
+\begin{itemize}
+    \item Modifying the final checks of Polybench programs 
+    \item Re-synthesis the polybench programs
+    \item Collect new compile times of Vericert
+    \item Collate the csv file again
+    % \item Re-run and synthesis adpcm and gsm with new Vericert for Table~\ref{tab:chstone} 
+\end{itemize}
+}
 
 Our evaluation is designed to answer the following three research questions. \JW{How about adding one more RQ at the start called `How reliable is the hardware generated by \vericert{}, and how does this compare to existing HLS tools?' Then you can answer this by saying that you couldn't break your tool using the Csmith programs generated by Du et al., which did break all the other HLS tools.}
 \begin{description}
-- 
cgit 

