From fd3fb0d122ea8dcd7d382eb6f36f652300d78b6b Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 5 May 2022 18:17:52 +0100 Subject: Add figures --- figures/timing-1.pdf | Bin 0 -> 26407 bytes figures/timing-2.pdf | Bin 0 -> 26760 bytes figures/timing-3.pdf | Bin 0 -> 23394 bytes figures/vericert.pdf | Bin 0 -> 5266 bytes 4 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 figures/timing-1.pdf create mode 100644 figures/timing-2.pdf create mode 100644 figures/timing-3.pdf create mode 100644 figures/vericert.pdf diff --git a/figures/timing-1.pdf b/figures/timing-1.pdf new file mode 100644 index 0000000..8591313 Binary files /dev/null and b/figures/timing-1.pdf differ diff --git a/figures/timing-2.pdf b/figures/timing-2.pdf new file mode 100644 index 0000000..67b3a8e Binary files /dev/null and b/figures/timing-2.pdf differ diff --git a/figures/timing-3.pdf b/figures/timing-3.pdf new file mode 100644 index 0000000..dd18ea9 Binary files /dev/null and b/figures/timing-3.pdf differ diff --git a/figures/vericert.pdf b/figures/vericert.pdf new file mode 100644 index 0000000..9b06492 Binary files /dev/null and b/figures/vericert.pdf differ -- cgit