Add

1 files changed, 157 insertions, 0 deletions

diff --git a/lsr_env.tex b/lsr_env.tex
new file mode 100644
index 0000000..ae0684a
--- /dev/null
+++ b/lsr_env.tex
@@ -0,0 +1,157 @@
+\startenvironment lsr_env
+
+\setupcolors[state=start]
+
+% ==========================================================================
+% PDF
+% ==========================================================================
+% @see http://wiki.contextgarden.net/PDF_Bookmarks_and_Headers
+% @see http://wiki.contextgarden.net/Command/setupinteraction
+\setupinteraction[
+    state=start,
+    title={Formal Verification of High-Level Synthesis},
+    author={Yann Herklotz},
+    color=darkgreen,
+    contrastcolor=darkgreen,
+    openaction=ToggleViewer,
+    focus=width,
+    click=yes,
+]
+%\placebookmarks[chapter,section,subsection,subsubsection][chapter,section]
+%\setupinteractionscreen[option=bookmark]
+
+% ==========================================================================
+% Layout
+% ==========================================================================
+\setuppapersize[A4][A4]
+\setupbodyfont[ebgaramondlato,11pt]
+%\setupalign[hz,hanging,nothyphenated]
+\setupalign[hz,hanging]
+\setuptolerance[stretch,tolerant]
+\setuplayout[
+    backspace=3cm,
+    margin=2cm,
+    topspace=1.25cm,
+    header=1.25cm,
+    footer=1.25cm,
+    height=middle,
+    width=middle,
+]
+
+% @see http://wiki.contextgarden.net/Command/setupinterlinespace
+% Double spacing is line=5.6ex and one and half spacing is line=4.2ex.
+% However, closest we can get like MS Word 1.5 line spacing.
+\setupinterlinespace[line=3.8ex]
+
+% @see http://wiki.contextgarden.net/Command/setuppagenumbering
+\setuppagenumbering[location={footer,middle}]
+
+% ==========================================================================
+% Headers
+% ==========================================================================
+\setuplabeltext[chapter=Chapter~]
+\setuphead[chapter][
+  style={\bfd},
+  header=empty,
+  align=flushright,
+  after={\blank[4*line]},
+  commandbefore={\blank[small]},
+]
+
+% @see http://wiki.contextgarden.net/Command/setupindenting
+% @see http://wiki.contextgarden.net/Indentation
+% Indent all paragraph after all section headers.
+\setupindenting[yes,medium,next]
+%\setupheads[section, subsection][
+%    indentnext=yes,
+%    numberwidth=1.27cm,
+%    style=bold,
+%    before={\blank[3*line]},
+%    after={\blank[1*line]},
+%]
+%
+%\setupheads[subsubsection][
+%    indentnext=yes,
+%    numberwidth=1.27cm,
+%    style=bold,
+%    before={\blank[1*line]},
+%    after={\blank[1*line]},
+%]
+
+% ==========================================================================
+% Table of Contents
+% ==========================================================================
+%\definehead[headers][title]
+%\setuphead[headers][
+%    style={\bf},
+%    incrementnumber=list,
+%]
+%
+%\setupheadtext[content=Table of Contents]
+%\setuphead[title][incrementnumber=list]
+%\setupcombinedlist[content][
+%    list={headers,title,chapter,section,subsection, subsubsection},
+%    alternative=b,
+%]
+%
+%\setuplist[headers][margin=0mm, style={\bf}, pagenumber=no, after={\blank[1*line]}]
+%\setuplist[title][margin=30mm, style={\bf}]
+%\setuplist[chapter][margin=10mm, width=20mm, style={\bf}]
+%\setuplist[section][width=18mm, margin=30mm]
+%\setuplist[subsection][width=18mm, margin=48mm]
+%\setuplist[subsubsection][width=18mm, margin=66mm]
+%
+%\definestructureconversionset[frontpart:pagenumber][][romannumerals]
+%\definestructureconversionset[bodypart:pagenumber][][numbers]
+
+% \writetolist[headers]{}{Chapter \hfill Title \hfill Page}
+
+% @see https://tex.stackexchange.com/a/243726
+\setupcaptions[table][location=top]
+
+% ==========================================================================
+% Figure
+% ==========================================================================
+\setupcaptions[figure][location=bottom]
+
+% ==========================================================================
+% Abbreviation
+% ==========================================================================
+% @see https://tex.stackexchange.com/a/389791/141902
+\definehspace[abbrwidth][1em]
+\definesynonyms[abbreviation][abbreviations][\infull]
+\setupsynonyms[abbreviation][
+    criterium=all,
+    textstyle=normal,
+    synonymstyle=normal,
+    width=3.5em,
+    style={--\hspace[abbrwidth]},
+    character=normal,
+]
+
+% ==========================================================================
+% Appendices
+% ==========================================================================
+%\setuplabeltext[appendix=APPENDIX~]
+%\definehead[appendix][chapter]
+%
+%\definelist[appendix][criterium=all]
+%\setuplist[appendix][
+%    alternative=b,
+%    margin=10mm,
+%    width=20mm,
+%]
+
+% ==========================================================================
+% Bibliography
+% ==========================================================================
+% @see http://wiki.contextgarden.net/Bibliography_mkiv
+% \usebtxdataset[bibliography.bib]
+% \usebtxdefinitions[apa]
+% \setupbtx[default:cite][alternative=authoryear]
+% @see https://tex.stackexchange.com/a/294571
+\usebtxdataset[references]
+\setupbtx[default:cite][alternative=authoryear]
+\usebtxdefinitions[apa]
+
+\stopenvironment