Add diagrams

1 files changed, 0 insertions, 31 deletions

diff --git a/main.tex b/main.tex
index 383a6b3..97f74a8 100644
--- a/main.tex
+++ b/main.tex
@@ -99,28 +99,7 @@
 
 \begin{document}
 
-%% Title information
 \title[Formal Verification of HLS]{Formal Verification of High-Level Synthesis}
-                                        %% when present, will be used in
-                                        %% header instead of Full Title.
-%\titlenote{with title note}             %% \titlenote is optional;
-                                        %% can be repeated if necessary;
-                                        %% contents suppressed with 'anonymous'
-%\subtitle{Subtitle}                     %% \subtitle is optional
-%\subtitlenote{with subtitle note}       %% \subtitlenote is optional;
-                                        %% can be repeated if necessary;
-                                        %% contents suppressed with 'anonymous'
-
-
-%% Author information
-%% Contents and number of authors suppressed with 'anonymous'.
-%% Each author should be introduced by \author, followed by
-%% \authornote (optional), \orcid (optional), \affiliation, and
-%% \email.
-%% An author may have multiple affiliations and/or emails; repeat the
-%% appropriate command.
-%% Many elements are not rendered, but should be provided for metadata
-%% extraction tools.
 
 %% Author with single affiliation.
 \author{Yann Herklotz}
@@ -197,16 +176,6 @@
 \input{related}
 \input{conclusion}
 
-%% Acknowledgments
-%\begin{acks}                            %% acks environment is optional
-                                        %% contents suppressed with 'anonymous'
-  %% Commands \grantsponsor{<sponsorID>}{<name>}{<url>} and
-  %% \grantnum[<url>]{<sponsorID>}{<number>} should be used to
-  %% acknowledge financial support and will be used by metadata
-  %% extraction tools.
-%\end{acks}
-
-
 %% Bibliography
 \bibliography{references.bib}