todiff.github.io/todiff-support.html at master · ToDiff/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
<!DOCTYPE html>
<html lang="en" class="scroll-smooth">
<head>
  <meta charset="utf-8">
  <script>(function(){var t=localStorage.getItem("cs-lab-theme");if(t==="light")document.documentElement.setAttribute("data-theme","light");})()</script>
  <meta name="description" content="Support for ToDiff.">
  <meta name="viewport" content="width=device-width, initial-scale=1">
  <title>Support — ToDiff</title>

  <link rel="preconnect" href="https://fonts.googleapis.com">
  <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
  <link href="https://fonts.googleapis.com/css2?family=Inter:ital,wght@0,300;0,400;0,500;0,600;0,700;0,800;1,400;1,700&family=JetBrains+Mono&display=swap" rel="stylesheet">

  <link rel="stylesheet" href="static/css/fontawesome.all.min.css">
  <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/academicons@1.9.2/css/academicons.min.css">
  <link rel="stylesheet" href="static/css/index.css">
  <link rel="icon" href="static/images/favicon.html">

  <script defer src="static/js/fontawesome.all.min.js"></script>
  <script src="static/js/index.js"></script>
</head>
<body data-project="todiff">

<div class="bg-pattern"></div>
<div class="site-content">

<nav class="navbar" role="navigation" aria-label="main navigation">
  <div class="navbar-inner">
    <a id="nav-back" href="works.html" class="nav-back" style="display:none;">
      <span class="back-arrow">←</span> Works
    </a>
    <a href="index.html" class="navbar-logo">
      <span class="navbar-logo-dot"></span>
      <span id="logo-text"></span>
    </a>
    <ul id="nav-links" class="navbar-links"></ul>
    <div class="navbar-actions">
      <button id="theme-toggle" class="theme-toggle" aria-label="Toggle theme">
        <span id="theme-toggle-icon">☀️</span>
      </button>
      <button class="navbar-burger" aria-label="menu" aria-expanded="false">
        <span aria-hidden="true"></span><span aria-hidden="true"></span><span aria-hidden="true"></span>
      </button>
    </div>
  </div>
</nav>

<section class="hero">
  <div class="hero-inner">
    <span class="hero-label">Help Center</span>
    <h1 class="hero-title"><span class="hero-title-line gradient-text">Support</span></h1>
    <p class="hero-subtitle">Need help with ToDiff? Find answers, report issues, and join our community.</p>
  </div>
</section>

<section class="section">
  <div class="section-inner">
    <div class="card flat mb-2 reveal">
      <h2 style="margin:0 0 1.25rem;font-size:1.35rem;">Need help?</h2>
      <dl style="margin:0;line-height:1.8;">
        <dt><strong>GitHub Issues:</strong></dt>
        <dd style="margin-left:1rem;color:var(--text-secondary);">Submit a bug report or question on our <a href="https://github.com/Shbinging/topo-fuzz/issues" target="_blank">GitHub repository</a>.</dd>
        <dt style="margin-top:1rem;"><strong>Contact the maintainers:</strong></dt>
        <dd style="margin-left:1rem;color:var(--text-secondary);">Reach the <a href="people.html">team members</a> by email for assistance.</dd>
      </dl>
    </div>
    <div class="card flat reveal">
      <h2 style="margin:0 0 1.25rem;font-size:1.35rem;">FAQ</h2>
      <div class="faq-item">
        <div class="faq-question"><span class="faq-icon"><i class="fas fa-chevron-right"></i></span><span>Does ToDiff support multiple protocols?</span></div>
        <div class="faq-answer hidden"><p>Yes. ToDiff can test OSPF, ISIS, RIP, BABEL, and OpenFabric.</p></div>
      </div>
    </div>
  </div>
</section>

<footer class="footer">
  <div class="footer-brand">The Lab for Compiler and Security Technology</div>
  <div class="footer-copy">
    School of Computer Science · Nanjing University &nbsp;|&nbsp;
    <a href="mailto:qingkaishi@nju.edu.cn">Contact</a>
  </div>
</footer>

</div>
</body>
</html>