summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJohn Wickerson <j.wickerson@imperial.ac.uk>2021-04-08 12:58:20 +0000
committeroverleaf <overleaf@localhost>2021-04-08 18:38:56 +0000
commitb063d29c180e6f0ec0597a0bcbac0ce40f092df0 (patch)
treea956b5411f3f16cdf312cd92333f3024bfbce98f
parent3b47cf40b384646f8ae22ec6ad5fc16a44c4972e (diff)
downloadoopsla21_fvhls-b063d29c180e6f0ec0597a0bcbac0ce40f092df0.tar.gz
oopsla21_fvhls-b063d29c180e6f0ec0597a0bcbac0ce40f092df0.zip
Update on Overleaf.
-rw-r--r--algorithm.tex2
-rw-r--r--[-rwxr-xr-x]sync.sh0
2 files changed, 1 insertions, 1 deletions
diff --git a/algorithm.tex b/algorithm.tex
index a4c7de9..6ae3181 100644
--- a/algorithm.tex
+++ b/algorithm.tex
@@ -45,7 +45,7 @@ The .NET framework has been used as a basis for other HLS tools, such as Kiwi~\c
\node[language] at (6.7,-1.5) (verilog) {Verilog};
\node at (0,1) {\bf\compcert{}};
\node at (0,-1.5) {\bf\vericert{}};
- \node[align=center] at (3.3,-2.4) {\footnotesize Memory\\[-0.5em]\footnotesize Inferrence};
+ \node[align=center] at (3.3,-2.4) {\footnotesize Memory\\[-0.5em]\footnotesize Inference};
\draw[->,thick] (clight) -- (conta);
\draw[->,thick] (conta) -- (cminor);
\draw[->,thick] (cminor) -- (rtl);
diff --git a/sync.sh b/sync.sh
index 06c89eb..06c89eb 100755..100644
--- a/sync.sh
+++ b/sync.sh