diff options
| author | Yann Herklotz <ymh15@ic.ac.uk> | 2021-01-14 13:43:33 +0000 |
|---|---|---|
| committer | overleaf <overleaf@localhost> | 2021-01-17 12:07:40 +0000 |
| commit | 1c7fba06a2bcdf2d027ca23a939242ce3c71197c (patch) | |
| tree | 352e0e8bdbc450ff9c6d38f808dfd3ccdca2ad23 /main.tex | |
| parent | a5249eb597549437802d2ed852919e5b9a923840 (diff) | |
| download | fccm21_esrhls-1c7fba06a2bcdf2d027ca23a939242ce3c71197c.tar.gz fccm21_esrhls-1c7fba06a2bcdf2d027ca23a939242ce3c71197c.zip | |
Update on Overleaf.
Diffstat (limited to 'main.tex')
| -rw-r--r-- | main.tex | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -10,7 +10,7 @@ \usepackage{graphicx} \usepackage{siunitx} \usepackage{minted} -\setminted{baselinestretch=1, numbersep=5pt, xleftmargin=9pt, linenos} +\setminted{baselinestretch=1, numbersep=5pt, xleftmargin=9pt, linenos, fontsize=\small} \usepackage{amsthm} \usepackage{pgfplots} \usepackage{tikz} @@ -40,7 +40,7 @@ \begin{document} -\title{Fuzzing High-Level Synthesis Tools} +\title{An Empirical Study of the Reliability \\ of High-Level Synthesis Tools} \ifBLIND \author{Blind review} |