Create presentation structure

.github/workflows/ci.yml

@@ -26,8 +26,6 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
-        with:
-          submodules: recursive
       - name: Build thesis PDF
         uses: xu-cheng/latex-action@v2
         with:
@@ -40,3 +38,21 @@ jobs:
         with:
           name: thesis
           path: thesis/report/thesis.pdf
+  presentation:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Build presentation PDF (slides only)
+        uses: xu-cheng/latex-action@v2
+        with:
+          working_directory: thesis/presentation
+          root_file: presentation.tex
+          args: -pdf -file-line-error -halt-on-error -interaction=nonstopmode -shell-escape
+          extra_system_packages: inkscape
+        env:
+          BEAMERMODE: slides-only
+      - name: Upload artifacts
+        uses: actions/upload-artifact@v2
+        with:
+          name: presentation
+          path: thesis/presentation/presentation.pdf

thesis/.gitignore

@@ -13,3 +13,4 @@ svg-inkscape
 *.out
 *.snm
 *.lol
+*.vrb

thesis/presentation/Makefile

@@ -1,10 +1,35 @@
-LATEXCMD = pdflatex --shell-escape presentation.tex
+LATEXCMD = pdflatex --shell-escape
+
+define generate_thumbnail
+	pdftoppm -f $(1) -l $(1) -r 50 ../report/thesis.pdf -png thumbnail
+	optipng -o7 thumbnail-$(1).png
+	mv thumbnail-$(1).png figures/
+endef
+
+define make_presentation_fast
+	BEAMERMODE=$(1) $(LATEXCMD) -jobname=presentation-$(1) presentation.tex
+endef
+
+define make_presentation
+	$(call make_presentation_fast,$(1))
+	$(call make_presentation_fast,$(1))
+endef
 
 thesis:
-	$(LATEXCMD) && $(LATEXCMD)
+	$(call make_presentation,slides-only)
+	$(call make_presentation,slides-notes-interlaced)
+	$(call make_presentation,slides-notes-dual)
 
 fast:
-	$(LATEXCMD)
+	$(call make_presentation_fast,slides-only)
+
+generate-thumbnails:
+	cd ../report && $(MAKE) && cd ../presentation
+	$(call generate_thumbnail,01)
+	$(call generate_thumbnail,08)
+	$(call generate_thumbnail,10)
+	$(call generate_thumbnail,29)
+	$(call generate_thumbnail,39)
 
 clean:
-	rm -rf *.aux *.bbl *.bcf *.blg *.lof *.log *.lot *.toc *.xml svg-inkscape *.pdf *.nav *.out *.snm
+	rm -rf *.aux *.bbl *.bcf *.blg *.lof *.log *.lot *.toc *.xml svg-inkscape *.pdf *.nav *.out *.snm *.vrb

thesis/presentation/chapters/0-outline.tex

@@ -0,0 +1,12 @@
+\begin{frame}{Outline}
+
+\setcounter{tocdepth}{1}
+\tableofcontents
+
+\end{frame}
+
+% Notes should appear after the frame
+
+\note{
+Notes here
+}

thesis/presentation/chapters/1-lisa.tex

@@ -0,0 +1 @@
+\section{LISA}

thesis/presentation/chapters/2-proofs.tex

@@ -0,0 +1 @@
+\section{Proofs}

thesis/presentation/chapters/3-matching.tex

@@ -0,0 +1 @@
+\section{Matching}

thesis/presentation/chapters/4-dsl.tex

@@ -0,0 +1 @@
+\section{DSL features}

thesis/presentation/chapters/5-conclusion.tex

@@ -0,0 +1 @@
+\section{Conclusion}

thesis/presentation/presentation.tex

@@ -1,7 +1,47 @@
 \documentclass{beamer}
+
+\usepackage{ifthen}
+\usepackage{xparse}
+\ExplSyntaxOn
+\NewDocumentCommand{\getenv}{om}
+{
+  \sys_get_shell:nnN { kpsewhich ~ --var-value ~ #2 } { } \l_tmpa_tl
+  \tl_trim_spaces:N \l_tmpa_tl
+  \IfNoValueTF { #1 }
+  {\tl_use:N \l_tmpa_tl}
+  {\tl_set_eq:NN #1 \l_tmpa_tl}
+}
+\NewExpandableDocumentCommand{\ifstringsequalTF}{mmmm}
+{
+  \str_if_eq:eeTF { #1 } { #2 } { #3 } { #4 }
+}
+\ExplSyntaxOff
+
+% Available mode: slides-only, notes-only, slides-notes-interlaced, slides-notes-dual (default)
+\getenv[\BEAMERMODE]{BEAMERMODE}
+\ifstringsequalTF{\BEAMERMODE}{slides-only}
+{}
+{
+  \ifstringsequalTF{\BEAMERMODE}{notes-only}
+  {\setbeameroption{show only notes}}
+  {
+    \ifstringsequalTF{\BEAMERMODE}{slides-notes-interlaced}
+    {\setbeameroption{show notes}}
+    {\setbeameroption{show notes on second screen=right}} % Default
+  }
+}
+
 \usetheme{CambridgeUS}
+
 \usepackage{svg}
 \usepackage{amsmath}
+\usepackage{listings}
+\usepackage{ebproof}
+\usepackage{hyperref}
+\usepackage{tikz}
+\usetikzlibrary{positioning}
+\usetikzlibrary{shadows.blur}
+\usetikzlibrary{shapes.symbols}
 \usepackage[utf8]{inputenc}
 
 % Source: https://www.epfl.ch/about/overview/wp-content/uploads/2020/06/EPFL-brand-guidelines.pdf
@@ -17,22 +57,83 @@
 \setbeamercolor*{palette tertiary}{bg=epfl-groseille, fg=white}
 %\setbeamercolor*{palette quaternary}{bg=blue, fg=green}
 
-\title[Master Thesis]{A front-end for LISA}
+\setbeamertemplate{section in toc}[sections numbered]
+\setbeamertemplate{subsection in toc}[subsections numbered] % (unused)
+
+% Adapted from https://tex.stackexchange.com/a/4199
+\makeatletter
+\newcommand*\idstyle{%
+  \expandafter\id@style\the\lst@token\relax
+}
+\def\id@style#1#2\relax{%
+  \ifcat#1\relax\else
+    \ifnum`#1=\uccode`#1%
+      \color{epfl-canard}
+    \fi
+  \fi
+}
+\makeatother
+
+\lstset{
+  language=Scala,
+  showstringspaces=false,
+  %xleftmargin=0.75cm,
+  basicstyle=\ttfamily,
+  captionpos=b,
+  commentstyle=\color{epfl-perle}\textit,
+  stringstyle=\color{epfl-groseille},
+  keywordstyle=\color{epfl-rouge},
+  identifierstyle=\color{epfl-taupe}\idstyle,%\color{epfl-leman},
+}
+
+\newcommand{\code}{\texttt}
+
+
+\title[Master Thesis]{A front-end for the LISA proof assistant}
 \subtitle{Master Thesis}
 \author{Florian Cassayre}
 \date{June 2022}
 
 \institute[EPFL]{École polytechnique fédérale de Lausanne}
 \date{2022-07-21}
-\titlegraphic{\leavevmode\smash{\raisebox{5.9cm}{\includesvg[width=3cm]{figures/epfl-logo}}}}
+\titlegraphic{
+  \leavevmode\smash{\raisebox{5.75cm}{\includesvg[width=3cm]{figures/epfl-logo}}}
+  %\leavevmode\smash{Laboratory for Automated Reasoning and Analysis}
+}
 
 \begin{document}
 
-\frame{\titlepage}
-
 \begin{frame}
-\frametitle{My title}
-My text on the first slide.
+\maketitle
+
+\begin{columns}[onlytextwidth]
+\begin{column}{0.3333333\textwidth}
+\scriptsize Supervisor \\
+\small Prof. Viktor Kunčak
+\end{column}
+\begin{column}{0.3333333\textwidth}
+\scriptsize Assistant \\
+\small Simon Guilloud
+\end{column}
+\begin{column}{0.3333333\textwidth}
+\scriptsize External expert \\
+\small Prof. Jasmin Blanchette
+\end{column}
+\end{columns}
+
 \end{frame}
 
+%\frame{\titlepage}
+
+\note{
+Introduction notes
+}
+
+\input{chapters/0-outline}
+\input{chapters/1-lisa}
+\input{chapters/2-proofs}
+\input{chapters/3-matching}
+\input{chapters/4-dsl}
+\input{chapters/5-conclusion}
+
 \end{document}