www: Add gzip benchmarks.

trailofbits · Nov 1, 2024 · 2d270bc · 2d270bc
1 parent 6811333
commit 2d270bc
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/www/mkdocs.yml b/www/mkdocs.yml
@@ -29,6 +29,8 @@ nav:
     - LLVM Single Source: Benchmarks/single-source-results.md
     - SV-Comp: Benchmarks/sv-comp-results.md
     - Linux Kernel 6.11: Benchmarks/linux_kernel_times.md
+    - GZIP 1.10: Benchmarks/gzip_times_1.10.md
+    - GZIP 1.13: Benchmarks/gzip_times_1.13.md
   - About:
     - 'License': 'statement.md'
 

diff --git a/www/setup.sh b/www/setup.sh
@@ -50,6 +50,9 @@ fi
 cp -rv $(pwd)/llvm-test-suite-results/single-source-results.md $dst/docs/Benchmarks/
 cp -rv $(pwd)/sv-comp-results/sv-comp-results.md $dst/docs/Benchmarks/
 cp -rv $(pwd)/linux_kernel_times/linux_kernel_times.md $dst/docs/Benchmarks/
+cp -rv $(pwd)/gzip_times/gzip_times.md $dst/docs/Benchmarks/
+cp -rv $(pwd)/gzip_times_1.10/gzip_times_1.10.md $dst/docs/Benchmarks/
+cp -rv $(pwd)/gzip_times_1.13/gzip_times_1.13.md $dst/docs/Benchmarks/
 
 # Setup site assets
 cp -rv $(pwd)/www/assets $dst