diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2021-08-14 12:19:13 +0000 |
---|---|---|
committer | node <node@git-bridge-prod-0> | 2021-08-18 05:52:26 +0000 |
commit | 02cad5f3082fb3661a121be62c09b8356e36a584 (patch) | |
tree | 3b5863852b8802bab53447966256e890df9f699b /evaluation.tex | |
parent | 89a6940481b95b096fc6790184737f3c4ff7b3d7 (diff) | |
download | oopsla21_fvhls-02cad5f3082fb3661a121be62c09b8356e36a584.tar.gz oopsla21_fvhls-02cad5f3082fb3661a121be62c09b8356e36a584.zip |
Update on Overleaf.
Diffstat (limited to 'evaluation.tex')
-rw-r--r-- | evaluation.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/evaluation.tex b/evaluation.tex index 7b85eff..0077246 100644 --- a/evaluation.tex +++ b/evaluation.tex @@ -177,8 +177,8 @@ By looking at the median, when division/modulo operations are enabled, we see th \subsection{RQ4: How effective is the correctness theorem in \vericert{}?} -\definecolor{fuzzred}{HTML}{fb9a99} -\definecolor{fuzzyellow}{HTML}{fed9a6} +\definecolor{fuzzred}{HTML}{f8514f} +\definecolor{fuzzyellow}{HTML}{fee4bf} \definecolor{fuzzgreen}{HTML}{b2df8a} \begin{figure} \centering |