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. --- 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 4 files changed, 0 insertions(+), 0 deletions(-) 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 (limited to 'presentation') 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