Files restructuring, template for presentation

FlorianCassayre · Jun 16, 2022 · 6f4d9c2 · 6f4d9c2
1 parent 84207a8
commit 6f4d9c2
Show file tree

Hide file tree

Showing 50 changed files with 121 additions and 6 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -31,12 +31,12 @@ jobs:
       - name: Build thesis PDF
         uses: xu-cheng/latex-action@v2
         with:
-          working_directory: report
+          working_directory: thesis/report
           root_file: thesis.tex
           args: -pdf -file-line-error -halt-on-error -interaction=nonstopmode -shell-escape
           extra_system_packages: inkscape
       - name: Upload artifacts
         uses: actions/upload-artifact@v2
         with:
           name: thesis
-          path: report/thesis.pdf
+          path: thesis/report/thesis.pdf
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -38,7 +38,7 @@ jobs:
       - name: Build thesis PDF
         uses: xu-cheng/latex-action@v2
         with:
-          working_directory: report
+          working_directory: thesis/report
           root_file: thesis.tex
           args: -pdf -file-line-error -halt-on-error -interaction=nonstopmode -shell-escape
           extra_system_packages: inkscape
@@ -47,5 +47,5 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         with:
-          working_directory: report
+          working_directory: thesis/report
           args: thesis.pdf
diff --git a/README.md b/README.md
@@ -91,8 +91,9 @@ lazy val root = (project in file(".")).dependsOn(lisa, masterproject)
   * [`util`](src/main/scala/me/cassayre/florian/masterproject/util): some utilities for LISA
   * [`legacy`](src/main/scala/me/cassayre/florian/masterproject/legacy): old proof-of-concept implementations that are kept for reference
   * [`test`](src/main/scala/me/cassayre/florian/masterproject/test): main methods that serve as examples or test files
-* [Weekly notes](notes/weekly) relating the work done stating the future objectives
-* [Documentation](notes/documentation) about the various components
+* [Weekly notes](resources/notes/weekly) relating the work done stating the future objectives
+* [Documentation](resources/notes/documentation) about the various components
+* [Thesis](thesis) the deliverables other than the code itself
 
 ## Development
 

diff --git a/notes/README.md → resources/notes/README.md b/notes/README.md → resources/notes/README.md
diff --git a/notes/documentation/README.md → resources/notes/documentation/README.md b/notes/documentation/README.md → resources/notes/documentation/README.md
diff --git a/notes/documentation/front-dsl.md → resources/notes/documentation/front-dsl.md b/notes/documentation/front-dsl.md → resources/notes/documentation/front-dsl.md
diff --git a/notes/documentation/front-proof.md → resources/notes/documentation/front-proof.md b/notes/documentation/front-proof.md → resources/notes/documentation/front-proof.md
diff --git a/notes/documentation/kernel-proof-builder.md → ...tes/documentation/kernel-proof-builder.md b/notes/documentation/kernel-proof-builder.md → ...tes/documentation/kernel-proof-builder.md
diff --git a/notes/documentation/library.md → resources/notes/documentation/library.md b/notes/documentation/library.md → resources/notes/documentation/library.md
diff --git a/notes/documentation/parser.md → resources/notes/documentation/parser.md b/notes/documentation/parser.md → resources/notes/documentation/parser.md
diff --git a/notes/documentation/unification.md → resources/notes/documentation/unification.md b/notes/documentation/unification.md → resources/notes/documentation/unification.md
diff --git a/notes/weekly/2022-02-21.md → resources/notes/weekly/2022-02-21.md b/notes/weekly/2022-02-21.md → resources/notes/weekly/2022-02-21.md
diff --git a/notes/weekly/2022-02-28.md → resources/notes/weekly/2022-02-28.md b/notes/weekly/2022-02-28.md → resources/notes/weekly/2022-02-28.md
diff --git a/notes/weekly/2022-03-07.md → resources/notes/weekly/2022-03-07.md b/notes/weekly/2022-03-07.md → resources/notes/weekly/2022-03-07.md
diff --git a/notes/weekly/2022-03-14.md → resources/notes/weekly/2022-03-14.md b/notes/weekly/2022-03-14.md → resources/notes/weekly/2022-03-14.md
diff --git a/notes/weekly/2022-03-21.md → resources/notes/weekly/2022-03-21.md b/notes/weekly/2022-03-21.md → resources/notes/weekly/2022-03-21.md
diff --git a/notes/weekly/2022-03-28.md → resources/notes/weekly/2022-03-28.md b/notes/weekly/2022-03-28.md → resources/notes/weekly/2022-03-28.md
diff --git a/notes/weekly/2022-04-04.md → resources/notes/weekly/2022-04-04.md b/notes/weekly/2022-04-04.md → resources/notes/weekly/2022-04-04.md
diff --git a/notes/weekly/2022-04-11.md → resources/notes/weekly/2022-04-11.md b/notes/weekly/2022-04-11.md → resources/notes/weekly/2022-04-11.md
diff --git a/notes/weekly/2022-04-18.md → resources/notes/weekly/2022-04-18.md b/notes/weekly/2022-04-18.md → resources/notes/weekly/2022-04-18.md
diff --git a/notes/weekly/2022-04-25.md → resources/notes/weekly/2022-04-25.md b/notes/weekly/2022-04-25.md → resources/notes/weekly/2022-04-25.md
diff --git a/notes/weekly/2022-05-02.md → resources/notes/weekly/2022-05-02.md b/notes/weekly/2022-05-02.md → resources/notes/weekly/2022-05-02.md
diff --git a/notes/weekly/2022-05-09.md → resources/notes/weekly/2022-05-09.md b/notes/weekly/2022-05-09.md → resources/notes/weekly/2022-05-09.md
diff --git a/notes/weekly/2022-05-16.md → resources/notes/weekly/2022-05-16.md b/notes/weekly/2022-05-16.md → resources/notes/weekly/2022-05-16.md
diff --git a/notes/weekly/2022-05-23.md → resources/notes/weekly/2022-05-23.md b/notes/weekly/2022-05-23.md → resources/notes/weekly/2022-05-23.md
diff --git a/slides/2022-04-21/index.html → resources/slides/2022-04-21/index.html b/slides/2022-04-21/index.html → resources/slides/2022-04-21/index.html
diff --git a/thesis/presentation/Makefile b/thesis/presentation/Makefile
@@ -0,0 +1,10 @@
+LATEXCMD = pdflatex --shell-escape presentation.tex
+
+fast:
+	$(LATEXCMD)
+
+thesis:
+	$(LATEXCMD) && $(LATEXCMD)
+
+clean:
+	rm -rf *.aux *.bbl *.bcf *.blg *.lof *.log *.lot *.toc *.xml svg-inkscape *.pdf
diff --git a/report/figures/epfl-logo.svg → thesis/presentation/figures/epfl-logo.svg b/report/figures/epfl-logo.svg → thesis/presentation/figures/epfl-logo.svg
diff --git a/thesis/presentation/presentation.tex b/thesis/presentation/presentation.tex
@@ -0,0 +1,38 @@
+\documentclass{beamer}
+\usetheme{CambridgeUS}
+\usepackage{svg}
+\usepackage{amsmath}
+\usepackage[utf8]{inputenc}
+
+% Source: https://www.epfl.ch/about/overview/wp-content/uploads/2020/06/EPFL-brand-guidelines.pdf
+\definecolor{epfl-rouge}{RGB}{255,0,0}
+\definecolor{epfl-groseille}{RGB}{181,31,31}
+\definecolor{epfl-leman}{RGB}{0,167,159}
+\definecolor{epfl-canard}{RGB}{0,116,128}
+\definecolor{epfl-taupe}{RGB}{65,61,58}
+\definecolor{epfl-perle}{RGB}{200,199,199}
+
+\setbeamercolor*{palette primary}{bg=epfl-taupe, fg=white}
+\setbeamercolor*{palette secondary}{bg=epfl-perle, fg=black}
+\setbeamercolor*{palette tertiary}{bg=epfl-groseille, fg=white}
+%\setbeamercolor*{palette quaternary}{bg=blue, fg=green}
+
+\title[Master Thesis]{A front-end for LISA}
+\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}}}}
+
+\begin{document}
+
+\frame{\titlepage}
+
+\begin{frame}
+\frametitle{My title}
+My text on the first slide.
+\end{frame}
+
+\end{document}
diff --git a/report/.gitignore → thesis/report/.gitignore b/report/.gitignore → thesis/report/.gitignore
diff --git a/report/Makefile → thesis/report/Makefile b/report/Makefile → thesis/report/Makefile
diff --git a/report/README.md → thesis/report/README.md b/report/README.md → thesis/report/README.md
diff --git a/report/abstract.tex → thesis/report/abstract.tex b/report/abstract.tex → thesis/report/abstract.tex
diff --git a/report/bibliography.bib → thesis/report/bibliography.bib b/report/bibliography.bib → thesis/report/bibliography.bib
diff --git a/report/chapters/1-introduction.tex → thesis/report/chapters/1-introduction.tex b/report/chapters/1-introduction.tex → thesis/report/chapters/1-introduction.tex
diff --git a/report/chapters/2-background.tex → thesis/report/chapters/2-background.tex b/report/chapters/2-background.tex → thesis/report/chapters/2-background.tex
diff --git a/report/chapters/3-framework.tex → thesis/report/chapters/3-framework.tex b/report/chapters/3-framework.tex → thesis/report/chapters/3-framework.tex
diff --git a/report/chapters/4-proofs.tex → thesis/report/chapters/4-proofs.tex b/report/chapters/4-proofs.tex → thesis/report/chapters/4-proofs.tex
diff --git a/report/chapters/5-synthesis.tex → thesis/report/chapters/5-synthesis.tex b/report/chapters/5-synthesis.tex → thesis/report/chapters/5-synthesis.tex
diff --git a/report/chapters/6-matching.tex → thesis/report/chapters/6-matching.tex b/report/chapters/6-matching.tex → thesis/report/chapters/6-matching.tex
diff --git a/report/chapters/7-parsing-printing.tex → ...is/report/chapters/7-parsing-printing.tex b/report/chapters/7-parsing-printing.tex → ...is/report/chapters/7-parsing-printing.tex
diff --git a/report/chapters/8-future-work.tex → thesis/report/chapters/8-future-work.tex b/report/chapters/8-future-work.tex → thesis/report/chapters/8-future-work.tex
diff --git a/report/chapters/9-conclusion.tex → thesis/report/chapters/9-conclusion.tex b/report/chapters/9-conclusion.tex → thesis/report/chapters/9-conclusion.tex
diff --git a/report/chapters/appendix.tex → thesis/report/chapters/appendix.tex b/report/chapters/appendix.tex → thesis/report/chapters/appendix.tex
diff --git a/report/cover.tex → thesis/report/cover.tex b/report/cover.tex → thesis/report/cover.tex
diff --git a/thesis/report/figures/epfl-logo.svg b/thesis/report/figures/epfl-logo.svg
diff --git a/report/figures/proof-mini.lisa.tex → thesis/report/figures/proof-mini.lisa.tex b/report/figures/proof-mini.lisa.tex → thesis/report/figures/proof-mini.lisa.tex
diff --git a/report/figures/proof-sample.lisa.tex → thesis/report/figures/proof-sample.lisa.tex b/report/figures/proof-sample.lisa.tex → thesis/report/figures/proof-sample.lisa.tex
diff --git a/report/figures/proof-sample.scala.tex → thesis/report/figures/proof-sample.scala.tex b/report/figures/proof-sample.scala.tex → thesis/report/figures/proof-sample.scala.tex
diff --git a/report/thesis.tex → thesis/report/thesis.tex b/report/thesis.tex → thesis/report/thesis.tex