From 5d89672110c125d834821314e411e8f4c2637269 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 3 Oct 2021 18:34:31 +0100 Subject: Move around the fuzzing results --- presentation/presentation.org | 4 ++-- presentation/presentation.pdf | Bin 2410743 -> 2410748 bytes 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/presentation/presentation.org b/presentation/presentation.org index 6e1bb61..bc580ab 100644 --- a/presentation/presentation.org +++ b/presentation/presentation.org @@ -1159,8 +1159,8 @@ Fuzzed Vericert with Csmith to check correctness theorem. |-----------------+-----------------| | Vivado HLS | 1.23% | | Intel i++ | 0.4% | -| LegUp 4.0 | 0.1% | | Bambu 0.9.7-dev | 0.3% (13.7%) | +| LegUp 4.0 | 0.1% | |-----------------+-----------------| *** Only 2 @@ -1181,8 +1181,8 @@ Fuzzed Vericert with Csmith to check correctness theorem. |-----------------+-----------------| | Vivado HLS | 1.23% | | Intel i++ | 0.4% | -| LegUp 4.0 | 0.1% | | Bambu 0.9.7-dev | 0.3% (13.7%) | +| LegUp 4.0 | 0.1% | |-----------------+-----------------| | *Vericert* | *0% (0.03%)* | |-----------------+-----------------| diff --git a/presentation/presentation.pdf b/presentation/presentation.pdf index 680f403..22e9e58 100644 Binary files a/presentation/presentation.pdf and b/presentation/presentation.pdf differ -- cgit