Add

1 files changed, 40 insertions, 83 deletions

diff --git a/main.tex b/main.tex
index 5aea965..2c7c250 100644
--- a/main.tex
+++ b/main.tex
@@ -1,83 +1,40 @@
-\documentclass{scrreprt}
-
-\title{Formal Verification of High-Level Synthesis}
-\subtitle{Late Stage Review\\Imperial College London}
-\author{Yann Herklotz Grave}
-\date{April 2022}
-
-\includeonly{
-  introduction,
-  background,
-  hls,
-  scheduling,
-  pipelining,
-  dynamic,
-  schedule,
-  conclusion
-}
-
-\linespread{1.3}
-
-\usepackage{graphicx}
-\usepackage{amsmath}
-\usepackage{amsthm}
-
-\usepackage[british]{babel}
-%\usepackage[utf8]{inputenc}
-\usepackage[sc]{mathpazo}
-\usepackage{newpxmath}
-\usepackage{newpxtext}
-\usepackage{inconsolata}
-\usepackage{microtype}
-\addtokomafont{disposition}{\rmfamily}
-
-\usepackage[natbib=true,style=alphabetic,maxbibnames=10]{biblatex}
-\addbibresource{references.bib}
-\AtBeginBibliography{\small}
-
-\usepackage{epigraph}
-\setlength\epigraphwidth{1\textwidth}
-\setlength\epigraphrule{0pt} % no line between
-\setlength\beforeepigraphskip{1\baselineskip} % space before and after epigraph
-\setlength\afterepigraphskip{2\baselineskip}
-\renewcommand*{\textflush}{flushright}
-\renewcommand*{\epigraphsize}{\normalsize\itshape}
-
-\usepackage{xcolor}
-
-\definecolor{ymhfwcol}{HTML}{5F506B}
-\definecolor{ymhwipcol}{HTML}{76949F}
-\newcommand{\ymhfw}{\textcolor{ymhfwcol}{FW}}
-\newcommand{\ymhwip}{\textcolor{ymhwipcol}{WIP}}
-
-\newtheorem{theorem}{Theorem}
-\newtheorem{lemma}{Lemma}
-\newtheorem*{remark}{Remark}
-
-\hyphenation{Comp-Cert}
-\hyphenation{Veri-cert}
-\hyphenation{Poly-Bench}
-\hyphenation{Leg-Up}
-\hyphenation{straight-for-ward}
-\hyphenation{cor-re-la-tion}
-\hyphenation{gram-schmi-dt}
-\hyphenation{de-riche}
-
-\begin{document}
-
-\maketitle
-
-\tableofcontents
-
-\include{introduction}
-\include{background}
-\include{hls}
-\include{scheduling}
-\include{pipelining}
-\include{dynamic}
-\include{schedule}
-\include{conclusion}
-
-\printbibliography{}
-
-\end{document}
+\startproduct main
+\enabletrackers[fonts.missing]
+
+% Common module shared by all.
+% @see http://wiki.contextgarden.net/Dummy_text
+% \usemodule[visual]
+
+\mainlanguage[en]
+
+% Common layout settings.
+\environment fonts_env
+\environment lsr_env
+
+% \showlayout
+% \showsetups
+% \showgrid
+% \showmakeup
+%\showframe
+% \showbodyfontenvironment
+%\showbodyfont
+
+\component title
+
+\startfrontmatter
+  \setuppagenumber[number=1]
+  \completecontent
+\stopfrontmatter
+
+\startbodymatter
+  \setuppagenumber[number=1]
+  \component hls
+\stopbodymatter
+
+\startbackmatter
+  \startchapter[title=Bibliography]
+    \placelistofpublications
+  \stopchapter
+\stopbackmatter
+
+\stopproduct