diff options
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} |