todiff.github.io/bugreports.html at master · Shbinging/todiff.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
<!DOCTYPE html>
<html lang="en">

<!-- Mirrored from repoaudit-home.github.io/bugreports.html by HTTrack Website Copier/3.x [XR&CO'2014], Tue, 15 Apr 2025 07:03:04 GMT -->
<!-- Added by HTTrack --><meta http-equiv="content-type" content="text/html;charset=utf-8" /><!-- /Added by HTTrack -->
<head>
  <meta charset="utf-8">
  <meta name="description" content="ToDiff is an open-source tool for validating interior gateway routing protocols.">
  <meta name="keywords" content="ToDiff, Routing Protocols, Interior Gateway Protocols, Differential Valida-
  tion, Topology Synthesis">
  <meta name="viewport" content="width=device-width, initial-scale=1">
  <title>ToDiff</title>
  <!-- Optional Google Analytics -->
  <link href="https://fonts.googleapis.com/css?family=Google+Sans|Noto+Sans|Castoro" rel="stylesheet">
  <link rel="stylesheet" href="static/css/bulma.min.css">
  <link rel="stylesheet" href="static/css/bulma-carousel.min.css">
  <link rel="stylesheet" href="static/css/bulma-slider.min.css">
  <link rel="stylesheet" href="static/css/fontawesome.all.min.css">
  <link rel="stylesheet" href="../cdn.jsdelivr.net/gh/jpswalsh/academicons%401/css/academicons.min.css">
  <link rel="stylesheet" href="static/css/index.css">
  <link rel="icon" href="static/images/favicon.html">
  <script src="../ajax.googleapis.com/ajax/libs/jquery/3.5.1/jquery.min.js"></script>
  <script defer src="static/js/fontawesome.all.min.js"></script>
  <script src="static/js/bulma-carousel.min.js"></script>
  <script src="static/js/bulma-slider.min.js"></script>
  <script src="static/js/index.js"></script>
  <style>
    /* Optional: reduce some whitespace for a more compact layout */
    .hero .hero-body { padding: 2rem 1rem !important; }
    .section { padding: 1.5rem 1rem !important; }
    .container { margin-top: 0.5rem; margin-bottom: 0.5rem; }
    .box { padding: 1rem !important; margin-bottom: 1rem !important; }
    .loading { text-align: center; font-size: 1.2em; margin-top: 20px; color: #555; }
    /* Responsive navbar burger for mobile devices */
    @media screen and (max-width: 1023px) {
      .navbar-menu { display: none; }
      .navbar-menu.is-active { display: block; }
    }
  </style>
</head>
<body>

<!-- Navbar with additional links -->
<!-- Navbar with additional links -->
<nav class="navbar" role="navigation" aria-label="main navigation">
  <div class="navbar-brand">
    <a role="button" class="navbar-burger" aria-label="menu" aria-expanded="false" data-target="navMenu">
      <span aria-hidden="true"></span>
      <span aria-hidden="true"></span>
      <span aria-hidden="true"></span>
    </a>
  </div>
  <div id="navMenu" class="navbar-menu">
    <div class="navbar-start" style="flex-grow: 1; justify-content: center;">
      <a class="navbar-item" href="index.html">
        <span class="icon"><i class="fas fa-home"></i></span>
      </a>
      <a class="navbar-item" href="bugreports.html">Bug Reports</a>
      <a class="navbar-item" href="documentation.html">Docs</a>
      <a class="navbar-item" href="support.html">Support</a>
      <a class="navbar-item" href="contactus.html">Contact Us</a>
    </div>
  </div>
</nav>

<!-- Hero Section -->
<section class="hero">
  <div class="hero-body">
    <div class="container is-max-desktop">
      <div class="columns is-centered">
        <div class="column has-text-centered">
          <h1 class="title is-1">Bug Reports</h1>
          <div class="is-size-5" style="margin-top: 1rem;">
            The gallery of bugs discovered by ToDiff
          </div>
        </div>
      </div>
    </div>
  </div>
</section>

<!-- Full Bug Report List Section -->
<section class="section" id="bug-reports">
  <div class="container is-max-desktop">
    <!-- Bug Count Display Panel -->
    <div id="bug-count-panel" class="columns" style="margin-bottom: 1rem;">
      <div class="column">
        <div class="notification" style="background-color: #6f42c1; color: #ffffff;">
          <strong>Fixed: <span id="fixed-count">0</span></strong>
        </div>
      </div>
      <div class="column">
        <div class="notification" style="background-color: #0366d6; color: #ffffff;">
          <strong>Fix Approved: <span id="reproduced-count">0</span></strong>
        </div>
      </div>
      <div class="column">
        <div class="notification" style="background-color: #28a745; color: #ffffff;">
          <strong>Confirmed: <span id="confirmed-count">0</span></strong>
        </div>
      </div>
      <div class="column">
        <div class="notification" style="background-color: #ffd33d; color: #000000;">
          <strong>Pending: <span id="pending-count">0</span></strong>
        </div>
      </div>
    </div>
    <div id="loading-message" class="loading">Loading bug reports...</div>
    <table class="table is-striped is-hoverable is-fullwidth">
      <thead>
        <tr>
          <th>ID</th>
          <th>Protocol</th>
          <th>Root Causes</th>
          <th>Link</th>
          <th>Status</th>
          <th>Date</th>
        </tr>
      </thead>
      <tbody id="bug-report-table">
        <!-- Data will be dynamically inserted here -->
      </tbody>
    </table>
  </div>
</section>

<footer class="footer">
  <div class="container">
    <div class="content has-text-centered">
      Maintained by Bing Shui.
    </div>
  </div>
</footer>

<!-- Responsive Navbar Burger Toggle Script -->
<script>
  document.addEventListener('DOMContentLoaded', () => {
    const burger = document.querySelector('.navbar-burger');
    const menu = document.getElementById(burger.dataset.target || "navMenu");
    burger.addEventListener('click', () => {
      burger.classList.toggle('is-active');
      menu.classList.toggle('is-active');
    });
  });

  // Function to load JSON data and populate the table and bug count panel
  async function loadBugReports() {
    try {
      const response = await fetch("static/bug/BugReport.json");
      const bugReports = await response.json();

      // Sort bugReports by descending sort_weight and then descending date
      bugReports.sort((a, b) => {
        if (b.sort_weight !== a.sort_weight) {
          return b.sort_weight - a.sort_weight;
        }
        return new Date(b.date) - new Date(a.date);
      });

      const tableBody = document.getElementById("bug-report-table");
      const loadingMessage = document.getElementById("loading-message");

      // Compute counts by adding up "Bug Num" per status
      const counts = {
        "Fixed": 0,
        "Confirmed": 0,
        "Fix Approved": 0,
        "Pending": 0
      };

      bugReports.forEach(bug => {
        if (counts.hasOwnProperty(bug.status)) {
          counts[bug.status] += parseInt(bug["Bug Num"], 10);
        }
      });

      // Update the display panel with counts
      document.getElementById("fixed-count").textContent = counts["Fixed"];
      document.getElementById("confirmed-count").textContent = counts["Confirmed"];
      document.getElementById("reproduced-count").textContent = counts["Fix Approved"];
      document.getElementById("pending-count").textContent = counts["Pending"];

      // Remove loading message
      loadingMessage.style.display = "none";

      // Populate table rows with bug reports
      bugReports.forEach((bug, index) => {
        const row = document.createElement("tr");
        row.innerHTML = `
          <td>${index + 1}</td>
          <td>${bug.repo_name}</td>
          <td>${bug.bug_type}</td>
          <td><a href="${bug["patch/issue link"]}" target="_blank">View</a></td>
          <td>${bug.status}</td>
          <td>${bug.date}</td>
        `;
        tableBody.appendChild(row);
      });
    } catch (error) {
      console.error("Error loading bug reports:", error);
      document.getElementById("loading-message").textContent = "Failed to load bug reports.";
    }
  }

  // Load bug reports when the DOM content is loaded
  document.addEventListener("DOMContentLoaded", loadBugReports);
</script>

</body>

</html>