From 8ae225bc59846c8bd439f95d16fbf7402da14776 Mon Sep 17 00:00:00 2001 From: Aditya Zutshi Date: Tue, 31 Dec 2024 17:57:56 -0800 Subject: [PATCH] cleaned up --- dev/bench/data.js | 82 ------------- dev/bench/index.html | 281 ------------------------------------------- 2 files changed, 363 deletions(-) delete mode 100644 dev/bench/data.js delete mode 100644 dev/bench/index.html diff --git a/dev/bench/data.js b/dev/bench/data.js deleted file mode 100644 index 0b0406c31..000000000 --- a/dev/bench/data.js +++ /dev/null @@ -1,82 +0,0 @@ -window.BENCHMARK_DATA = { - "lastUpdate": 1735696314379, - "repoUrl": "https://github.com/GaloisInc/jolt", - "entries": { - "CN Benchmarks": [ - { - "commit": { - "author": { - "email": "aditya.zutshi@galois.com", - "name": "Aditya Zutshi", - "username": "zutshi" - }, - "committer": { - "email": "aditya.zutshi@galois.com", - "name": "Aditya Zutshi", - "username": "zutshi" - }, - "distinct": true, - "id": "7ff5096860db82fb9fdd4fb1ec1159a61c2e1430", - "message": "added cahcing", - "timestamp": "2024-12-31T13:49:49-08:00", - "tree_id": "90ddd16790d5d71dfa93a19899685c92201693a6", - "url": "https://github.com/GaloisInc/jolt/commit/7ff5096860db82fb9fdd4fb1ec1159a61c2e1430" - }, - "date": 1735683228957, - "tool": "customSmallerIsBetter", - "benches": [ - { - "name": "CPU Load", - "value": 50, - "unit": "Percent", - "range": "5%", - "extra": "My Optional Information for the tooltip" - }, - { - "name": "Peak Memory Used", - "value": 100, - "unit": "Megabytes" - } - ] - } - ], - "Benchmarks": [ - { - "commit": { - "author": { - "email": "aditya.zutshi@galois.com", - "name": "Aditya Zutshi", - "username": "zutshi" - }, - "committer": { - "email": "aditya.zutshi@galois.com", - "name": "Aditya Zutshi", - "username": "zutshi" - }, - "distinct": true, - "id": "dbd5aaf4439a80ea16381614857e896f809c2b86", - "message": "added result generation", - "timestamp": "2024-12-31T17:45:23-08:00", - "tree_id": "73a7093431ee2007586b880cabf05cda15149608", - "url": "https://github.com/GaloisInc/jolt/commit/dbd5aaf4439a80ea16381614857e896f809c2b86" - }, - "date": 1735696312454, - "tool": "customSmallerIsBetter", - "benches": [ - { - "name": "fibonacci", - "value": 196.8, - "unit": "s", - "extra": "" - }, - { - "name": "muldiv", - "value": 136.14, - "unit": "s", - "extra": "" - } - ] - } - ] - } -} \ No newline at end of file diff --git a/dev/bench/index.html b/dev/bench/index.html deleted file mode 100644 index 6c887805e..000000000 --- a/dev/bench/index.html +++ /dev/null @@ -1,281 +0,0 @@ - - - - - - - Benchmarks - - - - -
- - - - - - -