diff --git a/dev/bench/data.js b/dev/bench/data.js
new file mode 100644
index 000000000..22007d121
--- /dev/null
+++ b/dev/bench/data.js
@@ -0,0 +1,1606 @@
+window.BENCHMARK_DATA = {
+  "lastUpdate": 1727337443080,
+  "repoUrl": "https://github.com/rems-project/cerberus",
+  "entries": {
+    "CN Benchmarks": [
+      {
+        "commit": {
+          "author": {
+            "email": "james@galois.com",
+            "name": "James Parker",
+            "username": "jprider63"
+          },
+          "committer": {
+            "email": "cp526@cam.ac.uk",
+            "name": "Christopher Pulte",
+            "username": "cp526"
+          },
+          "distinct": true,
+          "id": "e85a7398dca9fa61f131b0cd855a78eab0cf49da",
+          "message": "Fix edge case in benchmarking",
+          "timestamp": "2024-09-26T08:51:20+01:00",
+          "tree_id": "394b1d2a9c287af45b4a4b3610f80f660c9fadb3",
+          "url": "https://github.com/rems-project/cerberus/commit/e85a7398dca9fa61f131b0cd855a78eab0cf49da"
+        },
+        "date": 1727337442218,
+        "tool": "customSmallerIsBetter",
+        "benches": {
+          "z3": [
+            {
+              "name": "Total benchmark time",
+              "value": 65.32,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unsupported_union.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/duplicate_pattern_var.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/block_type.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_ffs.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies2.error.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/extract_verbose.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/builtin_ctz.c",
+              "value": 0.39,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/disj_nonnull.c",
+              "value": 0.32,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_types_compatible.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/assert_on_toplevel.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/redundant_pattern.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree16/as_auto_mutual_dt/tree16.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree16/as_partial_map/tree16.c",
+              "value": 3.28,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree16/as_mutual_dt/tree16.c",
+              "value": 8.6,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/inconsistent3.error.c",
+              "value": 0.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/inconsistent2.error.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_ptr_extern.c",
+              "value": 0.5,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/increments.c",
+              "value": 0.19,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_shift.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/int_to_ptr.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_return_sign.error.c",
+              "value": 0.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_neq.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_ptr_three_opts.c",
+              "value": 0.82,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/spec_null_shift.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/struct_updates.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_eq.error.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_record.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_record2.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff2.error.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_relop.error.c",
+              "value": 0.19,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff.error.c",
+              "value": 0.2,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_compl.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/alloc_token.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_char_cast.error.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies_precedence.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/list_literal_type.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_casting.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unary_negation.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/reverse.c",
+              "value": 0.61,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/null_to_int.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_compl_type.error.c",
+              "value": 0.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mask_ptr.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/and_or_precedence.error.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_return_sign.error.c",
+              "value": 0.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/get_from_arr.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_precedence.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/match.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/max_pipes.error.c",
+              "value": 23.36,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def03.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args3.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_function_call.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def02.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/max_min_consts.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/enum_and_and.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_case_ranges.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/merging_arrays.error.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_choose.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/simplify_array_shift.c",
+              "value": 0.34,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/copy_alloc_id2.error.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_recursion.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/split_case.c",
+              "value": 0.33,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_by_0.error.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_eq2.error.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies3.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/arith_type.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/failing_postcond.error.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args4.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/simplify_add_0.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree_rev01.c",
+              "value": 0.35,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/b_or.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/spec_after_curly_brace.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/simple_loop.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/previously_inconsistent_assumptions1.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/multifile/f.c",
+              "value": 0.45,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/multifile/g.c",
+              "value": 0.34,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_neq.error.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/swap_pair.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/missing_resource_indirect.error.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/inconsistent.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ghost_pointer_to_bitvec_cast.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def04.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_return_size.error.c",
+              "value": 0.37,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/list_rev01.c",
+              "value": 0.37,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_and_type_left.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/append.c",
+              "value": 1.87,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_with_constants.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def01.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/use_typedef.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/alloc_create.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/use_enum.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args2.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/int_to_ptr.error.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/swap.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/missing_resource.error.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_col.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mergesort.c",
+              "value": 3.25,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args1.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_uintptr_t_cast.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_int_cast.error.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_char_cast.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/left_shift_const.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/shift_diff_sz.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/get_from_array.c",
+              "value": 0.41,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/memcpy.c",
+              "value": 0.4,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/void_star_arg.c",
+              "value": 0.26,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/previously_inconsistent_assumptions2.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_unsigned_int_cast.error.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tag_defs.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_and.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/duplicate_datatype_var.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_constructor_user.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_compl_precedence.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/forloop_with_decl.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/incomplete_match.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id.error.c",
+              "value": 0.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cn_inline.c",
+              "value": 0.2,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_return_size.error.c",
+              "value": 2.45,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/spec_null_shift.error.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/map_set.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unsupported_flexible_array_member.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/reverse.error.c",
+              "value": 0.81,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unary_negation.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/copy_alloc_id.c",
+              "value": 0.33,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/failing_precond.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_casting.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/type_synonym.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_by_0.error.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/magic_comment_not_closed.c",
+              "value": 0.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/struct_updates2.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_addrs_cn_stmt.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/lexer_hack_parse.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/doubling.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/copy_alloc_id.error.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_ctz.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_intptr_t_cast.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_with_constants.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/builtin_ctz_val.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff.c",
+              "value": 0.69,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/record1.c",
+              "value": 0.2,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff2.c",
+              "value": 0.17,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/b_xor.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unconstrained_ptr_eq.error.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/arrow_access.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ownership_at_negative_index.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_ptr_known.c",
+              "value": 0.35,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_relop.c",
+              "value": 0.48,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies_associativity.c",
+              "value": 0.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_precedence.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mutual_rec/mutual_rec.c",
+              "value": 3.72,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_and_type_right.error.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unconstrained_ptr_eq2.error.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_resource_var.error.c",
+              "value": 0.11,
+              "unit": "Seconds"
+            }
+          ],
+          "cvc5": [
+            {
+              "name": "Total benchmark time",
+              "value": 107.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unsupported_union.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/duplicate_pattern_var.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/block_type.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_ffs.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies2.error.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/extract_verbose.c",
+              "value": 0.21,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/builtin_ctz.c",
+              "value": 0.58,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/disj_nonnull.c",
+              "value": 0.26,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_types_compatible.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/assert_on_toplevel.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/redundant_pattern.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree16/as_auto_mutual_dt/tree16.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree16/as_partial_map/tree16.c",
+              "value": 5.23,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree16/as_mutual_dt/tree16.c",
+              "value": 5.41,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/inconsistent3.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/inconsistent2.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_ptr_extern.c",
+              "value": 0.37,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/increments.c",
+              "value": 0.21,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_shift.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/int_to_ptr.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_return_sign.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_neq.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_ptr_three_opts.c",
+              "value": 0.92,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/spec_null_shift.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/struct_updates.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_eq.error.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_record.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_record2.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff2.error.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_relop.error.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff.error.c",
+              "value": 0.19,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_compl.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/alloc_token.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_char_cast.error.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies_precedence.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/list_literal_type.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_casting.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unary_negation.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/reverse.c",
+              "value": 1.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/null_to_int.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_compl_type.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mask_ptr.c",
+              "value": 0.16,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/and_or_precedence.error.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_return_sign.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/get_from_arr.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_precedence.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/match.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/max_pipes.error.c",
+              "value": 23.35,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def03.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args3.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_function_call.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def02.c",
+              "value": 0.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/max_min_consts.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/enum_and_and.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_case_ranges.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/merging_arrays.error.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_choose.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/simplify_array_shift.c",
+              "value": 0.39,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/copy_alloc_id2.error.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_recursion.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/split_case.c",
+              "value": 1.48,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod.c",
+              "value": 0.19,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_by_0.error.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_eq2.error.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies3.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/arith_type.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/failing_postcond.error.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args4.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/simplify_add_0.c",
+              "value": 0.15,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tree_rev01.c",
+              "value": 0.59,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/b_or.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/spec_after_curly_brace.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/simple_loop.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/previously_inconsistent_assumptions1.c",
+              "value": 0.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/multifile/f.c",
+              "value": 5.3,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/multifile/g.c",
+              "value": 5.22,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id_ptr_neq.error.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/swap_pair.c",
+              "value": 0.17,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/missing_resource_indirect.error.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/inconsistent.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ghost_pointer_to_bitvec_cast.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def04.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_return_size.error.c",
+              "value": 0.4,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/list_rev01.c",
+              "value": 1.23,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_and_type_left.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/append.c",
+              "value": 8.24,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_with_constants.c",
+              "value": 0.27,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pred_def01.c",
+              "value": 0.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/use_typedef.c",
+              "value": 0.04,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/alloc_create.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/use_enum.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args2.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/int_to_ptr.error.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/swap.c",
+              "value": 0.17,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/missing_resource.error.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_col.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mergesort.c",
+              "value": 10.85,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cnfunction_mismatched_args1.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_uintptr_t_cast.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_int_cast.error.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_char_cast.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/left_shift_const.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/shift_diff_sz.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/get_from_array.c",
+              "value": 0.36,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/memcpy.c",
+              "value": 0.44,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/void_star_arg.c",
+              "value": 0.45,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/previously_inconsistent_assumptions2.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_unsigned_int_cast.error.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/tag_defs.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_and.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/duplicate_datatype_var.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_constructor_user.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_compl_precedence.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/forloop_with_decl.c",
+              "value": 0.13,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/incomplete_match.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/has_alloc_id.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/cn_inline.c",
+              "value": 0.2,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_return_size.error.c",
+              "value": 7.27,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/spec_null_shift.error.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/map_set.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unsupported_flexible_array_member.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/reverse.error.c",
+              "value": 2.23,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unary_negation.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/copy_alloc_id.c",
+              "value": 0.32,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/failing_precond.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_casting.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/type_synonym.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_by_0.error.c",
+              "value": 0.07,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/magic_comment_not_closed.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/struct_updates2.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_addrs_cn_stmt.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/lexer_hack_parse.error.c",
+              "value": 0.02,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/doubling.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/copy_alloc_id.error.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/gnu_ctz.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/pointer_to_intptr_t_cast.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division_with_constants.c",
+              "value": 0.23,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/builtin_ctz_val.c",
+              "value": 0.12,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff.c",
+              "value": 0.99,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/record1.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_diff2.c",
+              "value": 0.14,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/b_xor.c",
+              "value": 0.05,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unconstrained_ptr_eq.error.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/arrow_access.c",
+              "value": 0.73,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ownership_at_negative_index.c",
+              "value": 0.06,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/division.c",
+              "value": 0.18,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/fun_ptr_known.c",
+              "value": 0.38,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/ptr_relop.c",
+              "value": 0.59,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/implies_associativity.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mod_precedence.c",
+              "value": 0.09,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/mutual_rec/mutual_rec.c",
+              "value": 13.48,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bitwise_and_type_right.error.c",
+              "value": 0.03,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/unconstrained_ptr_eq2.error.c",
+              "value": 0.08,
+              "unit": "Seconds"
+            },
+            {
+              "name": "./cn/bad_resource_var.error.c",
+              "value": 0.1,
+              "unit": "Seconds"
+            }
+          ]
+        }
+      }
+    ]
+  }
+}
\ No newline at end of file
diff --git a/dev/bench/index.html b/dev/bench/index.html
new file mode 100644
index 000000000..214c31394
--- /dev/null
+++ b/dev/bench/index.html
@@ -0,0 +1,344 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <meta charset="utf-8" />
+    <meta name="viewport" content="width=device-width, minimum-scale=1.0, initial-scale=1, user-scalable=yes" />
+    <style>
+      html {
+        font-family: BlinkMacSystemFont,-apple-system,"Segoe UI",Roboto,Oxygen,Ubuntu,Cantarell,"Fira Sans","Droid Sans","Helvetica Neue",Helvetica,Arial,sans-serif;
+        -webkit-font-smoothing: antialiased;
+        background-color: #fff;
+        font-size: 16px;
+      }
+      body {
+        color: #4a4a4a;
+        margin: 8px;
+        font-size: 1em;
+        font-weight: 400;
+      }
+      header {
+        margin-bottom: 8px;
+        display: flex;
+        flex-direction: column;
+      }
+      main {
+        width: 100%;
+        display: flex;
+        flex-direction: column;
+      }
+      a {
+        color: #3273dc;
+        cursor: pointer;
+        text-decoration: none;
+      }
+      a:hover {
+        color: #000;
+      }
+      button {
+        color: #fff;
+        background-color: #3298dc;
+        border-color: transparent;
+        cursor: pointer;
+        text-align: center;
+      }
+      button:hover {
+        background-color: #2793da;
+        flex: none;
+      }
+      .spacer {
+        flex: auto;
+      }
+      .small {
+        font-size: 0.75rem;
+      }
+      footer {
+        margin-top: 16px;
+        display: flex;
+        align-items: center;
+      }
+      .header-label {
+        margin-right: 4px;
+      }
+      .benchmark-set {
+        margin: 8px 0;
+        width: 100%;
+        display: flex;
+        flex-direction: column;
+      }
+      .benchmark-title {
+        font-size: 3rem;
+        font-weight: 600;
+        word-break: break-word;
+        text-align: center;
+      }
+      .benchmark-graphs {
+        display: flex;
+        flex-direction: row;
+        justify-content: space-around;
+        align-items: center;
+        flex-wrap: wrap;
+        width: 100%;
+      }
+      .benchmark-wrapper {
+        max-width: 1000px;
+        flex-grow: 1;
+        flex-basis: 0;
+      }
+      .benchmark-container {
+        position: relative;
+      }
+      .benchmark-chart {
+      }
+      .benchmark-name {
+        text-align: center;
+      }
+    </style>
+    <title>Benchmarks</title>
+  </head>
+
+  <body>
+    <header id="header">
+      <div class="header-item">
+        <strong class="header-label">Last Update:</strong>
+        <span id="last-update"></span>
+      </div>
+      <div class="header-item">
+        <strong class="header-label">Repository:</strong>
+        <a id="repository-link" rel="noopener"></a>
+      </div>
+    </header>
+    <main id="main"></main>
+    <footer>
+      <button id="dl-button">Download data as JSON</button>
+      <div class="spacer"></div>
+      <div class="small">Powered by <a rel="noopener" href="https://github.com/marketplace/actions/continuous-benchmark">github-action-benchmark</a></div>
+    </footer>
+
+    <script src="https://cdn.jsdelivr.net/npm/chart.js@2.9.2/dist/Chart.min.js"></script>
+    <script src="data.js"></script>
+    <script id="main-script">
+      'use strict';
+      (function() {
+        // Colors from https://github.com/github/linguist/blob/master/lib/linguist/languages.yml
+        const toolColors = {
+          cargo: '#dea584',
+          go: '#00add8',
+          benchmarkjs: '#f1e05a',
+          benchmarkluau: '#000080',
+          pytest: '#3572a5',
+          googlecpp: '#f34b7d',
+          catch2: '#f34b7d',
+          julia: '#a270ba',
+          jmh: '#b07219',
+          benchmarkdotnet: '#178600',
+          customBiggerIsBetter: '#38ff38',
+          customSmallerIsBetter: '#ff3838',
+          _: '#333333'
+        };
+
+        function init() {
+          function collectBenchesPerTestCase(entries) {
+            const map = new Map(); // Map BenchName (Map SeriesName (Map Commit BenchResult))
+            const commits = [];
+            for (const entry of entries) {
+              const {commit, date, tool, benches} = entry;
+              commits.push(commit.id);
+              for (const series_name in benches) { // Map SeriesName [Benchmark]
+                for (const bench of benches[series_name]) {
+                  const result = { commit, date, tool, bench };
+                  const series_map = map.get(bench.name);
+                  if (series_map === undefined) {
+                    const bench_map = new Map();
+                    bench_map.set(commit.id, result);
+
+                    const series_map = new Map();
+                    series_map.set(series_name, bench_map);
+
+                    map.set(bench.name, series_map);
+                  } else {
+                    const arr = series_map.get(series_name);
+                    if (arr === undefined) {
+                      const bench_map = new Map();
+                      bench_map.set(commit.id, result);
+
+                      series_map.set(series_name, bench_map);
+                    } else {
+                      arr.set(commit.id, result);
+                    }
+                  }
+                }
+              }
+            }
+            return { commits, dataSet: map };
+          }
+
+          const data = window.BENCHMARK_DATA;
+
+          // Render header
+          document.getElementById('last-update').textContent = new Date(data.lastUpdate).toString();
+          const repoLink = document.getElementById('repository-link');
+          repoLink.href = data.repoUrl;
+          repoLink.textContent = data.repoUrl;
+
+          // Render footer
+          document.getElementById('dl-button').onclick = () => {
+            const dataUrl = 'data:,' + encodeURIComponent(JSON.stringify(data, null, 2));
+            const a = document.createElement('a');
+            a.href = dataUrl;
+            a.download = 'benchmark_data.json';
+            a.click();
+          };
+
+          // Prepare data points for charts
+          return Object.keys(data.entries).map(name => {
+              const { commits, dataSet } = collectBenchesPerTestCase(data.entries[name]);
+              return {
+                 name,
+                 commits,
+                 dataSet
+               };
+          });
+        }
+
+        function renderAllChars(dataSets) {
+
+          function renderGraph(parent, commits, name, dataset) {
+            const wrapper = document.createElement('div');
+            wrapper.className = 'benchmark-wrapper';
+            const header = document.createElement('h2');
+            header.className = 'benchmark-name';
+            header.innerText = name;
+            wrapper.appendChild(header);
+
+            const canvas_container = document.createElement('div');
+            canvas_container.className = 'benchmark-container';
+
+            const canvas = document.createElement('canvas');
+            canvas.className = 'benchmark-chart';
+            canvas_container.appendChild(canvas);
+            wrapper.appendChild(canvas_container);
+            parent.appendChild(wrapper);
+
+            const colors = Object.entries(toolColors).values();
+            const datasets = [];
+            for (const [series_name, data] of dataset) {
+              const color = colors.next().value[1];
+              datasets.push({
+                label: series_name,
+                data: commits.map(commit => {
+                  const b = data.get(commit);
+                  if (b) {
+                    return b.bench.value;
+                  } else {
+                    return null;
+                  }
+                }),
+                borderColor: color,
+                fill: false,
+                backgroundColor: color + '60', // Add alpha for #rrggbbaa
+              });
+            }
+            const data = {
+              labels: commits.map(c => c.slice(0, 7)),
+              datasets: datasets,
+            };
+            const options = {
+              scales: {
+                xAxes: [
+                  {
+                    scaleLabel: {
+                      display: true,
+                      labelString: 'commit',
+                    },
+                  }
+                ],
+                yAxes: [
+                  {
+                    scaleLabel: {
+                      display: true,
+                      labelString: dataset.length > 0 ? dataset[0].bench.unit : '',
+                    },
+                    ticks: {
+                      beginAtZero: true,
+                    }
+                  }
+                ],
+              },
+              tooltips: {
+                callbacks: {
+                  afterTitle: items => {
+                    const {datasetIndex, index} = items[0];
+                    const series_name = datasets[datasetIndex].label;
+                    const commit = commits[index];
+                    const data = dataset.get(series_name).get(commit);
+                    return '\n' + data.commit.message + '\n\n' + data.commit.timestamp + ' committed by @' + data.commit.committer.username + '\n';
+                  },
+                  label: item => {
+                    const series_name = datasets[item.datasetIndex].label;
+                    const commit = commits[item.index];
+                    const data = dataset.get(series_name).get(commit);
+                    let label = item.value;
+                    const { range, unit } = data.bench;
+                    label += ' ' + unit;
+                    if (range) {
+                      label += ' (' + range + ')';
+                    }
+                    return label;
+                  },
+                  afterLabel: item => {
+                    const series_name = datasets[item.datasetIndex].label;
+                    const commit = commits[item.index];
+                    const data = dataset.get(series_name).get(commit);
+                    const { extra } = data.bench;
+                    return extra ? '\n' + extra : '';
+                  }
+                }
+              },
+              onClick: (_mouseEvent, activeElems) => {
+                if (activeElems.length === 0) {
+                  return;
+                }
+                // XXX: Undocumented. How can we know the index?
+                const index = activeElems[0]._index;
+                const url = dataset[index].commit.url;
+                window.open(url, '_blank');
+              },
+            };
+
+            new Chart(canvas, {
+              type: 'line',
+              data,
+              options,
+            });
+          }
+
+          function renderBenchSet(name, commits, benchSet, main) {
+            const setElem = document.createElement('div');
+            setElem.className = 'benchmark-set';
+            main.appendChild(setElem);
+
+            const nameElem = document.createElement('h1');
+            nameElem.className = 'benchmark-title';
+            nameElem.textContent = name;
+            setElem.appendChild(nameElem);
+
+            const graphsElem = document.createElement('div');
+            graphsElem.className = 'benchmark-graphs';
+            setElem.appendChild(graphsElem);
+
+            for (const [benchName, benches] of benchSet.entries()) {
+              renderGraph(graphsElem, commits, benchName, benches)
+            }
+          }
+
+          const main = document.getElementById('main');
+          for (const {name, commits, dataSet} of dataSets) {
+            renderBenchSet(name, commits, dataSet, main);
+          }
+        }
+
+        renderAllChars(init()); // Start
+      })();
+    </script>
+  </body>
+</html>