ui: display slimmed merge_diff-proofs-only.json

Author: zjp-CN

ui/app/components/Kani.vue

@@ -17,7 +17,8 @@ useHead({ title: "Verify Rust Std - Kani" });
   <div>len = {{ vec.length }}</div>
 
   <DataTable :value="vec" paginator :rows="5" :rowsPerPageOptions="[5, 10, 20, 50]" sortMode="multiple" removableSort
-    v-model:multi-sort-meta="multiSort" tableStyle="min-width: 50rem">
+    v-model:multi-sort-meta="multiSort" stripedRows tableStyle="min-width: 50rem">
+    <!-- :virtual-scroller-options="{ itemSize: 5, lazy: true, }"> It's slow to render the table, so partial render. -->
     <template #header>
       <div class="flex flex-wrap items-center justify-between gap-2">
         <span class="text-xl font-bold">Products</span>

ui/app/layouts/default.vue

@@ -3,7 +3,6 @@
 const CLASS_DARK = "my-app-dark";
 function toggleTheme() {
   const isDark = document.documentElement.classList.toggle(CLASS_DARK);
-  console.log("dark", isDark);
   localStorage.setItem("theme", isDark ? "dark" : "light");
 }
 

ui/app/shared/utils/merged_list.ts

@@ -1,6 +1,6 @@
 import type { DataTableSortMeta } from "primevue";
 
-export const URL_MERGE_DIFF = "https://raw.githubusercontent.com/os-checker/verify-rust-std_data/refs/heads/main/merge_diff.json";
+export const URL_MERGE_DIFF = "https://raw.githubusercontent.com/os-checker/verify-rust-std_data/refs/heads/main/merge_diff-proofs-only.json";
 
 export type VecMergeHashKaniList = MergeHashKaniList[];
 
@@ -48,6 +48,6 @@ export const MergeKaniColumns: MergeKaniColumn[] = [
 ];
 
 export const multiSort: DataTableSortMeta[] = [
-  { field: "proof_kind", order: 1 },
-  { field: "func", order: 1 },
+  // { field: "proof_kind", order: 1 },
+  // { field: "func", order: 1 },
 ];