From 60fd12166b36e4ca86fe9fc688c92515ed2677f7 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 28 Sep 2021 10:17:46 +0100 Subject: Add pdfs to the repository Also remove the ignore rule from .gitignore. --- .gitignore | 1 - presentation/assets/formal_hls_docs.pdf | Bin 0 -> 2118 bytes presentation/assets/formal_hls_github.pdf | Bin 0 -> 2396 bytes presentation/assets/formal_hls_paper.pdf | Bin 0 -> 2352 bytes presentation/presentation.pdf | Bin 0 -> 276221 bytes 5 files changed, 1 deletion(-) create mode 100644 presentation/assets/formal_hls_docs.pdf create mode 100644 presentation/assets/formal_hls_github.pdf create mode 100644 presentation/assets/formal_hls_paper.pdf create mode 100644 presentation/presentation.pdf diff --git a/.gitignore b/.gitignore index f9c2d9d..ea93d82 100644 --- a/.gitignore +++ b/.gitignore @@ -28,7 +28,6 @@ *.fdb_latexmk .DS_Store *.key -*.pdf *.md5 *.dep *.dpth diff --git a/presentation/assets/formal_hls_docs.pdf b/presentation/assets/formal_hls_docs.pdf new file mode 100644 index 0000000..a485538 Binary files /dev/null and b/presentation/assets/formal_hls_docs.pdf differ diff --git a/presentation/assets/formal_hls_github.pdf b/presentation/assets/formal_hls_github.pdf new file mode 100644 index 0000000..87c5483 Binary files /dev/null and b/presentation/assets/formal_hls_github.pdf differ diff --git a/presentation/assets/formal_hls_paper.pdf b/presentation/assets/formal_hls_paper.pdf new file mode 100644 index 0000000..7fec8ba Binary files /dev/null and b/presentation/assets/formal_hls_paper.pdf differ diff --git a/presentation/presentation.pdf b/presentation/presentation.pdf new file mode 100644 index 0000000..b28b731 Binary files /dev/null and b/presentation/presentation.pdf differ -- cgit