diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-03 18:34:31 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-03 18:34:31 +0100 |
commit | 5d89672110c125d834821314e411e8f4c2637269 (patch) | |
tree | 5a97402f3d5f613968e27e28b8a2f0e4427690c2 | |
parent | c675dd67ffa0376b9c341fd52db7ab62f3fdd9b8 (diff) | |
download | oopsla21_fvhls-5d89672110c125d834821314e411e8f4c2637269.tar.gz oopsla21_fvhls-5d89672110c125d834821314e411e8f4c2637269.zip |
Move around the fuzzing results
-rw-r--r-- | presentation/presentation.org | 4 | ||||
-rw-r--r-- | 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 Binary files differindex 680f403..22e9e58 100644 --- a/presentation/presentation.pdf +++ b/presentation/presentation.pdf |