todiff.github.io/support.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
<!DOCTYPE html>
<html lang="en">

<!-- Mirrored from repoaudit-home.github.io/support.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>
    /* Responsive adjustments */
    .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; }
    /* Navbar burger adjustments for mobile */
    @media screen and (max-width: 1023px) {
      .navbar-menu { display: none; }
      .navbar-menu.is-active { display: block; }
    }
  </style>
</head>
<body>

<!-- 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">Support for ToDiff</h1>
          <div class="is-size-5" style="margin-top: 1rem;">
            Need help with ToDiff? Find answers, report issues, and join our community.
          </div>
        </div>
      </div>
    </div>
  </div>
</section>

<!-- Support Content Section -->
<section class="section" id="support-content">
  <div class="container is-max-desktop">
    <!-- Need Help? -->
    <div class="box">
      <h2 class="title is-3">Need help?</h2>
      <dl class="content" style="margin-top: 1rem;">
        <dt class="is-size-5" style="margin-top: 0.5rem;"><strong>GitHub Issues:</strong></dt>
        <dd class="is-size-6" style="margin-left: 1rem;">
          Submit a detailed bug report or question on our <a href="https://github.com/Shbinging/topo-fuzz/issues" target="_blank">GitHub repository</a>.
        </dd>
        <dt class="is-size-5" style="margin-top: 1rem;"><strong>Contact to maintainers:</strong></dt>
        <dd class="is-size-6" style="margin-left: 1rem;">
          You can contact the  <a href="contactus.html" target="_blank"> maintainers </a> by email for assistance.
        </dd>
      </dl>
    </div>
    <!-- FAQ Section -->
    <div class="box">
      <h2 class="title is-3">FAQ</h2>
      <div class="faq-item">
        <div class="faq-question" style="cursor: pointer; font-weight: bold; padding: 0.5rem; border-bottom: 1px solid #ddd;">
          <span class="faq-number">1.</span>
          <span class="faq-logo" style="margin-right: 0.5rem;">
            <i class="fas fa-question-circle"></i>
          </span>
          Is ToDiff support multiple protocols?
        </div>
        <div class="faq-answer is-hidden" style="padding: 0.5rem;">
          <p>Yes. ToDiff can test OSPF, ISIS, RIP, BABEL, and OpenFabric.</p>
        </div>
      </div>

    </div>
    <script>
      document.addEventListener('DOMContentLoaded', () => {
        const faqQuestions = document.querySelectorAll('.faq-question');
        faqQuestions.forEach(q => {
          q.addEventListener('click', () => {
            q.nextElementSibling.classList.toggle('is-hidden');
          });
        });
      });
    </script>
  </div>
</section>

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

<!-- Navbar burger toggle script for mobile devices -->
<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');
    });
  });
</script>
</body>

<!-- Mirrored from repoaudit-home.github.io/support.html by HTTrack Website Copier/3.x [XR&CO'2014], Tue, 15 Apr 2025 07:03:04 GMT -->
</html>